Hilbert's epsilon-Terms in Automated Theorem Proving. - Martin Giese; Wolfgang Ahrendt (TABLEAUX, 1999)

The KeY Approach: Integrating Object Oriented Design and Formal Verification. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Peter H. Schmitt (JELIA, 2000)

Incremental Closure of Free Variable Tableaux. - Martin Giese (IJCAR, 2001)

The KeY System: Integrating Object-Oriented Design and Formal Methods. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Peter H. Schmitt (FASE, 2002)

A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. - Martin Giese (TABLEAUX, 2002)

Proof search without backtracking for free variable tableaux. - Martin Giese (2002)

Simplification Rules for Constrained Formula Tableaux. - Martin Giese (TABLEAUX, 2003)

Taclets and the KeY Prover. - Martin Giese (UITP@TPHOLs, 2003)

From Informal to Formal Specifications in UML. - Martin Giese; Rogardt Heldal (UML, 2004)

A Calculus for Type Predicates and Type Coercion. - Martin Giese (TABLEAUX, 2005)

Simplifying Transformations of OCL Constraints. - Martin Giese; Daniel Larsson (MoDELS, 2005)

The KeY tool. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Andreas Roth 002; Steffen Schlager; Peter H. Schmitt (Softw. Syst. Model., 2005)

Saturation Up to Redundancy for Tableau and Sequent Calculi. - Martin Giese (LPAR, 2006)

The KeY system 1.0 (Deduction Component). - Bernhard Beckert; Martin Giese; Reiner Hähnle; Vladimir Klebanov; Philipp Rümmer; Steffen Schlager; Peter H. Schmitt (CADE, 2007)

Superposition-based Equality Handling for Analytic Tableaux. - Martin Giese (J. Autom. Reason., 2007)

First-Order Logic. - Martin Giese (The KeY Approach, 2007)

Probabilistic Logic with Conditional Independence Formulae. - Magdalena Ivanovska; Martin Giese (ECAI, 2010)

Introduction. - Martin Giese; Andrew Ireland; Laura Kovács (J. Symb. Comput., 2010)

Practical Aspects of Automated Deduction for Program Verification. - Wolfgang Ahrendt; Bernhard Beckert; Martin Giese; Philipp Rümmer (Künstliche Intell., 2010)

Efficient Rule-Matching for Hyper-Tableaux. - Bjarne Holen; Dag Hovland; Martin Giese (IWIL@LPAR, 2012)

Incremental variable splitting. - Christian Mahesh Hansen; Roger Antonsen; Martin Giese; Arild Waaler (J. Symb. Comput., 2012)

Optique: OBDA Solution for Big Data. - Diego Calvanese; Martin Giese; Peter Haase 001; Ian Horrocks 001; Thomas Hubauer; Yannis E. Ioannidis; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Herald Kllapi; Johan W. Klüwer; Manolis Koubarakis; Steffen Lamparter; et al. (ESWC (Satellite Events), 2013)

Optique: Towards OBDA Systems for Industry. - Evgeny Kharlamov; Ernesto Jiménez-Ruiz; Dmitriy Zheleznyakov; Dimitris Bilidas; Martin Giese; Peter Haase 001; Ian Horrocks 001; Herald Kllapi; Manolis Koubarakis; Özgür L. Özçep; Mariano Rodriguez-Muro; Riccardo Rosati 001; et al. (ESWC (Satellite Events), 2013)

OptiqueVQS: towards an ontology-based visual query system for big data. - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001 (MEDES, 2013)

A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. - Ahmet Soylu; Martin G. Skjæveland; Martin Giese; Ian Horrocks 001; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov (MTSR, 2013)

The Optique Project: Towards OBDA Systems for Industry (Short Paper). - Diego Calvanese; Martin Giese; Peter Haase 001; Ian Horrocks 001; Thomas Hubauer; Yannis E. Ioannidis; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Herald Kllapi; Manolis Koubarakis; Steffen Lamparter; Ralf Möller 001; et al. (OWLED, 2013)

Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems. - Bernardo Cuenca Grau; Martin Giese; Ian Horrocks 001; Thomas Hubauer; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Michael Schmidt 002; Ahmet Soylu; Dmitriy Zheleznyakov (OWLED, 2013)

Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. - Evgeny Kharlamov; Martin Giese; Ernesto Jiménez-Ruiz; Martin G. Skjæveland; Ahmet Soylu; Dmitriy Zheleznyakov; Timea Bagosi; Marco Console; Peter Haase 001; Ian Horrocks 001; Sarunas Marciuska; Christoph Pinkel; et al. (ISWC (Posters & Demos), 2013)

OptiqueVQS: Visual Query Formulation for OBDA. - Ahmet Soylu; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz; Martin Giese; Ian Horrocks 001 (Description Logics, 2014)

Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation. - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001 (MTSR, 2014)

Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case. - Simen Heggestøyl; Guillermo Vega-Gorgojo; Martin Giese (NIK, 2014)

Why not simply Google? - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001 (NordiCHI, 2014)

A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. - Leif Harald Karlsen; Martin Giese (LQMR@FedCSIS, 2015)

Qualifying Ontology-Based Visual Query Formulation. - Ahmet Soylu; Martin Giese (FQAS, 2015)

Ontology-Based Visual Query Formulation: An Industry Experience. - Ahmet Soylu; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz; Martin Giese; Ian Horrocks 001 (ISVC (1), 2015)

Ontology-Based Integration of Cross-Linked Datasets. - Diego Calvanese; Martin Giese; Dag Hovland; Martin Rezk (ISWC (1), 2015)

Semantic Access to Siemens Streaming Data: the Optique Way. - Evgeny Kharlamov; Sebastian Brandt 001; Martin Giese; Ernesto Jiménez-Ruiz; Steffen Lamparter; Christian Neuenstadt; Özgür Lütfü Özçep; Christoph Pinkel; Ahmet Soylu; Dmitriy Zheleznyakov; Mikhail Roshchin; Stuart Watson; et al. (ISWC (Posters & Demos), 2015)

Optique: Ontology-Based Data Access Platform. - Evgeny Kharlamov; Ernesto Jiménez-Ruiz; Christoph Pinkel; Martin Rezk; Martin G. Skjæveland; Ahmet Soylu; Guohui Xiao 001; Dmitriy Zheleznyakov; Martin Giese; Ian Horrocks 001; Arild Waaler (ISWC (Posters & Demos), 2015)

OptiqueVQS: Ontology-Based Visual Querying. - Ahmet Soylu; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz; Martin Giese; Ian Horrocks 001 (VOILA@ISWC, 2015)

Optique: Zooming in on Big Data. - Martin Giese; Ahmet Soylu; Guillermo Vega-Gorgojo; Arild Waaler; Peter Haase 001; Ernesto Jiménez-Ruiz; Davide Lanti; Martín Rezk; Guohui Xiao 001; Özgür L. Özçep; Riccardo Rosati 001 (Computer, 2015)

Engineering ontology-based access to real-world data sources. - Martin G. Skjæveland; Martin Giese; Dag Hovland; Espen H. Lian; Arild Waaler (J. Web Semant., 2015)

A semantic approach to polystores. - Evgeny Kharlamov; Theofilos P. Mailis; Konstantina Bereta; Dimitris Bilidas; Sebastian Brandt 001; Ernesto Jiménez-Ruiz; Steffen Lamparter; Christian Neuenstadt; Özgür L. Özçep; Ahmet Soylu; Christoforos Svingos; Guohui Xiao 001; et al. (IEEE BigData, 2016)

Enabling semantic access to static and streaming distributed data with optique: demo. - Evgeny Kharlamov; Sebastian Brandt 001; Martin Giese; Ernesto Jiménez-Ruiz; Yannis Kotidis; Steffen Lamparter; Theofilos Mailis; Christian Neuenstadt; Özgür L. Özçep; Christoph Pinkel; Ahmet Soylu; Christoforos Svingos; et al. (DEBS, 2016)

Domain Experts Surfing on Stream Sensor Data over Ontologies. - Ahmet Soylu; Martin Giese; Rudolf Schlatte; Ernesto Jiménez-Ruiz; Özgür L. Özçep; Sebastian Brandt 001 (SEMPER@ESWC, 2016)

A Visual Query System for Stream Data Access over Ontologies. - Ahmet Soylu; Martin Giese; Rudolf Schlatte; Ernesto Jiménez-Ruiz; Özgür L. Özçep; Sebastian Brandt 001 (ESWC (Satellite Events), 2016)

PepeSearch: Easy to Use and Easy to Install Semantic Data Search. - Guillermo Vega-Gorgojo; Laura Slaughter; Martin Giese; Simen Heggestøyl; Johan W. Klüwer; Arild Waaler (ESWC (Satellite Events), 2016)

Scalable Semantic Access to Siemens Static and Streaming Distributed Data. - Evgeny Kharlamov; Sebastian Brandt 001; Martin Giese; Ernesto Jiménez-Ruiz; Yannis Kotidis; Steffen Lamparter; Theofilos Mailis; Christian Neuenstadt; Özgür Lütfü Özçep; Christoph Pinkel; Ahmet Soylu; Christoforos Svingos; et al. (ISWC (Posters & Demos), 2016)

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. - Dmitriy Zheleznyakov; Evgeny Kharlamov; Vidar Klungre; Martin G. Skjæveland; Dag Hovland; Martin Giese; Ian Horrocks 001; Arild Waaler (ISWC (Posters & Demos), 2016)

Using Semantic Technology to Tame the Data Variety Challenge. - Ian Horrocks 001; Martin Giese; Evgeny Kharlamov; Arild Waaler (IEEE Internet Comput., 2016)

Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users. - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Guillermo Vega-Gorgojo; Ian Horrocks 001 (Univers. Access Inf. Soc., 2016)

Visual query interfaces for semantic datasets: An evaluation study. - Guillermo Vega-Gorgojo; Laura Slaughter; Martin Giese; Simen Heggestøyl; Ahmet Soylu; Arild Waaler (J. Web Semant., 2016)

An Efficient Representation of General Qualitative Spatial Information Using Bintrees. - Leif Harald Karlsen; Martin Giese (COSIT, 2017)

A Faceted Search Index for OptiqueVQS. - Vidar N. Klungre; Martin Giese (ISWC (Posters, Demos & Industry Tracks), 2017)

Exploring Semantic Datasets with RDF Surveyor. - Guillermo Vega-Gorgojo; Martin Giese; Laura Slaughter (ISWC (Posters, Demos & Industry Tracks), 2017)

IEEE BigDataService 2016 conference. - Martin Giese; Jerry Gao 002; Yifeng Zeng (Int. J. Data Sci. Anal., 2017)

Querying industrial stream-temporal data: An ontology-based visual approach. - Ahmet Soylu; Martin Giese; Rudolf Schlatte; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Özgür L. Özçep; Christian Neuenstadt; Sebastian Brandt 001 (J. Ambient Intell. Smart Environ., 2017)

Ontology-based end-user visual query formulation: Why, what, who, how, and which? - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001 (Univers. Access Inf. Soc., 2017)

Ontology Based Data Access in Statoil. - Evgeny Kharlamov; Dag Hovland; Martin G. Skjæveland; Dimitris Bilidas; Ernesto Jiménez-Ruiz; Guohui Xiao 001; Ahmet Soylu; Davide Lanti; Martin Rezk; Dmitriy Zheleznyakov; Martin Giese; Hallstein Lie; et al. (J. Web Semant., 2017)

Semantic access to streaming and static data at Siemens. - Evgeny Kharlamov; Theofilos Mailis; Gulnar Mehdi; Christian Neuenstadt; Özgür L. Özçep; Mikhail Roshchin; Nina Solomakhina; Ahmet Soylu; Christoforos Svingos; Sebastian Brandt 001; Martin Giese; Yannis E. Ioannidis; et al. (J. Web Semant., 2017)

Efficient Ontology-Based Data Integration with Canonical IRIs. - Guohui Xiao 001; Dag Hovland; Dimitris Bilidas; Martin Rezk; Martin Giese; Diego Calvanese (ESWC, 2018)

On Enhancing Visual Query Building over KGs Using Query Logs. - Vidar Klungre; Ahmet Soylu; Martin Giese; Arild Waaler; Evgeny Kharlamov (JIST, 2018)

Evaluating a Faceted Search Index for Graph Data. - Vidar Klungre; Martin Giese (OTM Conferences (2), 2018)

Approximating Faceted Search for Graph Queries. - Vidar Klungre; Martin Giese (SSWS@ISWC, 2018)

OptiqueVQS: A visual query system over ontologies for industry. - Ahmet Soylu; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz; Martin Giese; Martin G. Skjæveland; Dag Hovland; Rudolf Schlatte; Sebastian Brandt 001; Hallstein Lie; Ian Horrocks 001 (Semantic Web, 2018)

Seeing the whole picture: integrated pre-surgery reports with PreOptique. - Guillermo Vega-Gorgojo; Laura Slaughter; Martin Giese (J. Biomed. Semant., 2019)

Qualitatively correct bintrees: an efficient representation of qualitative spatial information. - Leif Harald Karlsen; Martin Giese (GeoInformatica, 2019)

Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing. - Vidar N. Klungre; Ahmet Soylu; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Martin Giese (New Gener. Comput., 2019)

Frequency-Based vs. Knowledge-Based Similarity Measures for Categorical Data. - Summaya Mumtaz; Martin Giese (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering (1), 2020)

Data-based support for petroleum prospect evaluation. - Summaya Mumtaz; Irina Pene; Adnan Latif; Martin Giese (Earth Sci. Informatics, 2020)

Correction to: Data-based support for petroleum prospect evaluation. - Summaya Mumtaz; Irina Pene; Adnan Latif; Martin Giese (Earth Sci. Informatics, 2020)

Programming and Debugging with Semantically Lifted States. - Eduard Kamburjan; Vidar Norstein Klungre; Rudolf Schlatte; Einar Broch Johnsen; Martin Giese (ESWC, 2021)

A Source-to-Target Constraint Rewriting for Direct Mapping. - Ratan Bahadur Thapa; Martin Giese (ISWC, 2021)

Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data. - Eduard Kamburjan; Vidar Norstein Klungre; Martin Giese (ESWC, 2022)

Industrial Geological Information Capture with GeoStructure Ontology. - Yuanwei Qu; Baifan Zhou; Evgeny Kharlamov; Martin Giese (SemIIM, 2022)

Mapping Relational Database Constraints to SHACL. - Ratan Bahadur Thapa; Martin Giese (ISWC, 2022)

Hierarchy-based semantic embeddings for single-valued & multi-valued categorical variables. - Summaya Mumtaz; Martin Giese (J. Intell. Inf. Syst., 2022)

A Geological Case Study on Semantically Triggered Processes. - Yuanwei Qu; Eduard Kamburjan; Martin Giese (ESWC (Satellite Events), 2023)

Emerging Challenges in Compositionality and Correctness for Digital Twins. - Eduard Kamburjan; Vidar Norstein Klungre; Silvia Lizeth Tapia Tarifa; Rudolf Schlatte; Martin Giese; David B. Cameron; Einar Broch Johnsen (FMDT@FM, 2023)

Optimizing SPARQL Queries with SHACL. - Ratan Bahadur Thapa; Martin Giese (ISWC, 2023)

Generating Transparent and Query-Based RDF Layers. - Nils Rollshausen; Eduard Kamburjan; Martin Giese (SOFLIM2KG-SemIIM@ISWC, 2024)

Towards Representing Processes and Reasoning with Process Descriptions on the Web. - Andreas Harth; Tobias Käfer; Anisa Rula; Jean-Paul Calbimonte; Eduard Kamburjan; Martin Giese (TGDK, 2024)

GeoFault: A well-founded fault ontology for interoperability in geological modeling. - Yuanwei Qu; Michel Perrin; Anita Torabi; Mara Abel; Martin Giese (Comput. Geosci., 2024)