|
Search the dblp DataBase
Peter Höfner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter Höfner, Bernhard Möller
Lazy Semiring Neighbours and Some Applications. [Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:207-221 [Conf]
- Peter Höfner, Bernhard Möller, Kim Solin
Omega Algebra, Demonic Refinement Algebra and Commands. [Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:222-234 [Conf]
- Peter Höfner, Bernhard Möller
Towards an Algebra of Hybrid Systems. [Citation Graph (0, 0)][DBLP] RelMiCS, 2005, pp:121-133 [Conf]
- Bernhard Möller, Peter Höfner, Georg Struth
Quantales and Temporal Logics. [Citation Graph (0, 0)][DBLP] AMAST, 2006, pp:263-277 [Conf]
- Alfons Huhn, Peter Höfner, Werner Kießling
Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System. [Citation Graph (0, 0)][DBLP] ECDL, 2005, pp:498-499 [Conf]
- Peter Höfner, Ridha Khédri, Bernhard Möller
Feature Algebra. [Citation Graph (0, 0)][DBLP] FM, 2006, pp:300-315 [Conf]
- Peter Höfner, Georg Struth
Automated Reasoning in Kleene Algebra. [Citation Graph (0, 0)][DBLP] CADE, 2007, pp:279-294 [Conf]
Non-termination in Idempotent Semirings. [Citation Graph (, )][DBLP]
Towards Algebraic Separation Logic. [Citation Graph (, )][DBLP]
Automated Reasoning for Hybrid Systems - Two Case Studies -. [Citation Graph (, )][DBLP]
On Automating the Calculus of Relations. [Citation Graph (, )][DBLP]
An extension for feature algebra. [Citation Graph (, )][DBLP]
Algebraic View Reconciliation. [Citation Graph (, )][DBLP]
Automated verification of refinement laws. [Citation Graph (, )][DBLP]
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. [Citation Graph (, )][DBLP]
Algebraic Structure of Web Services. [Citation Graph (, )][DBLP]
Can Refinement be Automated? [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|