Technische Berichte
2019
?
- Basics of Modal Semirings and of Kleene/Omega Algebras
B. M?ller, J. Desharnais
Technical Report 2019-03, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, January 2017
?
?
2016
?
- Non-Associative Kleene Algebra and Temporal Logics
J. Desharnais, B M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Texas at Austin, October 2013
?
- An Algebra of Database Preferences
B. M?ller, P. Roocks
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, June 2013
2013-08
?
- Extended Transitive Separation Logic
H.-H. Dang, B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, August 2012
2012-06
?
?
2011
?
- Formal Product Families for Abstract Machines
A. Zelend
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, October 2010
2010-12
?
- Fixing Zeno Gaps
P. H?fner and B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, July 2010
2010-06
?
- An Algebra for Abstract Interfaces
P. H?fner, B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, April 2009
2009-04
?
- Algebraic Aspects of Separation Logic
H.-H. Dang
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, April 2008
2008-04
?
- On Automating the Calculus of Relations
P. H?fner G. Struth
Technical Report, Department of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Sheffield, March 2008
CS-08-05
?
- Network Flows, Semirings and Fuzzy Relations
R. Glück
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 2007
2007-13
?
- Algebraic Structure of Web Services
P. H?fner, F. Lautenbacher
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Passau,?MIP-0706
?
- Can Refinement be Automated?
P. H?fner G. Struth
Technical Report, Department of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Sheffield, June 2007
CS-07-08
?
- Knowledge and Games in Modal Semirings
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, February 2007
2007-03
?
- Automated Reasoning in Kleene Algebra
P. H?fner G. Struth
Technical Report, Department of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Sheffield, Februrary 2007
CS-07-04
?
?
2006
?
- Normal Design Algebra
W. Guttmann, B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 2006
2006-28
?
- Algebraic Notions of Non-Termination
P. H?fner G. Struth
Technical Report, Department of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, October 2006
2006-23
?
- Dynamic Epistemic Semirings
K. Solin
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, March 2006
2006-11
?
- The Linear Algebra of UTP (Revised Version)
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, June 2006
2006-06
?
- On Two Dually Nondeterministic Refinement Algebras
K. Solin
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, February 2006
2006-05
?
- Feature Algebra
P. H?fner, R. Khedri, B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, June 2006
2006-04
?
?
2005
?
- Residuals and Detachments
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 2005
2005-20
?
- Semiring Neighbours
P. H?fner
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, November 2005
2005-19
?
- Modal Design Algebra
W. Guttmann, B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, October 2005
2005-15
?
- The Linear Algebra of UTP
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, September 2005
2005-14
?
- Complete Tests do not Guarantee Domain
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, March 2005
2005-05
?
?
2004
?
- Separability in Domain Semirings
D. Kozen, B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 2004
2004-16
?
- WP is WLP
B. M?ller, G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, January 2004
2004-04
?
?
2003
?
- An Algebraic Study of Commutation and Termination
G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 2003
2003-18
?
- Lazy Kleene Algebra
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, September 2003
2003-15
?
- Kleene Algebras and Pointer Structures
T. Ehm
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, July 2003
2003-13
?
- Deriving Tableau-Based Solutions to Lattice Word Problems
G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, August 2003
2003-12
?
- Greedy-Like Algorithms in Kleene Algebra
B. M?ller, G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, August 2003
2003-11
?
- Kleene Modules
T. Ehm, B. M?ller, G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, August 2003
2003-10
?
- Case studies for the derivation of pointer algorithms
T. Ehm
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, June 2003
2003-09
?
- Modal Kleene Algebra and Partial Correctness
B. M?ller, G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, May 2003
2003-08
?
- Kleene Algebra with Domain
J. Desharnais, B. M?ller, G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, May 2003
2003-07
?
?
2002
?
- Least Reflexive Points of Relations
J. Desharnais, B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, June 2002
2002-13
?
- Declarative Graph Algorithms via Knuth-Bendix Completion
G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, May 2002
2002-10
?
- Termination of Ground Non-Symmetric Knuth-Bendix Completion
G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, May 2002
2002-09
?
- Deriving Focused Lattice Calculi
G. Struth
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 2000
2000-07
?
- Characterizing Determinacy in Kleene Algebras
J. Desharnais, B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, May 2000
2000-05
?
- Safer Ways to Pointer Manipulation
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, February 2000
2000-03
?
?
1999
?
- Typed Kleene Algebras
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 1999
1999-08
?
?
1998
?
- An Algebraic Approach to Systolic Circuits
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, January 1998
1998-01
?
?
1997
?
- Ideal Stream Algebra
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 1997
1997-10
?
- Deductive Hardware Design: A Functional Approach
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 1997
1997-08
?
- Linked Lists Calculated
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg, December 1997
1997-07
?
- Modal and Temporal Operators on Partial Orders
B. M?ller
Technical Report, Institute of Computer Science, 威尼斯赌博游戏_威尼斯赌博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