Bernhard Möller

130 papers A* 1B 15C 12Journal 44Unranked 47

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Some Uses of Modal Semirings. WADT Bernhard Möller, Jules Desharnais
2022	J	`jnl`	Geometric Theory for Program Testing. CoRR Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu
2021	C	`conf`	On Algebra of Program Correctness and Incorrectness. RAMiCS Bernhard Möller, Peter W. O'Hearn, Tony Hoare
2020	C	`conf`	A Hierarchy of Algebras for Boolean Subsets. RAMiCS Walter Guttmann, Bernhard Möller
2020	J	`jnl`	A Hierarchy of Algebras for Boolean Subsets. Arch. Formal Proofs Walter Guttmann, Bernhard Möller
2020	C	`conf`	The θ-Join as a Join with θ. RAMiCS Jules Desharnais, Bernhard Möller
2019	J	`jnl`	Geographic wayfinders and space-time algebra. J. Log. Algebraic Methods Program. Bernhard Möller
2018	C	`conf`	Algebraic Derivation of Until Rules and Application to Timer Verification. RAMiCS Jessica Ertel, Roland Glück, Bernhard Möller
2017	C	`conf`	Non-associative Kleene Algebra and Temporal Logics. RAMiCS Jules Desharnais, Bernhard Möller
2016	—	`conf`	A Discrete Geometric Model of Concurrent Program Execution. UTP Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth
2016	J	`jnl`	Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
2016	J	`jnl`	Extended Feature Algebra. J. Log. Algebraic Methods Program. Peter Höfner, Bernhard Möller
2015	J	`jnl`	An algebra of database preferences. J. Log. Algebraic Methods Program. Bernhard Möller, Patrick Roocks
2015	B	`conf`	Exploring an Interface Model for CKA. MPC Bernhard Möller, Tony Hoare
2015	J	`jnl`	Extended transitive separation logic. J. Log. Algebraic Methods Program. Han-Hing Dang, Bernhard Möller
2015	J	`jnl`	Modal algebra and Petri nets. Acta Informatica Han-Hing Dang, Bernhard Möller
2015	—	`conf`	Structured Document Algebra in Action. Software, Services, and Systems Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
2015	C	`conf`	Towards Antichain Algebra. RAMiCS Bernhard Möller
2014	C	`conf`	Developments in Concurrent Kleene Algebra. RAMiCS Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
2014	J	`jnl`	Exploring modal worlds. J. Log. Algebraic Methods Program. Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend
2014	C	`conf`	Fuzzifying Modal Algebra. RAMiCS Jules Desharnais, Bernhard Möller
2014	J	`jnl`	On nothing. J. Log. Algebraic Methods Program. Martin E. Müller, Bernhard Möller
2014	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Rudolf Berghammer, Bernhard Möller, Michael Winter
2014	J	`jnl`	Relational style laws and constructs of linear algebra. J. Log. Algebraic Methods Program. Jules Desharnais, Anastasiya Grinenko, Bernhard Möller
2013	—	`conf`	Features, modularity, and variation points. FOSD Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend
2013	J	`jnl`	Modal Knowledge and Game Semirings. Comput. J. Bernhard Möller
2012	C	`conf`	An Algebra of Layered Complex Preferences. RAMiCS Bernhard Möller, Patrick Roocks
2012	B	`conf`	An Algebraic Calculus of Database Preferences. MPC Bernhard Möller, Patrick Roocks, Markus Endres
2012	J	`jnl`	Dijkstra, Floyd and Warshall meet Kleene. Formal Aspects Comput. Peter Höfner, Bernhard Möller
2012	C	`conf`	Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMiCS Peter Höfner, Bernhard Möller, Andreas Zelend
2012	B	`conf`	Reverse Exchange for Concurrency and Local Reasoning. MPC Han-Hing Dang, Bernhard Möller
2012	C	`conf`	Transitive Separation Logic. RAMiCS Han-Hing Dang, Bernhard Möller
2011	J	`jnl`	Algebraic Notions of Termination Log. Methods Comput. Sci. Jules Desharnais, Bernhard Möller, Georg Struth
2011	J	`jnl`	Algebraic separation logic. J. Log. Algebraic Methods Program. Han-Hing Dang, Peter Höfner, Bernhard Möller
2011	J	`jnl`	An algebra of product families. Softw. Syst. Model. Peter Höfner, Ridha Khédri, Bernhard Möller
2011	C	`conf`	Building Structured Theories - (Invited Paper). RAMiCS Bernhard Möller
2011	J	`jnl`	Concurrent Kleene Algebra and its Foundations. J. Log. Algebraic Methods Program. Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2011	J	`jnl`	Fixing Zeno gaps. Theor. Comput. Sci. Peter Höfner, Bernhard Möller
2011	B	`conf`	On Locality and the Exchange Law for Concurrent Processes. CONCUR C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth
2011	J	`jnl`	Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. Rudolf Berghammer, Ali Jaoua, Bernhard Möller
2011	—	`conf`	Simplifying Pointer Kleene Algebra. ATE Han-Hing Dang, Bernhard Möller
2011	J	`jnl`	Supplementing Product Families with Behaviour. Int. J. Softw. Informatics Peter Höfner, Ridha Khédri, Bernhard Möller
2010	J	`jnl`	An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Program. Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
2010	—	`conf`	Model Refinement Using Bisimulation Quotients. AMAST Roland Glück, Bernhard Möller, Michel Sintzoff
2010	J	`jnl`	Normal design algebra. J. Log. Algebraic Methods Program. Walter Guttmann, Bernhard Möller
2010	J	`jnl`	Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. Rudolf Berghammer, Bernhard Möller, Georg Struth
2009	—	`conf`	A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS Roland Glück, Bernhard Möller, Michel Sintzoff
2009	J	`jnl`	An algebra of hybrid systems. J. Log. Algebraic Methods Program. Peter Höfner, Bernhard Möller
2009	—	`conf`	An extension for feature algebra. FOSD Peter Höfner, Bernhard Möller
2009	B	`conf`	Concurrent Kleene Algebra. CONCUR C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2009	—	`conf`	Foundations of Concurrent Kleene Algebra. RelMiCS C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2009	—	`ed.`	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 RelMiCS Rudolf Berghammer, Ali Jaoua, Bernhard Möller
2009	—	`conf`	Towards Algebraic Separation Logic. RelMiCS Han-Hing Dang, Peter Höfner, Bernhard Möller
2008	J	`jnl`	Algebraic Neighbourhood Logic. J. Log. Algebraic Methods Program. Peter Höfner, Bernhard Möller
2008	B	`conf`	Algebraic View Reconciliation. SEFM Peter Höfner, Ridha Khédri, Bernhard Möller
2008	—	`conf`	An Algebra for Features and Feature Composition. AMAST Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
2008	B	`conf`	Circulations, Fuzzy Relations and Semirings. MPC Roland Glück, Bernhard Möller
2008	—	`conf`	Knowledge and Games in Modal Semirings. RelMiCS Bernhard Möller
2008	—	`ed.`	Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings RelMiCS Rudolf Berghammer, Bernhard Möller, Georg Struth
2007	J	`jnl`	Kleene getting lazy. Sci. Comput. Program. Bernhard Möller
2006	J	`jnl`	Algebras of modal operators and partial correctness. Theor. Comput. Sci. Bernhard Möller, Georg Struth
2006	B	`conf`	Feature Algebra. FM Peter Höfner, Ridha Khédri, Bernhard Möller
2006	J	`jnl`	Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra. J. Log. Algebraic Methods Program. Bernhard Möller
2006	J	`jnl`	Kleene algebra with domain. ACM Trans. Comput. Log. Jules Desharnais, Bernhard Möller, Georg Struth
2006	J	`jnl`	Kleene under a modal demonic star. J. Log. Algebraic Methods Program. Jules Desharnais, Bernhard Möller, Fairouz Tchier
2006	—	`conf`	Lazy Semiring Neighbours and Some Applications. RelMiCS Peter Höfner, Bernhard Möller
2006	—	`conf`	Modal Design Algebra. UTP Walter Guttmann, Bernhard Möller
2006	—	`conf`	Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS Peter Höfner, Bernhard Möller, Kim Solin
2006	—	`conf`	Quantales and Temporal Logics. AMAST Bernhard Möller, Peter Höfner, Georg Struth
2006	B	`conf`	The Linear Algebra of UTP. MPC Bernhard Möller
2005	J	`jnl`	Least Reflexive Points of Relations. High. Order Symb. Comput. Jules Desharnais, Bernhard Möller
2005	—	`conf`	Towards an Algebra of Hybrid Systems. RelMiCS Peter Höfner, Bernhard Möller
2005	—	`conf`	p Is. RelMiCS Bernhard Möller, Georg Struth
2004	J	`jnl`	Foreword. Sci. Comput. Program. Eerke A. Boiten, Bernhard Möller
2004	B	`conf`	Lazy Kleene Algebra. MPC Bernhard Möller
2004	—	`conf`	Modal Kleene Algebra and Partial Correctness. AMAST Bernhard Möller, Georg Struth
2004	—	`ed.`	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 RelMiCS Rudolf Berghammer, Bernhard Möller, Georg Struth
2004	—	`conf`	Termination in Modal Kleene Algebra. IFIP TCS Jules Desharnais, Bernhard Möller, Georg Struth
2003	—	`conf`	Greedy-Like Algorithms in Modal Kleene Algebra. RelMiCS Bernhard Möller, Georg Struth
2003	—	`conf`	Kleene Modules. RelMiCS Thorsten Ehm, Bernhard Möller, Georg Struth
2003	J	`jnl`	Kleene algebra with domain CoRR Jules Desharnais, Bernhard Möller, Georg Struth
2002	B	`ed.`	Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings MPC Eerke A. Boiten, Bernhard Möller
2001	J	`jnl`	Characterizing determinacy in Kleene algebras. Inf. Sci. Jules Desharnais, Bernhard Möller
2000	—	`conf`	Characterizing Functions in Kleene Algebras. RelMiCS Jules Desharnais, Bernhard Möller
2000	—	`conf`	Kleene under a Demonic Star. AMAST Jules Desharnais, Bernhard Möller, Fairouz Tchier
1999	J	`jnl`	Calculating with Acyclic and Cyclic Lists. Inf. Sci. Bernhard Möller
1998	—	`conf`	Deductive Hardware Design: A Functional Approach. Prospects for Hardware Foundations Bernhard Möller
1998	—	`conf`	Idel Stream Algebra. Prospects for Hardware Foundations Bernhard Möller
1998	B	`conf`	Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. MPC Thomas Brunn, Bernhard Möller, Martin Russling
1998	—	`conf`	Modal and temporal operators on partial orders. RelMiCS Bernhard Möller
1998	—	`ed.`	Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters Prospects for Hardware Foundations Bernhard Möller, John V. Tucker
1997	—	`conf`	Calculating With Pointer Structures (Extended Abstract). RelMiCS Bernhard Möller
1997	—	`conf`	Calculating with pointer structures. Algorithmic Languages and Calculi Bernhard Möller
1996	—	`conf`	Calculating a Functional Module for Binary Search Trees. Implementation of Functional Languages Walter Dosch, Bernhard Möller
1996	—	`ed.`	Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers HOA Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
1996	J	`jnl`	Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Sci. Comput. Program. Bernhard Möller
1995	—	`conf`	Assertions and Recursions. HOA Bernhard Möller
1995	B	`ed.`	Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings MPC Bernhard Möller
1994	—	`ed.`	Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers HOA Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
1994	—	`conf`	Ideal Streams. PROCOMET Bernhard Möller
1994	J	`jnl`	Shorter Paths to Graph Algorithms. Sci. Comput. Program. Bernhard Möller, Martin Russling
1993	—	`conf`	Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). Formal Methods in Programming and Their Applications Bernhard Möller
1993	—	`conf`	Derivation of Graph and Pointer Algorithms. Formal Program Development Bernhard Möller
1993	—	`ed.`	Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report Formal Program Development Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
1993	—	`conf`	Introduction. Formal Program Development Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
1993	—	`conf`	Ordered and Continuous Models of Higher-Order Specifications. HOA Bernhard Möller
1993	J	`jnl`	Towards Pointer Algebra. Sci. Comput. Program. Bernhard Möller
1992	B	`conf`	Shorter Paths to Graph Algorithms. MPC Bernhard Möller, Martin Russling
1991	—	`conf`	Calculating a Garbage Collector. Methods of Programming Ulrich Berger, Werner Meixner, Bernhard Möller
1990	—	`conf`	On the Refinement of Non-Deterministic Recursive Routines by Transformations. Programming Concepts and Methods Rudolf Berghammer, Herbert Ehler, Bernhard Möller
1990	—	`conf`	Systematic Derivation of Pointer Algorithms. GI Jahrestagung (2) Bernhard Möller
1989	B	`conf`	Applicative Assertions. MPC Bernhard Möller
1989	J	`jnl`	Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. IEEE Trans. Software Eng. Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
1988	—	`conf`	Algebraic Specification with Built-in Domain Constructions. CAAP Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
1987	—	`conf`	Algebraic Specifications of Reachable Higher-Order Algebras. ADT Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
1987	J	`jnl`	Konstruktion korrekter Programme durch Transformation. Inform. Spektrum Helmuth Partsch, Bernhard Möller
1987	—	`book`	The Munich Project CIP, Volume II: The Program Transformation System CIP-S Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper
1986	J	`jnl`	Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
1986	—	`conf`	Algebraic Specifications with Higher-Order Operations. ADT Bernhard Möller
1985	J	`jnl`	On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types. Acta Informatica Bernhard Möller
1985	—	`book`	The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner
1984	—	`conf`	Busy and Lazy FP with Infinite Objects. LISP and Functional Programming Walter Dosch, Bernhard Möller
1984	—	`conf`	On the Algebraic Specification of Domains. ADT Bernhard Möller, Walter Dosch
1983	—	`conf`	An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. GI Jahrestagung Walter Dosch, Bernhard Möller
1983	A*	`conf`	An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. ICALP Bernhard Möller
1983	—	`conf`	Ordered and Continuous Models of Algebraic Types. ADT Bernhard Möller
1982	—	`—`	Unendliche Objekte und Geflechte. Bernhard Möller
1981	—	`conf`	GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
1981	J	`jnl`	Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner