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. In Michael Goedicke, Erich Neuhold and Kai Rannenberg (Ed.). Advancing research in information and communication technology: IFIP's exciting first 60+ years, views from the technical committees and working groups. Springer, Cham (IFIP Advances in Information and Communication Technology ; 600), 59-98. 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. Lecture Notes in Computer Science 13027, 325-343. DOI: 10.1007/978-3-030-88701-8_20
PDF | BibTeX | RIS | DOI

Walter Guttmann and Bernhard Möller. 2020. A hierarchy of algebras for Boolean subsets. Lecture Notes in Computer Science 12062, 152-168. 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. Archive of Formal Proofs 31.01.2020, 1-79.
PDF | BibTeX | RIS | URL

Jules Desharnais and Bernhard Möller. 2020. The theta-join as a join with theta. Lecture Notes in Computer Science 12062, 47-64. DOI: 10.1007/978-3-030-43520-2_4
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2019. Geographic wayfinders and space-time algebra. Journal of Logical and Algebraic Methods in Programming 104, 274-302. DOI: 10.1016/j.jlamp.2019.02.003
PDF | BibTeX | RIS | DOI

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

Bernhard Möller, Tony Hoare, Martin E. Müller and Georg Struth. 2017. A discrete geometric model of concurrent program execution. Lecture Notes in Computer Science 10134, 1-25. 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. Lecture Notes in Computer Science 10226, 93-108. DOI: 10.1007/978-3-319-57418-9_6
PDF | BibTeX | RIS | DOI

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth and Huibiao Zhu. 2016. Developments in concurrent Kleene algebra. Journal of Logical and Algebraic Methods in Programming 85, 4, 617-636. DOI: 10.1016/j.jlamp.2015.09.012
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2016. Extended feature algebra. Journal of Logical and Algebraic Methods in Programming 85, 5, 952-971. DOI: 10.1016/j.jlamp.2015.12.002
PDF | BibTeX | RIS | DOI

Bernhard Möller and Patrick Roocks. 2015. An algebra of database preferences. Journal of Logical and Algebraic Methods in Programming 84, 3, 456-481. 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. Lecture Notes in Computer Science 9129, 1-29. 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. Journal of Logical and Algebraic Methods in Programming 84, 3, 303-325. 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. Acta Informatica 52, 2-3, 109-132. 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. Lecture Notes in Computer Science 8950, 291-311. DOI: 10.1007/978-3-319-15545-6_19
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2015. Towards antichain algebra. Lecture Notes in Computer Science 9348, 344-361. DOI: 10.1007/978-3-319-24704-5_21
PDF | BibTeX | RIS | DOI

H.-H. Dang and Bernhard Möller. 2014. Concurrency and local reasoning under reverse exchange. Science of Computer Programming 85, 204-223. 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. Lecture Notes in Computer Science 8428, 1-18. 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. Journal of Logical and Algebraic Methods in Programming 83, 2, 135-153. DOI: 10.1016/j.jlap.2014.02.004
PDF | BibTeX | RIS | DOI

Jules Desharnais and Bernhard Möller. 2014. Fuzzifying modal algebra. Lecture Notes in Computer Science 8428, 395-411. DOI: 10.1007/978-3-319-06251-8_24
PDF | BibTeX | RIS | DOI

Martin E. Müller and Bernhard Möller. 2014. On nothing. Journal of Logical and Algebraic Methods in Programming 83, 2, 309-317. DOI: 10.1016/j.jlap.2014.02.016
PDF | BibTeX | RIS | DOI

Rudolf Berghammer, Bernhard Möller and Michael Winter. 2014. Preface. Journal of Logical and Algebraic Methods in Programming 83, 2, 85-86. 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. Journal of Logical and Algebraic Methods in Programming 83, 2, 154-168. DOI: 10.1016/j.jlap.2014.02.005
PDF | BibTeX | RIS | DOI

Don Batory, Peter Höfner, Bernhard Möller and Andreas Zelend. 2013. Features, modularity, and variation points. In Andreas Classen and Norbert Siegmund (Ed.). Proceedings of the 5th International Workshop on Feature-Oriented Software Development - FOSD '13, Indianapolis, Indiana, USA, October 26 - 26, 2013. ACM Press, New York, NY, 9-16. DOI: 10.1145/2528265.2528269
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2013. Modal knowledge and game semirings. The Computer Journal 56, 1, 53-69. 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. In Markku Sakkinen (Ed.). Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance - MASPEGHI '13, Montpellier, France, July 01 - 01, 2013. ACM Press, New York, NY, 1-8. DOI: 10.1145/2489828.2489829
PDF | BibTeX | RIS | DOI

Bernhard Möller and Patrick Roocks. 2012. An algebra of layered complex preferences. Lecture Notes in Computer Science 7560, 294-309. 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. Lecture Notes in Computer Science 7342, 241-262. 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. Formal Aspects of Computing 24, 4-6, 459-476. 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. Lecture Notes in Computer Science 7560, 33-49. 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. Lecture Notes in Computer Science 7342, 177-197. DOI: 10.1007/978-3-642-31113-0_10
PDF | BibTeX | RIS | DOI

Han-Hing Dang and Bernhard Möller. 2012. Transitive separation logic. Lecture Notes in Computer Science 7560, 1-16. DOI: 10.1007/978-3-642-33314-9_1
PDF | BibTeX | RIS | DOI

Jules Desharnais, Bernhard Möller and Georg Struth. 2011. Algebraic Notions of Termination. Logical Methods in Computer Science 7, 1, 1-29. 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. The Journal of Logic and Algebraic Programming 80, 6, 221-247. 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. Software und Systems Modeling 10, 2, 161-182. DOI: 10.1007/s10270-009-0127-2
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2011. Building structured theories. Lecture Notes in Computer Science 6663, 1-21. 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. The Journal of Logic and Algebraic Programming 80, 6, 266-296. DOI: 10.1016/j.jlap.2011.04.005
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2011. Fixing Zeno gaps. Theoretical Computer Science 412, 28, 3303-3322. 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. Lecture Notes in Computer Science 6486, 76-91. 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. Lecture Notes in Computer Science 6901, 250-264. 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. The Journal of Logic and Algebraic Programming 80, 6, 219-220. DOI: 10.1016/j.jlap.2011.04.002
PDF | BibTeX | RIS | DOI

Han Hing Dang and Bernhard Möller. 2011. Simplifying Pointer Kleene algebra. In Peter Höfner, Annabelle McIver and Georg Struth (Ed.). 1st Workshop on Automated Theory Engineering (ATE 2011): Wroclaw, Poland, July 31, 2011; Proceedings. CEUR-WS (CEUR Workshop Proceedings ; 760), 20-29.
PDF | BibTeX | RIS | URL

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

Walter Guttmann and Bernhard Möller. 2010. Normal design algebra. The Journal of Logic and Algebraic Programming 79, 2, 144-173. 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. The Journal of Logic and Algebraic Programming 79, 8, 705-706. DOI: 10.1016/j.jlap.2010.07.011
PDF | BibTeX | RIS | DOI

Roland Glück, Bernhard Möller and Michel Sintzoff. 2009. A semiring approach to equivalences, bisimulations and control. Lecture Notes in Computer Science 5827, 134-149. 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. The Journal of Logic and Algebraic Programming 78, 2, 74-97. 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. Lecture Notes in Computer Science 5710, 399-414. 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]. In Sven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran and Oscar Nierstrasz (Ed.). Proceedings of the First International Workshop on Feature-Oriented Software Development (FOSD), October 6, 2009, Denver, Colorado, USA. ACM, New York, NY, 75-80.
PDF | BibTeX | RIS | URL

C. A. R. Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. 2009. Foundations of concurrent Kleene Algebra. Lecture Notes in Computer Science 5827, 166-186. 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. Springer, Berlin (Lecture Notes in Computer Science ; 5827). 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. Lecture Notes in Computer Science 5827, V. 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. Lecture Notes in Computer Science 5827, 59-72. DOI: 10.1007/978-3-642-04639-1_5
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2008. Algebraic neighbourhood logic. The Journal of Logic and Algebraic Programming 76, 1, 35-59. 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. In Antonio Cerone and Stefan Gruner (Ed.). 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, 10-14 Nov. 2008, Cape Town, South Africa. IEEE, Piscataway, NJ, 85-94. 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. Lecture Notes in Computer Science 5140, 36-50. 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. Lecture Notes in Computer Science 5133, 134-152. DOI: 10.1007/978-3-540-70594-9_9
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2008. Knowledge and games in modal semirings. Lecture Notes in Computer Science 4988, 320-336. 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. In Olivier Danvy, Harry Mairson, Fritz Henglein and Alberto Pettorossi (Ed.). Automatic Program Development: A Tribute to Robert Paige. Springer Netherlands, Dordrecht, 215-228. 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. Lecture Notes in Computer Science 4988, V-VI. DOI: 10.1007/978-3-540-78913-0
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2007. Kleene getting lazy. Science of Computer Programming 65, 2, 195-214. DOI: 10.1016/j.scico.2006.01.010
PDF | BibTeX | RIS | DOI

Bernhard Möller and Georg Struth. 2006. Algebras of modal operators and partial correctness. Theoretical Computer Science 351, 2, 221-239. DOI: 10.1016/j.tcs.2005.09.069
PDF | BibTeX | RIS | DOI

Peter Höfner, Ridha Khedri and Bernhard Möller. 2006. Feature algebra. Lecture Notes in Computer Science 4085, 300-315. 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. The Journal of Logic and Algebraic Programming 66, 2, 69-70. 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. ACM Transactions on Computational Logic 7, 4, 798-833. DOI: 10.1145/1183278.1183285
PDF | BibTeX | RIS | DOI

Jules Desharnais, Bernhard Möller and Fairouz Tchier. 2006. Kleene under a modal demonic star. The Journal of Logic and Algebraic Programming 66, 2, 127-160. 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. Lecture Notes in Computer Science 4136, 207-221. DOI: 10.1007/11828563_14
PDF | BibTeX | RIS | DOI

Walter Guttmann and Bernhard Möller. 2006. Modal design algebra. Lecture Notes in Computer Science 4010, 236-256. 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. Lecture Notes in Computer Science 4136, 222-234. DOI: 10.1007/11828563_15
PDF | BibTeX | RIS | DOI

Bernhard Möller, Peter Höfner and Georg Struth. 2006. Quantales and temporal logics. Lecture Notes in Computer Science 4019, 263-277. DOI: 10.1007/11784180_21
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2006. The linear algebra of UTP. Lecture Notes in Computer Science 4014, 338-358. DOI: 10.1007/11783596_20
PDF | BibTeX | RIS | DOI

Peter Höfner and Bernhard Möller. 2006. Towards an algebra of hybrid systems. Lecture Notes in Computer Science 3929, 121-133. DOI: 10.1007/11734673_10
PDF | BibTeX | RIS | DOI

Bernhard Möller and Georg Struth. 2006. wp is wlp. Lecture Notes in Computer Science 3929, 200-211. DOI: 10.1007/11734673_16
PDF | BibTeX | RIS | DOI

Jules Desharnais and Bernhard Möller. 2005. Least reflexive points of relations. Higher-Order and Symbolic Computation 18, 1-2, 51-77. DOI: 10.1007/s10990-005-7006-5
PDF | BibTeX | RIS | DOI

Eerke A. Boiten and Bernhard Möller. 2004. Foreword. Science of Computer Programming 51, 1-2, 1-2. 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. Lecture Notes in Computer Science 3051, 202-214. DOI: 10.1007/978-3-540-24771-5_18
PDF | BibTeX | RIS | DOI

Thomas Ehm, Bernhard Möller and Georg Struth. 2004. Kleene modules. Lecture Notes in Computer Science 3051, 112-123. DOI: 10.1007/978-3-540-24771-5_10
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2004. Lazy Kleene Algebra. Lecture Notes in Computer Science 3125, 252-273. 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. Lecture Notes in Computer Science 3116, 379-393. 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. Journal on Relational Methods in Computer Science 1, 93-131.
PDF | BibTeX | RIS | URL

Rudolf Berghammer, Bernhard Möller and Georg Struth. 2004. Preface: relational and Kleene-algebraic methods in computer science. Lecture Notes in Computer Science 3051, VII. 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. Springer, Berlin u.a. (Lecture Notes in Computer Science ; 3051). DOI: 10.1007/b98117
BibTeX | RIS | DOI

Jules Desharnais, Bernhard Möller and Georg Struth. 2004. Termination in modal Kleene algebra. In Jean-Jacques Lévy (Ed.). Exploring new frontiers of theoretical informatics: IFIP 18th World Computer Congress; TC1 3rd International Conference on Theoretical Computer Science (TCS2004); 22 - 27 August 2004, Toulouse, France: WCC 2004. Kluwer, Boston [u.a.] (International Federation for Information Processing ; 155), 653-666.
PDF | BibTeX | RIS

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. In Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.).
BibTeX | RIS

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. Springer, Berlin u.a. (Lecture Notes in Computer Science; 2386). DOI: 10.1007/3-540-45442-X
BibTeX | RIS | DOI

Jules Desharnais and Bernhard Möller. 2001. Characterizing determinacy in Kleene algebras. Information Sciences 139, 3-4, 253-273. DOI: 10.1016/s0020-0255(01)00168-2
PDF | BibTeX | RIS | DOI

Jules Desharnais and Bernhard Möller. 2000. Characterizing functions in Kleene algebra. In Jules Desharnais (Ed.). RelMiCS 2000: 5th International Seminar on Relational Methods in Computer Science, January 9-14, 2000, Valcartier, Québec, Canada = 5e Séminaire international sur les méthodes relationnelles en informatique, 9-14 janvier 2000. Université Laval, Département d'informatique, [Sainte-Foy], 55-64.
BibTeX | RIS

Jules Desharnais, Bernhard Möller and Fairouz Tchier. 2000. Kleene under a demonic star. Lecture Notes in Computer Science 1816, 355-370. DOI: 10.1007/3-540-45499-3_26
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1999. Algebraic structures for program calculation. In Manfred Broy and R. Steinbrüggen (Ed.). Calculational system design [proceedings of the NATO Advanced Study Institute on Calculational System Design, Marktoberdorf, Germany, 28 July - 9 August 1998]. IOS Press, Amsterdam (NATO Science Series F ; 173), 25-97.
PDF | BibTeX | RIS

Bernhard Möller. 1999. Are anamorphisms reasonable abstractions?. In Genetic Programming: Second European Workshop, EuroGP’99, Göteborg, Sweden, May 26–27, 1999.
BibTeX | RIS

Bernhard Möller. 1999. Calculating with acyclic and cyclic lists. Information Sciences 119, 3-4, 135-154. DOI: 10.1016/s0020-0255(99)00011-0
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1998. An algebraic approach to systolic circuits. In Workshop on Formal Techniques for Hardware and Hardware-like Systems: Proceedings. Chalmers Univ. of Technology, Marstrand
PDF | BibTeX | RIS

Bernhard Möller. 1998. Are anamorphisms reasonable abstractions?. In Roland Backhouse, Tim Sheard (Eds.). WGP'98: Workshop on Generic Programming: Proceedings; 18. June 1998. Chalmers Univ. of Technology, Marstrand
PDF | BibTeX | RIS

Bernhard Möller. 1998. Deductive hardware design: a functional approach. Lecture Notes in Computer Science 1546, 421-468. DOI: 10.1007/3-540-49254-2_13
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1998. Ideal stream algebra. Lecture Notes in Computer Science 1546, 69-116. 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. Lecture Notes in Computer Science 1422, 96-121. DOI: 10.1007/BFb0054287
PDF | BibTeX | RIS | DOI

Bernhard Möller and John V. Tucker. 1998. Preface: prospects for hardware foundations. Lecture Notes in Computer Science 1546, VIII. 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. Springer, Berlin u.a. (Lecture notes in computer science; 1546). DOI: 10.1007/3-540-49254-2
BibTeX | RIS | DOI

Walter Dosch and Bernhard Möller. 1997. Calculating a functional module for binary search trees. Lecture Notes in Computer Science 1268, 267-284. DOI: 10.1007/3-540-63237-9_30
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1997. Calculating with pointer structures. In Richard Bird (Ed.). Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France. Chapman & Hall, London [u.a.], 24-48.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Modal and temporal operators on partial orders. In Rudolf Berghammer (Ed.). Programming languages and fundamentals of programming. Inst. für Informatik und Praktische Mathematik, Kiel, 1-11.
BibTeX | RIS

Bernhard Möller. 1997. Temporal operators on partial orders. In Ulrich Berger (Ed.). Proceedings: Workshop Domains III, Munich, May 29-31, 1997. Institut für Informatik, Universität München, München, 49-58
BibTeX | RIS

Bernhard Möller. 1996. Assertions and recursions. Lecture Notes in Computer Science 1074, 163-184. 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. Springer, Berlin [u.a.] (Lecture Notes in Computer Science; 1074). DOI: 10.1007/3-540-61254-8
BibTeX | RIS | DOI

Bernhard Möller. 1996. Preface. Science of Computer Programming 26, 1-3, 3. DOI: 10.1016/S0167-6423(96)90004-0
PDF | BibTeX | RIS | DOI

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

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. Springer, Berlin u.a. (Lecture Notes in Computer Science; 816). DOI: 10.1007/3-540-58233-9
BibTeX | RIS | DOI

Bernhard Möller. 1994. Ideal streams. In Ernst-Rüdiger Olderog (Ed.). Programming concepts, methods and calculi: proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), San Miniato, Italy, 6 - 10 June, 1994. Elsevier, Amsterdam [u.a.] (IFIP transactions : A, Computer science and technology; 56), 39-58.
BibTeX | RIS

Bernhard Möller. 1994. Ideal streams. In F. Simon (Ed.). Alternative Konzepte für Sprachen und Rechner. Christian-Albrechts-Universität Kiel, Kiel (Bericht ; 9412), 83-86.
BibTeX | RIS

Bernhard Möller. 1994. Ordered and continuous models of higher-order specifications. Lecture Notes in Computer Science 816, 223-255. DOI: 10.1007/3-540-58233-9_11
PDF | BibTeX | RIS | DOI

Bernhard Möller and Martin Russling. 1994. Shorter paths to graph algorithms. Science of Computer Programming 22, 1-2, 157-180. DOI: 10.1016/0167-6423(94)90011-6
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1993. Algebraic calculation of graph and sorting algorithms. Lecture Notes in Computer Science 735, 394-413. DOI: 10.1007/BFb0039722
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1993. An algebraic approach to streams. In Rudolf Berghammer (Ed.). Programmiersprachen und Grundlagen der Programmierung: Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 199. Univ. der Bundeswehr München, Fak. für Informatik, Neubiberg (Bericht / Fakultät für Informatik, Universität der Bundeswehr München; 9309), 1-14.
BibTeX | RIS

Bernhard Möller. 1993. Derivation of graph and pointer algorithms. Lecture Notes in Computer Science 755, 123-160. 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. Springer, Berlin (Lecture Notes in Computer Science ; 755). DOI: 10.1007/3-540-57499-9
BibTeX | RIS | DOI

Bernhard Möller, Helmuth Partsch and Steve Schuman. 1993. Introduction. In Bernhard Möller, Helmuth Partsch and Steve Schuman (Ed.). Formal program development: IFIP TC 2/WG 2 1 state of the art report. Springer, Berlin (Lecture Notes in Computer Science; 755), 1-6. DOI: 10.1007/3-540-57499-9_14
PDF | BibTeX | RIS | DOI

Bernhard Möller and Martin Russling. 1993. Shorter paths to graph algorithms. Lecture Notes in Computer Science 669, 250-268. DOI: 10.1007/3-540-56625-2_17
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1993. Towards pointer algebra. Science of Computer Programming 21, 1, 57-90. DOI: 10.1016/0167-6423(93)90008-D
PDF | BibTeX | RIS | DOI

Carlos Delgado Kloos, Walter Dosch and Bernhard Möller. 1992. Design and proof of multipliers by correctness-preserving transformation. In Patrick Dewilde (Ed.). Computer systems and software engineering: CompEuro 1992 proceedings; [6th annual European Computer Conference, The Hague, May 4 - 8, 1992, Netherland Congress Centre]. IEEE Computer Soc. Press [u.a], Los Alamitos, Calif. [u.a.], 238-243.
PDF | BibTeX | RIS

Walter Dosch and Bernhard Möller. 1992. Parallele Abläufe funktionaler Programme. Mitteilungen: PARS 9, 135-139.
BibTeX | RIS

Bernhard Möller. 1992. Some applications of pointer algebra. In Manfred Broy (Ed.). Programming and mathematical method: international summer school; [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990]. Springer, Berlin [u.a.] (NATO ASI series: F, Computer and systems sciences; 88), 123-155.
PDF | BibTeX | RIS

U. Berger, W. Meixner and Bernhard Möller. 1991. Calculating a garbage collector. Lecture Notes of Computer Science 544, 135-192. 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. North-Holland, Amsterdam u.a..
BibTeX | RIS

Bernhard Möller. 1991. Formal derivation of pointer algorithms. In Manfred Broy (Ed.). Informatik und Mathematik [Professor Dr. Dr. h.c. mult. F. L. Bauer zum 65. Geburtstag]. Springer, Berlin, 419-440. DOI: 10.1007/978-3-642-76677-0_30
PDF | BibTeX | RIS | DOI

Peter Pepper and Bernhard Möller. 1991. Programming with (finite) mappings. In Manfred Broy (Ed.). Springer, Berlin, 381-405. DOI: 10.1007/978-3-642-76677-0_28
PDF | BibTeX | RIS | DOI

Bernhard Möller. 1991. Relations as a program development language. In Bernhard Möller (Ed.). 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. North-Holland, Amsterdam, 373-397.
PDF | BibTeX | RIS

Bernhard Möller. 1990. A survey of the project CIP - computer-aided, intuition-guided programming. In Heinrich Kersten (Ed.). Sichere Software: formale Spezifikation und Verifikation vertrauenswürdiger Systeme; Tagung der Zentralstelle für Sicherheit in der Informationstechnik Bonn, 27. - 28.11.1989. Hüthig, Heidelberg, 280-298.
BibTeX | RIS

Rudolf Berghammer, Herbert Ehler and Bernhard Möller. 1990. On the refinement of nondeterministic recursive routines by transformation. In Manfred Broy and C. B. Jones (Ed.). Programming concepts and methods: proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2 - 5 April, 1990. North-Holland, Amsterdam, 53-71.
PDF | BibTeX | RIS

Bernhard Möller. 1990. Systematic derivation of pointer algorithms. In A. Reuter (Ed.). GI — 20. Jahrestagung II: Informatik auf dem Weg zum Anwender Stuttgart, 8.–12. Oktober 1990 Proceedings; Stuttgart, 8.-12. Oktober 1990; Proceedings. Springer, Berlin u.a. (Informatik-Fachberichte; 258), 537-547. DOI: 10.1007/978-3-642-76119-5_57
PDF | BibTeX | RIS | DOI

Bernhard Möller. 2022. Approximating least fixpoints. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2022-02. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller and Tony Hoare. 2022. Relational geometry modelling execution of structured programs. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2022-03. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller and Peter Höfner. 2019. A new correctness proof for prim's algorithm. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2019-02. Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 2019. Basics of Modal Semirings and of Kleene / Omega Algebras. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2019-03. Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Tony Hoare, Martin E. Müller and Bernhard Möller. 2017. Tracelets and Specifications. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2017-01. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller and Jules Desharnais. 2016. Non-associative Kleene algebra and temporal logics. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2016-08. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Patrick Roocks and Bernhard Möller. 2013. An algebra of database preferences. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2013-08. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Han Hing Dang and Bernhard Möller. 2013. Extended transitive separation logic. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2013-07. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Don Batory, Peter Höfner, Bernhard Möller and Andreas Zelend. 2013. Features, modularity, and variation points. University of Texas at Austin, Austin, TX.
PDF | BibTeX | RIS

Peter Höfner, Bernhard Möller and Andreas Zelend. 2012. Foundations of coloring algebra with consequences for feature-oriented programming. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2012-06. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Han Hing Dang, Peter Höfner and Bernhard Möller. 2010. Algebraic Separation Logic. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2010-06. .
PDF | BibTeX | RIS

P. Höfner and Bernhard Möller. 2010. An algebra for abstract interfaces. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2010-2. Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2010. An extension for feature algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2010-09. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2010. Fixing zeno gaps. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2010-11. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner, S. Mentl, Bernhard Möller and W. Scholz. 2010. Requirements in feature algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2010-12. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner, Ridha Khedri and Bernhard Möller. 2010. Supplementing product families with behaviour. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2010-13. Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Charles Antony Richard Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. 2009. Concurrent Kleene algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2009-04. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Charles Antony Richard Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. 2009. Foundations of concurrent Kleene algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2009-05. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Han Hing Dang, Peter Höfner and Bernhard Möller. 2009. Towards algebraic separation logic. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2009-12. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

2008. Relations and Kleene Algebra in Computer Science - PHD Programme at RelMiCS10 / AKA5. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2008-04. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner, R. Khedri and Bernhard Möller. 2007. Algebraic view reconciliation. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2007-13. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

S. Apel, C. Lengauer, D. Batory, Bernhard Möller and C. Kästner. 2007. An algebra for feature-oriented software development. Universität Passau, Passau (Reports: Technische Berichte der Fakultät für Informatik und Mathematik ; MIP-0706).
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2007. An algebra of hybrid systems. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2007-08. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 2007. Knowledge and games in modal semirings. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2007-03. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Jules Desharnais, Bernhard Möller and Georg Struth. 2006. Algebraic notions of termination. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-23. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner, Ridha Khedri and Bernhard Möller. 2006. Feature algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-04. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2006. Lazy semiring neighbours and some applications. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-09. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner and Bernhard Möller. 2006. Non-smooth and zeno trajectories for hybrid system algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-07. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Walter Guttmann and Bernhard Möller. 2006. Normal design algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-28. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Peter Höfner, Kim Solin and Bernhard Möller. 2006. Omega algebra, demonic refinement algebra and commands. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-11. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller, Peter Höfner and Georg Struth. 2006. Quantales and temporal logics. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-06. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 2006. The linear algebra of UTP (revised version). Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-10. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 2005. Complete tests do not guarantee domain. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2005-06. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Walter Guttmann and Bernhard Möller. 2005. Modal design algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2005-15. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 2005. Residuals and detachments. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2005-20. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 2005. The linear algebra of UTP. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2005-14. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Jules Desharnais, Bernhard Möller and Fairouz Tchier. 2004. Kleene under a modal demonic star. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2004-11. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Dexter Kozen and Bernhard Möller. 2004. Separability in domain semirings. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2004-16. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Jules Desharnais, Bernhard Möller and Georg Struth. 2004. Termination in modal Kleene algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2004-04. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller and Georg Struth. 2004. wp is wlp. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2004-14. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller and Georg Struth. 2003. Greedy-like algorithms in Kleene algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2003-11. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Jules Desharnais, Bernhard Möller and Georg Struth. 2003. Kleene algebra with domain. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2003-07. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Thorsten Ehm, Bernhard Möller and Georg Struth. 2003. Kleene modules. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2003-10. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 2003. Lazy Kleene algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2003-17. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller and Georg Struth. 2003. Modal Kleene algebra and partial correctness. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2003-08. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Jules Desharnais and Bernhard Möller. 2002. Least reflexive points of relations. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2002-13. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Jules Desharnais and Bernhard Möller. 2001. Characterizing determinacy in Kleene algebras (revised version). Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2001-03. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Jules Desharnais and Bernhard Möller. 2000. Characterizing determinacy in Kleene algebras. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2000-05. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Jules Desharnais, Bernhard Möller and Fairouz Tchier. 2000. Kleene under a demonic star. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2000-03. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 2000. Safer ways to pointer manipulation. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2000-04. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1999. Typed Kleene algebras. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 1999-08. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1998. An algebraic approach to systolic circuits. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 1998-01. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Deductive hardware design: a functional approach. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 1997-09. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Ideal stream algebra. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 1997-10. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Thomas Brunn, Bernhard Möller and Martin Russling. 1997. Layered graph traversals and Hamiltonian path problems - an algebraic approach. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 1997-08. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Linked lists calculated. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 1997-07. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1997. Modal and temporal operators on partial orders. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 1997-02. Institut für Informatik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1995. Refining ideal behaviours. Reports des Instituts für Mathematik der Universität Augsburg 345. Institut für Mathematik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1993. Algebraic calculation of graph and sorting algorithms. Reports des Instituts für Mathematik der Universität Augsburg 286. Institut für Mathematik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1993. Derivation of graph and pointer algorithms. Reports des Instituts für Mathematik der Universität Augsburg 280. Institut für Mathematik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller. 1993. Towards pointer algebra. Reports des Instituts für Mathematik der Universität Augsburg 279. Institut für Mathematik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS

Bernhard Möller and M. Russling. 1992. Shorter paths to graph algorithms. Reports des Instituts für Mathematik der Universität Augsburg 272. Institut für Mathematik, Universität Augsburg, Augsburg.
PDF | BibTeX | RIS