Martin Giese
Martin Giese
Prof., Dept. of Informatics, University of Oslo
Verified email at ifi.uio.no - Homepage
Title
Cited by
Cited by
Year
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
3582005
Optique: Zooming in on Big Data
M Giese, A Soylu, G Vega-Gorgojo, A Waaler, P Haase, E Jimenez-Ruiz, ...
Computer, 60-67, 2015
1132015
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
83*2000
Incremental closure of free variable tableaux
M Giese
International Joint Conference on Automated Reasoning, 545-560, 2001
732001
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
652013
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
632016
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
582013
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
532017
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
502013
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
492017
Simplifying transformations of OCL constraints
M Giese, D Larsson
International Conference on Model Driven Engineering Languages and Systems …, 2005
382005
From informal to formal specifications in UML
M Giese, R Heldal
International Conference on the Unified Modeling Language, 197-211, 2004
382004
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
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
362018
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
362002
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
352017
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
332016
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
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
282017
Hilbert’s ε-Terms in Automated Theorem Proving
M Giese, W Ahrendt
Automated Reasoning with Analytic Tableaux and Related Methods, 171–185, 1999
28*1999
The system can't perform the operation now. Try again later.
Articles 1–20