RelMiCS

Keyphrases

Publications

2009

Claude Bolduc, Béchir Ktari
Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. RelMiCS (2009)
Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska
Computational Social Choice Using Relation Algebra and RelView. RelMiCS (2009)
Martin Eric Müller
Modalities, Relations, and Learning. RelMiCS (2009)
Kim Solin
A While Program Normal Form Theorem in Total Correctness. RelMiCS (2009)
Yasuo Kawahara, Michael Winter
Cardinal Addition in Distributive Allegories. RelMiCS (2009)
John N. Billings, Timothy G. Griffin
A Model of Internet Routing Using Semi-modules. RelMiCS (2009)
Wolfram Kahl
Collagories for Relational Adhesive Rewriting. RelMiCS (2009)
Hitoshi Furusawa, Fumiya Sanda
*-Continuous Idempotent Left Semirings and Their Ideal Completion. RelMiCS (2009)
Michael Winter
Complements in Distributive Allegories. RelMiCS (2009)
Patrik Eklund, Robert Helgesson
Composing Partially Ordered Monads. RelMiCS (2009)
Ewa Orlowska, Ingrid Rewitzky
Discrete Duality for Relation Algebras and Cylindric Algebras. RelMiCS (2009)
Jules Desharnais, Peter Jipsen, Georg Struth
Domain and Antidomain Semigroups. RelMiCS (2009)
Roland Glück, Bernhard Möller, Michel Sintzoff
A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS (2009)
Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa
The Cube of Kleene Algebras and the Triangular Prism of Multirelations. RelMiCS (2009)
Alexander Fronk, Rudolf Berghammer
A Relation-Algebraic Approach to Liveness of Place/Transition Nets. RelMiCS (2009)
Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage. RelMiCS (2009)
Han-Hing Dang, Peter Höfner, Bernhard Möller
Towards Algebraic Separation Logic. RelMiCS (2009)
Gunther Schmidt, Rudolf Berghammer
Contact Relations with Applications. RelMiCS (2009)
Rohit Parikh
Knowledge and Structure in Social Algorithms. RelMiCS (2009)
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Foundations of Concurrent Kleene Algebra. RelMiCS (2009)
Michael Winter, Torsten Hahmann, Michael Gruninger
On the Skeleton of Stonian p-Ortholattices. RelMiCS (2009)
Walter Guttmann
General Correctness Algebra. RelMiCS (2009)
Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara
Armstrong's Inference Rules in Dedekind Categories. RelMiCS (2009)
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS (2009)

volume 5827, 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 RelMiCS 5827 (2009)

2008

volume 4988, 2008

Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings RelMiCS 4988 (2008)