# Gernot Salzer

Orcid: 0000-0002-8950-1551Affiliations:

- TU Wien, Vienna, Austria

According to our database

Collaborative distances:

^{1}, Gernot Salzer authored at least 53 papers between 1991 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2024

Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study.

Empir. Softw. Eng., April, 2024

2023

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

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

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

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

2022

Frontiers Blockchain, July, 2022

2021

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

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

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

2020

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

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

Proceedings of the Financial Cryptography and Data Security, 2020

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

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

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

2019

Theory Comput. Syst., 2019

CoRR, 2019

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

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

Proceedings of the Financial Cryptography and Data Security, 2019

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

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

2016

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

Proceedings of the Computer Science - Theory and Applications, 2016

2015

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

2014

Softw. Syst. Model., 2014

2013

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

2012

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

2011

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

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

Eur. J. Comb., 2010

2009

Formal Aspects Comput., 2009

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

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

2008

Efficient Algorithms for Description Problems over Finite Totally Ordered Domains.

SIAM J. Comput., 2008

Theory Comput. Syst., 2008

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

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.

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

2006

J. Autom. Reason., 2006

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

J. Autom. Lang. Comb., 2006

2005

Proceedings of the Conceptual Modelling 2005, 2005

2004

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

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

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

2003

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

2001

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

2000

Inf. Comput., 2000

1998

Stud Logica, 1998

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

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1996

Theor. Comput. Sci., 1996

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

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

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

1994

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

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

1993

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

1992

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Proceedings of the Proc. 7th Austrian Conference on Artificial Intelligence, 1991