Peter Höfner

发表

Rob van Glabbeek, Ryan Barry, Peter Höfner, 2020, MARS@ETAPS.
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.
Peter Höfner, 2012, Formal Aspects of Computing.
Bernhard Möller, Peter Höfner, Andreas Zelend, 2012, RAMiCS.
Georg Struth, Peter Höfner, P. Höfner, 2008, IJCAR.
Georg Struth, Bernhard Möller, Peter Höfner, 2006, AMAST.
Bernhard Möller, Don S. Batory, Dominik Köppl, 2015, Software, Services, and Systems.
Ian J. Hayes, Peter Höfner, Rob van Glabbeek, 2012 .
Annabelle McIver, Peter Höfner, 2011, RAMICS.
Sarah Edenhofer, Peter Höfner, P. Höfner, 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).
Rudolf Berghammer, Peter Höfner, Insa Stucke, 2016, J. Log. Algebraic Methods Program..
Bernhard Möller, Peter Höfner, P. Höfner, 2009, FOSD '09.
Ridha Khédri, Bernhard Möller, Peter Höfner, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Han-Hing Dang, Peter Höfner, 2010, PAAR@IJCAR.
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner, 2014, ATVA.
Georg Struth, Peter Höfner, P. Höfner, 2008, RelMiCS.
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner, 2015, Journal of Automated Reasoning.
Peter Höfner, P. Höfner, 2008, RelMiCS.
Nikita Danilenko, Rudolf Berghammer, Peter Höfner, 2016, Discret. Math..
Georg Struth, Peter Höfner, P. Höfner, 2007, CADE.
Rob J. van Glabbeek, Peter Höfner, P. Höfner, 2015, Acta Informatica.
Bernhard Möller, Peter Höfner, 2016, J. Log. Algebraic Methods Program..
Holger Hermanns, Peter Höfner, H. Hermanns, 2017, 1703.05812.
Peter Jipsen, Peter Höfner, Wolfram Kahl, 2016, J. Log. Algebraic Methods Program..
Peter Jipsen, Peter Höfner, Wolfram Kahl, 2014 .
Rudolf Berghammer, Peter Höfner, Insa Stucke, 2015, RAMICS.
Florian Lautenbacher, Peter Höfner, P. Höfner, 2008, WWV.
Georg Struth, Peter Höfner, P. Höfner, 2008, REFINE@IFM.
Don S. Batory, Peter Höfner, Jongwook Kim, 2011, GPCE '11.
Rob J. van Glabbeek, Peter Höfner, R. V. Glabbeek, 2015, ArXiv.
Annabelle McIver, Peter Höfner, 2013, NASA Formal Methods.
Bernhard Möller, Don S. Batory, Peter Höfner, 2013, FOSD '13.
Rudolf Berghammer, Walter Guttmann, Peter Höfner, 2018, Arch. Formal Proofs.
Ridha Khédri, Bernhard Möller, Peter Höfner, 2006, FM.
Bernhard Möller, Peter Höfner, 2006, RelMiCS.
Bernhard Möller, Peter Höfner, Kim Solin, 2006, RelMiCS.
Bernhard Möller, Peter Höfner, P. Höfner, 2009, J. Log. Algebraic Methods Program..
Rob van Glabbeek, Michael Markl, Peter Höfner, 2019, ESOP.
Georg Struth, Geoff Sutcliffe, Peter Höfner, 2009, Annals of Mathematics and Artificial Intelligence.
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner, 2014, ITP.
Peter Höfner, P. Höfner, 2009 .
Jan Friso Groote, Peter Höfner, Rob van Glabbeek, 2015 .
Annabelle McIver, Ansgar Fehnker, Rob J. van Glabbeek, 2012, TACAS.
Annabelle McIver, Peter Höfner, P. Höfner, 2014, J. Log. Algebraic Methods Program..
Maryam Kamali, Ansgar Fehnker, Peter Höfner, 2013, QEST.
Georg Struth, Peter Höfner, P. Höfner, 2010, J. Log. Algebraic Methods Program..
Bernhard Möller, Peter Höfner, 2008, J. Log. Algebraic Methods Program..
Rob J. van Glabbeek, Marius Portmann, Peter Höfner, 2013, MSWiM.
Peter Höfner, 2007, Electron. Notes Theor. Comput. Sci..
Rob van Glabbeek, Peter Höfner, R. V. Glabbeek, 2018, ACM Comput. Surv..
Georg Struth, Victor B. F. Gomes, Walter Guttmann, 2016, Arch. Formal Proofs.
Rob J. van Glabbeek, Peter Höfner, Victor Dyseryn, 2017, EXPRESS/SOS.
Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal, 2018, IFM.
Annabelle McIver, Ansgar Fehnker, Rob J. van Glabbeek, 2012, MSWiM '12.
Annabelle McIver, Ansgar Fehnker, Rob J. van Glabbeek, 2013, ArXiv.
Peter Höfner, Jack Drury, Weiyou Wang, 2020, MARS@ETAPS.
Maryam Kamali, Luigia Petre, Peter Höfner, 2015, SEFM.
Rudolf Berghammer, Peter Höfner, Insa Stucke, 2014, RAMICS.
Timothy G. Griffin, Peter Höfner, Wolfram Kahl, 2015, J. Log. Algebraic Methods Program..
Bernhard Möller, Peter Höfner, P. Höfner, 2011, Theor. Comput. Sci..
Bernhard Möller, Peter Höfner, 2005, RelMiCS.
Rob J. van Glabbeek, Peter Höfner, R. V. Glabbeek, 2017, MARS@ETAPS.
Bernhard Möller, Peter Höfner, Fixing Zeno Gaps, 2010 .
Callum Bannister, Peter Höfner, P. Höfner, 2018, RAMiCS.
Georg Struth, Damien Pous, Peter Höfner, 2019, J. Log. Algebraic Methods Program..
Ridha Khédri, Bernhard Möller, Peter Höfner, 2011, Int. J. Softw. Informatics.
Ridha Khédri, Bernhard Möller, Peter Höfner, 2009, Software & Systems Modeling.
Han-Hing Dang, Bernhard Möller, Peter Höfner, 2009, RelMiCS.
Bernhard Möller, Peter Höfner, 2012, Formal Aspects of Computing.
Peter Jipsen, Peter Höfner, Wolfram Kahl, 2015, Lecture Notes in Computer Science.
Rob J. van Glabbeek, Peter Höfner, R. V. Glabbeek, 2015, Acta Informatica.
Gerwin Klein, Callum Bannister, Peter Höfner, 2018, ITP.
Rob J. van Glabbeek, Marius Portmann, Peter Höfner, 2015, Distributed Computing.
Timothy G. Griffin, Peter Höfner, Wolfram Kahl, 2015 .
Carroll Morgan, Peter Höfner, Vaughan Pratt, 2020, Acta Informatica.
Timothy Bourke, Peter Höfner, 2014, Arch. Formal Proofs.
Annabelle McIver, Ansgar Fehnker, Rob J. van Glabbeek, 2012, ESOP.
Georg Struth, Callum Bannister, Peter Höfner, 2021, RAMiCS.
Carroll Morgan, Richard S. Bird, Jeremy Gibbons, 2021, IFIP's Exciting First 60+ Years.
Peter Höfner, Rob van Glabbeek, Weiyou Wang, 2021, CONCUR.
Ross Horne, Peter Höfner, Rob van Glabbeek, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).