Thomas Zeume
Orcid: 0000-0002-5186-7507Affiliations:
- Ruhr University Bochum, Germany
- TU Dortmund, Department of Computer Science (former)
According to our database1,
Thomas Zeume
authored at least 45 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
4
1
2
2
1
2
2
1
1
1
1
4
2
1
1
3
2
5
2
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251).
Dagstuhl Reports, 2024
Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 2, 2024
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Exploring Error Types in Formal Languages Among Students of Upper Secondary Education.
Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024
2023
Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
2022
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic.
Log. Methods Comput. Sci., 2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
2020
Theory Comput. Syst., 2020
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020
2019
Log. Methods Comput. Sci., 2019
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
2018
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018
Proceedings of the Proceedings Companion of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018
Proceedings of the 21st International Conference on Database Theory, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
2017
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity
Lecture Notes in Computer Science 10110, Springer, ISBN: 978-3-662-54313-9, 2017
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 19th International Conference on Database Theory, 2016
2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2013
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.
CoRR, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009