2019

Basics of Modal Semirings and of Kleene/Omega Algebras
B. M?ller, J. Desharnais
Technical Report 2019-03, Institute of Computer Science, University of Augsburg, June 2019

?

A New Correctness Proof for Prim's Algorithm
P. H?fner, B. M?ller
Technical Report 2019-02, Institute of Computer Science, University of Augsburg, June 2019

?

?

2017

Tracelets and Specifications
T. Hoare, B M?ller, M. Müller
Technical Report 2017-01, Institute of Computer Science, University of Augsburg, January 2017

?

?

2016

Non-Associative Kleene Algebra and Temporal Logics
J. Desharnais, B M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 2016

?

?

2013

Features, Modularity, and Variation Points
D. Batory, P. H?fner, B. M?ller, A. Zelend
Technical Report, University of Texas at Austin, October 2013

?

An Algebra of Database Preferences
B. M?ller, P. Roocks
Technical Report, Institute of Computer Science, University of Augsburg, June 2013
2013-08

?

Extended Transitive Separation Logic
H.-H. Dang, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, June 2013
2013-07

?

?

2012

Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
P. H?fner, B.M?ller, A. Zelend
Technical Report, Institute of Computer Science, University of Augsburg, August 2012
2012-06

?

?

2010

Supplementing Product Families with Behaviour
P. H?fner, R. Khedri and B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, October 2010
2010-13

?

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

?

An Algebra for Abstract Interfaces
P. H?fner, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, April 2010
2010-02

?

?

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

?

Foundations of Concurrent Kleene Algebra
C.A.R. Hoare, B. M?ller, G. Struth and I. Wehrman
Technical Report, Institute of Computer Science, University of Augsburg, April 2009
2009-05

?

Concurrent Kleene Algebra
C.A.R. Hoare, B. M?ller, G. Struth and I. Wehrman
Technical Report, Institute of Computer Science, University of Augsburg, April 2009
2009-04

?

?

2008

Relations and Kleene Algebra in Computer Science
PHD Programme at RelMiCS10 / AK5
R. Berghammer, B. M?ller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, April 2008
2008-04

?

?

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

?

An Algebra of Hybrid Systems
P. H?fner, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, September 2007
2007-08

?

An Algebra for Feature-Oriented Software Development
S. Apel, C. Lengauer, D. Batory, B, M?ller, C. K?stner
Technical Report, Department of Informatics and Mathematics, University of Passau,?

MIP-0706

?

Knowledge and Games in Modal Semirings
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, February 2007
2007-03

?

?

2006

Normal Design Algebra
W. Guttmann, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 2006
2006-28

?

Algebraic Notions of Termination
J. Desharnais, B. M?ller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, October 2006
2006-23

?

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

?

The Linear Algebra of UTP (Revised Version)
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, April 2006
2006-10

?

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

Residuals and Detachments
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 2005
2005-20

?

Modal Design Algebra
W. Guttmann, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, October 2005
2005-15

?

The Linear Algebra of UTP
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, September 2005
2005-14

?

Complete Tests do not Guarantee Domain
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, March 2005
2005-06

?

?

2004

Separability in Domain Semirings
D. Kozen, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 2004
2004-16

?

WP is WLP
B. M?ller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, October 2004
2004-14

?

Kleene under a Modal Demonic Star
J. Desharnais, B. M?ller, F. Tchier
Technical Report, Institute of Computer Science, University of Augsburg, May 2004
2004-11

?

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

?

?

2003

Lazy Kleene Algebra
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 2003
2003-17

?

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

?

?

2002

Least Reflexive Points of Relations
J. Desharnais, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, June 2002
2002-13

?

?

2001

Characterizing Determinacy in Kleene Algebras (Revised version)
J. Desharnais, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, April 2001
2001-03

?

?

2000

Characterizing Determinacy in Kleene Algebras
J. Desharnais, B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, May 2000
2000-05

?

Safer Ways to Pointer Manipulation
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, May 2000
2000-04

?

Kleene Under a Demonic Star
J. Desharnais, B. M?ller, F. Tchier
Technical Report, Institute of Computer Science, University of Augsburg, February 2000
2000-03

?

?

1999

Typed Kleene Algebras
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 1999
1999-08

?

?

1998

An Algebraic Approach to Systolic Circuits
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, January 1998
1998-01

?

?

1997

Ideal Stream Algebra
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 1997
1997-10

?

Deductive Hardware Design: A Functional Approach
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 1997
1997-09

?

Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
T. Brunn, B. M?ller, M. Russling
Technical Report, Institute of Computer Science, University of Augsburg, December 1997
1997-08

?

Linked Lists Calculated
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, December 1997
1997-07

?

Modal and Temporal Operators on Partial Orders
B. M?ller
Technical Report, Institute of Computer Science, University of Augsburg, November 1997
1997-02

?

?

1995

Refining Ideal Behaviours
B. M?ller
Institut für Mathematik der Universit?t Augsburg.
Report Nr. 345, 1995

?

?

1993

Derivation of Graph and Pointer Algorithms
B. M?ller
Institut für Mathematik der Universit?t Augsburg.
Report Nr. 280, 1993

?

Towards Pointer Algebra
B. M?ller
Institut für Mathematik der Universit?t Augsburg.
Report Nr. 279, 1993

?

?

1992

Shorter Paths to Graph Algorithms
B. M?ller, M. Russling
Institut für Mathematik der Universit?t Augsburg.
Report Nr. 272, 1992