- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j13 |      | |
| j12 | | Peter Höfner, Bernhard Möller: Dijkstra, Floyd and Warshall meet Kleene. Formal Asp. Comput. 24(4-6): 459-476 (2012) |
| c21 | | Peter Höfner, Bernhard Möller, Andreas Zelend: Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMICS 2012: 33-49 |
| c20 | | Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: A Process Algebra for Wireless Mesh Networks. ESOP 2012: 295-315 |
| c19 | | |
| c18 | | Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker: A rigorous analysis of AODV and its variants. MSWiM 2012: 203-212 |
| c17 | | Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: Automated Analysis of AODV Using UPPAAL. TACAS 2012: 173-187 |
| 2011 | ||
| j11 | | Peter Höfner, Ridha Khédri, Bernhard Möller: Supplementing Product Families with Behaviour. Int. J. Software and Informatics 5(1-2): 245-266 (2011) |
| j10 | | Han-Hing Dang, Peter Höfner, Bernhard Möller: Algebraic separation logic. J. Log. Algebr. Program. 80(6): 221-247 (2011) |
| j9 | | Peter Höfner, Ridha Khédri, Bernhard Möller: An algebra of product families. Software and System Modeling 10(2): 161-182 (2011) |
| j8 | | |
| c16 | | Han-Hing Dang, Peter Höfner: Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMICS 2011: 125-140 |
| c15 | | |
| c14 | | Don S. Batory, Peter Höfner, Jongwook Kim: Feature interactions, products, and composition. GPCE 2011: 13-22 |
| e1 | | Peter Höfner, Annabelle McIver, Georg Struth (Eds.): Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR Workshop Proceedings 760, CEUR-WS.org 2011 |
| 2010 | ||
| j7 | | Peter Höfner, Georg Struth: Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Log. Algebr. Program. 79(8): 794-811 (2010) |
| 2009 | ||
| b1 | | Peter Höfner: Algebraic calculi for hybrid systems. University of Augsburg 2009, isbn 978-3-8391-2510-6 |
| j6 | | Peter Höfner, Georg Struth, Geoff Sutcliffe: Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009) |
| j5 | | Peter Höfner, Bernhard Möller: An algebra of hybrid systems. J. Log. Algebr. Program. 78(2): 74-97 (2009) |
| c13 | | Han-Hing Dang, Peter Höfner, Bernhard Möller: Towards Algebraic Separation Logic. RelMiCS 2009: 59-72 |
| c12 | | |
| 2008 | ||
| j4 | | Peter Höfner, Florian Lautenbacher: Algebraic Structure of Web Services. Electr. Notes Theor. Comput. Sci. 200(3): 171-187 (2008) |
| j3 | | Peter Höfner, Georg Struth: Can Refinement be Automated? Electr. Notes Theor. Comput. Sci. 201: 197-222 (2008) |
| j2 | | Peter Höfner, Bernhard Möller: Algebraic Neighbourhood Logic. J. Log. Algebr. Program. 76(1): 35-59 (2008) |
| c11 | | |
| c10 | | |
| c9 | | |
| c8 | | |
| 2007 | ||
| j1 | | Peter Höfner: Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. Electr. Notes Theor. Comput. Sci. 191: 49-72 (2007) |
| c7 | | |
| 2006 | ||
| c6 | | Peter Höfner, Bernhard Möller: Lazy Semiring Neighbours and Some Applications. RelMiCS 2006: 207-221 |
| c5 | | Peter Höfner, Bernhard Möller, Kim Solin: Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234 |
| c4 | | |
| c3 | | |
| 2005 | ||
| c2 | | |
| c1 | | Alfons Huhn, Peter Höfner, Werner Kießling: Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System. ECDL 2005: 498-499 |
Colors in the list of coauthors
Last update Sun May 19 19:08:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page