List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Some uses of modal semirings | 2025-10-29 | Paper |
| On algebra of program correctness and incorrectness | 2023-03-30 | Paper |
| A Hierarchy of Algebras for Boolean Subsets Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
| The \theta -Join as a Join with \theta Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
| Geographic wayfinders and space-time algebra Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| Assertions and recursions Higher-Order Algebra, Logic, and Term Rewriting | 2019-01-11 | Paper |
| Algebraic derivation of until rules and application to timer verification | 2018-11-08 | Paper |
| Non-associative Kleene Algebra and Temporal Logics Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
| Kleene algebra with domain ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| A discrete geometric model of concurrent program execution Unifying Theories of Programming | 2017-04-04 | Paper |
| Extended feature algebra Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
| Developments in concurrent Kleene algebra Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
| Towards antichain algebra Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
| Exploring an interface model for CKA Lecture Notes in Computer Science | 2015-08-27 | Paper |
| Structured document algebra in action Software, Services, and Systems | 2015-06-22 | Paper |
| Extended transitive separation logic Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
| An algebra of database preferences Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
| Modal algebra and Petri nets Acta Informatica | 2015-04-16 | Paper |
| Exploring modal worlds Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
| Relational style laws and constructs of linear algebra Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
| Developments in concurrent Kleene algebra Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
| Fuzzifying modal algebra Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
| Dijkstra, Floyd and Warshall meet Kleene Formal Aspects of Computing | 2013-03-22 | Paper |
| Transitive Separation Logic Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
| An Algebra of Layered Complex Preferences Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
| Foundations of coloring algebra with consequences for feature-oriented programming Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
| Reverse exchange for concurrency and local reasoning Lecture Notes in Computer Science | 2012-09-05 | Paper |
| An algebraic calculus of database preferences Lecture Notes in Computer Science | 2012-09-05 | Paper |
| On locality and the exchange law for concurrent processes CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
| Algebraic separation logic The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
| Concurrent Kleene algebra and its foundations The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
| Fixing Zeno gaps Theoretical Computer Science | 2011-07-07 | Paper |
| Building Structured Theories Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
| Algebraic Notions of Termination Logical Methods in Computer Science | 2011-05-26 | Paper |
| Model refinement using bisimulation quotients Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
| An algebraic foundation for automatic feature-based program synthesis Science of Computer Programming | 2010-08-26 | Paper |
| Normal design algebra The Journal of Logic and Algebraic Programming | 2010-02-05 | Paper |
| Foundations of concurrent Kleene algebra Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
| A semiring approach to equivalences, bisimulations and control Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
| Towards algebraic separation logic Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
| Concurrent Kleene Algebra CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| Quantales and Temporal Logics Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
| The Linear Algebra of UTP Lecture Notes in Computer Science | 2009-04-02 | Paper |
| An algebra of hybrid systems The Journal of Logic and Algebraic Programming | 2009-02-19 | Paper |
| An Algebra for Features and Feature Composition Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
| Circulations, Fuzzy Relations and Semirings Lecture Notes in Computer Science | 2008-08-28 | Paper |
| Algebraic neighbourhood logic The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
| Knowledge and Games in Modal Semirings Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
| Omega Algebra, Demonic Refinement Algebra and Commands Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| Lazy Semiring Neighbours and Some Applications Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| Modal Design Algebra Unifying Theories of Programming | 2007-09-14 | Paper |
| Relational Methods in Computer Science Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Kleene getting lazy Science of Computer Programming | 2007-03-12 | Paper |
| Algebras of modal operators and partial correctness Theoretical Computer Science | 2006-04-06 | Paper |
| Kleene under a modal demonic star The Journal of Logic and Algebraic Programming | 2006-03-16 | Paper |
| Least reflexive points of relations Higher-Order and Symbolic Computation | 2006-02-08 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science Lecture Notes in Computer Science | 2005-12-23 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science Lecture Notes in Computer Science | 2005-12-23 | Paper |
| Mathematics of Program Construction Lecture Notes in Computer Science | 2005-08-26 | Paper |
| Algebraic Methodology and Software Technology Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2163052 (Why is no real title available?) | 2005-04-29 | Paper |
| Characterizing determinacy in Kleene algebras Information Sciences | 2002-06-23 | Paper |
| scientific article; zbMATH DE number 1696900 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1390330 (Why is no real title available?) | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 512958 (Why is no real title available?) | 2000-08-14 | Paper |
| Calculating with acyclic and cyclic lists Information Sciences | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1210362 (Why is no real title available?) | 1998-11-25 | Paper |
| Shorter paths to graph algorithms Science of Computer Programming | 1994-07-21 | Paper |
| Towards pointer algebra Science of Computer Programming | 1994-01-31 | Paper |
| Formal program construction by transformations-computer-aided, intuition-guided programming IEEE Transactions on Software Engineering | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4052992 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4078770 (Why is no real title available?) | 1988-01-01 | Paper |
| Konstruktion korrekter Programme durch Transformation Informatik Spektrum | 1987-01-01 | Paper |
| Algebraic implementations preserve program correctness Science of Computer Programming | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3936495 (Why is no real title available?) | 1985-01-01 | Paper |
| On the algebraic specification of infinite objects - ordered and continuous models of algebraic types Acta Informatica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3819065 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825141 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3902005 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3825140 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3755851 (Why is no real title available?) | 1981-01-01 | Paper |
| Programming in a wide spectrum language: A collection of examples Science of Computer Programming | 1981-01-01 | Paper |
Research outcomes over time
This page was built for person: Bernhard Möller
