Book Chapter
Relation-algebraic analysis of Petri nets with RELVIEW
Rudolf Berghammer, Burghard von Karger and Christiane Ulke
Lecture Notes in Computer Science, 1996, Volume 1055, Tools and Algorithms for the Construction and Analysis of Systems, Pages 49-69
Journal Article
Applying relation algebra and Rel
View
to solve problems on orders and lattices
Rudolf Berghammer
Acta Informatica, 2008, Volume 45, Number 3, Pages 211-236
Book Chapter
RelView and Rath – Two Systems for Dealing with Relations
Rudolf Berghammer, Gunther Schmidt and Michael Winter
Lecture Notes in Computer Science, 2003, Volume 2929, Theory and Applications of Relational Structures as Knowledge Instruments, Page 1968
Book Chapter
Relational Approach to Boolean Logic Problems
Rudolf Berghammer and Ulf Milanese
Lecture Notes in Computer Science, 2006, Volume 3929, Relational Methods in Computer Science, Pages 48-59
Book Chapter
Algebraic Visualization of Relations Using RelView
Rudolf Berghammer and Gunther Schmidt
Lecture Notes in Computer Science, 2007, Volume 4770, Computer Algebra in Scientific Computing, Pages 58-72
Book Chapter
Relational Implementation of Simple Parallel Evolutionary Algorithms
Britta Kehden, Frank Neumann and Rudolf Berghammer
Lecture Notes in Computer Science, 2006, Volume 3929, Relational Methods in Computer Science, Pages 161-172
Book Chapter
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs
Rudolf Berghammer and Thorsten Hoffmann
Lecture Notes in Computer Science, 2002, Volume 2561, Relational Methods in Computer Science, Pages 258-275
Book Chapter
Relation-algebraic derivation of spanning tree algorithms
Rudolf Berghammer, Burghard von Karger and Andreas Wolf
Lecture Notes in Computer Science, 1998, Volume 1422, Mathematics of Program Construction, Pages 23-43
Book Chapter
Implementation of Relational Algebra Using Binary Decision Diagrams
Rudolf Berghammer, Barbara Leoniuk and Ulf Milanese
Lecture Notes in Computer Science, 2002, Volume 2561, Relational Methods in Computer Science, Pages 241-257
Book Chapter
Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView
Rudolf Berghammer
Lecture Notes in Computer Science, 2006, Volume 4136, Relations and Kleene Algebra in Computer Science, Pages 91-105