Programming methodology and multimedia information systems

Contact informations

Address:

Prof. Dr. Bernhard Möller
Institut für Informatik

Universität Augsburg
Universitätsstr. 6a (Geb. N)

D-86135 Augsburg, Germany

 


Phone: +49 821 598 -2164

Fax: +49 821 598 -2274

E-Mail: bernhard.moeller@informatik.uni-augsburg.de

 

Building: N

© University of Augsburg
German version

Research Interests

 

 

  •     Formal semantics
  •     Algebraic and logical specifications (theory and applications)
  •     Higher-order functions (theory and applications)
  •     Infinite objects (theory and applications)
  •     Theory of parallelism and nondeterminacy
  •     Transformational system development           

                    machine-level programs

                    hardware descriptions

                    algorithms for non-conventional machines

                    parallel algorithms               

                    data type transformations
                    system support

           

  •     Design of high-level language concepts
  •     Relational programming

 

 

Publications

 

2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990

2021

Richard Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra and Nicolas Wu. 2021. Algorithmics. DOI: 10.1007/978-3-030-81701-5_3
PDF | BibTeX | RIS | DOI

Bernhard Möller, Peter O’Hearn and Tony Hoare. 2021. On algebra of program correctness and incorrectness. DOI: 10.1007/978-3-030-88701-8_20
PDF | BibTeX | RIS | DOI

2020

Walter Guttmann and Bernhard Möller. 2020. A hierarchy of algebras for Boolean subsets. DOI: 10.1007/978-3-030-43520-2_10
PDF | BibTeX | RIS | DOI

Walter Guttmann and Bernhard Möller. 2020. A hierarchy of algebras for Boolean subsets.
PDF | BibTeX | RIS | URL

Jules Desharnais and Bernhard Möller. 2020. The theta-join as a join with theta. DOI: 10.1007/978-3-030-43520-2_4
PDF | BibTeX | RIS | DOI

2019

Bernhard Möller. 2019. Geographic wayfinders and space-time algebra. DOI: 10.1016/j.jlamp.2019.02.003
PDF | BibTeX | RIS | DOI

2018

Jessica Ertel, Roland Glück and Bernhard Möller. 2018. Algebraic derivation of until rules and application to timer verification. DOI: 10.1007/978-3-030-02149-8_15
PDF | BibTeX | RIS | DOI

2017

Bernhard Möller, Tony Hoare, Martin E. Müller and Georg Struth. 2017. A discrete geometric model of concurrent program execution. DOI: 10.1007/978-3-319-52228-9_1
PDF | BibTeX | RIS | DOI

Jules Desharnais and Bernhard Möller. 2017. Non-associative Kleene algebra and temporal logics. DOI: 10.1007/978-3-319-57418-9_6
PDF | BibTeX | RIS | DOI

2016

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth and Huibiao Zhu. 2016. Developments in concurrent Kleene algebra. DOI: 10.1016/j.jlamp.2015.09.012
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2016. Extended feature algebra. DOI: 10.1016/j.jlamp.2015.12.002
PDF | BibTeX | RIS | DOI

2015

Bernhard Möller and Patrick Roocks. 2015. An algebra of database preferences. DOI: 10.1016/j.jlamp.2015.01.001
PDF | BibTeX | RIS | DOI

Bernhard Möller and Tony Hoare. 2015. Exploring an interface model for CKA. DOI: 10.1007/978-3-319-19797-5_1
PDF | BibTeX | RIS | DOI

Han Hing Dang and Bernhard Möller. 2015. Extended transitive separation logic. DOI: 10.1016/j.jlamp.2014.12.002
PDF | BibTeX | RIS | DOI

Han-Hing Dang and Bernhard Möller. 2015. Modal algebra and Petri nets. DOI: 10.1007/s00236-015-0216-3
PDF | BibTeX | RIS | DOI

Don Batory, Peter Höfner, Dominik Köppl, Bernhard Möller and Andreas Zelend. 2015. Structured document algebra in action. DOI: 10.1007/978-3-319-15545-6_19
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2015. Towards antichain algebra. DOI: 10.1007/978-3-319-24704-5_21
PDF | BibTeX | RIS | DOI

2014

H.-H. Dang and Bernhard Möller. 2014. Concurrency and local reasoning under reverse exchange. DOI: 10.1016/j.scico.2013.07.006
PDF | BibTeX | RIS | DOI

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu and Peter O’Hearn. 2014. Developments in Concurrent Kleene Algebra. DOI: 10.1007/978-3-319-06251-8_1
PDF | BibTeX | RIS | DOI

Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks and Andreas Zelend. 2014. Exploring modal worlds. DOI: 10.1016/j.jlap.2014.02.004
PDF | BibTeX | RIS | DOI

Jules Desharnais and Bernhard Möller. 2014. Fuzzifying modal algebra. DOI: 10.1007/978-3-319-06251-8_24
PDF | BibTeX | RIS | DOI

Martin E. Müller and Bernhard Möller. 2014. On nothing. DOI: 10.1016/j.jlap.2014.02.016
PDF | BibTeX | RIS | DOI

Rudolf Berghammer, Bernhard Möller and Michael Winter. 2014. Preface. DOI: 10.1016/j.jlap.2014.02.017
PDF | BibTeX | RIS | DOI

Jules Desharnais, Anastasiya Grinenko and Bernhard Möller. 2014. Relational style laws and constructs of linear algebra. DOI: 10.1016/j.jlap.2014.02.005
PDF | BibTeX | RIS | DOI

2013

Don Batory, Peter Höfner, Bernhard Möller and Andreas Zelend. 2013. Features, modularity, and variation points. DOI: 10.1145/2528265.2528269
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2013. Modal knowledge and game semirings. DOI: 10.1093/comjnl/bxs140
PDF | BibTeX | RIS | DOI

Thomas Thüm, Sven Apel, Andreas Zelend, Reimar Schröter and Bernhard Möller. 2013. Subclack: feature-oriented programming with behavioral feature interfaces. DOI: 10.1145/2489828.2489829
PDF | BibTeX | RIS | DOI

2012

Bernhard Möller and Patrick Roocks. 2012. An algebra of layered complex preferences. DOI: 10.1007/978-3-642-33314-9_20
PDF | BibTeX | RIS | DOI

Bernhard Möller, Patrick Roocks and Markus Endres. 2012. An algebraic calculus of database preferences. DOI: 10.1007/978-3-642-31113-0_13
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2012. Dijkstra, Floyd and Warshall meet Kleene. DOI: 10.1007/s00165-012-0245-4
PDF | BibTeX | RIS | DOI

Peter Höfner, Bernhard Möller and Andreas Zelend. 2012. Foundations of coloring algebra with consequences for feature-oriented programming. DOI: 10.1007/978-3-642-33314-9_3
PDF | BibTeX | RIS | DOI

Han-Hing Dang and Bernhard Möller. 2012. Reverse exchange for concurrency and local reasoning. DOI: 10.1007/978-3-642-31113-0_10
PDF | BibTeX | RIS | DOI

Han-Hing Dang and Bernhard Möller. 2012. Transitive separation logic. DOI: 10.1007/978-3-642-33314-9_1
PDF | BibTeX | RIS | DOI

2011

Jules Desharnais, Bernhard Möller and Georg Struth. 2011. Algebraic Notions of Termination. DOI: 10.2168/LMCS-7(1:1)2011
PDF | BibTeX | RIS | DOI

Han Hing Dang, Peter Höfner and Bernhard Möller. 2011. Algebraic separation logic. DOI: 10.1016/j.jlap.2011.04.003
PDF | BibTeX | RIS | DOI

Peter Höfner, Ridha Khedri and Bernhard Möller. 2011. An algebra of product families. DOI: 10.1007/s10270-009-0127-2
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2011. Building structured theories. DOI: 10.1007/978-3-642-21070-9_1
PDF | BibTeX | RIS | DOI

Tony Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. 2011. Concurrent Kleene Algebra and its foundations. DOI: 10.1016/j.jlap.2011.04.005
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2011. Fixing Zeno gaps. DOI: 10.1016/j.tcs.2011.03.018
PDF | BibTeX | RIS | DOI

Roland Glück, Bernhard Möller and Michel Sintzoff. 2011. Model refinement using bisimulation quotients. DOI: 10.1007/978-3-642-17796-5_5
PDF | BibTeX | RIS | DOI

C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O’Hearn, Rasmus Lerchedahl Petersen and Georg Struth. 2011. On locality and the exchange law for concurrent processes. DOI: 10.1007/978-3-642-23217-6_17
PDF | BibTeX | RIS | DOI

Rudolf Berghammer, Ali Mohamed Jaoua and Bernhard Möller. 2011. Relations and Kleene algebras in computer science. DOI: 10.1016/j.jlap.2011.04.002
PDF | BibTeX | RIS | DOI

Han Hing Dang and Bernhard Möller. 2011. Simplifying Pointer Kleene algebra.
PDF | BibTeX | RIS | URL

2010

Sven Apel, Christian Lengauer, Bernhard Möller and Christian Kästner. 2010. An algebraic foundation for automatic feature-based program synthesis. DOI: 10.1016/j.scico.2010.02.001
PDF | BibTeX | RIS | DOI

Walter Guttmann and Bernhard Möller. 2010. Normal design algebra. DOI: 10.1016/j.jlap.2009.07.002
PDF | BibTeX | RIS | DOI

Rudolf Berghammer, Bernhard Möller and Georg Struth. 2010. Relations and Kleene algebras in computer science. DOI: 10.1016/j.jlap.2010.07.011
PDF | BibTeX | RIS | DOI

2009

Roland Glück, Bernhard Möller and Michel Sintzoff. 2009. A semiring approach to equivalences, bisimulations and control. DOI: 10.1007/978-3-642-04639-1_10
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2009. An algebra of hybrid systems. DOI: 10.1016/j.jlap.2008.08.005
PDF | BibTeX | RIS | DOI

C. A. R. Tony Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. 2009. Concurrent Kleene Algebra. DOI: 10.1007/978-3-642-04081-8_27
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2009. Extended feature algebra [Extended Abstract].
PDF | BibTeX | RIS | URL

C. A. R. Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. 2009. Foundations of concurrent Kleene Algebra. DOI: 10.1007/978-3-642-04639-1_12
PDF | BibTeX | RIS | DOI

Rudolf Berghammer, Ali Mohamed Jaoua and Bernhard Möller (Ed.). 2009. Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009; Proceedings. DOI: 10.1007/978-3-642-04639-1
BibTeX | RIS | DOI

Rudolf Berghammer, Ali Mohamed Jaoua and Bernhard Möller. 2009. Relations and Kleene Algebra in computer science. DOI: 10.1007/978-3-642-04639-1
PDF | BibTeX | RIS | DOI

Han-Hing Dang, Peter Höfner and Bernhard Möller. 2009. Towards algebraic separation logic. DOI: 10.1007/978-3-642-04639-1_5
PDF | BibTeX | RIS | DOI

2008

Peter Höfner and Bernhard Möller. 2008. Algebraic neighbourhood logic. DOI: 10.1016/j.jlap.2007.10.004
PDF | BibTeX | RIS | DOI

Peter Höfner, Ridha Khedri and Bernhard Möller. 2008. Algebraic view reconciliation. DOI: 10.1109/sefm.2008.36
PDF | BibTeX | RIS | DOI

Sven Apel, Christian Lengauer, Bernhard Möller and Christian Kästner. 2008. An algebra for features and feature composition. DOI: 10.1007/978-3-540-79980-1_4
PDF | BibTeX | RIS | DOI

Roland Glück and Bernhard Möller. 2008. Circulations, fuzzy relations and semirings. DOI: 10.1007/978-3-540-70594-9_9
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2008. Knowledge and games in modal semirings. DOI: 10.1007/978-3-540-78913-0_24
PDF | BibTeX | RIS | DOI

Jules Desharnais and Bernhard Möller. 2008. Least reflexive points of relations. DOI: 10.1007/978-1-4020-6585-9_14
PDF | BibTeX | RIS | DOI

Rudolf Berghammer, Bernhard Möller and Georg Struth. 2008. Preface: Relations and Kleene Algebra in computer science. DOI: 10.1007/978-3-540-78913-0
PDF | BibTeX | RIS | DOI

2007

Bernhard Möller. 2007. Kleene getting lazy. DOI: 10.1016/j.scico.2006.01.010
PDF | BibTeX | RIS | DOI

2006

Bernhard Möller and Georg Struth. 2006. Algebras of modal operators and partial correctness. DOI: 10.1016/j.tcs.2005.09.069
PDF | BibTeX | RIS | DOI

Peter Höfner, Ridha Khedri and Bernhard Möller. 2006. Feature algebra. DOI: 10.1007/11813040_21
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2006. Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra. DOI: 10.1016/j.jlap.2005.04.009
PDF | BibTeX | RIS | DOI

Jules Desharnais, Bernhard Möller and Georg Struth. 2006. Kleene algebra with domain. DOI: 10.1145/1183278.1183285
PDF | BibTeX | RIS | DOI

Jules Desharnais, Bernhard Möller and Fairouz Tchier. 2006. Kleene under a modal demonic star. DOI: 10.1016/j.jlap.2005.04.006
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2006. Lazy semiring neighbours and some applications. DOI: 10.1007/11828563_14
PDF | BibTeX | RIS | DOI

Walter Guttmann and Bernhard Möller. 2006. Modal design algebra. DOI: 10.1007/11768173_14
PDF | BibTeX | RIS | DOI

Peter Höfner, Bernhard Möller and Kim Solin. 2006. Omega algebra, demonic refinement algebra and commands. DOI: 10.1007/11828563_15
PDF | BibTeX | RIS | DOI

Bernhard Möller, Peter Höfner and Georg Struth. 2006. Quantales and temporal logics. DOI: 10.1007/11784180_21
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2006. The linear algebra of UTP. DOI: 10.1007/11783596_20
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2006. Towards an algebra of hybrid systems. DOI: 10.1007/11734673_10
PDF | BibTeX | RIS | DOI

Bernhard Möller and Georg Struth. 2006. wp is wlp. DOI: 10.1007/11734673_16
PDF | BibTeX | RIS | DOI

2005

Jules Desharnais and Bernhard Möller. 2005. Least reflexive points of relations. DOI: 10.1007/s10990-005-7006-5
PDF | BibTeX | RIS | DOI

2004

Eerke A. Boiten and Bernhard Möller. 2004. Foreword. DOI: 10.1016/j.scico.2004.01.009
PDF | BibTeX | RIS | DOI

Bernhard Möller and Georg Struth. 2004. Greedy-like algorithms in modal Kleene algebra. DOI: 10.1007/978-3-540-24771-5_18
PDF | BibTeX | RIS | DOI

Thomas Ehm, Bernhard Möller and Georg Struth. 2004. Kleene modules. DOI: 10.1007/978-3-540-24771-5_10
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2004. Lazy Kleene Algebra. DOI: 10.1007/978-3-540-27764-4_14
PDF | BibTeX | RIS | DOI

Bernhard Möller and Georg Struth. 2004. Modal Kleene Algebra and partial correctness. DOI: 10.1007/978-3-540-27815-3_30
PDF | BibTeX | RIS | DOI

Jules Desharnais, Bernhard Möller and Georg Struth. 2004. Modal Kleene algebra and applications - a survey.
PDF | BibTeX | RIS | URL

Rudolf Berghammer, Bernhard Möller and Georg Struth. 2004. Preface: relational and Kleene-algebraic methods in computer science. DOI: 10.1007/b98117
PDF | BibTeX | RIS | DOI

Rudolf Berghammer, Bernhard Möller and Georg Struth (Ed.). 2004. Relational and Kleene-algebraic methods in computer science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003; revised selected papers. DOI: 10.1007/b98117
BibTeX | RIS | DOI

Jules Desharnais, Bernhard Möller and Georg Struth. 2004. Termination in modal Kleene algebra.
PDF | BibTeX | RIS

2003

2003. Participants' Proceedings of the 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003.
BibTeX | RIS

2002

Eerke A. Boiten and Bernhard Möller (Ed.). 2002. Mathematics of program construction: 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002; proceedings. DOI: 10.1007/3-540-45442-X
BibTeX | RIS | DOI

2001

Jules Desharnais and Bernhard Möller. 2001. Characterizing determinacy in Kleene algebras. DOI: 10.1016/s0020-0255(01)00168-2
PDF | BibTeX | RIS | DOI

2000

Jules Desharnais and Bernhard Möller. 2000. Characterizing functions in Kleene algebra.
BibTeX | RIS

Jules Desharnais, Bernhard Möller and Fairouz Tchier. 2000. Kleene under a demonic star. DOI: 10.1007/3-540-45499-3_26
PDF | BibTeX | RIS | DOI

1999

Bernhard Möller. 1999. Algebraic structures for program calculation.
PDF | BibTeX | RIS

Bernhard Möller. 1999. Are anamorphisms reasonable abstractions?.
BibTeX | RIS

Bernhard Möller. 1999. Calculating with acyclic and cyclic lists. DOI: 10.1016/s0020-0255(99)00011-0
PDF | BibTeX | RIS | DOI

1998

Bernhard Möller. 1998. An algebraic approach to systolic circuits.
PDF | BibTeX | RIS

Bernhard Möller. 1998. Are anamorphisms reasonable abstractions?.
PDF | BibTeX | RIS

Bernhard Möller. 1998. Deductive hardware design: a functional approach. DOI: 10.1007/3-540-49254-2_13
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1998. Ideal stream algebra. DOI: 10.1007/3-540-49254-2_3
PDF | BibTeX | RIS | DOI

Thomas Brunn, Bernhard Möller and Martin Russling. 1998. Layered graph traversals and Hamiltonian path problems — an algebraic approach. DOI: 10.1007/BFb0054287
PDF | BibTeX | RIS | DOI

Bernhard Möller and John V. Tucker. 1998. Preface: prospects for hardware foundations. DOI: 10.1007/3-540-49254-2
PDF | BibTeX | RIS | DOI

Bernhard Möller and John V. Tucker (Ed.). 1998. Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters. DOI: 10.1007/3-540-49254-2
BibTeX | RIS | DOI

1997

Walter Dosch and Bernhard Möller. 1997. Calculating a functional module for binary search trees. DOI: 10.1007/3-540-63237-9_30
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1997. Calculating with pointer structures.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Modal and temporal operators on partial orders.
BibTeX | RIS

1996

Bernhard Möller. 1996. Assertions and recursions. DOI: 10.1007/3-540-61254-8_25
PDF | BibTeX | RIS | DOI

Gilles Dowek, Jan Heering, Karl Meinke and Bernhard Möller (Ed.). 1996. Higher order algebra, logic, and term rewriting: second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995; selected papers. DOI: 10.1007/3-540-61254-8
BibTeX | RIS | DOI

Bernhard Möller. 1996. Preface. DOI: 10.1016/S0167-6423(96)90004-0
PDF | BibTeX | RIS | DOI

1995

Bernhard Möller (Ed.). 1995. Mathematics of Program Construction: Third International Conference; MPC '95 Kloster Irsee, Germany, July 17–21, 1995; Proceedings. DOI: 10.1007/3-540-60117-1
BibTeX | RIS | DOI

1994

Jan Heering, Karl Meinke, Bernhard Möller and Tobias Nipkow (Ed.). 1994. Higher order algebra, logic, and term rewriting: first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993; selected papers. DOI: 10.1007/3-540-58233-9
BibTeX | RIS | DOI

Bernhard Möller. 1994. Ideal streams.
BibTeX | RIS

Bernhard Möller. 1994. Ideal streams.
BibTeX | RIS

Bernhard Möller. 1994. Ordered and continuous models of higher-order specifications. DOI: 10.1007/3-540-58233-9_11
PDF | BibTeX | RIS | DOI

Bernhard Möller and Martin Russling. 1994. Shorter paths to graph algorithms. DOI: 10.1016/0167-6423(94)90011-6
PDF | BibTeX | RIS | DOI

1993

Bernhard Möller. 1993. Algebraic calculation of graph and sorting algorithms. DOI: 10.1007/BFb0039722
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1993. An algebraic approach to streams.
BibTeX | RIS

Bernhard Möller. 1993. Derivation of graph and pointer algorithms. DOI: 10.1007/3-540-57499-9_19
PDF | BibTeX | RIS | DOI

Bernhard Möller, Helmut Partsch and Steve Schuman (Ed.). 1993. Formal program development: IFIP TC 2/WG 2 1 state of the art report. DOI: 10.1007/3-540-57499-9
BibTeX | RIS | DOI

Bernhard Möller, Helmuth Partsch and Steve Schuman. 1993. Introduction. DOI: 10.1007/3-540-57499-9_14
PDF | BibTeX | RIS | DOI

Bernhard Möller and Martin Russling. 1993. Shorter paths to graph algorithms. DOI: 10.1007/3-540-56625-2_17
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1993. Towards pointer algebra. DOI: 10.1016/0167-6423(93)90008-D
PDF | BibTeX | RIS | DOI

1992

Carlos Delgado Kloos, Walter Dosch and Bernhard Möller. 1992. Design and proof of multipliers by correctness-preserving transformation.
PDF | BibTeX | RIS

Walter Dosch and Bernhard Möller. 1992. Parallele Abläufe funktionaler Programme.
BibTeX | RIS

Bernhard Möller. 1992. Some applications of pointer algebra.
PDF | BibTeX | RIS

1991

U. Berger, W. Meixner and Bernhard Möller. 1991. Calculating a garbage collector. DOI: 10.1007/BFb0018273
PDF | BibTeX | RIS | DOI

Bernhard Möller (Ed.). 1991. Constructing programs from specifications: proceedings of the IFIP TC2/WG 2.1 Working Conference on Construction Programs from Specifications, Pacific Grove, CA, USA, 13 - 16 May 1991.
BibTeX | RIS

Bernhard Möller. 1991. Formal derivation of pointer algorithms. DOI: 10.1007/978-3-642-76677-0_30
PDF | BibTeX | RIS | DOI

Peter Pepper and Bernhard Möller. 1991. Programming with (finite) mappings. DOI: 10.1007/978-3-642-76677-0_28
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1991. Relations as a program development language.
PDF | BibTeX | RIS

1990

Bernhard Möller. 1990. A survey of the project CIP - computer-aided, intuition-guided programming.
BibTeX | RIS

Rudolf Berghammer, Herbert Ehler and Bernhard Möller. 1990. On the refinement of nondeterministic recursive routines by transformation.
PDF | BibTeX | RIS

Bernhard Möller. 1990. Systematic derivation of pointer algorithms. DOI: 10.1007/978-3-642-76119-5_57
PDF | BibTeX | RIS | DOI

 

Technical Reports

2019 | 2017 | 2016 | 2013 | 2012 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995 | 1993 | 1992

2019

Bernhard Möller and Peter Höfner. 2019. A new correctness proof for prim's algorithm.
PDF | BibTeX | RIS

Bernhard Möller. 2019. Basics of Modal Semirings and of Kleene / Omega Algebras.
PDF | BibTeX | RIS

2017

Tony Hoare, Martin E. Müller and Bernhard Möller. 2017. Tracelets and Specifications.
PDF | BibTeX | RIS

2016

Bernhard Möller and Jules Desharnais. 2016. Non-associative Kleene algebra and temporal logics.
PDF | BibTeX | RIS

2013

Patrick Roocks and Bernhard Möller. 2013. An algebra of database preferences.
PDF | BibTeX | RIS

Han Hing Dang and Bernhard Möller. 2013. Extended transitive separation logic.
PDF | BibTeX | RIS

Don Batory, Peter Höfner, Bernhard Möller and Andreas Zelend. 2013. Features, modularity, and variation points.
PDF | BibTeX | RIS

2012

Peter Höfner, Bernhard Möller and Andreas Zelend. 2012. Foundations of coloring algebra with consequences for feature-oriented programming.
PDF | BibTeX | RIS

2010

Han Hing Dang, Peter Höfner and Bernhard Möller. 2010. Algebraic Separation Logic.
PDF | BibTeX | RIS

P. Höfner and Bernhard Möller. 2010. An algebra for abstract interfaces.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2010. An extension for feature algebra.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2010. Fixing zeno gaps.
PDF | BibTeX | RIS

Peter Höfner, S. Mentl, Bernhard Möller and W. Scholz. 2010. Requirements in feature algebra.
PDF | BibTeX | RIS

Peter Höfner, Ridha Khedri and Bernhard Möller. 2010. Supplementing product families with behaviour.
PDF | BibTeX | RIS

2009

Charles Antony Richard Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. 2009. Concurrent Kleene algebra.
PDF | BibTeX | RIS

Charles Antony Richard Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. 2009. Foundations of concurrent Kleene algebra.
PDF | BibTeX | RIS

Han Hing Dang, Peter Höfner and Bernhard Möller. 2009. Towards algebraic separation logic.
PDF | BibTeX | RIS

2008

2008. Relations and Kleene Algebra in Computer Science - PHD Programme at RelMiCS10 / AKA5.
PDF | BibTeX | RIS

2007

Peter Höfner, R. Khedri and Bernhard Möller. 2007. Algebraic view reconciliation.
PDF | BibTeX | RIS

S. Apel, C. Lengauer, D. Batory, Bernhard Möller and C. Kästner. 2007. An algebra for feature-oriented software development.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2007. An algebra of hybrid systems.
PDF | BibTeX | RIS

Bernhard Möller. 2007. Knowledge and games in modal semirings.
PDF | BibTeX | RIS

2006

Jules Desharnais, Bernhard Möller and Georg Struth. 2006. Algebraic notions of termination.
PDF | BibTeX | RIS

Peter Höfner, Ridha Khedri and Bernhard Möller. 2006. Feature algebra.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2006. Lazy semiring neighbours and some applications.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2006. Non-smooth and zeno trajectories for hybrid system algebra.
PDF | BibTeX | RIS

Walter Guttmann and Bernhard Möller. 2006. Normal design algebra.
PDF | BibTeX | RIS

Peter Höfner, Kim Solin and Bernhard Möller. 2006. Omega algebra, demonic refinement algebra and commands.
PDF | BibTeX | RIS

Bernhard Möller, Peter Höfner and Georg Struth. 2006. Quantales and temporal logics.
PDF | BibTeX | RIS

Bernhard Möller. 2006. The linear algebra of UTP (revised version).
PDF | BibTeX | RIS

2005

Bernhard Möller. 2005. Complete tests do not guarantee domain.
PDF | BibTeX | RIS

Walter Guttmann and Bernhard Möller. 2005. Modal design algebra.
PDF | BibTeX | RIS

Bernhard Möller. 2005. Residuals and detachments.
PDF | BibTeX | RIS

Bernhard Möller. 2005. The linear algebra of UTP.
PDF | BibTeX | RIS

2004

Jules Desharnais, Bernhard Möller and Fairouz Tchier. 2004. Kleene under a modal demonic star.
PDF | BibTeX | RIS

Dexter Kozen and Bernhard Möller. 2004. Separability in domain semirings.
PDF | BibTeX | RIS

Jules Desharnais, Bernhard Möller and Georg Struth. 2004. Termination in modal Kleene algebra.
PDF | BibTeX | RIS

Bernhard Möller and Georg Struth. 2004. wp is wlp.
PDF | BibTeX | RIS

2003

Bernhard Möller and Georg Struth. 2003. Greedy-like algorithms in Kleene algebra.
PDF | BibTeX | RIS

Jules Desharnais, Bernhard Möller and Georg Struth. 2003. Kleene algebra with domain.
PDF | BibTeX | RIS

Thorsten Ehm, Bernhard Möller and Georg Struth. 2003. Kleene modules.
PDF | BibTeX | RIS

Bernhard Möller. 2003. Lazy Kleene algebra.
PDF | BibTeX | RIS

Bernhard Möller and Georg Struth. 2003. Modal Kleene algebra and partial correctness.
PDF | BibTeX | RIS

2002

Jules Desharnais and Bernhard Möller. 2002. Least reflexive points of relations.
PDF | BibTeX | RIS

2001

Jules Desharnais and Bernhard Möller. 2001. Characterizing determinacy in Kleene algebras (revised version).
PDF | BibTeX | RIS

2000

Jules Desharnais and Bernhard Möller. 2000. Characterizing determinacy in Kleene algebras.
PDF | BibTeX | RIS

Jules Desharnais, Bernhard Möller and Fairouz Tchier. 2000. Kleene under a demonic star.
PDF | BibTeX | RIS

Bernhard Möller. 2000. Safer ways to pointer manipulation.
PDF | BibTeX | RIS

1999

Bernhard Möller. 1999. Typed Kleene algebras.
PDF | BibTeX | RIS

1998

Bernhard Möller. 1998. An algebraic approach to systolic circuits.
PDF | BibTeX | RIS

1997

Bernhard Möller. 1997. Deductive hardware design: a functional approach.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Ideal stream algebra.
PDF | BibTeX | RIS

Thomas Brunn, Bernhard Möller and Martin Russling. 1997. Layered graph traversals and Hamiltonian path problems - an algebraic approach.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Linked lists calculated.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Modal and temporal operators on partial orders.
PDF | BibTeX | RIS

1995

Bernhard Möller. 1995. Refining ideal behaviours.
PDF | BibTeX | RIS

1993

Bernhard Möller. 1993. Algebraic calculation of graph and sorting algorithms.
PDF | BibTeX | RIS

Bernhard Möller. 1993. Derivation of graph and pointer algorithms.
PDF | BibTeX | RIS

Bernhard Möller. 1993. Towards pointer algebra.
PDF | BibTeX | RIS

1992

Bernhard Möller and M. Russling. 1992. Shorter paths to graph algorithms.
PDF | BibTeX | RIS

Search