Követés
Gernot Salzer
Gernot Salzer
Associate Professor of Computer Science, Technische Universität Wien
E-mail megerősítve itt: logic.at - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
A survey of tools for analyzing ethereum smart contracts
M Di Angelo, G Salzer
2019 IEEE international conference on decentralized applications and …, 2019
2042019
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
1192019
Tokens, types, and standards: identification and utilization in Ethereum
M Di Angelo, G Salzer
2020 IEEE International Conference on Decentralized Applications and …, 2020
1042020
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61, 7-33, 1998
731998
The unification of infinite sets of terms and its applications
G Salzer
Logic Programming and Automated Reasoning: International Conference LPAR'92 …, 1992
691992
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of automated reasoning, 1355-1402, 2001
682001
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
402009
Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
G Salzer
International Conference on Automated Deduction, 688-702, 1996
361996
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
341996
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
311996
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
282020
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
272010
Ordered paramodulation and resolution as decision procedure
C Fermüller, G Salzer
International Conference on Logic for Programming Artificial Intelligence …, 1993
261993
Review of automated vulnerability analysis of smart contracts on Ethereum
H Rameder, M Di Angelo, G Salzer
Frontiers in Blockchain 5, 814977, 2022
252022
Wallet contracts on Ethereum
M Di Angelo, G Slazer
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-2, 2020
242020
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
202023
A comparison of tools for teaching formal software verification
I Feinerer, G Salzer
Formal aspects of computing 21, 293-301, 2009
202009
Complexity of clausal constraints over chains
N Creignou, M Hermann, A Krokhin, G Salzer
Theory of Computing Systems 42 (2), 239-255, 2008
202008
Characteristics of wallet contracts on ethereum
M Di Angelo, G Salzer
2020 2nd Conference on Blockchain Research & Applications for Innovative …, 2020
192020
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
192007
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20