 | 2009 |
|---|
| 18 |       | Peter Höfner,
Bernhard Möller:
An extension for feature algebra.
FOSD 2009: 75-80 |
| 17 | | Han-Hing Dang,
Peter Höfner,
Bernhard Möller:
Towards Algebraic Separation Logic.
RelMiCS 2009: 59-72 |
| 16 | | Peter Höfner,
Bernhard Möller:
An algebra of hybrid systems.
J. Log. Algebr. Program. 78(2): 74-97 (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 |
