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, Que?bec, Canada = 5e Se?minaire international sur les me?thodes relationnelles en informatique, 9-14 janvier 2000. Universite? Laval, De?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. 伟德国际_伟德国际1946$娱乐app游戏 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