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 | 409 | 2005 |
Optique: Zooming in on Big Data M Giese, A Soylu, G Vega-Gorgojo, A Waaler, P Haase, E Jimenez-Ruiz, ... Computer, 60-67, 2015 | 158 | 2015 |
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 | 148 | 2017 |
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 | 113 | 2017 |
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 | 108 | 2018 |
Optique: Towards OBDA systems for industry E Kharlamov, E Jiménez-Ruiz, D Zheleznyakov, D Bilidas, M Giese, ... The Semantic Web: ESWC 2013 Satellite Events: ESWC 2013 Satellite Events …, 2013 | 102 | 2013 |
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, 129-152, 2016 | 96 | 2016 |
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 | 88* | 2000 |
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 | 80 | 2013 |
Incremental closure of free variable tableaux M Giese International Joint Conference on Automated Reasoning, 545-560, 2001 | 78 | 2001 |
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 | 70 | 2013 |
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 | 68 | 2016 |
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, 435-467, 2017 | 65 | 2017 |
From informal to formal specifications in UML M Giese, R Heldal International Conference on the Unified Modeling Language, 197-211, 2004 | 51 | 2004 |
Optique: OBDA solution for big data D Calvanese, M Giese, P Haase, I Horrocks, T Hubauer, Y Ioannidis, ... The Semantic Web: ESWC 2013 Satellite Events: ESWC 2013 Satellite Events …, 2013 | 43 | 2013 |
Simplifying transformations of OCL constraints M Giese, D Larsson International Conference on Model Driven Engineering Languages and Systems …, 2005 | 43 | 2005 |
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 |
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 | 42 | 2017 |
The KeY system: Integrating object-oriented design and formal methods W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ... Fundamental Approaches to Software Engineering: 5th International Conference …, 2002 | 40 | 2002 |
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 | 39 | 2013 |