Search results for "RelMiCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Claude Bolduc, Béchir Ktari	Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Martin Eric Müller	Modalities, Relations, and Learning.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Jules Desharnais, Peter Jipsen, Georg Struth	Domain and Antidomain Semigroups.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Patrik Eklund, Robert Helgesson	Composing Partially Ordered Monads.	RelMiCS	2009	DBLP DOI BibTeX RDF	partially ordered monad, Kleene algebra
1	Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska	Computational Social Choice Using Relation Algebra and RelView.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001	Relational Methods in the Analysis of While Loops: Observations of Versatility.	RelMiCS	2009	DBLP DOI BibTeX RDF	Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus
1	Alexander Fronk, Rudolf Berghammer	A Relation-Algebraic Approach to Liveness of Place/Transition Nets.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Formal Concept Analysis, Galois Connection, Minimal representation
1	John N. Billings, Timothy G. Griffin	A Model of Internet Routing Using Semi-modules.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Michael Winter 0001, Torsten Hahmann, Michael Gruninger	On the Skeleton of Stonian p-Ortholattices.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Ali Jaoua, Bernhard Möller (eds.)	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	2009	DBLP DOI BibTeX RDF
1	Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara	Armstrong's Inference Rules in Dedekind Categories.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Yasuo Kawahara, Michael Winter 0001	Cardinal Addition in Distributive Allegories.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Han-Hing Dang, Peter Höfner, Bernhard Möller	Towards Algebraic Separation Logic.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Wolfram Kahl	Collagories for Relational Adhesive Rewriting.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Hitoshi Furusawa, Fumiya Sanda	*-Continuous Idempotent Left Semirings and Their Ideal Completion.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Gunther Schmidt 0001, Rudolf Berghammer	Contact Relations with Applications.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Kim Solin	A While Program Normal Form Theorem in Total Correctness.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Roland Glück, Bernhard Möller, Michel Sintzoff	A Semiring Approach to Equivalences, Bisimulations and Control.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa	The Cube of Kleene Algebras and the Triangular Prism of Multirelations.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Walter Guttmann	General Correctness Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Michael Winter 0001	Complements in Distributive Allegories.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Rohit Parikh	Knowledge and Structure in Social Algorithms.	RelMiCS	2009	DBLP DOI BibTeX RDF	Algorithms, Knowledge, Society
1	Ewa Orlowska, Ingrid Rewitzky	Discrete Duality for Relation Algebras and Cylindric Algebras.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman	Foundations of Concurrent Kleene Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Yasuo Kawahara, Michael Winter 0001	Cardinality in Allegories.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Jean-Lou De Carufel, Jules Desharnais	Latest News about Demonic Algebra with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Peter Höfner	Automated Reasoning for Hybrid Systems - Two Case Studies -.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Larissa Meinicke, Kim Solin	Reactive Probabilistic Programs and Refinement Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Philippe Balbiani, Tinko Tinchev	Boolean Logics with Relations.	RelMiCS	2008	DBLP DOI BibTeX RDF	First-order classical logic, propositional modal logic, relations, Boolean algebra
1	Peter Höfner, Georg Struth	Non-termination in Idempotent Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Gunther Schmidt 0001	Relations Making Their Way from Logics to Mathematics and Applied Sciences.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Florian Diedrich, Britta Kehden, Frank Neumann 0001	Multi-objective Problems in Terms of Relational Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Marc Pauly	Formal Methods and the Theory of Social Choice.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Timothy G. Griffin, Alexander J. T. Gurney	Increasing Bisemigroups and Algebraic Routing.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Bernd Braßel, Jan Christiansen	A Relation Algebraic Semantics for a Lazy Functional Logic Language.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Jean-Lou De Carufel, Jules Desharnais	On the Structure of Demonic Refinement Algebras with Enabledness and Termination.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Bernhard Möller	Knowledge and Games in Modal Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Ivo Düntsch, Michael Winter 0001	The Lattice of Contact Relations on a Boolean Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa	A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	James Worthington	Automatic Proof Generation in Kleene Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Michael Winter 0001	An Ordered Category of Processes.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
1	Gunther Schmidt 0001	Rectangles, Fringes, and Inverses.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)	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	2008	DBLP DOI BibTeX RDF
1	Wolfram Kahl	Determinisation of Relational Substitutions in Ordered Categories with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Mark Hopkins	The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
1	Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara	Formal Concepts in Dedekind Categories.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Walter Guttmann	Lazy Relations.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Peter Jipsen, Georg Struth	The Structure of the One-Generated Free Domain Semiring.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc	Solving Linear Equations in *-continuous Action Lattices.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Britta Kehden	Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Yasuo Kawahara	Boolean Algebras and Stone Maps in Schröder Categories.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Camilo Rocha, José Meseguer 0001	Theorem Proving Modulo Based on Boolean Equational Procedures.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Jeff W. Sanders	Computations and Relational Bundles.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Annabelle McIver, E. Cohen, Carroll Morgan	Using Probabilistic Kleene Algebra for Protocol Verification.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Yasuo Kawahara	On the Cardinality of Relations.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Wendy MacCaull, Michael Winter 0001, Ivo Düntsch (eds.)	Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Michael Winter 0001	Weak Relational Products.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg	Monotonicity Analysis Can Speed Up Verification.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for General Lattices with Negations.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter 0001	Topological Representation of Contact Lattices.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Wolfram Kahl	Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Wojciech Buszkowski	On the Complexity of the Equational Theory of Relational Action Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Ivo Düntsch, Alasdair Urquhart	Betweenness and Comparability Obtained from Binary Relations.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Ernie Cohen	Weak Kleene Algebra and Computation Trees.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Kamal Aboul-Hosn, Dexter Kozen	Local Variable Scoping and Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Jean-Lou De Carufel, Jules Desharnais	Demonic Algebra with Domain.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Gunther Schmidt 0001	Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.	RelMiCS	2006	DBLP DOI BibTeX RDF	homomorphism theorem, isomorphism theorem, multi-covering, relation algebra, congruence
1	Peter Höfner, Bernhard Möller	Lazy Semiring Neighbours and Some Applications.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Toshinori Takai, Hitoshi Furusawa	Monodic Tree Kleene Algebra.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Stephane Gaubert, Ricardo Katz	Max-Plus Convex Geometry.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Kamal Aboul-Hosn	An Axiomatization of Arrays for Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Tadeusz Litak	Algebraization of Hybrid Logic with Binders.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Kim Solin	On Two Dually Nondeterministic Refinement Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Ingrid Rewitzky, Chris Brink	Monotone Predicate Transformers as Up-Closed Multirelations.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Andrzej Szalas, Jerzy Tyszkiewicz	On the Fixpoint Theory of Equality and Its Applications.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Gunther Schmidt 0001	Relational Measures and Integration.	RelMiCS	2006	DBLP DOI BibTeX RDF	evidence and belief, necessity and possibility measures, relational measure, relation algebra, Choquet integral, plausibility, Sugeno integral
1	Renate A. Schmidt (eds.)	Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Giuseppe Scollo, Giuditta Franco, Vincenzo Manca	A Relational View of Recurrence and Attractors in State Transition Dynamics.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Roger D. Maddux	Finite Symmetric Integral Relation Algebras with No 3-Cycles.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Britta Kehden	Evaluating Sets of Search Points Using Relational Algebra.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Rudolf Berghammer	Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Bernhard Möller, Georg Struth	p Is.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Ulf Milanese	Relational Approach to Boolean Logic Problems.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Ewa Orlowska, Andrzej Szalas	Quantifier Elimination in Elementary Set Theory.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Michael Winter 0001	Time-Dependent Contact Structures in Goguen Categories.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Ivo Düntsch, Michael Winter 0001	Weak Contact Structures.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Wolfram Kahl, Christopher Kumar Anand, Jacques Carette	Control-Flow Semantics for Assembly-Level Data-Flow Graphs.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Jouni Järvinen, Ewa Orlowska	Relational Correspondences for Lattices with Operators.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Georgi D. Dimov, Dimiter Vakarelov	Topological Representation of Precontact Algebras.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Walter Guttmann	Non-termination in Unifying Theories of Programming.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Georg Struth	Knuth-Bendix Completion as a Data Structure.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Alasdair Urquhart	Duality Theory for Projective Algebras.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Hitoshi Furusawa	A Framework for Kleene Algebra with an Embedded Structure.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Claude Bolduc, Josée Desharnais	Static Analysis of Programs Using Omega Algebra with Tests.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Peter Höfner, Bernhard Möller	Towards an Algebra of Hybrid Systems.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Vincent Mathieu, Jules Desharnais	Verification of Pushdown Systems Using Omega Algebra with Domain.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Ewa Orlowska, Anna Maria Radzikowska	Relational Representability for Algebras of Substructural Logics.	RelMiCS	2005	DBLP DOI BibTeX RDF

Publications at "RelMiCS"( http://dblp.L3S.de/Venues/RelMiCS )