拉斯维加斯赌城

图片

Publikationen

2019

?

  • Geographic Wayfinders and Space-Time Algebra

    B. M?ller

    J. Log. Algebr. Meth. Program. 104: 274-302 (2019)

    PDF

?

?

2018

?

  • Algebraic Derivation of Until Rules and Application to Timer Verification

    J. Ertel, R. Glück, B. M?ller
    Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2018, Proceedings. Lecture Notes in Computer Science 11194, 244-262

    PDF

    ?

?

2017

?

  • Non-Associative Kleene Algebra and Temporal Logics

    J. Desharnais, B. M?ller
    Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Lecture Notes in Computer Science 10226, 93-108

    PDF

?

?

2016

?

  • Extended Feature Algebra

    P. H?fner, B. M?ller
    J. Log. Algebr. Meth. Program. 85(4): 617-636 (2016)

    PDF

?

  • A Discrete Geometric Model of Concurrent Program Execution

    B. M?ller, T. Hoare, M.E. Müller, G. Struth
    Jonathan P. Bowen, Huibiao Zhu: Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10134, 1-25

    PDF

?

  • Developments in Concurrent Kleene Algebra

    T. Hoare, S. van Staden, B. M?ller, G. Struth, H. Zhu

    J. Log. Algebr. Meth. Program. 85(4): 617-636 (2016)

    PDF

?

?

2015

?

  • Decomposition of Database Preferences on the Power Set of the Domain

    P. Roocks
    Relational and Algebraic Methods in Computer Science ---?RAMiCS 2015. Available at?SpringerLink

?

  • Towards Antichain Algebra

    B. M?ller
    W. Kahl, M. Winter, J. Nuno Oliveira eds.): Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015. Lecture Notes in Computer Science 9348, Springer 2015

    PDF

    ?

  • Extended Transitive Separation Logic

    H.-H. Dang, B. M?ller
    J. Log. Algebr. Meth. Program. 84(3): 303-325 (2015)

    PDF

?

  • Modal Algebra and Petri Nets

    H.-H. Dang, B. M?ller
    Acta Inf. 52(2-3): 109-132 (2015)

    PDF

?

  • Structured Document Algebra in Action

    D. Batory, P. H?fner, D. K?ppl, B. M?ller, A. Zelend
    In: R. De Nicola, R. Hennicker (eds.): Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, 291-311

    PDF

?

  • Exploring an Interface Model for CKA

    B. M?ller, C.A.R. Hoare
    R. Hinze, J. Voigtl?nder (eds.): Mathematics of Program Construction - 12th International Conference, MPC 2015, K?nigswinter, Germany, June 29 - July 1, 2015.?Lecture Notes in Computer Science 9129, 1-29

    PDF

?

  • Preference Decomposition and the Expressiveness of Preference Query Languages

    P. Roocks
    Mathematics of Program Construction ---?MPC 2015. Available at?SpringerLink?and?ResearchGate

?

  • An Algebra of Database Preferences

    B. M?ller, P. Roocks
    J. Log. Algebr. Meth. Program.?84(3): 456-481 (2015)

    PDF

?

?

2014

?

  • On Nothing

    M.E. Müller, B. M?ller
    in Berghammer, R., M?ller, B. and Winter, M. (eds.): Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday,?J. Log. Algebr. Meth. Program. 83(2), 309-317, 2014

    PDF

?

  • Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday: Preface

    R. Berghammer, B. M?ller and M. Winter (eds.)
    Journal of Logical and Algebraic Methods in Programming 83(2), 85-86.

    PDF

?

  • Exploring Modal Worlds

    H.-H. Dang, R. Glück, B. M?ller, P. Roocks, A. Zelend
    in Berghammer, R., M?ller, B. and Winter, M. (eds.): Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday,?Journal of Logical and Algebraic Methods in Programming 83(2), pp. 135-153, 2014.

    PDF

?

  • Relational Style Laws and Constructs of Linear Algebra

    J. Desharnais, A. Grinenko, B. M?ller
    in Berghammer, R., M?ller, B. and Winter, M. (eds.): Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday,?Journal of Logical and Algebraic Methods in Programming 83(2), pp. 154-168, 2014.

    PDF

?

  • Developments in Concurrent Kleene Algebra

    C.A.R. Hoare, S. van Staden, B. M?ller, G. Struth, J. Villard, H. Zhu, P. O’Hearn
    in H?fner, P., Jipsen, P., Kahl, W. and Müller, M. E. (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 14),?LNCS 8428, pp. 1-18, 2014.

    PDF

?

  • Fuzzifying Modal Algebra

    J. Desharnais, B. M?ller
    in H?fner, P., Jipsen, P., Kahl, W. and Müller, M. E. (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 14),?LNCS 8428, pp. 395–411, 2014.

    PDF

?

  • Abstract Dynamic Frames

    H.-H. Dang
    in H?fner, P., Jipsen, P., Kahl, W. and Müller, M. E. (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 14),?LNCS 8428, pp. 157-172, 2014.

    PDF

?

?

2013

  • Features, Modularity, and Variation Points

    D. Batory, P. H?fner, B. M?ller, A. Zelend
    in Proceedings of the 5th International Workshop on Feature-Oriented Software Development,?FOSD 2013, pp. 1-8, 2013

    PDF

?

  • Subclack: Feature-Oriented Programming with Behavioral Feature Interfaces PDF

    T. Thüm, S. Apel, A. Zelend, R. Schr?ter, B. M?ller,
    in Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance,?MASPEGHI '13, pp. 1-8, 2013

?

  • Concurrency and Local Reasoning Under Reverse Exchange

    H.-H. Dang, B. M?ller
    in?Science of Computer Programming 85, Part B, pp. 204–223, 2013.

    PDF

?

  • Computational Aspects of Ordered Integer Partition with Upper Bounds

    R. Glück, D. K?ppl, G. Wirsching
    in V. Bonifaci, C. Demetrescu and A. Marchetti-Spaccamela (eds.): Experimental Algorithms (SEA 2013),?LNCS 7933, pp. 79-90, 2013.

    PDF

?

  • Modal Knowledge and Game Semirings

    B. M?ller
    in?Computer Journal 56 (1), pp. 53-69, 2013.

    PDF

?

?

2012

?

  • Constraints in Feature Algebra

    A. Zelend
    in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13) ---?PhD Programme, 2012.

    PDF

?

  • Transitive Separation Logic

    H.-H. Dang, B. M?ller
    in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13),?LNCS 7560, pp. 1-16, 2012.

    PDF

?

  • Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming

    P. H?fner, B. M?ller, A. Zelend
    in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13),?LNCS 7560, pp. 33-49, 2012.

    PDF

?

  • An Algebra of Layered Complex Preferences

    B. M?ller, P. Roocks
    in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13),?LNCS 7560, pp. 294-309, 2012.

    PDF

?

  • A Hierarchically Typed Relation Algebra

    P. Roocks
    in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13) ---?PhD Programme, 2012.

    PDF

?

  • On the Algebraic Derivation of Garbage Collectors

    H.-H. Dang
    in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13) ---?PhD Programme, 2012.

    PDF

?

  • Two Observations in Dioid Based Model Refinement

    R. Glück
    in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13),?LNCS 7560, pp. 235-247, 2012.

    PDF

?

  • Dijkstra, Floyd and Warshall meet Kleene

    P. H?fner, B. M?ller
    in?Formal Aspects of Computing, Volume 24, Issue 4-6, pp. 459-476, 2012.

    PDF

?

  • An Algebraic Calculus of Database Preferences

    B. M?ller, P. Roocks, M. Endres
    in J. Gibbons and P. Nogueira (eds.): Mathematics of Program Construction (MPC 2012),?LNCS 7342, pp. 241-262, 2012.

    PDF

?

  • Reverse Exchange for Concurrency and Local Reasoning

    H.-H. Dang, B. M?ller
    in J. Gibbons and P. Nogueira (eds.): Mathematics of Program Construction (MPC 2012),?LNCS 7342, pp. 177-197, 2012.

    PDF

?

?

2011

  • Algebraic Notions of Termination

    J. Desharnais, B. M?ller, G. Struth
    in?Logical Methods in Computer Science 7(1), pp. 1-29, 2011.

    PDF

?

  • On Locality and the Exchange Law for Concurrent Processes

    C.A.R. Hoare, A. Hussain, B. M?ller, P. O'Hearn, R.L. Petersen, G. Struth
    in Joost-Pieter Katoen, Barbara K?nig (eds.):?CONCUR 2011 - Concurrency Theory, LNCS 6901, 2011.

    PDF

?

  • An Algebra of Product Families

    P. H?fner, R. Khedri, B. M?ller
    in?Software and Systems Modeling Volume 10, Issue 2 (2011), pp. 161 - 182.

    PDF

?

  • Simplifying Pointer Kleene Algebra

    H.-H. Dang, B. M?ller
    in 1st Workshop on Automated Theory Engineering (ATE 2011), 2011.

    PDF

?

  • Ideas for an Algebraic Treatment of the Russian Cards Problem

    P. Roocks
    in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12) ---?PhD Programme, 2011.

    PDF

?

  • Formal Products Families for Abstract Machines

    A. Zelend
    in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12) ---?PhD Programme, 2011.

    PDF

?

  • Towards an Algebra of Routing Tables

    P. H?fner, A. McIver
    in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12),?LNCS 6663, 2011.

?

  • Building Structured Theories

    B. M?ller
    in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12),?LNCS 6663, pp. 1-21, 2011.

    PDF

?

  • Using Bisimulations for Optimality Problems in Model Refinement

    R. Glück
    in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12),?LNCS 6663, pp. 164-179, 2011.

    PDF

?

  • Variable Side Conditions and Greatest Relations in Algebraic Separation Logic

    H.-H. Dang, P. H?fner
    in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12),?LNCS 6663, pp. 125-140, 2011.

    PDF

?

  • Towards Automation for Pointer Algebra

    H.-H. Dang
    in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12) ---?PhD Programme, 2011.

    PDF

?

  • Bisimulations in Game Analysis

    R. Glück
    in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12) ---?PhD Programme, 2011.

    PDF

?

  • Editorial: Relations and Kleene algebras in computer science

    Rudolf Berghammer, Ali Jaoua, Bernhard M?ller
    J. Log. Algebr. Program. 80(6): 219-220 (2011)

    PDF

?

  • Supplementing Product Families with Behaviour

    P. H?fner, R. Khedri, B. M?ller
    in?International Journal of Software and Informatics, 2011.

    PDF

?

  • Fixing Zeno Gaps

    P. H?fner, B. M?ller
    in?Theoretical Computer Science 412, Issue 28, pp. 3303-3322, 2011.

    PDF

?

  • Algebraic Separation Logic

    H.-H. Dang, P. H?fner, B. M?ller
    in?Journal of Logic and Algebraic Programming 80, pp. 221-247, 2011.

    PDF

?

  • Concurrent Kleene Algebra and its Foundations

    C.A.R. Hoare, B. M?ller, G. Struth, I. Wehrman
    in?Journal of Logic and Algebraic Programming 80, pp. 266–296, 2011.

    PDF

?

?

2010

  • Model Refinement Using Bisimulation Quotients

    R. Glück, B. M?ller, M. Sintzoff
    in M. Johnson, D. Pavlovic (eds.):?Algebraic Methodology and Software Technology?(AMAST 2010), LNCS 6486, pp. 76-91, 2010.

    PDF

?

  • An algebraic foundation for automatic feature-based program synthesis

    S. Apel, C. Lengauer, B. M?ller, C. K?stner
    in?Science of Computer Programming?75(11), pp. 1022-1047, 2010.

    PDF

?

  • Editorial: Relations and Kleene algebras in computer science

    R. Berghammer, B. M?ller, G. Struth
    in?Journal of Logic and Algebraic Programming 79(8), pp. 705-706, 2010.

    PDF

?

  • Algebraic Notions of Nontermination: Omega and Divergence in Idempotent Semirings

    P. H?fner, G. Struth
    in?Journal of Logic and Algebraic Programming?79, pp. 794 - 811, 2010.

    PDF

?

  • Automated Higher-order Reasoning about Quantales

    H.-H. Dang, P. H?fner
    in?Workshop on Practical Aspects of Automated Reasoning, 2010.

    PDF

?

  • Normal Design Algebra

    W. Guttmann, B. M?ller
    in?Journal of Logic and Algebraic Programming 79(2), pp. 144-173, 2010.

    PDF

?

?

2009

  • Algebraic Calculi for Hybrid Systems

    P. H?fner

?

  • Automated Higher-order Reasoning in Quantales

    H.-H. Dang
    in R. Berghammer, A. M. Jaoua, B. M?ller (eds.): Relations and Kleene algebra in computer science. PhD Programme (RelMiCS 11/AKA 6)
    Technical Report, Computer Science and Engineering Department, University of Qatar, 2009, pp.38-42.

    PDF

?

  • Foundations of Concurrent Kleene Algebra

    C.A.R. Hoare, B. M?ller, G. Struth, I. Wehrman
    in R. Berghammer, A. M. Jaoua, B. M?ller (eds.):?Relations and Kleene Algebra in Computer Science, LNCS 5827. pp. 166-186, 2009.

    PDF

?

  • A Semiring Approach to Equivalences, Bisimulations and Control

    R. Glück, B. M?ller, M. Sintzoff
    in R. Berghammer, A. M. Jaoua, B. M?ller (eds.):?Relations and Kleene Algebra in Computer Science, LNCS 5827.

    PDF

?

  • Towards Algebraic Separation Logic

    H.-H. Dang, P. H?fner, B. M?ller
    in R. Berghammer, A. M. Jaoua, B. M?ller (eds.):?Relations and Kleene Algebra in Computer Science, LNCS 5827. pp. 59-72, 2009.

    PDF

?

  • Algebraic Methods for Model Refinement

    R. Glück
    in R. Berghammer, A. M. Jaoua, B. M?ller (eds.): Relations and Kleene algebra in computer science. PhD Programme (RelMiCS 11/AKA 6)
    Technical Report, Computer Science and Engineering Department, University of Qatar, 2009, pp.1-5.

    PDF

?

  • Preface: Relations and Kleene Algebra in Computer Science

    R. Berghammer, A. Jaoua, B. M?ller (eds.)
    LNCS 5827. Springer, 2009.

    PDF

?

  • Extended Feature Algebra [Extended Abstract]

    P. H?fner, B. M?ller
    in S. Apel et al. (eds.):?Workshop on Feature-Oriented Software Development (FOSD), pp. 75-80, 2009.

    PDF

?

  • Concurrent Kleene Algebra

    C.A.R. Hoare, B. M?ller, G. Struth, I. Wehrman
    in M. Bravetti, G. Zavatttaro (eds.):?Concurrency Theory (CONCUR 2009), LNCS 5710. pp. 399-414, 2009.

    PDF

?

  • Automated Verification of Refinement Laws

    P. H?fner, G. Struth, G. Sutcliffe
    Annals of Mathematics and Artificial Intelligence35(1) (Special Issue), 35-62, 2009

    PDF

?

  • An Algebra of Hybrid Systems

    P. H?fner, B. M?ller
    Journal of Logic and Algebraic Programming?78(2), pp. 74-97.?2009

    PDF

?

?

2008

?

  • Algebraic View Reconciliation

    P. H?fner, R. Khedri, B. M?ller
    in A. Cerone and S. Gruner (eds.): Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 08), IEEE 2008, pp. 85-94

    PDF

?

  • On Automating the Calculus of Relations

    P. H?fner, G.Struth
    in A. Armando, P. Baumgartner, G. Dowek (eds.): Automated Reasoning. Lecture Notes in Computer Science 5195. Springer 2008, pp. 50-66

    PDF

?

  • An Algebra for Features and Feature Composition

    S. Apel, C. Lengauer, B. M?ller, C. K?stner
    in J. Meseguer, G. Rosu (eds.):?Algebraic Methodology and Software Technology (AMAST 08), LNCS 5140. pp. 36-50, 2008.

    PDF

?

  • Circulations, Fuzzy Relations and Semirings

    R. Glück, B. M?ller
    in P. Audebaud and C. Pauline-Mohring (eds.): Mathematics of Program Construction,?LNCS 5133. pp. 134-152, 2008.?Springer.

    PDF

?

  • Relations and Kleene Algebra in Computer Science

    R. Berghammer, B. M?ller, G. Struth (eds.)
    LNCS 4988. Springer.

    PDF

?

  • Knowledge and Games in Modal Semirings

    B. M?ller
    in R. Berghammer, B. M?ller, G. Struth (eds.):?Relations and Kleene Algebra in Computer Science, LNCS 4988. pp. 320-336, 2008.

    PDF

?

  • Non-Termination in Idempotent Semirings

    P. H?fner, G.Struth
    in R. Berghammer, B. M?ller, G. Struth (eds.): Relations and Kleene algebra in Computer Science. Lecture Notes in Computer Science 4988. Springer 2008, pp. 206-220

    PDF

?

  • Algebraic Reasoning for Hybrid Systems -Two Case Studies -

    P. H?fner
    in R. Berghammer, B. M?ller, G. Struth (eds.): Relations and Kleene algebra in computer science. Lecture Notes in Computer Science 4988. Springer 2008, pp. 191-205

    PDF

?

  • Import Networks, Fuzzy Relations and Semirings

    R. Glück
    in R. Berghammer, B. M?ller, Struth, G. (eds.): Relations and Kleene algebra in computer science. PhD Programme

    Technical Report 2008-04, Institute of Computer Science, University of Augsburg, 2008, pp. 58-62

    PDF

?

  • Towards an Algebraic Composition of Semantic Web Services

    P. H?fner, F. Lautenbacher
    in R. Berghammer, B. M?ller, Struth, G. (eds.): Relations and Kleene algebra in computer science. PhD Programme
    Technical Report 2008-04, Institute of Computer Science, University of Augsburg, 2008, pp. 68-73

    PDF

?

  • First-Order Theorem Prover Evaluation w.r.t. Relation- and Kleene Algebra

    H.-H. Dang, P. H?fner
    in R. Berghammer, B. M?ller, Struth, G. (eds.): Relations and Kleene algebra in computer science. PhD Programme
    Technical Report 2008-04, Institute of Computer Science, University of Augsburg, 2008, pp. 48-52

    PDF

?

  • Can Refinement be automated?

    P. H?fner, G. Struth
    in E. Boiten, J. Derrick and G. Smith (eds.):?International Refinement Workshop - Refine 2007,?ENTCS.
    volume 201, pp. 53-73, 2008.

?

  • Least reflexive points of relations

    J. Desharnais, B. M?ller
    in O. Danvy, H. Mairson, F. Henglein, A. Pettorossi (eds.): Automatic program development - A tribute to Robert Paige. Springer 2008, 215-228

    PDF

?

  • Algebraic Structure of Web Services

    P. H?fner, F. Lautenbacher
    in D. Ballis, S. Escobar, M. Marchiori (eds.):
    3rd Int'l Workshop on Automated Specification and Verification of Web Systems?(WWV 2007), ENTCS
    volume 200(3), pp. 171-187, 2008.

?

  • Algebraic Neighbourhood Logic

    P. H?fner, B. M?ller
    in R. Schmidt, G. Struth (eds.):?Journal of Logic and Algebraic Programming?76 (Special Issue), pp.35-59 2008

    PDF

?

?

2007

  • Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic

    P. H?fner
    in J. van de Pol, J. Romijn, G. Smith(eds.): Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005),ENTCS
    volume 191, pp. 49-72, 2007.

?

  • Kleene Getting Lazy

    B. M?ller
    Science of Computer Programming 65, 195-214

    PDF

?

  • Automated Reasoning in Kleene Algebra

    P. H?fner, G. Struth
    in F. Pfenning (ed.):?CADE 2007,?LNCS 4603.
    pp. 279-294, 2007.
    Springer.

    PDF

?

?

2006

  • On Two Dually Nondeterministic Refinement Algebras

    K. Solin
    in R. Schmidt (eds.): Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06), LNCS 4136
    pp. 373-387, 2006. Springer.

?

  • Omega Algebra, Demonic Refinement Algebra and Commands

    P. H?fner, B. M?ller, K. Solin
    in R. Schmidt (ed.): Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06), LNCS 4136. pp. 222-234, 2006. Springer.

    PDF

?

  • Lazy Semiring Neighbours and some Applications

    P. H?fner, B. M?ller
    in R. Schmidt (ed.): Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06), LNCS 4136.
    pp. 207-221, 2006. Springer.

    PDF

?

  • f-generated Kleene Algebra

    P. H?fner
    in R. Schmidt, G. Struth (eds.): Relations and Kleene Algebra in Computer Science - PhD Programme (RelMiCS/AKA 06)
    Research Report CS-06-09, Department of Computer Science, University of Sheffield, pp. 55-59, 2006.

?

  • Some Notes on Duality in Refinement Algebra

    K. Solin
    in R. Schmidt, G. Struth (eds.): Relations and Kleene Algebra in Computer Science - PhD Programme (RelMiCS/AKA 06)
    Research Report CS-06-09, Department of Computer Science, University of Sheffield, pp. 84-88, 2006.

?

  • Quantales and Temporal Logics

    B. M?ller, P. H?fner, G. Struth
    in: M. Johnson and V. Vene (Eds.), Algebraic Methodology and Software Technology (AMAST 2006), LNCS 4019. pp. 263-277, 2006. Springer.

    PDF

?

  • Refinement Algebra with Operators for Enabledness and Termination

    K. Solin, J von Wright
    in: T. Uustalu (Ed.), Mathematics of Program Construction 8th International Conference (MPC 2006), LNCS 4014. pp. 397-415, 2006. Springer.

?

  • The Linear Algebra of UTP

    B. M?ller
    in: T. Uustalu (Ed.), Mathematics of Program Construction 8th International Conference (MPC 2006), LNCS 4014. pp. 338-358, 2006. Springer.

    PDF

?

  • Feature Algebra

    P. H?fner, R. Khedri, B. M?ller
    in J. Misra, T. Nipkow, and E. Sekerinski (eds.): Formal methods?(FM 2006), LNCS 4085. pp. 300-315, 2006. Springer.

    PDF

?

  • Modal Design Algebra

    W. Guttmann, B. M?ller
    In S. Dunne, B. Stoddart (eds.): Unifying Theories of Programming?(UTP 2006), LNCS 4010. pp. 236–256, 2006. Springer

    PDF

?

  • Kleene Algebra with Domain

    J. Desharnais, B. M?ller, G. Struth
    ACM Transactions on Computational Logic Vol. 7, No. 4, October 2006, Pages 798–833.

    PDF

?

  • Kleene under a Modal Demonic Star

    J. Desharnais, B. M?ller, F. Tchier
    in B. M?ller (ed.)?Journal of Logic and Algebraic Programming 66
    Special issue "Relation Algebra and Kleene Algebra", pp. 127-160

    PDF

?

  • The Journal of Logic and Algebraic Programming - Special issue "Relation Algebra and Kleene Algebra"

    B. M?ller (ed.)
    Journal of Logic and Algebraic Programming 66

    PDF

?

  • Abstract Abstract Reduction

    G. Struth
    in B. M?ller (ed.)?Journal of Logic and Algebraic Programming 66
    Special issue "Relation Algebra and Kleene Algebra", pp. 239-270

?

  • Algebras of Modal Operators and Partial Correctness

    B. M?ller, G. Struth
    Theoretical Computer Science 351, pp. 221-239

    PDF

?

  • Towards an Algebra of Hybrid Systems

    P. H?fner, B. M?ller
    in W. MacCaull, M. Winter and I. Duentsch (eds.): Relational Methods in Computer Science,?LNCS 3929.?pp. 121-133, 2006. Springer.

    PDF

?

  • wp is wlp

    B. M?ller, G. Struth
    in W. MacCaull, M. Winter and I. Duentsch (eds.): Relational Methods in Computer Science,?LNCS 3929. pp. 200-211, 2006. Springer.

    PDF

?

?

2005

  • Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic

    P. H?fner
    In J. Romijn, G. Smith, J. van de Pol (eds.): IFM 2005 Doctoral Symposium on Integrated Formal Methods (IFM 2005). CS-Report 05-29, pp. 6-13, 2005.

?

  • An Algebraic Semantics for Duration Calculus

    P. H?fner
    17th European Summer School in Logic, Language and Information (ESSLLI),
    Proceedings of the 10th ESSLLI Student Session
    pp. 99-111, 2005. Heriot-Watt University Edinburgh, Scotland, 8-19 August, 2005

    PDF

?

  • Least Reflexive Points of Relations

    J. Desharnais, B. M?ller
    Higher-order and Symbolic Computation 18, 51-77 (2005)

    PDF

?

?

2004

  • Preface: Relational and Kleene-Algebraic Methods in Computer Science

    R. Berghammer, B. M?ller, G. Struth (eds.)

    LNCS 3051. Springer.

    PDF

?

  • Termination in Modal Kleene Algebra

    J. Desharnais, B. M?ller, G. Struth
    In J.-J. Lévy, E. Mayr, J.C. Mitchell (eds.): Exploring new frontiers of theoretical informatics.
    IFIP International Federation for Information Processing Series 155, pp. 647-660, 2004.

    PDF

?

  • Pointer Kleene algebra

    T. Ehm
    In R. Berghammer, B. M?ller, G. Struth (eds.):?Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051. pp. 99-111, 2004. Springer.

?

  • Kleene Modules

    T. Ehm, B. M?ller, G. Struth
    In R. Berghammer, B. M?ller, G. Struth (eds.):?Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051. pp. 112-123, 2004. Springer.

?

  • Lazy Kleene Algebra

    B. M?ller
    In D. Kozen (ed.): Mathematics of program Construction?(MPC 2004), LNCS 3125. pp. 252-273, 2004. Springer-Verlag.

    PDF

?

  • Foreword: Mathematics of program construction

    E.A. Boiten, B. M?ller (eds.)
    Science of Computer Programming 51:1-2, Special Issue Jan. 2004.

    PDF

?

  • Greedy-Like Algorithms in Kleene Algebra

    B. M?ller, G. Struth
    In R. Berghammer, B. M?ller, G. Struth (eds.):?Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051. pp. 202-214, 2004.

    PDF

?

  • Modal Kleene algebra and applications - a survey

    J. Desharnais, B. M?ller, G. Struth
    In?Journal on Relational Methods in Computer Science 1. pp. 93-131, 2004.

    PDF

?

  • Modal Kleene Algebra and Partial Correctness

    B. M?ller, G. Struth
    In C. Rattray, S. Maharaj, C. Shankland (eds.): Algebraic Methodology and Software Technology?(AMAST 2004), LNCS 3116 (Best Paper Award). pp. 379-393, 2004. Springer-Verlag.

    PDF

?

?

2003

  • Kleene modules

    T. Ehm, B. M?ller, G. Struth
    7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra. pp. 21-27, Malente, Germany, Mai 2003.
    In R. Berghammer, B. M?ller (eds.): Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.

    PDF

?

  • Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra

    R. Berghammer, B. M?ller (eds.)
    7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra. Malente, Germany, Mai 2003.

?

  • Greedy-like algorithms in Kleene algebra

    B. M?ller, G. Struth
    7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra. pp. 173-180, Malente, Germany, Mai 2003. In R. Berghammer, B. M?ller (eds.): Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.?Final version.

?

  • Pointer Kleene algebra

    T. Ehm
    7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra. pp. 135-143, Malente, Germany, Mai 2003.
    In R. Berghammer, B. M?ller (eds.): Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra. Final Version.

?

  • A Calculus for Set-Based Program Development

    G. Struth
    5th International Conference on Formal Engineering Methods.
    In J. S. Dong, J. Woodcock (eds): Formal Methods and Software Engineering, LNCS 2885.
    pp. 541-559, 2003. Springer-Verlag.

?

?

2002

  • Mathematics of Program Construction

    E.A. Boiten, B. M?ller (eds.)
    LNCS 2386.

    2002.

    PDF

?

  • Deriving Focused Lattice Calculi

    G. Struth
    13th International Conference on Rewriting Techniques and Applications (RTA 2002).
    pp. 83-97, Kopenhagen, Denmark, 2002.
    In S. Tison (ed.): Rewriting Techniques and Applications, 13th International Conference, Lecture Notes in Computer Science 2378. Springer-Verlag.

?

?

2001

  • Transformational construction of correct pointer algorithms

    T. Ehm
    Andrei Ershov Fourth International Conference on Perspectives of Systems Informatics.
    pp. 116-130, Novosibirsk, Russia, Juli 2001.
    In D. Bjorner, M. Broy, A.V. Zamulin (eds.): Lecture Notes in Computer Science 2244. Springer-Verlag.

    PDF

?

  • Calculating Church-Rosser Proofs in Kleene Algebra

    G. Struth
    6th International Conference of Relational methods in Computer Science (RelMICS 2001).
    pp. 276-290, Oisterwijk, Netherlands, 2002.
    In H.C.M. de Swart (ed.): Relational Methods in Computer Science, Lecture Notes in Computer Science 2561. Springer-Verlag.

?

  • Characterizing determinacy in Kleene algebra

    J. Desharnais, B. M?ller
    In Special Issue on Relational Methods in Computer Science, Information Sciences - An International Journal 139. pp. 253-273, 2001.

    PDF

?

?

2000

  • Kleene under a demonic star

    J. Desharnais, B. M?ller, F. Tchier
    In T. Rus (ed.): Algebraic Methodology and Software Technology?(AMAST 2000), LNCS 1816. pp. 355-370, Sep. 2000. Springer.

    PDF

?

  • Characterizing functions in Kleene algebra

    J. Desharnais, B. M?ller
    J. Desharnais (ed.): RelMiCS 2000, 5th International Seminar on Relational Methods in Computer Science. pp. 55-64, Université Laval, Québec, Canada, Jan. 2000.

?

?

1999

  • Informatik-Werkzeuge zur multimedialen Unterstützung der Lehre

    T. Ehm
    In?Connect 1/1999.

    PDF

?

  • Calculating with acyclic and cyclic lists

    B. M?ller
    In Information Sciences - An International Journal. Special Issue on Relational Methods in Computer Science 119/3-4. pp. 135-154, 1999.

    PDF

?

?

1998

  • An Algebraic Approach to Systolic Circuits

    B. M?ller
    In Proc. Workshop on Formal Techniques for Hardware and Hardware-like Systems Marstrand, 19 June, 1998. Chalmers University of Technology, G?teborg, 1998 (26 pp.)

    PDF

?

  • Are anamorphisms reasonable abstractions?

    B. M?ller
    Workshop on Generic Programming. Chalmers University of Technology, G?teborg, Sweden. Juni 1998.

    PDF

?

  • Ideal Stream Algebra

    B. M?ller
    In B. M?ller, J.V. Tucker (eds.): Prospects for hardware foundations, LNCS 1546. pp. 69-116, 1998. Springer-Verlag.

    PDF

?

  • Algebraic structures for program calculation

    B. M?ller
    International Summer School Marktoberdorf, July 28 - August 9, 1998.
    In M. Broy, R. Steinbrüggen (eds.): Calculational system design, NATO Advanced Science Institutes Series. Subseries F: Computer and Systems Sciences. pp. 25-97, 1999.
    IOS Press.

    PDF

?

  • Preface: Prospects for hardware foundations

    B. M?ller, J. V. Tucker (eds.)
    LNCS 2546, 1998.

    PDF

?

  • Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach

    T. Brunn, B. M?ller, M. Russling
    In J. Jeuring (ed.): Mathematics of Program Construction, LNCS 1422. pp. 96-121, 1998. Springer-Verlag.

    PDF

?

  • Deductive Hardware Design: A Functional Approach

    B. M?ller
    In B. M?ller, J.V. Tucker (eds.): Prospects for hardware, LNCS 1546. pp. 420-468, 1998. Springer-Verlag.

    PDF

?

?

1997

  • Temporal Operators on Partial Orders

    B. M?ller
    In U.Berger, K.-H. Niggl, B. Reus (eds.): Proc. 3rd Domain Workshop, Munich, 29--31 May 1997. Institut für Informatik, LMU Munich, Technical Report 9712, December 1997, pp. 49-58

?

  • Calculating With Pointer Structures

    B. M?ller
    IFIP TC2/WG2.1 Working Conference.
    In R. Bird, L. Meertens (eds.): Algorithmic languages and calculi Relational Methods in Computer Science 119/3-4. pp. 24-48, Le Bischenberg, France, Feb. 1997. Chapman & Hall.

    PDF

?

  • Calculating a functional module for binary search trees

    W. Dosch, B. M?ller
    8th International Workshop.
    In W. Kluge (ed.): Implementation of Functional Languages, LNCS 1268.
    pp. 267-284, Bad Godesberg, Germany, 1997. Springer-Verlag
    .

    PDF

?

?

1996

  • Assertions and recursions

    B. M?ller
    Second International Workshop.
    In G. Dowek, J. Heering, K. Meinke, B. M?ller (eds.): Higher order algebra, logic and term rewriting. pp. 163-184, Paderborn, Germany, Dez. 1996. Springer-Verlag.

    PDF

?

  • Higher order algebra, logic and term rewriting

    G. Dowek, J. Heering, K. Meinke, B. M?ller (eds.)
    LNCS 1074, 1996.

?

  • Mathematics of program construction

    B. M?ller (ed.)
    In Special Issue, Science of Computer Programming 26:1-3. 1996.

    PDF

?

?

1995

  • Mathematics of program construction

    B. M?ller (eds.)
    Third International Conference. Kloster Irsee, Germany. LNCS 847, 1995.

?

?

1994

  • Ideal Streams

    B. M?ller
    In F. Simon (ed.): Alternative Konzepte für Sprachen und Rechner.

    Christian-Albrechts-Universit?t Kiel, Bericht Nr. 9412, pp. 83-86

?

  • Shorter paths to graph algorithms

    B. M?ller, M. Russling
    In Science of Computer Programming 22. pp. 157-180, 1994.

    PDF

?

  • Ideal streams

    B. M?ller
    In E.- R. Olderog (ed.): Programming Concepts, Methods and Calculi. IFIP Transactions A-56.
    pp. 39-58, 1994. North Holland.

    PDF

?

  • Higher order algebra, logic and term rewriting

    Heering, K. Meinke, B. M?ller, T. Nipkow (eds.)
    LNCS 816, 1994.

?

  • Ordered and continuous models of higher-order specifications

    B. M?ller
    In J. Heering, K. Meinke, B. M?ller, T. Nipkow (eds.): Higher-Order algebra, logic and term rewriting, LNCS 816.
    pp. 223-255, 1994.
    Springer-Verlag.

    PDF

?

?

1993

  • An Algebraic Approach to Streams

    B. M?ller
    In R. Berghammer, G. Schmidt (eds.): Programmiersprachen und Grundlagen der Programmierung.
    Fakult?t für Informatik, Universit?t der Bundeswehr München, Bericht Nr. 9309, pp. 1-14

?

  • Towards pointer algebra

    B. M?ller
    In Science of Computer Programming 21. pp. 57-90, 1993.

    PDF

?

  • Formal program development

    B. M?ller, H.A. Partsch, S.A. Schuman (eds.)
    LNCS 755, 1993.

    PDF

?

  • Algebraic calculation of graph and sorting algorithms

    B. M?ller
    In D. Bjorner, M. Broy, I.V. Pottosin (eds.): Formal methods in Programming and their Applications, LNCS 735.
    pp. 394-413, 1993. Springer-Verlag.

    PDF

?

  • Derivation of graph and pointer algorithms

    B. M?ller
    In B. M?ller, H.A. Partsch, S.A. Schuman (eds.): Formal program development, LNCS 755.
    pp. 123-160, 1993. Springer-Verlag.

    PDF

?

  • Shorter paths to graph algorithms

    B. M?ller, M. Russling
    In R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.): Mathematics of program construction, LNCS 669.
    pp. 250-268, 1993. Springer-Verlag.

    PDF

?

?

1992

?

  • Design and proof of multipliers by correctness-preserving transformation

    C. Delgado Kloos, W. Dosch, B. M?ller
    IEEE International Conference on Computer Systems and Software Engineering (CompEuro 92).
    pp. 238-243, Los Alamitos, CA, USA, 1992.
    In P. Dewilde, J. Vandewalle (eds.): Proc. IEEE International Conference on Computer Systems and Software Engineering. IEEE Computer Society Press.

    PDF

?

  • Some applications of pointer algebra

    B. M?ller
    In Broy, M. (ed.): Programming and mathematical method. NATO ASI Series, Series F: Computer and Systems Sciences, Vol. 88.
    pp. 123-155, 1992.
    Springer-Verlag.

    PDF

?

?

1991

  • Relations as a program development language

    B. M?ller
    IFIP TC2 Conference.
    In B. M?ller (ed.): Constructing programs from specifications.
    pp. 373-397, Pacific Grove, USA, 1991.
    North Holland.

?

  • Formal derivation of pointer algorithms

    B. M?ller
    In M. Broy (ed.): Informatik und Mathematik.
    pp. 419-440, 1991. Springer-Verlag.

    PDF

?

  • Programming with (finite) mappings

    P. Pepper, B. M?ller
    In M. Broy (ed.): Informatik und Mathematik.
    pp. 381-405, 1991.
    Springer-Verlag.

?

  • Calculating a garbage collector

    U. Berger, W. Meixner, B. M?ller
    In M. Broy, M. Wirsing (eds.): Methodik des Programmierens, Methods of programming, LNCS 544.
    pp. 137-192, 1991. Springer-Verlag.

    PDF

?

  • Constructing programs from specifications

    B. M?ller (ed.)
    Proc. IFIP TC2 Conference, 1991.

?

?

1990

  • Systematic derivation of pointer algorithms

    B. M?ller
    In A. Reuter (ed.): GI - 20. Jahrestagung II. Informatik-Fachberichte 258.
    pp. 537-547, 1990. Springer-Verlag.

    PDF

?

  • On the refinement of nondeterministic recursive routines by transformation

    R. Berghammer, H. Ehler, B. M?ller
    In M. Broy, C.B. Jones (eds.): Programming concepts and methods.
    pp. 53-71, 1990.
    North-Holland.

拉斯维加斯赌城