Folgen
Martin Giese
Martin Giese
Prof., Dept. of Informatics, University of Oslo
Bestätigte E-Mail-Adresse bei ifi.uio.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The KeY tool
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Software and Systems Modeling 4 (1), 32-54, 2005
3862005
Optique: Zooming in on Big Data
M Giese, A Soylu, G Vega-Gorgojo, A Waaler, P Haase, E Jimenez-Ruiz, ...
Computer, 60-67, 2015
1462015
Ontology based data access in Statoil
E Kharlamov, D Hovland, MG Skjæveland, D Bilidas, E Jiménez-Ruiz, ...
Journal of Web Semantics 44, 3-36, 2017
1192017
Semantic access to streaming and static data at Siemens
E Kharlamov, T Mailis, G Mehdi, C Neuenstadt, Ö Özçep, M Roshchin, ...
Journal of Web Semantics 44, 54-74, 2017
972017
Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users
A Soylu, M Giese, E Jimenez-Ruiz, G Vega-Gorgojo, I Horrocks
Universal Access in the Information Society 15 (1), 129-152, 2016
892016
Optique: Towards OBDA systems for industry
E Kharlamov, E Jiménez-Ruiz, D Zheleznyakov, D Bilidas, M Giese, ...
Extended Semantic Web Conference, 125-140, 2013
882013
OptiqueVQS: A visual query system over ontologies for industry
A Soylu, E Kharlamov, D Zheleznyakov, E Jimenez-Ruiz, M Giese, ...
Semantic Web 9 (5), 627-660, 2018
872018
The KeY Approach: Integrating Object Oriented Design and Formal Verification
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
Logics in Artificial Intelligence (JELIA), 21-36, 2000
87*2000
Incremental closure of free variable tableaux
M Giese
International Joint Conference on Automated Reasoning, 545-560, 2001
752001
OptiqueVQS: towards an ontology-based visual query system for big data
A Soylu, M Giese, E Jimenez-Ruiz, E Kharlamov, D Zheleznyakov, ...
Proceedings of the Fifth International Conference on Management of Emergent …, 2013
732013
Scalable end-user access to big data
M Giese, D Calvanese, P Haase, I Horrocks, Y Ioannidis, H Kllapi, ...
Rajendra Akerkar: Big Data Computing. Florida: Chapman and Hall/CRC. To appear, 2013
682013
Using semantic technology to tame the data variety challenge
I Horrocks, M Giese, E Kharlamov, A Waaler
IEEE Internet Computing 20 (6), 62-66, 2016
612016
Ontology-based end-user visual query formulation: Why, what, who, how, and which?
A Soylu, M Giese, E Jimenez-Ruiz, E Kharlamov, D Zheleznyakov, ...
Universal Access in the Information Society 16 (2), 435-467, 2017
582017
From informal to formal specifications in UML
M Giese, R Heldal
International Conference on the Unified Modeling Language, 197-211, 2004
502004
Optique: OBDA solution for big data
D Calvanese, M Giese, P Haase, I Horrocks, T Hubauer, Y Ioannidis, ...
Extended Semantic Web Conference, 293-295, 2013
432013
Simplifying transformations of OCL constraints
M Giese, D Larsson
International Conference on Model Driven Engineering Languages and Systems …, 2005
432005
Taclets: a new paradigm for constructing interactive theorem provers
B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rümmer, ...
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie …, 2004
43*2004
The KeY system: Integrating object-oriented design and formal methods
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
International Conference on Fundamental Approaches to Software Engineering …, 2002
392002
Querying industrial stream-temporal data: An ontology-based visual approach 1
A Soylu, M Giese, R Schlatte, E Jiménez-Ruiz, E Kharlamov, Ö Özçep, ...
Journal of Ambient Intelligence and Smart Environments 9 (1), 77-95, 2017
382017
Optique 1.0: semantic access to big data: the case of Norwegian petroleum directorate's factpages
E Kharlamov, M Giese, E Jiménez-Ruiz, MG Skjæveland, A Soylu, ...
Proceedings of the 12th International Semantic Web Conference (Posters …, 2013
372013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20