Deductive Generalization and Meta-Reasoning or How to Formalize Genesis. - Gernot Salzer (ÖGAI, 1991)

The Unification of Infinite Sets of Terms and Its Applications. - Gernot Salzer (LPAR, 1992)

Ordered Paramodulation and Resolution as Decision Procedure. - Christian G. Fermüller; Gernot Salzer (LPAR, 1993)

Primal Grammars and Unification Modulo a Binary Clause. - Gernot Salzer (CADE, 1994)

Semi-Unification and Generalizations of a Particularly Simple Form. - Matthias Baaz; Gernot Salzer (CSL, 1994)

MUltlog 1.0: Towards an Expert System for Many-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Gernot Salzer; Richard Zach (CADE, 1996)

Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices. - Gernot Salzer (CADE, 1996)

A Non-Ground Realization of the Stable and Well-Founded Semantics. - Georg Gottlob; Sherry Marcus; Anil Nerode; Gernot Salzer; V. S. Subrahmanian (Theor. Comput. Sci., 1996)

On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations. - Miki Hermann; Gernot Salzer (MFCS, 1998)

Labeled Calculi and Finite-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Gernot Salzer; Richard Zach (Stud Logica, 1998)

Optimal Axiomatizations of Finitely Valued Logics. - Gernot Salzer (Inf. Comput., 2000)

Automated Deduction for Many-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Gernot Salzer (Handbook of Automated Reasoning, 2001)

Manipulating Tree Tuple Languages by Transforming Logic Programs. - Sébastien Limet; Gernot Salzer (FTP, 2003)

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract. - Àngel J. Gil; Miki Hermann; Gernot Salzer; Bruno Zanuttini (IJCAR, 2004)

Proving Properties of Term Rewrite Systems via Logic Programs. - Sébastien Limet; Gernot Salzer (RTA, 2004)

The tau Model, Formalizing Topic Maps. - Robert A. Barta; Gernot Salzer (APCCM, 2005)

Basic Rewriting via Logic Programming, with an Application to the Reachability Problem. - Sébastien Limet; Gernot Salzer (J. Autom. Lang. Comb., 2006)

Tree Tuple Languages from the Logic Programming Point of View. - Sébastien Limet; Gernot Salzer (J. Autom. Reason., 2006)

Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. - Ingo Feinerer; Gernot Salzer (TASE, 2007)

Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics. - Victor Chepoi; Nadia Creignou; Miki Hermann; Gernot Salzer (ISMVL, 2008)

Complexity of Clausal Constraints Over Chains. - Nadia Creignou; Miki Hermann; Andrei A. Krokhin; Gernot Salzer (Theory Comput. Syst., 2008)

Efficient Algorithms for Description Problems over Finite Totally Ordered Domains. - Àngel J. Gil; Miki Hermann; Gernot Salzer; Bruno Zanuttini (SIAM J. Comput., 2008)

Algebraic foundation of a data model for an extensible space-based collaboration protocol. - Stefan Craß; Eva Kühn; Gernot Salzer (IDEAS, 2009)

A comparison of tools for teaching formal software verification. - Ingo Feinerer; Gernot Salzer (Formal Aspects Comput., 2009)

The Helly property and satisfiability of Boolean formulas defined on set families. - Victor Chepoi; Nadia Creignou; Miki Hermann; Gernot Salzer (Eur. J. Comb., 2010)

Reducing Multiplicities in Class Diagrams. - Ingo Feinerer; Gernot Salzer; Tanja Sisel (MoDELS, 2011)

Configuration Repair via Flow Networks. - Ingo Feinerer; Gerhard Niederbrucker; Gernot Salzer; Tanja Sisel (ISMIS, 2012)

Class Diagrams with Equated Association Chains. - Ingo Feinerer; Gernot Salzer; Tanja Sisel (TASE, 2013)

Numeric semantics of class diagrams with multiplicity and uniqueness constraints. - Ingo Feinerer; Gernot Salzer (Softw. Syst. Model., 2014)

Give Me Another One! - Mike Behrisch; Miki Hermann; Stefan Mengel; Gernot Salzer (ISAAC, 2015)

The Next Whisky Bar. - Mike Behrisch; Miki Hermann; Stefan Mengel; Gernot Salzer (CSR, 2016)

As Close as It Gets. - Mike Behrisch; Miki Hermann; Stefan Mengel; Gernot Salzer (WALCOM, 2016)

Performance and Scalability of Private Ethereum Blockchains. - Markus Schäffer; Monika Di Angelo; Gernot Salzer (BPM (Blockchain and CEE Forum), 2019)

A Survey of Tools for Analyzing Ethereum Smart Contracts. - Monika Di Angelo; Gernot Salzer (DAPPCON, 2019)

SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course. - Monika Di Angelo; Christian Sack; Gernot Salzer (Financial Cryptography Workshops, 2019)

Collateral Use of Deployment Code for Smart Contracts in Ethereum. - Monika Di Angelo; Gernot Salzer (NTMS, 2019)

Smart contracts in view of the civil code. - Monika Di Angelo; Alfred Soare; Gernot Salzer (SAC, 2019)

Dermtrainer: A Decision Support System for Dermatological Diseases. - Gernot Salzer; Agata Ciabattoni; Christian G. Fermüller; Martin Haiduk; Harald Kittler; Arno Lukas; Rosa María Rodríguez Domínguez; Antonia Wesinger; Elisabeth Riedl (CoRR, 2019)

Minimal Distance of Propositional Models. - Mike Behrisch; Miki Hermann; Stefan Mengel; Gernot Salzer (Theory Comput. Syst., 2019)

Functional Differences of Neo and Ethereum as Smart Contract Platforms. - Marco Bareis; Monika Di Angelo; Gernot Salzer (BLOCKCHAIN, 2020)

Characteristics of Wallet Contracts on Ethereum. - Monika Di Angelo; Gernot Salzer (BRAINS, 2020)

Tokens, Types, and Standards: Identification and Utilization in Ethereum. - Monika Di Angelo; Gernot Salzer (DAPPS, 2020)

Characterizing Types of Smart Contracts in the Ethereum Landscape. - Monika Di Angelo; Gernot Salzer (Financial Cryptography Workshops, 2020)

Wallet Contracts on Ethereum. - Monika Di Angelo; Gernot Salzer (IEEE ICBC, 2020)

Assessing the Similarity of Smart Contracts by Clustering their Interfaces. - Monika Di Angelo; Gernot Salzer (TrustCom, 2020)

Empirical Evaluation of MakerDAO's Resilience. - Martin Kjäer; Monika Di Angelo; Gernot Salzer (BRAINS, 2021)

Towards the Identification of Security Tokens on Ethereum. - Monika Di Angelo; Gernot Salzer (NTMS, 2021)

MCP: Capturing Big Data by Satisfiability (Tool Description). - Miki Hermann; Gernot Salzer (SAT, 2021)

Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum. - Heidelinde Rameder; Monika Di Angelo; Gernot Salzer (Frontiers Blockchain, 2022)

Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts. - Monika Di Angelo; Gernot Salzer (FC Workshops, 2023)

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. - Monika Di Angelo; Thomas Durieux; João F. Ferreira 001; Gernot Salzer (ASE, 2023)

Identification of token contracts on Ethereum: standard compliance and beyond. - Monika Di Angelo; Gernot Salzer (Int. J. Data Sci. Anal., 2023)

Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs. - Monika Di Angelo; Rafael Mohr; Gernot Salzer (Blockchain, 2024)

Bytecode Skeletons for Sample Selection in the Analysis of Blockchain Programs. - Monika Di Angelo; Gernot Salzer (ICBC, 2024)

Efficient Implementation of 2SAT Formula Learning over Finite Totally Ordered Domains. - Miki Hermann; Gernot Salzer (MIWAI (1), 2024)

Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study. - Monika Di Angelo; Thomas Durieux; João F. Ferreira 001; Gernot Salzer (Empir. Softw. Eng., 2024)

Testing for Renamability to Classes of Clause Sets. - Albert Brandl; Christian G. Fermüller; Gernot Salzer (CoRR, 2025)