| Computer-Aided Program
Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel |
![]() |
Selected Publications |
Papers are sorted by date of publication (newest first). Most of the papers (or their final versions) are copyrighted by the authors or by the publisher. The papers are provided for personal use only; other uses require the explicit permission of the copyright holder!
Berghammer R., Milanese U.:
Relational approach to Boolean logic problems.
In: 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, pages 48-59, 2006
Available:
[Preliminary
version]
Kehden B., Neumann F., Berghammer R.:
Relational Implementation of Simple Parallel Evolutionary Algorithms
In: 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, pages 147-158, 2006
Available:
[Preliminary version]
Berghammer R., Fronk A.:
Exact computation of minimum feedback vertex sets with relational algebra.
In: Fundamenta Informaticae 70, pages 301-316, 2006
Available:
[Preliminary
version]
Berghammer R.:
Relation-algebraic computation of fixed points with
applications.
In: Journal on Logic and Algebraic Programming 66, pages 112-126, 2006
Available:
[Preliminary
version]
Kehden, B., Neumann F.:
A Relation-Algebraic View on Evolutionary Algorithms for Some Graph Problems
In: Proc. EvoCop 2006, LNCS 3906, pages 147-158, 2006
Available:
[Final Version]
Neumann F., Laumanns M.:
Speeding Up Approximation Algorithms for NP-hard Spanning
Forest Problems by Multi-Objective Optimization
In: Proc. LATIN 2006, LNCS 3887, pages 745-756, 2006
Available: [ECCC
Report TR05-029]
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:
[Final Version]
Berghammer R., Huch F.:
From functional to object-oriented programming -- A smooth transition
for beginners.
Proc. ACM SIGPLAN 2005 Workshop on Functional and Declaratice
Programming in Education,
ACM SIGPLAN Notices, pages 3-8, 2005
Available:
[Preliminary
version]
Neumann F., Wegener I.:
Minimum Spanning Trees Made Easier Via Multi-Objective Optimization
In: Beyer et al. (Eds.): Genetic and Evolutionary Computation
Conference - GECCO 2005, Volume 1, ACM Press, New York, USA, pages 763
- 770, 2005.
Best
Paper Award
Available:
[Final
Version, Technical
Report CI 192/05 (SFB 531, University of Dortmund)]
Berghammer R., Fronk A.:
Solving Design Problems in OO-Software Engineering with Relations and RelView
In: Journal on Relational Methods in Computer Science, Vol. 1,
pages 73-92, 2004
Available:
[Final Version]
Berghammer R.:
Computation of Cut Completions and Concept Lattices Using Relational Algebra and RelView
In: Journal on Relational Methods in Computer Science, Vol. 1, pages 50
-72, 2004
Available:
[Final version]
Neumann F.:
Expected Runtimes of a Simple Evolutionary Algorithm for the Multi-objective Minimum Spanning Tree Problem
In: Yao et al. (Eds.): Parallel Problem Solving from Nature - PPSN
VIII, LNCS 3242, Springer, Berlin, Germany, pages 80 - 89, 2004
Available:
[Preliminary version] (PostScript, 71 KB)
Neumann F., Wegener I.:
Randomized Local Search, Evolutionary Algorithms, and the Minimum
Spanning Tree Problem
In: Deb et al. (Eds.): Genetic and Evolutionary Computation Conference - GECCO 2004,
LNCS 3102, Springer, Berlin, Germany, pages 713 - 724, 2004
Available:
[Final
version,
Technical Report CI 165/04 (SFB 531 University of Dortmund)]
Neumann F.:
Expected Runtimes of Evolutionary Algorithms for the Eulerian Cycle
Problem
In: Proc. of the Congress on Evolutionary Computation 2004 (CEC 2004),
volume 1, pages 904-910, IEEE Press
Available:
[Preliminary
version] (PostScript, 50 KB)
Berghammer R., Schmidt G., Winter M.:
RELVIEW and RATH - Two systems for dealing with relations
In: de Swart H., Orlowska E., Schmidt G., Roubens M. (eds.):
Theory and Applications of Relational Structures as Knowledge Instruments.
LNCS 2929, Springer, 1-16 (2003)
Available:
[Preliminary version] (PostScript, 75 KB)
Berghammer R., Müller-Olm M.:
Formal development and verification of approximation algorithms using
auxiliary variables
In: Bruynooghe M. (ed.):
Proc. 13th International Workshop on Logic Based Program Development
and Transformation (LOPSTR '03),
Uppsala, Schweden, 25.8.-27.8. 2003, LNCS 3018,
pages 59-74, 2004
Available:
[Preliminary version] (PostScript, 66 KB)
Berghammer R., Fronk A.:
Applying relational algebra in 3D graphical software design
In: Berghammer R., Möller B., Struth G. (eds.):
Proc. 7th International Seminar "Relational Methods in Computer Science"
and 2nd International Workshop "Applications of Kleene Algebra",
Malente, 12.5.-17.5. 2003,
LNCS 3051, Springer, Berlin, Germany, pages 62 - 74
Available:
[Final version,
Preliminary version] (PostScript, 946 KB)
Berghammer R., Reuter F.:
A linear approximation algorithm for bin
packing with absolute approximation factor 3/2.
In: Science of Computer Programming, 48, 67-80 (2003).
Available:
[Preliminary version]
Berghammer R.:
A generic program for minimal subsets with
applications.
In: Leuschel M., editor, ``Logic-based
Program Development and Transformation'' (LOPSTR '02)
(proceedings), Lecture Notes in Computer Science 2664, Springer
Verlag, 144-157 (2003).
Available:
[Abstract]
[Preliminary version] (PostScript, 69 KB)
© Springer-Verlag 2003
Berghammer R., Hoffmann T., Leoniuk B., Milanese U.:
Prototyping and programming with relations.
Available:
[Preliminary Version] (PostScript, 127 KB)
The final version appeared in: Electronic
Notes in Theoretical Computer Science 44 (3).
Available:
[Abstract]
[Full text] (PDF 275.6 Kb)
[Full text] (PostScript 640.4 Kb)
[BibTeX]
© Copyright 2003, Elsevier Science, All rights reserved.
Berghammer R., Milanese U.:
KIEL - A computer program for visualizing the execution of
functional programs.
In: Hanus M. editor, ``Functional and (Constraint) Logic
Programming '' (WFLP '01) (proceedings),
Kiel, 13.9.-15.9. 2001, Bericht 2017, Institut für Informatik und
Praktische Mathematik, Universität Kiel, 365-368
(2001).
Available:
[Fulltext] (PostScript, 90 KB)
Berghammer R., Hoffmann T., Kasper C.:
Untersuchungen von Algorithmen für transitive Reduktionen und
minimale Äquivalenzgraphen.
In: Indermark K., Noll T. (eds.): Proc. ``Kolloquium
Programmiersprachen und Grundlagen der Programmierung'',
Simmerath-Rurberg, 8.10.-10.10. 2001, Aachener Informatik Berichte
AIB-2001-11,
Department of Computer Science, RWTH Aachen, 1-6
(2001).
Available:
[Fulltext] (PostScript, 175 KB)
Milanese U.:
Zufällig erzeugte BDDs: Algorithmen und Anwendungen.
In: Indermark K., Noll T., editors, ``Kolloquium
Programmiersprachen und Grundlagen der Programmierung'' (proceedings),
Simmerath-Rurberg, 8.10.-10.10. 2001, Aachener Informatik Berichte
AIB-2001-11,
Department of Computer Science, RWTH Aachen, 13-18
(2001).
Available:
[Fulltext] (PostScript, 175 KB)
Berghammer R., Hoffmann T.:
Modelling 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:
[Fulltext] (PostScript, 50 KB)
The final version appeared in: Journal of Universal
Computer Science 7(2), 107-123 (2001).
Available:
[BibTeX]
Berghammer R.:
Ein generisches Programm für inklusionsminimale Teilmengen mit
einer graphentheoretischen Anwendung.
In: Goerigk W., editor, ``Programmiersprachen und
Rechnerkonzepte'' (proceedings), Bad Honnef,
8.5.-10.5. 2000, Bericht 2007, Institut für Informatik
und Praktische Mathematik, Universität Kiel, 141-150
(2000).
Available:
[Fulltext] (PostScript, 53 KB)
Berghammer R.:
KIEL-Ein Computerprogramm zur Visualisierung der Auswertung von
funktionalen Programmen.
In: Diehl S., Kerren A., editors, ``Softwarevisualisierung
2000'' (proceedings), Bericht A/01/2000, Fachgruppe
Informatik, Universität des Saarlandes, 53-64
(2000).
Available:
[Fulltext] (PostScript, 203 KB)
Berghammer R., Hoffmann T.:
Relational depth-first-search with applications.
In: Desharnais J., editor, ``Relational Methods in Computer
Science'' (proceedings), Quebec, 9.1.-14.1. 2000,
Dep. d'Informatique, Laval University, 11-20 (2000).
Available:
[Preliminary Version] (Postscript, 62 KB)
The final version appeared in: Information Sciences 139, 167-185 (2001).
© Copyright 2003, Elsevier Science, All rights reserved.
Berghammer R., Hoffmann T., Leoniuk B.:
Rechnergestützte Erstellung von Prototypen für Programme
auf relationalen Strukturen.
Bericht 9905, Institut für Informatik und Praktische
Mathematik, Universität zu Kiel (1999).
Available:
[Fulltext] (PostScript, 216 KB)
Berghammer R.:
Soundness of a purely syntactical formalization of weakest
preconditions.
In: Spreen D., Schulz H., Greb R., editors, ``Workshop on Domains
IV" (proceedings), Rolandseck, Germany, 2-4 October 1998,
Informatik-Bericht Nr. 99-01, Fachgruppe Informatik,
Universität-Gesamthochschule Siegen, 53-70 (1999).
Available:
[Fulltext] (PostScript, 53 KB)
The final version appeared in: Electronic
Notes in Theoretical Computer Science 35 (2000).
Available:
[Abstract]
[Full text] (PDF 260.6 Kb)
[Full text] (PostScript 248.2 Kb)
[BibTeX]
© Copyright 2003, Elsevier Science, All rights reserved.
von Karger B., Berghammer R.:
A relational model for temporal logic.
In: Logic
Journal of the IGPL 6, 157-173 (1998).
Available:
[.dvi] (30 KB)
[PostScript] (183 KB)
[PDF] (186 KB)
[Bibtex]
© Oxford University Press
Berghammer R., von Karger B., Wolf A.:
Relation-algebraic derivation of spanning tree algorithms.
In: Jeuring J., editor,
``Mathematics of Programm Construction'' (MPC '98)
(proceedings), Lecture Notes in Computer Science 1422. Springer Verlag,
23-43 (1998).
Available:
[Fulltext] (PostScript, 66 KB)
Behnke R.:
Prototyping relational specifications and programs with
RELVIEW.
In: Buth B., Berghammer R. and Peleska J., editors,
``Tool Support for System Development and Verification''
(proceedings), Shaker Verlag, 1-21 (1998).
Available:
[Fulltext] (PostScript, 93 KB)
Further publications can be found at the RELVIEW-Homepage and at the KIEL-Homepage.