威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

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

Suche