| 2023 | FC | Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts. | Monika Di Angelo, Gernot Salzer |
| 2021 | SAT | MCP: Capturing Big Data by Satisfiability (Tool Description). | Miki Hermann, Gernot Salzer |
| 2020 | FC | Characterizing Types of Smart Contracts in the Ethereum Landscape. | Monika Di Angelo, Gernot Salzer |
| 2020 | TrustCom | Assessing the Similarity of Smart Contracts by Clustering their Interfaces. | Monika Di Angelo, Gernot Salzer |
| 2019 | BPM | Performance and Scalability of Private Ethereum Blockchains. | Markus Schffer, Monika Di Angelo, Gernot Salzer |
| 2019 | FC | SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course. | Monika Di Angelo, Christian Sack, Gernot Salzer |
| 2019 | SAC | Smart contracts in view of the civil code. | Monika Di Angelo, Alfred Soare, Gernot Salzer |
| 2016 | CSR | The Next Whisky Bar. | Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer |
| 2016 | WALCOM | As Close as It Gets. | Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer |
| 2015 | ISAAC | Give Me Another One! | Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer |
| 2013 | TASE | Class Diagrams with Equated Association Chains. | Ingo Feinerer, Gernot Salzer, Tanja Sisel |
| 2012 | ISMIS | Configuration Repair via Flow Networks. | Ingo Feinerer, Gerhard Niederbrucker, Gernot Salzer, Tanja Sisel |
| 2011 | MODELS | Reducing Multiplicities in Class Diagrams. | Ingo Feinerer, Gernot Salzer, Tanja Sisel |
| 2009 | IDEAS | Algebraic foundation of a data model for an extensible space-based collaboration protocol. | Stefan Cra, Eva Khn, Gernot Salzer |
| 2007 | TASE | Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. | Ingo Feinerer, Gernot Salzer |
| 2005 | APCCM | The tau Model, Formalizing Topic Maps. | Robert A. Barta, Gernot Salzer |
| 2004 | CADE | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract. | ngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini |
| 1998 | MFCS | On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations. | Miki Hermann, Gernot Salzer |
| 1996 | CADE | MUltlog 1.0: Towards an Expert System for Many-Valued Logics. | Matthias Baaz, Christian G. Fermller, Gernot Salzer, Richard Zach |
| 1996 | CADE | Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices. | Gernot Salzer |
| 1994 | CADE | Primal Grammars and Unification Modulo a Binary Clause. | Gernot Salzer |
| 1994 | CSL | Semi-Unification and Generalizations of a Particularly Simple Form. | Matthias Baaz, Gernot Salzer |
| 1993 | LPAR | Ordered Paramodulation and Resolution as Decision Procedure. | Christian G. Fermller, Gernot Salzer |
| 1992 | LPAR | The Unification of Infinite Sets of Terms and Its Applications. | Gernot Salzer |