Stefan Hetzl
Orcid: 0000-0002-6461-5982Affiliations:
- Vienna University of Technology, Institute of Discrete Mathematics and Geometry, Austria
- École Polytechnique, Paris, France (former)
According to our database1,
Stefan Hetzl
authored at least 53 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
1
1
3
3
1
5
1
1
2
2
3
2
1
1
1
1
2
1
2
3
1
1
5
1
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2023
Ann. Pure Appl. Log., 2023
2022
2021
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
2020
2019
2018
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018
2017
ACM Trans. Comput. Log., 2017
Log. Methods Comput. Sci., 2017
2016
Proceedings of the Proceedings Sixth International Workshop on Classical Logic and Computation, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015
Proceedings of the Descriptional Complexity of Formal Systems, 2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Language and Automata Theory and Applications, 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
2008
Theor. Comput. Sci., 2008
Proceedings of the LPAR 2008 Workshops, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006
2005
Proceedings of the Communications and Multimedia Security, 2005
2004
Proceedings of the Logic for Programming, 2004