Suche

Technische Berichte


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

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

2012

2011

2010

2009

2008

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
  • Algebraic Structure of Web Services
    P. Höfner, F. Lautenbacher
    Technical Report, Institute of Computer Science, University 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, University 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, University 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, 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
  • Can Refinement be Automated?
    P. Höfner G. Struth
    Technical Report, Department of Computer Science, University of Sheffield, June 2007
    CS-07-08
  • Knowledge and Games in Modal Semirings
    B. Möller
    Technical Report, Institute of Computer Science, University of Augsburg, February 2007
    2007-03
  • Automated Reasoning in Kleene Algebra
    P. Höfner G. Struth
    Technical Report, Department of Computer Science, University of Sheffield, Februrary 2007
    CS-07-04

2006

2005

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

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