Gernot Salzer

64 papers A* 1A 6B 7C 3Misc 5Journal 21Unranked 19
YearRankTypeTitle / Venue / Authors
2025 — conf
Efficient Learning of Horn Formulas over Finite Totally Ordered Domains.
MIWAI (2)
Miki Hermann, Gernot Salzer
2025 J jnl
Testing for Renamability to Classes of Clause Sets.
CoRR
Albert Brandl, Christian G. Fermüller, Gernot Salzer
2024 C conf
Bytecode Skeletons for Sample Selection in the Analysis of Blockchain Programs.
ICBC
Monika Di Angelo, Gernot Salzer
2024 — conf
Efficient Implementation of 2SAT Formula Learning over Finite Totally Ordered Domains.
MIWAI (1)
Miki Hermann, Gernot Salzer
2024 J jnl
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study.
Empir. Softw. Eng.
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
2024 — conf
Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs.
Blockchain
Monika Di Angelo, Rafael Mohr, Gernot Salzer
2023 — conf
Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts.
FC Workshops
Monika Di Angelo, Gernot Salzer
2023 J jnl
Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts.
CoRR
Monika Di Angelo, Gernot Salzer
2023 J jnl
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study.
CoRR
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
2023 J jnl
Identification of token contracts on Ethereum: standard compliance and beyond.
Int. J. Data Sci. Anal.
Monika Di Angelo, Gernot Salzer
2023 A* conf
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.
ASE
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
2023 J jnl
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.
CoRR
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
2022 J jnl
Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum.
Frontiers Blockchain
Heidelinde Rameder, Monika Di Angelo, Gernot Salzer
2021 — conf
Empirical Evaluation of MakerDAO's Resilience.
BRAINS
Martin Kjäer, Monika Di Angelo, Gernot Salzer
2021 A conf
MCP: Capturing Big Data by Satisfiability (Tool Description).
SAT
Miki Hermann, Gernot Salzer
2021 — conf
Towards the Identification of Security Tokens on Ethereum.
NTMS
Monika Di Angelo, Gernot Salzer
2020 B conf
Assessing the Similarity of Smart Contracts by Clustering their Interfaces.
TrustCom
Monika Di Angelo, Gernot Salzer
2020 — conf
Characteristics of Wallet Contracts on Ethereum.
BRAINS
Monika Di Angelo, Gernot Salzer
2020 — conf
Characterizing Types of Smart Contracts in the Ethereum Landscape.
Financial Cryptography Workshops
Monika Di Angelo, Gernot Salzer
2020 — conf
Functional Differences of Neo and Ethereum as Smart Contract Platforms.
BLOCKCHAIN
Marco Bareis, Monika Di Angelo, Gernot Salzer
2020 — conf
Tokens, Types, and Standards: Identification and Utilization in Ethereum.
DAPPS
Monika Di Angelo, Gernot Salzer
2020 — conf
Wallet Contracts on Ethereum.
IEEE ICBC
Monika Di Angelo, Gernot Salzer
2020 J jnl
Wallet Contracts on Ethereum.
CoRR
Monika Di Angelo, Gernot Salzer
2019 — conf
A Survey of Tools for Analyzing Ethereum Smart Contracts.
DAPPCON
Monika Di Angelo, Gernot Salzer
2019 — conf
Collateral Use of Deployment Code for Smart Contracts in Ethereum.
NTMS
Monika Di Angelo, Gernot Salzer
2019 J jnl
Dermtrainer: A Decision Support System for Dermatological Diseases.
CoRR
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
2019 J jnl
Minimal Distance of Propositional Models.
Theory Comput. Syst.
Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer
2019 — conf
Performance and Scalability of Private Ethereum Blockchains.
BPM (Blockchain and CEE Forum)
Markus Schäffer, Monika Di Angelo, Gernot Salzer
2019 Misc conf
Smart contracts in view of the civil code.
SAC
Monika Di Angelo, Alfred Soare, Gernot Salzer
2019 — conf
SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course.
Financial Cryptography Workshops
Monika Di Angelo, Christian Sack, Gernot Salzer
2016 B conf
As Close as It Gets.
WALCOM
Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer
2016 Misc conf
The Next Whisky Bar.
CSR
Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer
2015 B conf
Give Me Another One!
ISAAC
Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer
2015 J jnl
Minimal Distance of Propositional Models.
CoRR
Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer
2014 J jnl
Numeric semantics of class diagrams with multiplicity and uniqueness constraints.
Softw. Syst. Model.
Ingo Feinerer, Gernot Salzer
2013 Misc conf
Class Diagrams with Equated Association Chains.
TASE
Ingo Feinerer, Gernot Salzer, Tanja Sisel
2012 C conf
Configuration Repair via Flow Networks.
ISMIS
Ingo Feinerer, Gerhard Niederbrucker, Gernot Salzer, Tanja Sisel
2011 A conf
Reducing Multiplicities in Class Diagrams.
MoDELS
Ingo Feinerer, Gernot Salzer, Tanja Sisel
2010 J jnl
The Helly property and satisfiability of Boolean formulas defined on set families.
Eur. J. Comb.
Victor Chepoi, Nadia Creignou, Miki Hermann, Gernot Salzer
2009 J jnl
A comparison of tools for teaching formal software verification.
Formal Aspects Comput.
Ingo Feinerer, Gernot Salzer
2009 C conf
Algebraic foundation of a data model for an extensible space-based collaboration protocol.
IDEAS
Stefan Craß, Eva Kühn, Gernot Salzer
2008 J jnl
Complexity of Clausal Constraints Over Chains.
Theory Comput. Syst.
Nadia Creignou, Miki Hermann, Andrei A. Krokhin, Gernot Salzer
2008 — conf
Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics.
ISMVL
Victor Chepoi, Nadia Creignou, Miki Hermann, Gernot Salzer
2008 J jnl
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains.
SIAM J. Comput.
Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini
2007 Misc conf
Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints.
TASE
Ingo Feinerer, Gernot Salzer
2006 J jnl
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem.
J. Autom. Lang. Comb.
Sébastien Limet, Gernot Salzer
2006 J jnl
Tree Tuple Languages from the Logic Programming Point of View.
J. Autom. Reason.
Sébastien Limet, Gernot Salzer
2005 Misc conf
The tau Model, Formalizing Topic Maps.
APCCM
Robert A. Barta, Gernot Salzer
2004 A conf
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract.
IJCAR
Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini
2004 — conf
Proving Properties of Term Rewrite Systems via Logic Programs.
RTA
Sébastien Limet, Gernot Salzer
2003 — conf
Manipulating Tree Tuple Languages by Transforming Logic Programs.
FTP
Sébastien Limet, Gernot Salzer
2001 — ch.
Automated Deduction for Many-Valued Logics.
Handbook of Automated Reasoning
Matthias Baaz, Christian G. Fermüller, Gernot Salzer
2000 — ed.
Automated Deduction in Classical and Non-Classical Logics, Selected Papers
FTP (LNCS Selection)
Ricardo Caferra, Gernot Salzer
2000 J jnl
Optimal Axiomatizations of Finitely Valued Logics.
Inf. Comput.
Gernot Salzer
1998 J jnl
Labeled Calculi and Finite-Valued Logics.
Stud Logica
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
1998 B conf
On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations.
MFCS
Miki Hermann, Gernot Salzer
1996 J jnl
A Non-Ground Realization of the Stable and Well-Founded Semantics.
Theor. Comput. Sci.
Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian
1996 A conf
MUltlog 1.0: Towards an Expert System for Many-Valued Logics.
CADE
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
1996 A conf
Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices.
CADE
Gernot Salzer
1994 A conf
Primal Grammars and Unification Modulo a Binary Clause.
CADE
Gernot Salzer
1994 B conf
Semi-Unification and Generalizations of a Particularly Simple Form.
CSL
Matthias Baaz, Gernot Salzer
1993 B conf
Ordered Paramodulation and Resolution as Decision Procedure.
LPAR
Christian G. Fermüller, Gernot Salzer
1992 B conf
The Unification of Infinite Sets of Terms and Its Applications.
LPAR
Gernot Salzer
1991 — conf
Deductive Generalization and Meta-Reasoning or How to Formalize Genesis.
ÖGAI
Gernot Salzer