Peter Höfner

	2012
31		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
30		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
29		Peter Höfner, Annabelle McIver, Georg Struth: Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011 CEUR-WS.org 2011
28		Don S. Batory, Peter Höfner, Jongwook Kim: Feature interactions, products, and composition. GPCE 2011: 13-22
27		Han-Hing Dang, Peter Höfner: Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMICS 2011: 125-140
26		Peter Höfner, Annabelle McIver: Towards an Algebra of Routing Tables. RAMICS 2011: 212-229
25		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)
24		Han-Hing Dang, Peter Höfner, Bernhard Möller: Algebraic separation logic. J. Log. Algebr. Program. 80(6): 221-247 (2011)
23		Peter Höfner, Ridha Khédri, Bernhard Möller: An algebra of product families. Software and System Modeling 10(2): 161-182 (2011)
22		Peter Höfner, Bernhard Möller: Fixing Zeno gaps. Theor. Comput. Sci. 412(28): 3303-3322 (2011)
	2010
21		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
20		Peter Höfner, Bernhard Möller: An extension for feature algebra. FOSD 2009: 75-80
19		Han-Hing Dang, Peter Höfner, Bernhard Möller: Towards Algebraic Separation Logic. RelMiCS 2009: 59-72
18		Peter Höfner, Georg Struth, Geoff Sutcliffe: Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009)
17		Peter Höfner, Bernhard Möller: An algebra of hybrid systems. J. Log. Algebr. Program. 78(2): 74-97 (2009)
16		Peter Höfner: Algebraic calculi for hybrid systems. University of Augsburg 2009
	2008
15		Peter Höfner, Georg Struth: On Automating the Calculus of Relations. IJCAR 2008: 50-66
14		Peter Höfner: Automated Reasoning for Hybrid Systems - Two Case Studies -. RelMiCS 2008: 191-205
13		Peter Höfner, Georg Struth: Non-termination in Idempotent Semirings. RelMiCS 2008: 206-220
12		Peter Höfner, Ridha Khédri, Bernhard Möller: Algebraic View Reconciliation. SEFM 2008: 85-94
11		Peter Höfner, Florian Lautenbacher: Algebraic Structure of Web Services. Electr. Notes Theor. Comput. Sci. 200(3): 171-187 (2008)
10		Peter Höfner, Georg Struth: Can Refinement be Automated? Electr. Notes Theor. Comput. Sci. 201: 197-222 (2008)
9		Peter Höfner, Bernhard Möller: Algebraic Neighbourhood Logic. J. Log. Algebr. Program. 76(1): 35-59 (2008)
	2007
8		Peter Höfner, Georg Struth: Automated Reasoning in Kleene Algebra. CADE 2007: 279-294
7		Peter Höfner: Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. Electr. Notes Theor. Comput. Sci. 191: 49-72 (2007)
	2006
6		Bernhard Möller, Peter Höfner, Georg Struth: Quantales and Temporal Logics. AMAST 2006: 263-277
5		Peter Höfner, Ridha Khédri, Bernhard Möller: Feature Algebra. FM 2006: 300-315
4		Peter Höfner, Bernhard Möller: Lazy Semiring Neighbours and Some Applications. RelMiCS 2006: 207-221
3		Peter Höfner, Bernhard Möller, Kim Solin: Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234
	2005
2		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
1		Peter Höfner, Bernhard Möller: Towards an Algebra of Hybrid Systems. RelMiCS 2005: 121-133

Coauthor Index

1	Don S. Batory	[28]
2	Han-Hing Dang	[19] [24] [27]
3	Ansgar Fehnker	[30] [31]
4	Rob J. van Glabbeek	[30] [31]
5	Alfons Huhn	[2]
6	Ridha Khédri	[5] [12] [23] [25]
7	Werner Kießling	[2]
8	Jongwook Kim	[28]
9	Florian Lautenbacher	[11]
10	Annabelle McIver (A. K. McIver)	[26] [29] [30] [31]
11	Bernhard Möller	[1] [3] [4] [5] [6] [9] [12] [17] [19] [20] [22] [23] [24] [25]
12	Marius Portmann	[30] [31]
13	Kim Solin	[3]
14	Georg Struth	[6] [8] [10] [13] [15] [18] [21] [29]
15	Geoff Sutcliffe	[18]
16	Wee Lum Tan	[30] [31]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page