TU Wien Informatics

Gernot Salzer

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Focus

Research Areas

  • Constraint Satisfaction Problems, Formal Methods in Computer Science, Automated Reasoning, Logic Programming & Constraints, Cryptography, Complexity Theory
Gernot Salzer

About

1) Clausal Theorem Proving and Unification Theory 2) Proof Theory of Many-valued Logics 3) Formal Methods in Computer Science 4) Constraint Satisfaction Problems

Roles

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2022

2021

  • Empirical Evaluation of MakerDAO's Resilience / M. Kjäer, M. Di Angelo, G. Salzer / Talk: 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris; 2021-09-27 - 2021-09-30; in: "Proc. Conference on Blockchain Research & Applications for Innovative Networks and Services", (2021), ISBN: 978-1-6654-3924-4; Paper ID 1570716378, 8 pages
  • MCP: Capturing Big Data by Satisfiability (Tool Description) / M. Hermann, G. Salzer et al. / Talk: SAT 2021, Barcelona; 2021-07-05 - 2021-07-09; in: "Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings", Springer LNCS, 12831 (2021), ISBN: 978-3-030-80222-6; 207 - 215
  • Towards the Identification of Security Tokens on Ethereum / M. Di Angelo, G. Salzer / Talk: 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2021), Paris; 2021-04-19 - 2021-04-21; in: "3rd International Workshop on Blockchains and Smart Contracts (BSC 2020-2021)", (2021), ISBN: 978-1-6654-4399-9; 5 pages
  • Identification of Token Contracts on Ethereum: Standard Compliance and Beyond / M. Di Angelo, G. Salzer / International Journal of Data Science and Analytics (JDSA), 2021 (2021), online first

2020

  • Assessing the Similarity of Smart Contracts by Clustering their Interfaces / M. Di Angelo, G. Salzer / Talk: 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Guangzhou, China; 2020-12-29 - 2021-01-01; in: "19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)", IEEE, (2020), ISBN: 978-0-7381-4380-4; 1 - 10
  • Characteristics of Wallet Contracts on Ethereum / M. Di Angelo, G. Salzer / Talk: 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, Paris; 2020-09-28 - 2020-09-30; in: "Proc. BRAINS", IEEE, (2020), 8 pages
  • Functional Differences of Neo and Ethereum as Smart Contract Platforms / M. Bareis, M. Di Angelo, G. Salzer / Talk: 2nd Int. Congress on Blockchain and Applications (ICBA), Aquila; 2020-09-28 - 2020-09-30; in: "2nd International Congress on Blockchain and Applications", J. Prieto et al. (ed.); Springer, AISC 1238 (2020), ISBN: 978-3-030-52535-4; 13 - 23
  • Wallet Contracts on Ethereum / M. Di Angelo, G. Salzer / Poster: International Conference on Blockchain and Cryptocurrency, Toronto, Canada; 2020-05-02 - 2020-05-06; in: "International Conference on Blockchain and Cryptocurrency", IEEE, (2020), ISBN: 978-1-7281-6680-3; 1 - 2
  • Tokens, Types, and Standards: Identification and Utilization in Ethereum / M. Di Angelo, G. Salzer / Talk: International Conference on Decentralized Applications and Infrastructures (IEEE DAPPS 2020), Oxford, UK; 2020-04-13 - 2020-04-16; in: "Proc. IEEE DAPPS 2020", IEEE, (2020), ISBN: 978-1-7281-6978-1; 1 - 10
  • Characterizing Types of Smart Contracts in the Ethereum Landscape / M. Di Angelo, G. Salzer / Talk: 4th Workshop on Trusted Smart Contracts, Financial Cryptography 2020, Kota Kinabalu, Malaysia; 2020-02-14 - 2020-02-16; in: "Financial Cryptography and Data Security (FC 2020) International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers", Springer, LNCS 12063 (2020), 389 - 404

2019

  • Performance and Scalability of Private Ethereum Blockchains / M. Schäffer, M. Di Angelo, G. Salzer / Talk: Business Process Management: Blockchain and Central and Eastern Europe Forum - BPM 2019 Blockchain and CEE Forum, Vienna, Austria, Wien; 2019-09-01 - 2019-09-06; in: "BPM Blockchain and Central and Eastern Europe Forum, Proceeddings", Springer, Lecture Notes in Business Information Processing 361 (2019), ISBN: 978-3-030-30429-4; 1 - 15
  • Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time / M. Di Angelo, G. Salzer / Talk: BCC 2019 : The Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Auckland, New Zealand; 2019-07-08 - 2019-07-15; in: "Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19)", ACM, (2019), ISBN: 978-1-4503-6785-1; 1 - 10
  • Collateral Use of Deployment Code for Smart Contracts in Ethereum / M. Di Angelo, G. Salzer / Talk: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Gran Canaria; 2019-06-24 - 2019-06-26; in: "2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)", IEEE, (2019), ISBN: 978-1-7281-1542-9; 1 - 5
  • Smart Contracts in View of the Civil Code / M. Di Angelo, A. Soare, G. Salzer / Talk: SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Zypern; 2019-04-08 - 2019-04-12; in: "SAC '19: Symposium on Applied Computing Proceedings", ACM, (2019), ISBN: 978-1-4503-5933-7; 392 - 399
  • A Survey of Tools for Analyzing Ethereum Smart Contracts / M. Di Angelo, G. Salzer / Talk: IEEE International Conference on Decentralized Applications and Infrastructures, San Francisco; 2019-04-05 - 2019-04-09; in: "2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), Proceedings", IEEE, (2019), ISBN: 978-1-7281-1264-0; 69 - 78
  • SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course / M. Di Angelo, C. Sack, G. Salzer / Talk: 3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, St.Kitts; 2019-02-22 - 2019-02-26; in: "3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Proceedings", Springer, LNCS 11599 (2020), 91 - 105
  • Minimal Distance of Propositional Models / M. Behrisch, M. Hermann, S. Mengel, G. Salzer / Theory of Computing Systems, 63 (2019), 6; 1131 - 1184

2016

  • The Next Whisky Bar / G. Salzer, M. Hermann et al. / Talk: CSR 2016, St.Petersburg; 2016-06-09 - 2016-06-13; in: "Computer Science - Theory and Applications (11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia)", Springer, (2016), 41 - 56
  • As Close as It Gets / G. Salzer, M. Behrisch, M. Hermann / Talk: {WALCOM:} Algorithms and Computation - 10th International Workshop, Kathmandu; 2016-03-29 - 2016-03-31; in: "{WALCOM:} Algorithms and Computation - 10th International Workshop, {WALCOM} 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings", M. Kaykobad et al. (ed.); LNCS 9627 (2016), ISBN: 978-3-319-30139-6; 222 - 235

2015

2014

2013

  • Class diagrams with equated association chains / I. Feinerer, G. Salzer, T. Sisel / Talk: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 2013-07-01 - 2013-07-03; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), 209 - 216

2012

2011

  • Reducing multiplicities in class diagrams / I. Feinerer, G. Salzer, T. Sisel / Talk: 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand; 2011-10-16 - 2011-10-21; in: "Lecture Notes in Computer Science", 6981 (2011), ISBN: 978-3-642-24484-1; 379 - 393

2010

2009

2008

2007

2006

2005

  • The τ model, fomalizing topic maps / G. Salzer, R. Barta / in: "Proceedings of the 2nd-Asia-Pacific conference on Conceptual modelling", issued by: Australian Computer Society; Australian Computer Society, Darlinghurst, Australia, 2005, ISSN: 1445-1336, 37 - 42

2004

2003

  • MUltlog and MUltseq Reanimated and Married / M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer / Talk: 4th International Workshop on the Implementation of Logics, Almaty, Kazakhstan; 2003-09-26; in: "Proc. of the 4th International Workshop on the Implementation of Logics", (2003), 13 - 17
  • Manipulating Tree Tuple Languages by Transforming Logic Programs / G. Salzer, S Limet / Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "First-Order Theorem Proving (FTP'03)", Elsevier Science Publishers, Electronic Notes in Theoretical Computer Science (2003), 15 pages

2002

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.