Martin Giese
Martin Giese
Prof., Dept. of Informatics, University of Oslo
Verified email at ifi.uio.no - Homepage
TitleCited byYear
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
3532005
Optique: Zooming in on Big Data
M Giese, A Soylu, G Vega-Gorgojo, A Waaler, P Haase, E Jimenez-Ruiz, ...
Computer, 60-67, 2015
972015
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
82*2000
Incremental closure of free variable tableaux
M Giese
International Joint Conference on Automated Reasoning, 545-560, 2001
712001
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
632013
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
562016
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
532013
Scalable end-user access to big data
M Giese, D Calvanese, P Haase, I Horrocks, Y Ioannidis, H Kllapi, ...
Big Data Computing, 205-245, 2013
492013
From informal to formal specifications in UML
M Giese, R Heldal
International Conference on the Unified Modeling Language, 197-211, 2004
382004
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
372017
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
37*2004
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
362017
Simplifying transformations of OCL constraints
M Giese, D Larsson
International Conference on Model Driven Engineering Languages and Systems …, 2005
352005
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
352002
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
302016
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
292017
Ontology-based visual query formulation: An industry experience
A Soylu, E Kharlamov, D Zheleznyakov, E Jimenez-Ruiz, M Giese, ...
International Symposium on Visual Computing, 842-854, 2015
292015
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
262013
Hilbert’s ε-Terms in Automated Theorem Proving
M Giese, W Ahrendt
Automated Reasoning with Analytic Tableaux and Related Methods, 171–185, 1999
26*1999
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
252013
The system can't perform the operation now. Try again later.
Articles 1–20