RelMiCS 7 Papers Accepted For Presentation

Kleene algebras with applications I

1. Dexter Kozen
   Kleene algebra and dataflow analysis
   [PDF] [PS]
2. Ernie Cohen
   Annihilating the annihilation axioms
   [PDF] [PS]

   Kleene algebras with applications II

3. Hans Bherer, Jules Desharnais, Marc Frappier, and Richard St-Denis
   Kleene algebra control
   [PDF] [PS]
4. Thorsten Ehm, Bernhard Möller, and Georg Struth
   Kleene modules
   [PDF] [PS]

   Relational categories I

5. Peter Jipsen
   An online database of relation algebras, Kleene algebras, and related structures
   [PDF] [PS]
6. Eric Offermann
   On the construction of relational categories
   [PDF] [PS]

   Relational categories II

7. Patrik Eklund
   Monads and powerset algebras
   [PDF] [PS]
8. Hitoshi Furusawa
   The categories of Kleene algebras, action algebras and action lattices are related by adjunctions
   [PDF] [PS]

   Artificial intelligence and knowledge representation I

9. Raymond Bisdorff and Marc Roubens (invited talk)
   Choice procedures in pairwise comparison multiple-attribute decision making methods
   [PDF] [PS]
10. Philippe Balbiani
    Reasoning about vague concepts in the theory of property systems
    [PDF] [PS]

    Artificial intelligence and knowledge representation II

11. Thomas Mormann
    A necessary and sufficient representation theorem for the region connection calculus
    [PDF] [PS]
12. Philippe Balbiani, Khalil Challita, and Jean-François Condotta
    Spatial regions changing over time
    [PDF] [PS]

    Software technology and programming I

13. Eerke Boiten and Willem-Paul de Roever
    Getting to the bottom of relational refinement: Relations and correctness, partial and total
    [PDF] [PS]
14. Rudolf Berghammer and Alexander Fronk
    Applying relational Algebra in 3D Graphical Software Design
    [PDF] [PS]

    Software technology and programming II

15. Ridha Khedri, Ling Wang, and Lei Situ
    Requirements specification decomposition: A system testing driven approach
    [PDF] [PS]
16. Marcelo F. Frias and Carlos G. Lopez Pombo
    Time is on my side
    [PDF] [PS]

    Games and fixed points

17. Roland Backhouse and Diethard Michaelis
    Win, lose and stalemate in impartial games
    [PDF] [PS]
18. Yasuo Kawahara
    Tarski's fixed point theorem in Dedekind categories
    [PDF] [PS]

    Relations and probability

19. Ernst-Erich Doberkat
    Tracing relations probabilistically
    [PDF] [PS]
20. Miklos Ferenczi
    Probabilities defined on relations interpreting first order formulas
    [PDF] [PS]

    Pointer structures

21. Thorsten Ehm
    Pointer Kleene algebra
    [PDF] [PS]
22. Adam Bakewell, Detlef Plump, and Colin Runciman
    Checking the shape safety of pointer manipulations
    [PDF] [PS]

    Databases and data mining I

23. Wendy MacCaull and Ewa Orlowska
    A calculus of typed relations
    [PDF] [PS]
24. Carlos Gonzalía
    Relational database theory in constructive type theory
    [PDF] [PS]

    Kleene algebras with applications II

25. Jules Desharnais (invited talk)
    Kleene algebra with relationsi
    [PDF] [PS]
26. Bernhard Möller and Georg Struth
    Greedy-like algorithms in Kleene algebra
    [PDF] [PS]

    Decomposition of relations

27. Gunther Schmidt
    Relational data analysis
    [PDF] [PS]
28. Michael Winter
    Decomposing relations into orderings
    [PDF] [PS]

    Relational reasoning and tools I

29. Renate A. Schmidt, Ewa Orlowska, and Ullrich Hustadt
    Two proof systems for Peirce algebras
    [PDF] [PS]
30. Konstantine Arkoudas, Sarfraz Khurshik, Darko Marinov, and Martin Rinard
    Integrating model checking and theorem proving for relational reasoning
    [PDF] [PS]

    Relational reasoning and tools II

31. Wolfram Kahl
    Calculational relation-algebraic proofs in Isabelle/Isar
    [PDF] [PS]
32. Ulf Milanese
    Random relations: Algorithms and applications
    [PDF] [PS]

    Relations and modal logic

33. V. Goranko, U. Hustadt, R. A. Schmidt, and D. Vakarelov
    SCAN is complete for all Sahlqvist formulae
    [PDF] [PS]
34. Eugenio G. Omodeo, Ewa S. Orlowska, and Alberto Policriti
    Simulation and semantic analysis of modal logics by means of an elementary set theory treated â la Rasiowa-Sikorski
    [PDF] [PS]

    Databases and data mining II

35. Petr Hájek
    Relations and GUHA-style data mining II
    [PDF] [PS]
36. Hui Wang, Ivo Düntsch, and Günther Gediga
    Nearest neighbours without k: A classification formalism based on probability
    [PDF] [PS]

    Fork algebras and products

37. Marcelo F. Frias
    Translating with sense
    [PDF] [PS]
38. Peter Kempf and Michael Winter
    Relational unsharpness and processes
    [PDF] [PS]

    Miscellaneous

39. László Aszalós and Philippe Balbiani
    Logical aspects of user authentication protocols
    [PDF] [PS]
40. Giuseppe Scollo
    Graph colouring institutions
    [PDF] [PS]

You can also download a file containing all abstracts as PDF or PS file.