Patrick Totzke

发表

Sven Schewe, Richard Mayr, Patrick Totzke, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Patrick Totzke, Mahsa Shirmohammadi, Corto Mascle, 2019, ArXiv.
Stefan Kiefer, Richard Mayr, Patrick Totzke, 2020, CONCUR.
Grégoire Sutre, Jérôme Leroux, Patrick Totzke, 2015, ICALP.
Patrick Totzke, Ranko Lazic, Matthias Englert, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Slawomir Lasota, Sylvain Schmitz, Jérôme Leroux, 2016, FoSSaCS.
Slawomir Lasota, Richard Mayr, Patrick Totzke, 2013, FSTTCS.
Manfred Kudlek, Georg Zetzsche, Patrick Totzke, 2009, Fundam. Informaticae.
Stefan Kiefer, Richard Mayr, Patrick Totzke, 2020, ArXiv.
Patrick Totzke, P. Totzke, 2014 .
Manfred Kudlek, Georg Zetzsche, Patrick Totzke, 2009, Fundam. Informaticae.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Richard Mayr, 2014, CSL-LICS.
Stefan Kiefer, Richard Mayr, Patrick Totzke, 2019, ICALP.
Richard Mayr, Patrick Totzke, Piotr Hofman, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Shaull Almagor, Udi Boker, Patrick Totzke, 2020, CONCUR.
Patrick Totzke, Piotr Hofman, 2012, EXPRESS/SOS.
Lorenzo Clemente, Patrick Totzke, Piotr Hofman, 2019, CONCUR.
Stefan Kiefer, Richard Mayr, Patrick Totzke, 2020, ICALP.
Richard Mayr, Patrick Totzke, 2013, RP.
Patrick Totzke, Piotr Hofman, 2018, Theor. Comput. Sci..
Christoph Haase, Stefan Göller, Patrick Totzke, 2016, ICALP.
Patrick Totzke, Piotr Hofman, Piotr Hofman, 2014, RP.
Grégoire Sutre, Jérôme Leroux, Patrick Totzke, 2015, RP.
Richard Mayr, Patrick Totzke, 2016, Fundam. Informaticae.
Patrick Totzke, Ranko Lazic, 2017, Concurrency, Security, and Puzzles.
Jérôme Leroux, Patrick Totzke, Piotr Hofman, 2016, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Martin Zimmermann, Patrick Totzke, Daniel Neider, 2019, MFCS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Richard Mayr, 2018, CONCUR.
Slawomir Lasota, Richard Mayr, Patrick Totzke, 2016, Log. Methods Comput. Sci..
Alain Finkel, Christoph Haase, Patrick Totzke, 2021, J. ACM.
Stefan Kiefer, Richard Mayr, Patrick Totzke, 2021, CONCUR.