P. Höfner
发表
P. Höfner,
G. Struth,
2006
.
M. E. Müller,
P. Höfner,
Stephan Zeissler,
2010
.
P. Höfner,
K. Koch,
M. Gaderer,
2020
.
P. Höfner,
B. Möller,
2012
.
P. Höfner,
G. Struth,
B. Möller,
2006
.
P. Höfner,
B. Möller,
2010
.
R. V. Glabbeek,
P. Höfner,
2015
.
P. Höfner,
2005
.
R. V. Glabbeek,
P. Höfner,
2019
.
Peter Höfner,
P. Höfner,
2015
.
Georg Struth,
Peter Höfner,
P. Höfner,
2007,
CADE.
Bernhard Möller,
Peter Höfner,
Kim Solin,
2006,
RelMiCS.
Georg Struth,
Bernhard Möller,
Peter Höfner,
2006,
AMAST.
Bernhard Möller,
Peter Höfner,
P. Höfner,
2009,
J. Log. Algebraic Methods Program..
Rob J. van Glabbeek,
Peter Höfner,
P. Höfner,
2015,
Acta Informatica.
Bernhard Möller,
Peter Höfner,
P. Höfner,
2011,
Theor. Comput. Sci..
Georg Struth,
Peter Höfner,
P. Höfner,
2010,
J. Log. Algebraic Methods Program..
P. Höfner,
Damien,
Pous,
2022
.
Peter Jipsen,
Peter Höfner,
Wolfram Kahl,
2015,
Lecture Notes in Computer Science.
Georg Struth,
Peter Höfner,
P. Höfner,
2008,
IJCAR.
Ross Horne,
Peter Höfner,
Rob van Glabbeek,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Rob van Glabbeek,
Peter Höfner,
R. V. Glabbeek,
2018,
ACM Comput. Surv..
Rob J. van Glabbeek,
Peter Höfner,
R. V. Glabbeek,
2015,
ArXiv.
Rob J. van Glabbeek,
Peter Höfner,
R. V. Glabbeek,
2015,
Acta Informatica.
Rob J. van Glabbeek,
Peter Höfner,
Victor Dyseryn,
2017,
EXPRESS/SOS.
Rob J. van Glabbeek,
Marius Portmann,
Peter Höfner,
2015,
Distributed Computing.
R. V. Glabbeek,
P. Höfner,
2015,
Acta Informatica.
Peter Höfner,
Rob van Glabbeek,
Weiyou Wang,
2021,
CONCUR.
Annabelle McIver,
Ansgar Fehnker,
Rob J. van Glabbeek,
2013,
ArXiv.
Peter Höfner,
P. Höfner,
2009
.
Carroll Morgan,
Richard S. Bird,
Jeremy Gibbons,
2021,
IFIP's Exciting First 60+ Years.
Rob van Glabbeek,
Michael Markl,
Peter Höfner,
2019,
ESOP.
Callum Bannister,
Peter Höfner,
P. Höfner,
2018,
RAMiCS.
Gerwin Klein,
Callum Bannister,
Peter Höfner,
2018,
ITP.
Rudolf Berghammer,
Peter Höfner,
Insa Stucke,
2016,
J. Log. Algebraic Methods Program..
Rob J. van Glabbeek,
Marius Portmann,
Peter Höfner,
2013,
MSWiM.
Don S. Batory,
Peter Höfner,
Jongwook Kim,
2011,
GPCE '11.
Annabelle McIver,
Ansgar Fehnker,
Rob J. van Glabbeek,
2012,
ESOP.
P. Höfner,
Weiyou Wang,
J. Drury,
2020,
MARS@ETAPS.
Rob J. van Glabbeek,
Peter Höfner,
Djurre van der Wal,
2018,
IFM.
Rob J. van Glabbeek,
Peter Höfner,
Emile Bres,
2016,
ESOP.
Florian Lautenbacher,
Peter Höfner,
P. Höfner,
2008,
WWV.
Bernhard Möller,
Peter Höfner,
P. Höfner,
2009,
FOSD '09.
Rudolf Berghammer,
Walter Guttmann,
Peter Höfner,
2018,
Arch. Formal Proofs.
Annabelle McIver,
Peter Höfner,
P. Höfner,
2014,
J. Log. Algebraic Methods Program..
Georg Struth,
Geoff Sutcliffe,
Peter Höfner,
2009,
Annals of Mathematics and Artificial Intelligence.
Georg Struth,
Peter Höfner,
P. Höfner,
2008,
RelMiCS.
Georg Struth,
Peter Höfner,
P. Höfner,
2008,
REFINE@IFM.
Han-Hing Dang,
Bernhard Möller,
Peter Höfner,
2009,
RelMiCS.
Peter Höfner,
P. Höfner,
2008,
RelMiCS.
Rob J. van Glabbeek,
Peter Höfner,
R. V. Glabbeek,
2017,
MARS@ETAPS.
R. V. Glabbeek,
P. Höfner,
2015
.
Georg Struth,
Callum Bannister,
Peter Höfner,
2021,
RAMiCS.
Ridha Khédri,
Bernhard Möller,
Peter Höfner,
2011,
Int. J. Softw. Informatics.
Maryam Kamali,
Luigia Petre,
Peter Höfner,
2015,
SEFM.
Bernhard Möller,
Peter Höfner,
Andreas Zelend,
2012,
RAMiCS.
Sarah Edenhofer,
Peter Höfner,
P. Höfner,
2012,
2012 20th IEEE International Conference on Network Protocols (ICNP).
Han-Hing Dang,
Bernhard Möller,
Peter Höfner,
2011,
J. Log. Algebraic Methods Program..
Annabelle McIver,
Ansgar Fehnker,
Rob J. van Glabbeek,
2015,
ArXiv.
Rob van Glabbeek,
Ryan Barry,
Peter Höfner,
2020,
MARS@ETAPS.
Timothy Bourke,
Rob J. van Glabbeek,
Peter Höfner,
2014,
ATVA.