| A survey of tools for analyzing ethereum smart contracts M Di Angelo, G Salzer 2019 IEEE international conference on decentralized applications and …, 2019 | 211 | 2019 |
| Performance and scalability of private Ethereum blockchains M Schäffer, M Di Angelo, G Salzer Business Process Management: Blockchain and Central and Eastern Europe Forum …, 2019 | 127 | 2019 |
| Tokens, types, and standards: identification and utilization in Ethereum M Di Angelo, G Salzer 2020 IEEE International Conference on Decentralized Applications and …, 2020 | 108 | 2020 |
| Labeled calculi and finite-valued logics M Baaz, CG Fermüller, G Salzer, R Zach Studia Logica 61, 7-33, 1998 | 73 | 1998 |
| The unification of infinite sets of terms and its applications G Salzer Logic Programming and Automated Reasoning: International Conference LPAR'92 …, 1992 | 69 | 1992 |
| Automated deduction for many-valued logics M Baaz, CG Fermüller, G Salzer Handbook of automated reasoning, 1355-1402, 2001 | 68 | 2001 |
| Algebraic foundation of a data model for an extensible space-based collaboration protocol S Craß, E Kühn, G Salzer Proceedings of the 2009 International Database Engineering & Applications …, 2009 | 40 | 2009 |
| Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices G Salzer International Conference on Automated Deduction, 688-702, 1996 | 36 | 1996 |
| A non-ground realization of the stable and well-founded semantics G Gottlob, S Marcus, A Nerode, G Salzer, VS Subrahmanian Theoretical Computer Science 166 (1-2), 221-262, 1996 | 34 | 1996 |
| MUltlog 1.0: Towards an expert system for many-valued logics M Baaz, CG Fermüller, G Salzer, R Zach Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996 | 31 | 1996 |
| Review of automated vulnerability analysis of smart contracts on Ethereum H Rameder, M Di Angelo, G Salzer Frontiers in Blockchain 5, 814977, 2022 | 29 | 2022 |
| Characterizing types of smart contracts in the ethereum landscape M Di Angelo, G Salzer International Conference on Financial Cryptography and Data Security, 389-404, 2020 | 29 | 2020 |
| Identification of token contracts on Ethereum: standard compliance and beyond M Di Angelo, G Salzer International Journal of Data Science and Analytics 16 (3), 333-352, 2023 | 27 | 2023 |
| Computing product configurations via UML and integer linear programming A Falkner, I Feinerer, G Salzer, G Schenner International Journal of Mass Customisation 3 (4), 351-367, 2010 | 27 | 2010 |
| Wallet contracts on Ethereum M Di Angelo, G Slazer 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-2, 2020 | 26 | 2020 |
| Ordered paramodulation and resolution as decision procedure C Fermüller, G Salzer International Conference on Logic for Programming Artificial Intelligence …, 1993 | 26 | 1993 |
| Characteristics of wallet contracts on ethereum M Di Angelo, G Salzer 2020 2nd Conference on Blockchain Research & Applications for Innovative …, 2020 | 20 | 2020 |
| A comparison of tools for teaching formal software verification I Feinerer, G Salzer Formal aspects of computing 21, 293-301, 2009 | 20 | 2009 |
| Complexity of clausal constraints over chains N Creignou, M Hermann, A Krokhin, G Salzer Theory of Computing Systems 42 (2), 239-255, 2008 | 20 | 2008 |
| Consistency and minimality of UML class specifications with multiplicities and uniqueness constraints I Feinerer, G Salzer First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007 | 19 | 2007 |
