2019

?

• Basics of Modal Semirings and of Kleene/Omega Algebras

  B. M?ller, J. Desharnais
  Technical Report 2019-03, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, June 2019

?

?

2017

?

• Tracelets and Specifications

  T. Hoare, B M?ller, M. Müller
  Technical Report 2017-01, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, January 2017

?

?

2016

?

• Non-Associative Kleene Algebra and Temporal Logics

  J. Desharnais, B M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 2016

?

?

2015

?

• Monoid Modules and Structured Document Algebra

  A. Zelend
  Proceedings of the Student Track of the 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015) Braga, Portugal, September 2015.

?

?

2013

?

• Features, Modularity, and Variation Points

  D. Batory, P. H?fner, B. M?ller, A. Zelend
  Technical Report, 伟德国际_伟德国际1946$娱乐app游戏 of Texas at Austin, October 2013

?

• An Algebra of Database Preferences

  B. M?ller, P. Roocks
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, June 2013
  2013-08

?

• Extended Transitive Separation Logic

  H.-H. Dang, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, August 2012
  2012-06

?

?

2011

?

• Formal Product Families for Abstract Machines

  A. Zelend
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, March 2011
  2011-06

?

?

2010

?

• Supplementing Product Families with Behaviour

  P. H?fner, R. Khedri and B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, October 2010
  2010-13

?

• Requirements in Feature Algebra

  P. H?fner, S. Mentl, B. M?ller, and W. Scholz
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, October 2010
  2010-12

?

• Fixing Zeno Gaps

  P. H?fner and B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, October 2010
  2010-11

?

• ATPPortal: A User-friendly Webbased Interface for Automated Theorem Provers and for Automatically Generated Proofs

  P. H?fner, M.E. Müller, S. Zeissler
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, October 2010
  2010-10

?

• An Extension of Feature Algebra

  P. H?fner and B.M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, October 2010
  2010-09

?

• Algebraic Separation Logic

  H.-H. Dang, P. H?fner, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, July 2010
  2010-06

?

• An Algebra for Abstract Interfaces

  P. H?fner, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, April 2010
  2010-02

?

• Automated Higher-order Reasoning in Quantales

  H.-H. Dang, P. H?fner
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, April 2009
  2009-04

?

• Algebraic Aspects of Separation Logic

  H.-H. Dang
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2009
  2009-01

?

?

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, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, April 2008
  2008-04

?

• On Automating the Calculus of Relations

  P. H?fner G. Struth
  Technical Report, Department of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Sheffield, March 2008
  CS-08-05

?

• Network Flows, Semirings and Fuzzy Relations

  R. Glück
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, Januaryr 2008
  2008-01

?

?

2007

?

• Algebraic View Reconciliation

  P. H?fner, R. Khedri, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 2007
  2007-13

?

• Algebraic Structure of Web Services

  P. H?fner, F. Lautenbacher
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Lübeck, pp. 87-92, September 2007
  A-07-07, Schriftenreihe A

?

• Netzwerkflüsse und Fuzzyrelationen

  R. Glück
  in W. Dosch, C. Grelck, A. Stümpel (eds.): 14. Kolloquium Programmiersprachen unf Grundlagen der Programmierung, Technical Report, Institutes for Computer Science and Mathematics, 伟德国际_伟德国际1946$娱乐app游戏 of Lübeck, pp. 59-64, September 2007
  A-07-07, Schriftenreihe A

?

• An Algebra of Hybrid Systems

  P. H?fner, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Passau,?

  MIP-0706

?

• Can Refinement be Automated?

  P. H?fner G. Struth
  Technical Report, Department of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Sheffield, June 2007
  CS-07-08

?

• Knowledge and Games in Modal Semirings

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, February 2007
  2007-03

?

• Automated Reasoning in Kleene Algebra

  P. H?fner G. Struth
  Technical Report, Department of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Sheffield, Februrary 2007
  CS-07-04

?

?

2006

?

• Normal Design Algebra

  W. Guttmann, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 2006
  2006-28

?

• Algebraic Notions of Non-Termination

  P. H?fner G. Struth
  Technical Report, Department of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Sheffield, December 2006
  CS-06-12

?

• Algebraic Notions of Termination

  J. Desharnais, B. M?ller, G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, October 2006
  2006-23

?

• Dynamic Epistemic Semirings

  K. Solin
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, June 2006
  2006-17

?

• Omega Algebra, Demonic Refinement Algebra and Commands

  P. H?fner, B. M?ller, K. Solin
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, March 2006
  2006-11

?

• The Linear Algebra of UTP (Revised Version)

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, April 2006
  2006-10

?

• Lazy Semiring Neighbours and some Applications

  P. H?fner, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, March 2006
  2006-07

?

• Quantales and Temporal Logics

  B. M?ller, P. H?fner, G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, June 2006
  2006-06

?

• On Two Dually Nondeterministic Refinement Algebras

  K. Solin
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, February 2006
  2006-05

?

• Feature Algebra

  P. H?fner, R. Khedri, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, June 2006
  2006-04

?

?

2005

?

• Residuals and Detachments

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 2005
  2005-20

?

• Semiring Neighbours

  P. H?fner
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, November 2005
  2005-19

?

• Modal Design Algebra

  W. Guttmann, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, October 2005
  2005-15

?

• The Linear Algebra of UTP

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, September 2005
  2005-14

?

• Complete Tests do not Guarantee Domain

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, March 2005
  2005-06

?

• From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus

  P. H?fner
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, March 2005
  2005-05

?

?

2004

?

• Separability in Domain Semirings

  D. Kozen, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 2004
  2004-16

?

• WP is WLP

  B. M?ller, G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2004
  2004-11

?

• Termination in Modal Kleene Algebra

  J. Desharnais, B. M?ller, G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, January 2004
  2004-04

?

?

2003

?

• An Algebraic Study of Commutation and Termination

  G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 2003
  2003-18

?

• Lazy Kleene Algebra

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, September 2003
  2003-15

?

• Kleene Algebras and Pointer Structures

  T. Ehm
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, July 2003
  2003-13

?

• Deriving Tableau-Based Solutions to Lattice Word Problems

  G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, August 2003
  2003-12

?

• Greedy-Like Algorithms in Kleene Algebra

  B. M?ller, G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, August 2003
  2003-11

?

• Kleene Modules

  T. Ehm, B. M?ller, G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, August 2003
  2003-10

?

• Case studies for the derivation of pointer algorithms

  T. Ehm
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, June 2003
  2003-09

?

• Modal Kleene Algebra and Partial Correctness

  B. M?ller, G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2003
  2003-08

?

• Kleene Algebra with Domain

  J. Desharnais, B. M?ller, G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2003
  2003-07

?

?

2002

?

• Least Reflexive Points of Relations

  J. Desharnais, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, June 2002
  2002-13

?

• Declarative Graph Algorithms via Knuth-Bendix Completion

  G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2002
  2002-10

?

• Termination of Ground Non-Symmetric Knuth-Bendix Completion

  G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2002
  2002-09

?

• Deriving Focused Lattice Calculi

  G. Struth
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2002
  2002-08

?

?

2001

?

• Characterizing Determinacy in Kleene Algebras (Revised version)

  J. Desharnais, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, April 2001
  2001-03

?

?

2000

?

• Properties of overwriting for Updates in Typed Kleene Algebras

  T. Ehm
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 2000
  2000-07

?

• Characterizing Determinacy in Kleene Algebras

  J. Desharnais, B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2000
  2000-05

?

• Safer Ways to Pointer Manipulation

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, May 2000
  2000-04

?

• Kleene Under a Demonic Star

  J. Desharnais, B. M?ller, F. Tchier
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, February 2000
  2000-03

?

?

1999

?

• Typed Kleene Algebras

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 1999
  1999-08

?

?

1998

?

• An Algebraic Approach to Systolic Circuits

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, January 1998
  1998-01

?

?

1997

?

• Ideal Stream Algebra

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 1997
  1997-10

?

• Deductive Hardware Design: A Functional Approach

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 1997
  1997-08

?

• Linked Lists Calculated

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, December 1997
  1997-07

?

• Modal and Temporal Operators on Partial Orders

  B. M?ller
  Technical Report, Institute of Computer Science, 伟德国际_伟德国际1946$娱乐app游戏 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