G. Salzer
发表
M. Baaz,
C. Fermüller,
N. Preining,
2022
.
Gernot Salzer,
G. Salzer,
1992,
LPAR.
G. Salzer,
2000
.
Gernot Salzer,
Ingo Feinerer,
Gerhard Niederbrucker,
2012,
ISMIS.
Gernot Salzer,
Miki Hermann,
G. Salzer,
2021,
SAT.
Christian G. Fermüller,
Gernot Salzer,
Matthias Baaz,
1998,
Stud Logica.
Gernot Salzer,
Monika di Angelo,
Monika Di Angelo,
2020,
Financial Cryptography Workshops.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2015,
Theory of Computing Systems.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2016,
CSR.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2016,
WALCOM.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2015,
ISAAC.
Gernot Salzer,
Robert A. Barta,
G. Salzer,
2005,
APCCM.
Gernot Salzer,
G. Salzer,
2000,
Inf. Comput..
Gernot Salzer,
G. Salzer,
1996,
CADE.
Christian G. Fermüller,
Gernot Salzer,
Matthias Baaz,
2001,
Handbook of Automated Reasoning.
Christian G. Fermüller,
Gernot Salzer,
Rosa M. Rodríguez,
2019,
ArXiv.
Gernot Salzer,
Monika Di Angelo,
Markus Schäffer,
2019,
BPM.
Gernot Salzer,
Monika Di Angelo,
Alfred Soare,
2019,
SAC.
Gernot Salzer,
Monika Di Angelo,
Martin Kjäer,
2021,
2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).
Monika Di Angelo,
Thomas Durieux,
G. Salzer,
2023,
ArXiv.
Gernot Salzer,
Monika Di Angelo,
G. Salzer,
2019,
2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON).
Gernot Salzer,
Monika Di Angelo,
G. Salzer,
2021,
International Journal of Data Science and Analytics.
Monika Di Angelo,
Thomas Durieux,
G. Salzer,
2023,
arXiv.org.
Gernot Salzer,
Monika Di Angelo,
Christian Sack,
2019,
Financial Cryptography Workshops.
Gernot Salzer,
Monika Di Angelo,
G. Salzer,
2020,
2020 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).
Gernot Salzer,
Monika di Angelo,
Monika Di Angelo,
2020,
2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS).
Monika Di Angelo,
G. Salzer,
Monika Di Angelo,
2022,
Frontiers in Blockchain.
Gernot Salzer,
Monika di Angelo,
Monika Di Angelo,
2020,
IEEE ICBC.
Gernot Salzer,
Monika Di Angelo,
G. Salzer,
2019,
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
G. Salzer,
Ingo Feinerer,
2014,
Software & Systems Modeling.
Gernot Salzer,
Ingo Feinerer,
Tanja Sisel,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Gernot Salzer,
Ingo Feinerer,
Tanja Sisel,
2011,
MODELS'11.
Gernot Salzer,
Ingo Feinerer,
G. Salzer,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Gernot Salzer,
Bruno Zanuttini,
Àngel J. Gil,
2004,
IJCAR.
Gernot Salzer,
Monika di Angelo,
Marco Bareis,
2020,
BLOCKCHAIN.
Gernot Salzer,
Monika di Angelo,
G. Salzer,
2019,
Proceedings of the Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts - BCC '19.
Gernot Salzer,
Monika Di Angelo,
G. Salzer,
2021,
2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
Gernot Salzer,
Nadia Creignou,
Andrei A. Krokhin,
2008,
Theory of Computing Systems.
Gernot Salzer,
Ingo Feinerer,
G. Salzer,
2009,
Formal Aspects of Computing.
Gernot Salzer,
Ingo Feinerer,
G. Salzer,
2006,
FM 2006.
Gernot Salzer,
G. Salzer,
1994,
CADE.
Gernot Salzer,
G. Salzer,
1991,
ÖGAI.
Gernot Salzer,
Victor Chepoi,
Nadia Creignou,
2010,
Eur. J. Comb..
G. Salzer,
E. Lomakin,
V. Vasilyev,
2007
.
Sébastien Limet,
Gernot Salzer,
G. Salzer,
2006,
Journal of Automated Reasoning.
Gernot Salzer,
Bruno Zanuttini,
Àngel J. Gil,
2008,
SIAM J. Comput..