T. Zeume
发表
Thomas,
S. Datta,
R. Kulkarni,
2018
.
C. Lutz,
T. Zeume,
J. C. Jung,
2020
.
Thomas Schwentick,
Thomas Zeume,
T. Schwentick,
2017,
Journal of computer and system sciences (Print).
T. Schwentick,
S. Datta,
R. Kulkarni,
2018,
J. ACM.
Gaetano Geck,
T. Zeume,
Christine Quenkert,
2021,
2105.05763.
Thomas Schwentick,
Thomas Zeume,
T. Schwentick,
2013,
Inf. Comput..
Christopher Lynnly Hovey,
Thomas Zeume,
Zack J. Butler,
2018,
ITiCSE.
Thomas Schwentick,
Thomas Zeume,
Till Tantau,
2021,
FoSSaCS.
Thomas Zeume,
Pablo Barceló,
Miguel Romero,
2019,
Theory of Computing Systems.
Thomas Zeume,
Samir Datta,
Nils Vortmeier,
2018,
ICALP.
Thomas Schwentick,
Thomas Zeume,
T. Schwentick,
2016,
SIGL.
Jarkko Kari,
Thomas Zeume,
Pascal Vanier,
2009,
MFCS.
Thomas Schwentick,
Thomas Zeume,
Nils Vortmeier,
2017,
TODS.
Thomas Schwentick,
Thomas Zeume,
Nils Vortmeier,
2020,
SIGMOD Rec..
T. Zeume,
N. Vortmeier,
2019,
Annual Conference for Computer Science Logic.
Thomas Schwentick,
Thomas Zeume,
Samir Datta,
2017,
ICALP.
T. Zeume,
N. Vortmeier,
Felix Tschirbs,
2023,
Annual Conference for Computer Science Logic.
Thomas Schwentick,
Thomas Zeume,
T. Schwentick,
2017,
J. Comput. Syst. Sci..
Thomas Schwentick,
Thomas Zeume,
Raghav Kulkarni,
2015,
ICALP.
Thomas Zeume,
T. Zeume,
2014,
Inf. Comput..
Thomas Zeume,
T. Zeume,
2015
.
Thomas Zeume,
Pankaj Kumar,
Samir Datta,
2020,
ICALP.
Thomas Zeume,
Pablo Muñoz,
Nils Vortmeier,
2015,
ICDT.
Thomas Schwentick,
Thomas Zeume,
Nils Vortmeier,
2015,
CSL.
Thomas Schwentick,
Thomas Zeume,
Nils Vortmeier,
2019,
CSL.
Thomas Zeume,
Szymon Toruńczyk,
T. Zeume,
2020,
LICS.
Thomas Zeume,
Frederik Harwath,
Frederik Harwath,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Thomas Schwentick,
Thomas Zeume,
T. Schwentick,
2010,
CSL.
Jean Christoph Jung,
Thomas Zeume,
Carsten Lutz,
2020,
KR.
Jean Christoph Jung,
Thomas Zeume,
Carsten Lutz,
2019,
Description Logics.