Gernot Salzer

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 27

Top Topics

Colorectal Cancer

Decision Support

Empirical Evaluation

Top Venues

Financial Cryptography Workshops

Publications

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