TU Wien Informatics

Stefan Hetzl

Associate Prof. Dipl.-Ing. Dr.techn. / BSc

Research Areas

  • Interactive theorem proving, Automated theorem proving, Proof Theory, Theory of formal Languages
Stefan Hetzl

About

Computational Logic, Proof Theory, Theory of Formal Languages, Automated theorem proving, Interactive theorem proving

Role

2019

2016

  • System Description: GAPT 2.0 / S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota, G. Ebner / Talk: International Joint Conference on Automated Reasoning, Coimbra, Portugal; 2016-06-27 - 2016-07-02
  • System Description: GAPT 2.0 / G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota / Lecture Notes in Computer Science, 9706 (2016), 293 - 301

2014

2013

  • Expansion Trees with Cut / D. Weller, S. Hetzl / CoRR - Computing Research Repository, abs/1308.0428 (2013), abs/1308.0428; 1 - 25
  • Herbrand-Confluence / S. Hetzl, L. Strassburger / Logical Methods in Computer Science, 9 (2013), 4; 1 - 25

2012

  • Towards Algorithmic Cut-Introduction / A. Leitsch, S. Hetzl, D. Weller / in: "Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18", N. Bjorner, A. Voronkov (ed.); Springer LNCS, 2012, ISBN: 978-3-642-28716-9, 228 - 242

2011

2010

2009

  • A Clausal Approach to Proof Analysis in Second-Order Logic / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / Talk: Symposium on Logical Foundations of Computer Science (LFCS 2009), Deerfield Beach, FL, USA; 2009-01-03 - 2009-01-06; in: "Logical Foundations of Computer Science", A. Nerode, S. Artemov (ed.); Springer, LNCS, 5407 (2009), ISBN: 3-540-92686-0; 214 - 229
  • A Clausal Approach to Proof Analysis in Second-Order Logic / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / in: "Lecture Notes in Computer Science, 5407", E. Artemov, A. Nerode (ed.); Springer LNCS, Heidelberg, 2009, ISBN: 3-540-92686-0, 214 - 229

2008

2007

2006

  • Comparing Mathematical Proofs / S. Hetzl / Talk: Studia Logica International Conference; Towards Mathematical Philosophy; Trends in Logic IV, Torun, Poland; 2006-09-01 - 2006-09-04
  • System Description: The Cut-Elimination System CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Talk: FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), Seattle, USA; 2006-08-21; in: "ESCoR 2006 Empirically Successful Computerized Reasoning", G. Sutcliffe, R. Schmidt, S. Schulz (ed.); CEUR Workshop Proceedings, 192 (2006), ISSN: 1613-0073; Paper ID 11, 9 pages
  • A Similarity Criterion for Proofs (abstract) / S. Hetzl / Talk: Computability in Europe 2006, Logical Approaches to Computational Barriers, Swansea, Wales; 2006-06-30 - 2006-07-05; in: "Logical Approaches to Computational Barriers", A. Beckmann, U. Berger, B. Löwe, J. Tucker (ed.); University of Wales Swansea Report Series, CSR 7-2006 (2006), ISBN: 0-86076-189-4; - 295
  • Proof transformation by CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Lecture Notes in Computer Science, 4108 (2006), 82 - 93
  • Proof Transformation by CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / in: "MKM 2006", J.M. Borwein, W.M. Farmer (ed.); Springer, Berlin Heidelberg, 2006, 82 - 93

2005

  • Abstracting from the Propositional Structure of First-Order Proofs / S. Hetzl, A. Leitsch / Talk: Paris-Vienna Workshop 2005, Paris; 2005-12-19
  • Cut-Elimination: Experiments with CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florenz; 2005-11-02 - 2005-11-05
  • Cut-Elimination: Experiments with CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / in: "LOgic for Programming, Artificial Intelligence, and Reasoning", issued by: Franz Baader, Andrei Voronkov; Springer, LNAI, Heidelberg, 2005, ISBN: 3-540-25236-3, 481 - 495
  • A Graph-Theoretic Approach to Steganography / S. Hetzl, P. Mutzel / in: "9th IFIP Conference on Communications and Multimedia Security (CMS 2005)", J. Dittmann, S. Katzenbeisser, A. Uhl (ed.); issued by: International Federation for Information Processing; Springer, LNCS 3677, 2005, ISBN: 3-540-28791-4, 119 - 128