P. Totzke
发表
D. Wojtczak,
R. Mayr,
M. Shirmohammadi,
2020
.
R. Mayr,
M. Shirmohammadi,
S. Kiefer,
2022,
ArXiv.
S. Schewe,
D. Wojtczak,
R. Mayr,
2017
.
T. Henzinger,
P. Totzke,
K. Lehtinen,
2022,
CONCUR.
R. Mayr,
M. Shirmohammadi,
S. Kiefer,
2022,
ArXiv.
P. Totzke,
Piotr Hofman,
Jérôme Leroux LaBRI,
2017
.
Patrick Totzke,
Marie Fortin,
Louwe B. Kuijer,
2021,
2105.04176.
Patrick Totzke,
Ranko Lazic,
Matthias Englert,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Grégoire Sutre,
Jérôme Leroux,
Patrick Totzke,
2015,
ICALP.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2020,
CONCUR.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2020,
ICALP.
Jérôme Leroux,
Patrick Totzke,
Piotr Hofman,
2016,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Patrick Totzke,
P. Totzke,
2014
.
Manfred Kudlek,
Georg Zetzsche,
Patrick Totzke,
2009,
Fundam. Informaticae.
Manfred Kudlek,
Georg Zetzsche,
Patrick Totzke,
2009,
Fundam. Informaticae.
Lorenzo Clemente,
Patrick Totzke,
Piotr Hofman,
2019,
CONCUR.
Martin Zimmermann,
Patrick Totzke,
Daniel Neider,
2019,
MFCS.
Sven Schewe,
Richard Mayr,
Patrick Totzke,
2021,
FoSSaCS.