Piotr Hofman
发表
Sławomir Lasota,
Diego Figueira,
Piotr Hofman,
2010
.
Patricia Bouyer,
Nicolas Markey,
Mickael Randour,
2016,
FoSSaCS.
Slawomir Lasota,
Wojciech Czerwinski,
Piotr Hofman,
2013,
Log. Methods Comput. Sci..
Slawomir Lasota,
Wojciech Czerwinski,
Piotr Hofman,
2011,
CONCUR.
Slawomir Lasota,
Sylvain Schmitz,
Jérôme Leroux,
2016,
FoSSaCS.
Patrick Totzke,
Piotr Hofman,
2012
.
Slawomir Lasota,
Richard Mayr,
Patrick Totzke,
2013,
FSTTCS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Richard Mayr,
2014,
CSL-LICS.
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.
Slawomir Lasota,
Wojciech Czerwinski,
Piotr Hofman,
2013,
Theory of Computing Systems.
Christoph Haase,
Piotr Hofman,
C. Haase,
2015,
STACS.
Patrick Totzke,
Piotr Hofman,
2012,
EXPRESS/SOS.
Serge Haddad,
Stanislav Böhm,
Stefan Haar,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Slawomir Lasota,
Diego Figueira,
Piotr Hofman,
2010,
Mathematical Structures in Computer Science.
Slawomir Lasota,
Wojciech Czerwinski,
Piotr Hofman,
2012,
CONCUR.
Lorenzo Clemente,
Patrick Totzke,
Piotr Hofman,
2019,
CONCUR.
Patrick Totzke,
Piotr Hofman,
2018,
Theor. Comput. Sci..
Patrick Totzke,
Piotr Hofman,
Piotr Hofman,
2014,
RP.
Utkarsh Gupta,
Preey Shah,
S. Akshay,
2019,
FoSSaCS.
Jérôme Leroux,
Patrick Totzke,
Piotr Hofman,
2017
.
Georg Zetzsche,
Wojciech Czerwinski,
Piotr Hofman,
2018,
ICALP.
Michal Pilipczuk,
Dmitry Chistikov,
Michael Wehar,
2019,
Log. Methods Comput. Sci..
Michal Pilipczuk,
Claire David,
Filip Murlak,
2014,
ICDT.
Stanislav Böhm,
Stefan Göller,
Piotr Hofman,
2017,
STACS.
Jérôme Leroux,
Patrick Totzke,
Piotr Hofman,
2016,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Wim Martens,
Piotr Hofman,
2015,
ICDT.
Mohamed Faouzi Atig,
Georg Zetzsche,
K. Narayan Kumar,
2016,
ArXiv.
Slawomir Lasota,
Richard Mayr,
Patrick Totzke,
2016,
Log. Methods Comput. Sci..
Diego Figueira,
Piotr Hofman,
Wojciech Czerwiński,
2020,
CONCUR.
Michal Pilipczuk,
Wojciech Czerwinski,
Dmitry Chistikov,
2015,
FoSSaCS.
Slawomir Lasota,
Piotr Hofman,
2018,
CONCUR.
Piotr Hofman,
Jakub R'o.zycki,
Piotr Hofman,
2021,
ArXiv.
Slawomir Lasota,
Jérôme Leroux,
Ranko Lazic,
2021,
Inf. Process. Lett..
Slawomir Lasota,
Arka Ghosh,
Piotr Hofman,
2022
.
Marcin Pilipczuk,
Piotr Hofman,
2008
.