Publikationen

2008

• Least reflexive points of relations
  J. Desharnais, B. Möller
  in O. Danvy, H. Mairson, F. Henglein, A. Pettorossi (eds.): Automatic program development - A tribute to Robert Paige. Springer 2008, 215-228
• 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.
• An Algebra of Hybrid Systems
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, September 2007
  2007-08
• Kleene Getting Lazy
  B. Möller
  Science of Computer Programming 65, 195-214

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.
• 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.
• The Linear Algebra of UTP
  B. Möller
  in: T. Uustalu (Ed.), Mathematics of Program Construction 8th International Conference (MPC 2006), LNCS 4014.
  pp. 338-358, 2006.
  Springer.
• 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
• Kleene Algebra with Domain
  J. Desharnais, B. Möller, G. Struth
  ACM Transactions on Computational Logic
  Vol. 7, No. 4, October 2006, Pages 798–833.
• 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
• Kleene under a Modal Demonic Star
  J. Desharnais, B. Möller, F. Tchier
  in B. Möller (ed.) Journal of Logic and Algebraic Programming 66
  Special issue "Relation Algebra and Kleene Algebra", pp. 127-160
• Algebras of Modal Operators and Partial Correctness
  B. Möller, G. Struth
  Theoretical Computer Science 351, pp. 221-239
• 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.
• 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

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.
• Semiring Neighbours
  P. Höfner
  Technical Report, Institute of Computer Science, University of Augsburg, November 2005
  2005-19

2004

• Termination in Modal Kleene Algebra
  J. Desharnais, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, January 2004
  2004-04
• Greedy-Like Algorithms in Kleene Algebra
  B. Möller, G. Struth
  In R. Berghammer, B. Möller, G. Struth (eds.): Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051.
  pp. 202-214, 2004.
  Springer.
• Kleene Modules
  T. Ehm, B. Möller, G. Struth
  In R. Berghammer, B. Möller, G. Struth (eds.): Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051.
  pp. 112-123, 2004.
  Springer.
• Lazy Kleene Algebra
  B. Möller
  In D. Kozen (ed.): Mathematics of program Construction (MPC 2004), LNCS 3125.
  pp. 252-273, 2004.
  Springer-Verlag.
• Termination in Modal Kleene Algebra
  J. Desharnais, B. Möller, G. Struth
  In J.-J. Lévy, E. Mayr, J. Mitchell (eds.): Exploring new frontiers of theoretical informatics.
  pp. 653-666, 2004.
  Kluwer, IFIP International Federation for Information Processing Series 155
• Modal Kleene algebra and applications - a survey
  J. Desharnais, B. Möller, G. Struth
  In Journal on Relational Methods in Computer Science 1.
  pp. 93-131, 2004.
• Modal Kleene Algebra and Partial Correctness
  B. Möller, G. Struth
  In C. Rattray, S. Maharaj, C. Shankland (eds.): Algebraic Methodology and Software Technology (AMAST 2004), LNCS 3116 (Best Paper Award).
  pp. 379-393, 2004.
  Springer-Verlag.

2003

• An Algebraic Study of Commutation and Termination
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, December 2003
  2003-18
• Lazy Kleene Algebra
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2003
  2003-17
• A Calculus for Set-Based Program Development Part II: Proof Search
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, October 2003
  2003-16
• A Calculus for Set-Based Program Development Part I: Mathematical foundations.
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, September 2003
  2003-15
• Greedy-Like Algorithms in Kleene Algebra
  B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, August 2003
  2003-11
• Kleene Modules
  T. Ehm, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, August 2003
  2003-10
• Modal Kleene Algebra and Partial Correctness
  B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2003
  2003-08
• Kleene Algebra with Domain
  J. Desharnais, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2003
  2003-07
• A Calculus for Set-Based Program Development
  G. Struth
  5th International Conference on Formal Engineering Methods.
  In J. S. Dong, J. Woodcock (eds): Formal Methods and Software Engineering, LNCS 2885.
  pp. 541-559, 2003.
  Springer-Verlag.

2002

• Declarative Graph Algorithms via Knuth-Bendix Completion
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2002
  2002-10
• Termination of Ground Non-Symmetric Knuth-Bendix Completion
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2002
  2002-09