dblp.uni-trier.dewww.uni-trier.de

Peter Höfner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
16EEPeter Höfner, Bernhard Möller: An algebra of hybrid systems. J. Log. Algebr. Program. 78(2): 74-97 (2009)
2008
15EEPeter Höfner, Georg Struth: On Automating the Calculus of Relations. IJCAR 2008: 50-66
14EEPeter Höfner: Automated Reasoning for Hybrid Systems - Two Case Studies -. RelMiCS 2008: 191-205
13EEPeter Höfner, Georg Struth: Non-termination in Idempotent Semirings. RelMiCS 2008: 206-220
12EEPeter Höfner, Ridha Khédri, Bernhard Möller: Algebraic View Reconciliation. SEFM 2008: 85-94
11EEPeter Höfner, Florian Lautenbacher: Algebraic Structure of Web Services. Electr. Notes Theor. Comput. Sci. 200(3): 171-187 (2008)
10EEPeter Höfner, Georg Struth: Can Refinement be Automated? Electr. Notes Theor. Comput. Sci. 201: 197-222 (2008)
9EEPeter Höfner, Bernhard Möller: Algebraic Neighbourhood Logic. J. Log. Algebr. Program. 76(1): 35-59 (2008)
2007
8EEPeter Höfner, Georg Struth: Automated Reasoning in Kleene Algebra. CADE 2007: 279-294
7EEPeter Höfner: Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. Electr. Notes Theor. Comput. Sci. 191: 49-72 (2007)
2006
6EEBernhard Möller, Peter Höfner, Georg Struth: Quantales and Temporal Logics. AMAST 2006: 263-277
5EEPeter Höfner, Ridha Khédri, Bernhard Möller: Feature Algebra. FM 2006: 300-315
4EEPeter Höfner, Bernhard Möller: Lazy Semiring Neighbours and Some Applications. RelMiCS 2006: 207-221
3EEPeter Höfner, Bernhard Möller, Kim Solin: Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234
2005
2EEAlfons 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
1EEPeter Höfner, Bernhard Möller: Towards an Algebra of Hybrid Systems. RelMiCS 2005: 121-133

Coauthor Index

1Alfons Huhn [2]
2Ridha Khédri [5] [12]
3Werner Kießling [2]
4Florian Lautenbacher [11]
5Bernhard Möller [1] [3] [4] [5] [6] [9] [12] [16]
6Kim Solin [3]
7Georg Struth [6] [8] [10] [13] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)