The SCEAS System
Navigation Menu

Conferences in DBLP

Relational Methods in Computer Science (RelMiCS) (RelMiCS)
2006 (conf/RelMiCS/2006)

  1. Ernie Cohen
    Weak Kleene Algebra and Computation Trees. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:1- [Conf]
  2. Roger D. Maddux
    Finite Symmetric Integral Relation Algebras with No 3-Cycles. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:2-29 [Conf]
  3. Jeff W. Sanders
    Computations and Relational Bundles. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:30-62 [Conf]
  4. Kamal Aboul-Hosn
    An Axiomatization of Arrays for Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:63-77 [Conf]
  5. Kamal Aboul-Hosn, Dexter Kozen
    Local Variable Scoping and Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:78-90 [Conf]
  6. Rudolf Berghammer
    Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:91-105 [Conf]
  7. Wojciech Buszkowski
    On the Complexity of the Equational Theory of Relational Action Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:106-119 [Conf]
  8. Jean-Lou De Carufel, Jules Desharnais
    Demonic Algebra with Domain. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:120-134 [Conf]
  9. Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
    Topological Representation of Contact Lattices. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:135-147 [Conf]
  10. Ivo Düntsch, Alasdair Urquhart
    Betweenness and Comparability Obtained from Binary Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:148-161 [Conf]
  11. Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
    Relational Representation Theorems for General Lattices with Negations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:162-176 [Conf]
  12. Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
    Monotonicity Analysis Can Speed Up Verification. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:177-191 [Conf]
  13. Stephane Gaubert, Ricardo Katz
    Max-Plus Convex Geometry. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:192-206 [Conf]
  14. Peter Höfner, Bernhard Möller
    Lazy Semiring Neighbours and Some Applications. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:207-221 [Conf]
  15. Peter Höfner, Bernhard Möller, Kim Solin
    Omega Algebra, Demonic Refinement Algebra and Commands. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:222-234 [Conf]
  16. Wolfram Kahl
    Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:235-250 [Conf]
  17. Yasuo Kawahara
    On the Cardinality of Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:251-265 [Conf]
  18. Britta Kehden
    Evaluating Sets of Search Points Using Relational Algebra. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:266-280 [Conf]
  19. Tadeusz Litak
    Algebraization of Hybrid Logic with Binders. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:281-295 [Conf]
  20. Annabelle McIver, E. Cohen, Carroll Morgan
    Using Probabilistic Kleene Algebra for Protocol Verification. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:296-310 [Conf]
  21. Ingrid Rewitzky, Chris Brink
    Monotone Predicate Transformers as Up-Closed Multirelations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:311-327 [Conf]
  22. Gunther Schmidt
    Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:328-342 [Conf]
  23. Gunther Schmidt
    Relational Measures and Integration. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:343-357 [Conf]
  24. Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
    A Relational View of Recurrence and Attractors in State Transition Dynamics. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:358-372 [Conf]
  25. Kim Solin
    On Two Dually Nondeterministic Refinement Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:373-387 [Conf]
  26. Andrzej Szalas, Jerzy Tyszkiewicz
    On the Fixpoint Theory of Equality and Its Applications. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:388-401 [Conf]
  27. Toshinori Takai, Hitoshi Furusawa
    Monodic Tree Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:402-416 [Conf]
  28. Michael Winter
    Weak Relational Products. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:417-431 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002