The SCEAS System
Navigation Menu

Conferences in DBLP

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


  1. Knowledge and Structure in Social Algorithms. [Citation Graph (, )][DBLP]


  2. Computational Social Choice Using Relation Algebra and RelView. [Citation Graph (, )][DBLP]


  3. A Model of Internet Routing Using Semi-modules. [Citation Graph (, )][DBLP]


  4. Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. [Citation Graph (, )][DBLP]


  5. Towards Algebraic Separation Logic. [Citation Graph (, )][DBLP]


  6. Domain and Antidomain Semigroups. [Citation Graph (, )][DBLP]


  7. Composing Partially Ordered Monads. [Citation Graph (, )][DBLP]


  8. A Relation-Algebraic Approach to Liveness of Place/Transition Nets. [Citation Graph (, )][DBLP]


  9. *-Continuous Idempotent Left Semirings and Their Ideal Completion. [Citation Graph (, )][DBLP]


  10. A Semiring Approach to Equivalences, Bisimulations and Control. [Citation Graph (, )][DBLP]


  11. General Correctness Algebra. [Citation Graph (, )][DBLP]


  12. Foundations of Concurrent Kleene Algebra. [Citation Graph (, )][DBLP]


  13. Armstrong's Inference Rules in Dedekind Categories. [Citation Graph (, )][DBLP]


  14. Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage. [Citation Graph (, )][DBLP]


  15. Collagories for Relational Adhesive Rewriting. [Citation Graph (, )][DBLP]


  16. Cardinal Addition in Distributive Allegories. [Citation Graph (, )][DBLP]


  17. Relational Methods in the Analysis of While Loops: Observations of Versatility. [Citation Graph (, )][DBLP]


  18. Modalities, Relations, and Learning. [Citation Graph (, )][DBLP]


  19. The Cube of Kleene Algebras and the Triangular Prism of Multirelations. [Citation Graph (, )][DBLP]


  20. Discrete Duality for Relation Algebras and Cylindric Algebras. [Citation Graph (, )][DBLP]


  21. Contact Relations with Applications. [Citation Graph (, )][DBLP]


  22. A While Program Normal Form Theorem in Total Correctness. [Citation Graph (, )][DBLP]


  23. Complements in Distributive Allegories. [Citation Graph (, )][DBLP]


  24. On the Skeleton of Stonian p-Ortholattices. [Citation Graph (, )][DBLP]

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