( en | de | ru )

 

Disambiguation of "Zeume, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Propagating the adoption of CS educational innovations.

, , , , , , , and . ITiCSE (Companion), page 217-235. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Zeume

Georg Zeumer

Ilse Zeumer

Hermann Zeumer

Christian Zeumer

 

Other publications of authors with the same name

Dynamic Complexity of Regular Languages: Big Changes, Small Work., , and . CSL, volume 252 of LIPIcs, page 35:1-35:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Dynamic Complexity of Parity Exists Queries., and . CSL, volume 152 of LIPIcs, page 37:1-37:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems., , and . SIGCSE (1), page 465-471. ACM, (2023)On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions., , and . KR, page 529-538. (2020)Decidability and Complexity of ALCOIF with Transitive Closure (and More)., , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Propagating the adoption of CS educational innovations., , , , , , , and . ITiCSE (Companion), page 217-235. ACM, (2018)A More General Theory of Static Approximations for Conjunctive Queries., , and . Theory Comput. Syst., 64 (5): 916-964 (2020)A More General Theory of Static Approximations for Conjunctive Queries., , and . CoRR, (2019)The Regular Languages of First-Order Logic with One Alternation., , , and . LICS, page 58:1-58:11. ACM, (2022)Teaching Logic with Iltis: an Interactive, Web-Based System., , , , , , , , , and . ITiCSE, page 307. ACM, (2019)