Suche

Technische Berichte


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

2013

2012

2010

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

2007

2006

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

2001

2000

1999

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

1998

1997

1995

1993

1992