The RelView-System is an interactive tool for computer-supported manipulation of relations represented as Boolean matrices or directed graphs, especially for prototyping relational specifications and programs. It is developed at the Department of Computer Science of the Christian-Albrechts-University of Kiel. This Web-page describes how to get RelView and provides some further information.

References in zbMATH (referenced in 102 articles , 2 standard articles )

Showing results 1 to 20 of 102.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Berghammer, Rudolf; Schnoor, Henning; Winter, Michael: Efficient computation of the large inductive dimension using order- and graph-theoretic means (2020)
  2. Cristiá, Maximiliano; Rossi, Gianfranco: Solving quantifier-free first-order constraints over finite sets and binary relations (2020)
  3. Berghammer, Rudolf; Schmidt, Gunther; Winter, Michael: Cryptomorphic topological structures: a computational, relation-algebraic approach (2019)
  4. Berghammer, Rudolf; Winter, Michael: Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces (2019)
  5. Cristiá, Maximiliano; Rossi, Gianfranco: A set solver for finite set relation algebra (2018)
  6. Guttmann, Walter: Verifying minimum spanning tree algorithms with Stone relation algebras (2018)
  7. Guttmann, Walter: An algebraic framework for minimum spanning tree problems (2018)
  8. Joosten, Stef: Relation algebra as programming language using the Ampersand compiler (2018)
  9. Alain, Mathieu; Desharnais, Jules: Relations as images (2017)
  10. Berghammer, Rudolf: Tool-based relational investigation of closure-interior relatives for finite topological spaces (2017)
  11. Berghammer, Rudolf; Winter, Michael: Solving computational tasks on finite topologies by means of relation algebra and the \textscRelViewtool (2017)
  12. Guttmann, Walter: Stone relation algebras (2017)
  13. Joosten, Stef: Software development in relation algebra with Ampersand (2017)
  14. Killingbeck, Dylan; Teixeira, Milene Santos; Winter, Michael: Relations in linear algebra (2017)
  15. Berghammer, Rudolf; Danilenko, Nikita; Höfner, Peter; Stucke, Insa: Cardinality of relations with applications (2016)
  16. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Cardinality of relations and relational approximation algorithms (2016)
  17. Guttmann, Walter: Relation-algebraic verification of Prim’s minimum spanning tree algorithm (2016)
  18. Jaskolka, Jason; Khedri, Ridha: Mitigating covert channels based on analysis of the potential for communication (2016)
  19. Polyakovskiy, S.; Berghammer, R.; Neumann, F.: Solving hard control problems in voting systems via integer programming (2016)
  20. Berghammer, Rudolf: Column-wise extendible vector expressions and the relational computation of sets of sets (2015)

1 2 3 4 5 6 next

Further publications can be found at: