Martin Giese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
14
Active years
1999–2026
Best venue rank
B
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KSEM | Quality-Utility Link: A Framework for Trustworthy LLM-Generated Data in E-Waste Recycling. | Liang Cheng, Amir Taherkordi, Martin Giese, Golnoush Abbasi |
| 2025 | ICTAI | Investigating Dynamic Example Selection for ICL-Based Text-to-SPARQL Generation. | Carlos Eduardo Antnio Ferreira, Basil Ell, Martin Giese, Joel Luis Carbonera |
| 2023 | FM | 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 |
| 2015 | FedCSIS | A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. | Leif Harald Karlsen, Martin Giese |
| 2015 | FQAS | Qualifying Ontology-Based Visual Query Formulation. | Ahmet Soylu, Martin Giese |
| 2015 | ISVC | Ontology-Based Visual Query Formulation: An Industry Experience. | Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jimnez-Ruiz, Martin Giese, Ian Horrocks |
| 2014 | NordiCHI | Why not simply Google? | Ahmet Soylu, Martin Giese, Ernesto Jimnez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks |
| 2013 | MEDES | OptiqueVQS: towards an ontology-based visual query system for big data. | Ahmet Soylu, Martin Giese, Ernesto Jimnez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks |
| 2012 | LPAR | Efficient Rule-Matching for Hyper-Tableaux. | Bjarne Holen, Dag Hovland, Martin Giese |
| 2011 | TABLEAUX | Incremental Variable Splitting. | Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen |
| 2010 | ECAI | Probabilistic Logic with Conditional Independence Formulae. | Magdalena Ivanovska, Martin Giese |
| 2007 | CADE | The KeY system 1.0 (Deduction Component). | Bernhard Beckert, Martin Giese, Reiner Hhnle, Vladimir Klebanov, Philipp Rmmer, Steffen Schlager, Peter H. Schmitt |
| 2006 | LPAR | Saturation Up to Redundancy for Tableau and Sequent Calculi. | Martin Giese |
| 2005 | TABLEAUX | A Calculus for Type Predicates and Type Coercion. | Martin Giese |
| 2003 | TABLEAUX | Simplification Rules for Constrained Formula Tableaux. | Martin Giese |
| 2002 | FASE | The KeY System: Integrating Object-Oriented Design and Formal Methods. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt |
| 2002 | TABLEAUX | A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. | Martin Giese |
| 2001 | CADE | Incremental Closure of Free Variable Tableaux. | Martin Giese |
| 2000 | JELIA | The KeY Approach: Integrating Object Oriented Design and Formal Verification. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Peter H. Schmitt |
| 1999 | TABLEAUX | Hilbert's epsilon-Terms in Automated Theorem Proving. | Martin Giese, Wolfgang Ahrendt |