Technical Reports

2010

• Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, July 2010
  2010-06
• Automated Higher-order Reasoning in Quantales
  H.-H. Dang, P. Höfner
  Technical Report, Institute of Computer Science, University of Augsburg, April 2010
  2010-03

2009

• Towards Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2009
  2009-12

2008

• On Automating the Calculus of Relations
  P. Höfner G. Struth
  Technical Report, Department of Computer Science, University of Sheffield, March 2008
  CS-08-05

2007

• Algebraic View Reconciliation
  P. Höfner, R. Khedri, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2007
  2007-13
• Algebraic Structure of Web Services
  P. Höfner, F. Lautenbacher
  Technical Report, Institute of Computer Science, University of Augsburg, February 2008
  2007-12
• Proof Automation in Kleene Algebra
  P. Höfner
  in W. Dosch, C. Grelck, A. Stümpel (eds.): 14. Kolloquium Programmiersprachen unf Grundlagen der Programmierung, Technical Report, Institutes for Computer Science and Mathematics, University of Lübeck, pp. 87-92, September 2007
  A-07-07, Schriftenreihe A
• An Algebra of Hybrid Systems
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, September 2007
  2007-08
• Can Refinement be Automated?
  P. Höfner G. Struth
  Technical Report, Department of Computer Science, University of Sheffield, June 2007
  CS-07-08
• Automated Reasoning in Kleene Algebra
  P. Höfner G. Struth
  Technical Report, Department of Computer Science, University of Sheffield, Februrary 2007
  CS-07-04

2006

• Algebraic Notions of Non-Termination
  P. Höfner G. Struth
  Technical Report, Department of Computer Science, University of Sheffield, December 2006
  CS-06-12
• Omega Algebra, Demonic Refinement Algebra and Commands
  P. Höfner, B. Möller, K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, March 2006
  2006-11
• Lazy Semiring Neighbours and some Applications
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-09
• Non-Smooth and Zeno Trajectories for Hybrid System Algebra
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, March 2006
  2006-07
• Quantales and Temporal Logics
  B. Möller, P. Höfner, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-06
• Feature Algebra
  P. Höfner, R. Khedri, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-04

2005

• Semiring Neighbours
  P. Höfner
  Technical Report, Institute of Computer Science, University of Augsburg, November 2005
  2005-19
• Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System
  A. Huhn, P. Höfner, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, March 2005
  2005-07
• From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus
  P. Höfner
  Technical Report, Institute of Computer Science, University of Augsburg, March 2005
  2005-05