Publications

2011

• Variable Side Conditions and Greatest Relations in Algebraic Separation Logic
  H.-H. Dang, P. Höfner
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12), LNCS 6663, 2011.
• Towards an Algebra of Routing Tables
  P. Höfner, A. McIver
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12), LNCS 6663, 2011.
• Supplementing Product Families with Behaviour
  P. Höfner, R. Khedri, B. Möller
  in International Journal of Software and Informatics, 2011.
• Fixing Zeno Gaps
  P. Höfner, B. Möller
  in Theoretical Computer Science, 2011.
• Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  in Journal of Logic and Algebraic Programming 80, pp. 221-247, 2011.

2010

• Algebraic Notions of Nontermination: Omega and Divergence in Idempotent Semirings
  P. Höfner, G. Struth
  in Journal of Logic and Algebraic Programming 79, pp. 794 - 811, 2010.
• Automated Higher-order Reasoning about Quantales
  H.-H. Dang, P. Höfner
  in Workshop on Practical Aspects of Automated Reasoning, 2010.

2009

• Towards Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  in R. Berghammer, A. M. Jaoua, B. Möller (eds.): Relations and Kleene Algebra in Computer Science, LNCS 5827.
  pp. 59-72, 2009.
  
• An Algebra of Product Families
  P. Höfner, R. Khedri, B. Möller
  in Software and Systems Modeling Volume 10, Issue 2 (2011), pp. 161 - 182.
• An Algebra of Hybrid Systems
  P. Höfner, B. Möller
  Journal of Logic and Algebraic Programming 78(2), pp. 74-97.
  2009

2008

• Algebraic View Reconciliation
  P. Höfner, R. Khedri, B. Möller
  in A. Cerone and S. Gruner (eds.): Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 08), IEEE 2008, pp. 85-94

2009

• Automated Verification of Refinement Laws
  P. Höfner, G. Struth, G. Sutcliffe
  Annals of Mathematics and Artificial Intelligence35(1) (Special Issue), 35-62, 2009

2008

• On Automating the Calculus of Relations
  P. Höfner, G.Struth
  in A. Armando, P. Baumgartner, G. Dowek (eds.): Automated Reasoning.
  Lecture Notes in Computer Science 5195. Springer 2008, pp. 50-66
• Non-Termination in Idempotent Semirings
  P. Höfner, G.Struth
  in R. Berghammer, B. Möller, G. Struth (eds.): Relations and Kleene algebra in Computer Science.
  Lecture Notes in Computer Science 4988. Springer 2008, pp. 206-220
• Algebraic Reasoning for Hybrid Systems -Two Case Studies -
  P. Höfner
  in R. Berghammer, B. Möller, G. Struth (eds.): Relations and Kleene algebra in computer science.
  Lecture Notes in Computer Science 4988. Springer 2008, pp. 191-205
• Towards an Algebraic Composition of Semantic Web Services
  P. Höfner, F. Lautenbacher
  in R. Berghammer, B. Möller, Struth, G. (eds.): Relations and Kleene algebra in computer science. PhD Programme
  Technical Report 2008-04, Institute of Computer Science, University of Augsburg, 2008, pp. 68-73
• First-Order Theorem Prover Evaluation w.r.t. Relation- and Kleene Algebra
  H.-H. Dang, P. Höfner
  in R. Berghammer, B. Möller, Struth, G. (eds.): Relations and Kleene algebra in computer science. PhD Programme
  Technical Report 2008-04, Institute of Computer Science, University of Augsburg, 2008, pp. 48-52
• Algebraic Structure of Web Services
  P. Höfner, F. Lautenbacher
  in D. Ballis, S. Escobar, M. Marchiori (eds.):
  3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV 2007), ENTCS
  volume 200(3), pp. 171-187, 2008.
• Algebraic Neighbourhood Logic
  P. Höfner, B. Möller
  in R. Schmidt, G. Struth (eds.): Journal of Logic and Algebraic Programming 76 (Special Issue), pp.35-59
  2008

2007

• Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
  P. Höfner
  in J. van de Pol, J. Romijn, G. Smith(eds.): Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005),ENTCS
  volume 191, pp. 49-72, 2007.
• Automated Reasoning in Kleene Algebra
  P. Höfner, G. Struth
  in F. Pfenning (ed.): CADE 2007, LNAI 4603.
  pp. 279-294, 2007.
  Springer.

2008

• Can Refinement be automated?
  P. Höfner, G. Struth
  in E. Boiten, J. Derrick and G. Smith (eds.): International Refinement Workshop - Refine 2007, ENTCS.
  volume 201, pp. 53-73, 2008.

2006

• Omega Algebra, Demonic Refinement Algebra and Commands
  P. Höfner, B. Möller, K. Solin
  in R. Schmidt (ed.): Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06), LNCS 4136.
  pp. 222-234, 2006.
  Springer.
• Lazy Semiring Neighbours and some Applications
  P. Höfner, B. Möller
  in R. Schmidt (ed.): Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06), LNCS 4136.
  pp. 207-221, 2006.
  Springer.
• f-generated Kleene Algebra
  P. Höfner
  in R. Schmidt, G. Struth (eds.): Relations and Kleene Algebra in Computer Science - PhD Programme (RelMiCS/AKA 06)
  Research Report CS-06-09, Department of Computer Science, University of Sheffield
  pp. 55-59, 2006.
• Quantales and Temporal Logics
  B. Möller, P. Höfner, G. Struth
  in: M. Johnson and V. Vene (Eds.), Algebraic Methodology and Software Technology (AMAST 2006), LNCS 4019.
  pp. 263-277, 2006.
  Springer.
• Feature Algebra
  P. Höfner, R. Khedri, B. Möller
  in J. Misra, T. Nipkow, and E. Sekerinski (eds.): Formal methods (FM 2006), LNCS 4085.
  pp. 300-315, 2006.
  Springer.
• Towards an Algebra of Hybrid Systems
  P. Höfner, B. Möller
  in W. MacCaull, M. Winter and I. Duentsch (eds.): Relational Methods in Computer Science, LNCS 3929.
  pp. 121-133, 2006.
  Springer.

2005

• Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
  P. Höfner
  In J. Romijn, G. Smith, J. van de Pol (eds.): IFM 2005 Doctoral Symposium on Integrated Formal Methods (IFM 2005).
  CS-Report 05-29, pp. 6-13, 2005.
• Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System
  A. Huhn, P. Höfner, W. Kießling
  9th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2005, poster session).
  pp. 498-499, Vienna, Austria, Sep. 2005
  In A. Rauber, S. Christodoulakis, A Min Tjoa (Eds.): Research and Advanced Technology for Digital Libraries, LNCS 3652.
  Springer-Verlag.
• An Algebraic Semantics for Duration Calculus
  P. Höfner
  17th European Summer School in Logic, Language and Information (ESSLLI),
  Proceedings of the 10th ESSLLI Student Session
  pp. 99-111, 2005. Heriot-Watt University Edinburgh, Scotland, 8-19 August, 2005
• Towards an Algebra of Hybrid Systems
  P. Höfner, B. Möller
  8th International Conference on Relational Methods in Computer Science RelMiCS 8.
  St. Catherines, Ontario, Canada, Feb. 2005.