Gernot Salzer

Int. J. Data Sci. Anal., September, 2023

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

2022

Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum.

[BibT_eX]

[DOI]

Heidelinde Rameder

Frontiers Blockchain, July, 2022

2021

MCP: Capturing Big Data by Satisfiability (Tool Description).

[BibT_eX]

[DOI]

Miki Hermann

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Towards the Identification of Security Tokens on Ethereum.

[BibT_eX]

[DOI]

Proceedings of the 11th IFIP International Conference on New Technologies, 2021

Empirical Evaluation of MakerDAO's Resilience.

[BibT_eX]

[DOI]

Martin Kjäer

Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020

Assessing the Similarity of Smart Contracts by Clustering their Interfaces.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

Wallet Contracts on Ethereum.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

Characterizing Types of Smart Contracts in the Ethereum Landscape.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2020

Tokens, Types, and Standards: Identification and Utilization in Ethereum.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Decentralized Applications and Infrastructures, 2020

Characteristics of Wallet Contracts on Ethereum.

[BibT_eX]

[DOI]

Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020

Functional Differences of Neo and Ethereum as Smart Contract Platforms.

[BibT_eX]

[DOI]

Marco Bareis

Proceedings of the Blockchain and Applications - 2nd International Congress, 2020

2019

Minimal Distance of Propositional Models.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2019

Dermtrainer: A Decision Support System for Dermatological Diseases.

[BibT_eX]

[DOI]

Agata Ciabattoni

Rosa María Rodríguez Domínguez

Martin Haiduk

Harald Kittler

Arno Lukas

Antonia Wesinger

Elisabeth Riedl

CoRR, 2019

Smart contracts in view of the civil code.

[BibT_eX]

[DOI]

Alfred Soare

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Collateral Use of Deployment Code for Smart Contracts in Ethereum.

[BibT_eX]

[DOI]

Proceedings of the 10th IFIP International Conference on New Technologies, 2019

SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course.

[BibT_eX]

[DOI]

Christian Sack

Proceedings of the Financial Cryptography and Data Security, 2019

A Survey of Tools for Analyzing Ethereum Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2019

Performance and Scalability of Private Ethereum Blockchains.

[BibT_eX]

[DOI]

Markus Schäffer

Proceedings of the Business Process Management: Blockchain and Central and Eastern Europe Forum, 2019

2016

As Close as It Gets.

[BibT_eX]

[DOI]

Proceedings of the WALCOM: Algorithms and Computation - 10th International Workshop, 2016

The Next Whisky Bar.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2016

2015

Give Me Another One!

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation - 26th International Symposium, 2015

2014

Numeric semantics of class diagrams with multiplicity and uniqueness constraints.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

2013

Class Diagrams with Equated Association Chains.

[BibT_eX]

[DOI]

Tanja Sisel

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2012

Configuration Repair via Flow Networks.

[BibT_eX]

[DOI]

Gerhard Niederbrucker

Tanja Sisel

Proceedings of the Foundations of Intelligent Systems - 20th International Symposium, 2012

2011

Reducing Multiplicities in Class Diagrams.

[BibT_eX]

[DOI]

Tanja Sisel

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

The Helly property and satisfiability of Boolean formulas defined on set families.

[BibT_eX]

[DOI]

Eur. J. Comb., 2010

2009

A comparison of tools for teaching formal software verification.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

Algebraic foundation of a data model for an extensible space-based collaboration protocol.

[BibT_eX]

[DOI]

Stefan Craß

Eva Kühn

Proceedings of the International Database Engineering and Applications Symposium (IDEAS 2009), 2009

2008

Efficient Algorithms for Description Problems over Finite Totally Ordered Domains.

[BibT_eX]

[DOI]

SIAM J. Comput., 2008

Complexity of Clausal Constraints Over Chains.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2008

Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2007

Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

Tree Tuple Languages from the Logic Programming Point of View.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Basic Rewriting via Logic Programming, with an Application to the Reachability Problem.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2006

2005

The tau Model, Formalizing Topic Maps.

[BibT_eX]

[DOI]

Robert A. Barta

Proceedings of the Conceptual Modelling 2005, 2005

2004

Proving Properties of Term Rewrite Systems via Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Manipulating Tree Tuple Languages by Transforming Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

2001

Automated Deduction for Many-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Optimal Axiomatizations of Finitely Valued Logics.

[BibT_eX]

[DOI]

Inf. Comput., 2000

1998

Labeled Calculi and Finite-Valued Logics.

[BibT_eX]

[DOI]

Richard Zach

Stud Logica, 1998

On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations.

[BibT_eX]

[DOI]

Miki Hermann

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1996

A Non-Ground Realization of the Stable and Well-Founded Semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

MUltlog 1.0: Towards an Expert System for Many-Valued Logics.

[BibT_eX]

[DOI]

Richard Zach

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1994

Semi-Unification and Generalizations of a Particularly Simple Form.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

Primal Grammars and Unification Modulo a Binary Clause.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Ordered Paramodulation and Resolution as Decision Procedure.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992

The Unification of Infinite Sets of Terms and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Deductive Generalization and Meta-Reasoning or How to Formalize Genesis.

[BibT_eX]

[DOI]