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

2019

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

  • 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
  • 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

2002