Publikationen
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
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