Rechnergestützte Programmentwicklung Institut für Informatik Technische Fakultät, Christian-Albrechts-Universität zu Kiel

Ausgewählte Publikationen

Die Publikationen sind sortiert nach dem Datum der Veröffentlichung (die neuesten zuerst). Das Urheberrecht der meisten Publikationen (oder ihrer endgültigen Versionen) liegt bei den Autoren oder bei den Verlagen. Die Publikationen werden nur für den persönlichen Gebrauch zur Verfügung gestellt, eine andere Verwendung benötigt die ausdrückliche Genehmigung des Inhabers des Urheberrechts!

• Berghammer R., Rusinowska A., de Swart H..:
  A relation-algebraic approach to simple games.
  SSRN Working papers 09-13, 2009
  Available: [GATE liste des working papers] or via [SSRN abstract page]

• 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] A revised version will appear in Europ. J. of Oper. Research.

• Fronk A., Kehden B.:
  State space analysis of Petri nets with relation algebraic methods.
  J. Symbolic Computation 44 (1), 15-47, 2009
  Available: [Final version 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: [Final version ScienceDirect]

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

• Schmidt G., Berghammer R.:
  Relational measures and integration in preference modelling.
  J. Logic and Algebraic Progr. 76 (1), 112-129, 2008
  Available: [Final version ScienceDirect]

• Berghammer R., Kehden B.:
  Relation algebra and RelView in practical use: Construction of special university timetables
  In: Proc. 10th International Conference "Relational Methods in Computer Science" and 5rd International Workshop "Applications of Kleene Algebra", Frauenchiemsee, 7.4.-11.4. 2008, LNCS 4988, pages 22-36, 2008
  Available: [Final version 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: [Final version ScienceDirect]

• Berghammer R., Fischer S.:
  Implementing relational specifications in a constraint functional logic language.
  ENTCS 177, 169-183, 2007
  Available: [Final version ScienceDirect]

• 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 SpringerLink]

• 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 SpringerLink]

• 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 SpringerLink, 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: [Final version]
  © 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)

Weitere Veröffentlichungen befinden sich auf der RELVIEW-Homepage und auf der KIEL-Homepage.