RelView

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 86 articles , 2 standard articles )

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

1 2 3 4 5 next

  1. Berghammer, Rudolf; Winter, Michael: Solving computational tasks on finite topologies by means of relation algebra and the RelView tool (2017)
  2. Berghammer, Rudolf; Danilenko, Nikita; Höfner, Peter; Stucke, Insa: Cardinality of relations with applications (2016)
  3. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Cardinality of relations and relational approximation algorithms (2016)
  4. Jaskolka, Jason; Khedri, Ridha: Mitigating covert channels based on analysis of the potential for communication (2016)
  5. Polyakovskiy, S.; Berghammer, R.; Neumann, F.: Solving hard control problems in voting systems via integer programming (2016)
  6. Berghammer, Rudolf: Column-wise extendible vector expressions and the relational computation of sets of sets (2015)
  7. Berghammer, Rudolf; Fischer, Sebastian: Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (2015)
  8. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Tool-based verification of a relational vertex coloring program (2015)
  9. Berghammer, Rudolf; Schnoor, Henning: Control of Condorcet voting: complexity and a relation-algebraic approach (2015)
  10. Berghammer, Rudolf; Stucke, Insa; Winter, Michael: Investigating and computing bipartitions with algebraic means (2015)
  11. Dang, Han-Hing; Möller, Bernhard: Modal algebra and Petri nets (2015)
  12. Armstrong, Alasdair; Struth, Georg; Weber, Tjark: Programming and automating mathematics in the Tarski-Kleene hierarchy (2014)
  13. Berghammer, Rudolf: Relation algebra, relview, and plurality voting (2014)
  14. Berghammer, Rudolf: Computing minimal extending sets by relation-algebraic modeling and development (2014)
  15. Berghammer, Rudolf; Danilenko, Nikita; Schnoor, Henning: Relation algebra and relview applied to approval voting (2014)
  16. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Automated verification of relational while-programs (2014)
  17. Berghammer, Rudolf; Rusinowska, Agnieszka; de Swart, Harrie: Spatial voting games, relation algebra and relview (2014)
  18. Berghammer, Rudolf; Winter, Michael: Gunther Schmidt’s life as a mathematician and computer scientist (2014)
  19. Guttmann, Walter: Multirelations with infinite computations (2014)
  20. Oliveira, José N.: A relation-algebraic approach to the “Hoare logic” of functional dependencies (2014)

1 2 3 4 5 next


Further publications can be found at: https://www.informatik.uni-kiel.de/~progsys/relview/papers