The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Rudolf Berghammer, Gunther Schmidt, Michael Winter
    RelView and Rath - Two Systems for Dealing with Relations. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:1-16 [Conf]
  2. Raymond Bisdorff, Marc Roubens
    Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:1-7 [Conf]
  3. Jules Desharnais
    Kleene Algebra with Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:8-20 [Conf]
  4. Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard
    Integrating Model Checking and Theorem Proving for Relational Reasoning. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:21-33 [Conf]
  5. Roland Carl Backhouse, Diethard Michaelis
    Fixed-Point Characterisation of Winning Strategies in Impartial Games. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:34-47 [Conf]
  6. Adam Bakewell, Detlef Plump, Colin Runciman
    Checking the Shape Safety of Pointer Manipulations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:48-61 [Conf]
  7. Rudolf Berghammer, Alexander Fronk
    Applying Relational Algebra in 3D Graphical Software Design. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:62-74 [Conf]
  8. Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis
    Investigating Discrete Controllability with Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:74-85 [Conf]
  9. Ernst-Erich Doberkat
    Tracing Relations Probabilistically. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:86-98 [Conf]
  10. Thorsten Ehm
    Pointer Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:99-111 [Conf]
  11. Thorsten Ehm, Bernhard Möller, Georg Struth
    Kleene Modules. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:112-124 [Conf]
  12. Hitoshi Furusawa
    The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:124-136 [Conf]
  13. Carlos Gonzalia
    Towards a Formalisation of Relational Database Theory in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:137-148 [Conf]
  14. Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov
    SCAN Is Complete for All Sahlqvist Formulae. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:149-162 [Conf]
  15. Petr Hájek
    Relations and GUHA-Style Data Mining II. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:163-170 [Conf]
  16. Peter Jipsen
    A Note on Complex Algebras of Semigroups. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:171-177 [Conf]
  17. Wolfram Kahl
    Calculational Relation-Algebraic Proofs in Isabelle/Isar. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:178-190 [Conf]
  18. Wendy MacCaull, Ewa Orlowska
    A Calculus of Typed Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:191-201 [Conf]
  19. Bernhard Möller, Georg Struth
    Greedy-Like Algorithms in Modal Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:202-215 [Conf]
  20. Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti
    Rasiowa-Sikorski Style Relational Elementary Set Theory. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:215-226 [Conf]
  21. Gunther Schmidt
    Relational Data Analysis. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:227-237 [Conf]
  22. Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt
    Two Proof Systems for Peirce Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:238-251 [Conf]
  23. Giuseppe Scollo
    An Institution Isomorphism for Planar Graph Colouring. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:252-264 [Conf]
  24. Michael Winter
    Decomposing Relations into Orderings. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:265-277 [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