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 64 articles , 1 standard article )

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

1 2 3 4 next

  1. Berghammer, Rudolf; Danilenko, Nikita; Höfner, Peter; Stucke, Insa: Cardinality of relations with applications (2016)
  2. Berghammer, Rudolf; Fischer, Sebastian: Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (2015)
  3. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Tool-based verification of a relational vertex coloring program (2015)
  4. Berghammer, Rudolf; Schnoor, Henning: Control of Condorcet voting: complexity and a relation-algebraic approach (2015)
  5. Dang, Han-Hing; Möller, Bernhard: Modal algebra and Petri nets (2015)
  6. Armstrong, Alasdair; Struth, Georg; Weber, Tjark: Programming and automating mathematics in the Tarski-Kleene hierarchy (2014)
  7. Berghammer, Rudolf: Computing minimal extending sets by relation-algebraic modeling and development (2014)
  8. Berghammer, Rudolf; Danilenko, Nikita; Schnoor, Henning: Relation algebra and relview applied to approval voting (2014)
  9. Berghammer, Rudolf; Rusinowska, Agnieszka; de Swart, Harrie: Spatial voting games, relation algebra and relview (2014)
  10. Berghammer, Rudolf; Winter, Michael: Gunther Schmidt’s life as a mathematician and computer scientist (2014)
  11. Berghammer, Rudolf: Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (2013)
  12. Berghammer, Rudolf; Rusinowska, Agnieszka; de Swart, Harrie: Computing tournament solutions using relation algebra and RelView (2013)
  13. Tangian, Andranik: German parliamentary elections 2009 from the viewpoint of direct democracy (2013)
  14. Berghammer, Rudolf: Relation-algebraic modeling and solution of chessboard independence and domination problems (2012)
  15. Berghammer, Rudolf; Bolus, Stefan: On the use of binary decision diagrams for solving problems on simple games (2012)
  16. Berghammer, Rudolf: A functional, successor list based version of Warshall’s algorithm with applications (2011)
  17. Berghammer, Rudolf; Bolus, Stefan; Rusinowska, Agnieszka; de Swart, Harrie: A relation-algebraic approach to simple games (2011)
  18. Rusinowska, Agnieszka; Berghammer, Rudolf; De Swart, Harrie; Grabisch, Michel: Social networks: prestige, centrality, and influence (invited paper) (2011)
  19. Schmidt, Gunther; Berghammer, Rudolf: Contact, closure, topology, and the linking of row and column types of relations (2011)
  20. Berghammer, Rudolf; Kehden, Britta: Relation-algebraic specification and solution of special university timetabling problems (2010)

1 2 3 4 next