Berghammer R., Rusinowska A., de Swart H..:
Applying relation algebra and RelView to measures in a social network.
SSRN Working papers 09-02, 2009
Available: [IDEAS database]

Fronk A., Kehden B.:
State space analysis of Petri nets with relation algebraic methods.
J. Symbolic Computation 44 (1), 15-47, 2009
Available: [ScienceDirect]

Berghammer R., Rusinowska A., de Swart H..:
An interdisciplinary approach to coalition formation.
Europ. J. of Oper. Research 195 (2), 487-496, 2009
Available: [ScienceDirect]

Berghammer R.:
Applying relation algebra and RelView to solve problems on orders and lattices.
Acta Informatica 45 (3), 211-236, 2008
Available: [SpringerLink]

Berghammer R., Rusinowska A., de Swart H..:
Applying relation algebra and RelView to coalition formation.
Europ. J. of Oper. Research 178 (2), 530-542, 2007
Available: [ScienceDirect]

Berghammer R., Milanese U.:
Relational approach to Boolean logic problems.
Proc. 8th International Seminar "`Relational Methods in Computer Science"' and 3rd International Workshop "`Applications of Kleene Algebra"', St. Catharines, Canada, 21.2.-27.2. 2005, LNCS 3929, 48-59, 2006
Available: [SpringerLink]

Kehden B., Neumann F., Berghammer R.:
Relational Implementation of Simple Parallel Evolutionary Algorithms
Proc. 8th International Seminar "`Relational Methods in Computer Science"' and 3rd International Workshop "`Applications of Kleene Algebra"', St. Catharines, Canada, 21.2.-27.2. 2005, LNCS 3929, 147-158, 2006
Available: [SpringerLink]

Berghammer R.:
Relation-algebraic computation of fixed points with applications.
Journal on Logic and Algebraic Programming 66, 112-126, 2006
Available: [ScienceDirect]

Berghammer R., Fronk A.:
Exact computation of minimum feedback vertex sets with relational algebra.
Fundamenta Informaticae 70, 301-316, 2006

Berghammer R., Neumann F.:
RELVIEW - An OBDD-based Computer Algebra System For Relations
In: Gansha et al. (Eds.): Proc. of The 8th International Workshop on Computer Algebra in Scientific Computing - CASC 2005, LNCS 3718, Springer, Berlin, Germany, pages 40-51, 2005
Available: [SpringerLink]

Fronk A., Pleumann J.:
Relationenalgebraische Analyse von Petri-Netzen: Konzepte und Implementierung.
Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 2004), 61-68, Technischer Bericht tr-ri-05-251, Universität Paderborn, 2004.
Available: [Preliminary Version]

Fronk A.:
Using relation algebra for the analysis of Petri nets in a CASE tool based approach.
Proceedings of the 2nd IEEE Intl. Conference on Software Engineering and Formal Methods (SEFM 2004), 396-405, Peking, 2004.
Available: [Preliminary Version]

Winter M.:
Generating Processes from Specifications using the Relation Manipulation System RelView.
In: Electronic Notes in Theoretical Computer Science 44 (3).

Beyer D., Lewerentz C.:
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs.
In: Technical Report I-04/2003, Computer Science Reports, Technical University Cottbus (January 2003).
Available: [Abstract]
© Copyright by the contributing authors.

Berghammer R., Leoniuk B., Milanese U.:
Implementation of relational algebra using binary decision diagrams.
In: de Swart H.C.M. (ed.): Proc. 6th International Conference RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, Lecture Notes in Computer Science, Volume 2561, Springer, Berlin-Heidelberg-New York, 241-257 (December 2002).
[BibTeX]
© Springer-Verlag Berlin Heidelberg 2002

Berghammer R., Hoffmann T.:
Modeling sequences within the RELVIEW System.
In: Schellhorn, G., Reif, W., editors: ``Proc. FM-Tools 2000'' Bericht 2000-07, Fakultät für Informatik, Universität Ulm, 59-64 (2000).
Available: [Full text] (PostScript, 50 KB)
The final version appeared in: Journal of Universal Computer Science 7(2), 107-123 (2001).
Available: [BibTeX]

Berghammer R., Hoffmann T., Leoniuk B.:
Rechnergestützte Erstellung von Prototypen für Programme auf relationalen Strukturen.
In: Bericht 9905, Institut für Informatik und Praktische Mathematik, Universität zu Kiel (1999).
Available: [Full text]

Behnke R., Berghammer R., Hoffmann T., Leoniuk B., Schneider P.:
Applications of the RelView System.
In: Berghammer R., Lakhnech Y. (eds.): ``Tool support for system specification, development and verification'', Advances in Computing Science, Springer: Wien, 33-47 (1999).
Available: [Full text] (PostScript, 102 KB)

Behnke R.:
Prototyping relational specifications and programs with RELVIEW.
In: Buth B., Berghammer R. and Peleska J., editor, ``Tool Support for System Development and Verification'' (proceedings). Shaker-Verlag, 1-21 (1998).

Berghammer R., von Karger B., Ulke C.:
Relation-algebraic analysis of Petri nets with RelView.
In: Margaria T., Steffen B. (eds.): Proc. 2nd Workshop ``Tools and Applications for the Construction and Analysis of Systems (TACAS '96)'', Passau, 27.3.-29.3. 1996, LNCS 1055, Springer: Berlin-Heidelberg-New York, 49-69 (1996).
Available: [Full text] (PostScript, 92 KB)

Winter M.:
Program verification with RelView.
In: Buth B., Berghammer R. (eds.): Systems for computer-aided specification, development and verification. Proc. Workshop ``Programmsysteme für rechnergestützte Programmentwicklung und -verifikation'', Kiel, 4.7.-5.7. 1994, Bericht Nr. 9416, Institut für Informatik und Praktische Mathematik, Universität Kiel, 79-90 (1994).
Available: [Full text] (PostScript, 125 KB)

Berghammer R., Gritzner T., Schmidt G.:
Prototyping relational specifications using higher-order objects.
In: Heering, J., Meinke, K., Möller, B., Nipkow, T. (eds.): Proc. International Workshop on Higher Order Algebra, Logic and Term Rewriting (HOA '93), CWI, Amsterdam, Niederlande, 23.9.-24.9. 1993, LNCS 816, Springer: Berlin-Heidelberg-New York, 56-75 (1994).
Available: [Full text] (PostScript, 83 KB)

Berghammer R., Gritzner T., Schmidt G.:
Prototyping relational specifications using higher-order objects.
In: Bericht Nr. 9304, Fakultät für Informatik, Universität der Bundeswehr München (1993).
Available: [Full text] (PostScript, 236 KB)

Berghammer R.:
Computing the cut completion of a partially ordered set - An example for the use of the RelView-system.
In: Bericht Nr. 9205, Fakultät für Informatik, Universität der Bundeswehr München (1992).
Available: [Full text] (PostScript, 192 KB)