| 2009 |
|---|
| 64 | EE | Rudolf Berghammer,
Agnieszka Rusinowska,
Harrie C. M. de Swart:
An interdisciplinary approach to coalition formation.
European Journal of Operational Research 195(2): 487-496 (2009) |
| 2008 |
|---|
| 63 | | Rudolf Berghammer,
Bernhard Möller,
Georg Struth:
Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Springer 2008 |
| 62 | EE | Rudolf Berghammer,
Britta Kehden:
Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables.
RelMiCS 2008: 22-36 |
| 61 | EE | Rudolf Berghammer:
Applying relation algebra and Rel View to solve problems on orders and lattices.
Acta Inf. 45(3): 211-236 (2008) |
| 60 | EE | Gunther Schmidt,
Rudolf Berghammer:
Relational measures and integration in preference modeling.
J. Log. Algebr. Program. 76(1): 112-129 (2008) |
| 2007 |
|---|
| 59 | EE | Rudolf Berghammer,
Gunther Schmidt:
Algebraic Visualization of Relations Using RelView.
CASC 2007: 58-72 |
| 58 | EE | Rudolf Berghammer,
Britta Kehden:
Relational Construction of Specific Timetables.
OR 2007: 397-402 |
| 57 | EE | Rudolf Berghammer,
Sebastian Fischer:
Implementing Relational Specifications in a Constraint Functional Logic Language.
Electr. Notes Theor. Comput. Sci. 177: 169-183 (2007) |
| 56 | EE | Rudolf Berghammer,
Agnieszka Rusinowska,
Harrie C. M. de Swart:
Applying relational algebra and Rel.
European Journal of Operational Research 178(2): 530-542 (2007) |
| 2006 |
|---|
| 55 | EE | Rudolf Berghammer:
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.
CASC 2006: 49-63 |
| 54 | EE | Rudolf Berghammer:
Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView.
RelMiCS 2006: 91-105 |
| 53 | EE | Agnieszka Rusinowska,
Rudolf Berghammer,
Patrik Eklund,
Jan-Willem van der Rijt,
Marc Roubens,
Harrie C. M. de Swart:
Social Software for Coalition Formation.
Theory and Applications of Relational Structures as Knowledge Instruments 2006: 1-30 |
| 52 | EE | Rudolf Berghammer,
Renate A. Schmidt:
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView.
Theory and Applications of Relational Structures as Knowledge Instruments 2006: 31-49 |
| 51 | EE | Rudolf Berghammer,
Alexander Fronk:
Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra.
Fundam. Inform. 70(4): 301-316 (2006) |
| 50 | EE | Rudolf Berghammer:
Relation-algebraic computation of fixed points with applications.
J. Log. Algebr. Program. 66(2): 112-126 (2006) |
| 2005 |
|---|
| 49 | EE | Rudolf Berghammer,
Frank Neumann:
RelView - An OBDD-Based Computer Algebra System for Relations.
CASC 2005: 40-51 |
| 48 | EE | Britta Kehden,
Frank Neumann,
Rudolf Berghammer:
Relational Implementation of Simple Parallel Evolutionary Algorithms.
RelMiCS 2005: 161-172 |
| 47 | EE | Rudolf Berghammer,
Ulf Milanese:
Relational Approach to Boolean Logic Problems.
RelMiCS 2005: 48-59 |
| 2004 |
|---|
| 46 | | Rudolf Berghammer,
Bernhard Möller,
Georg Struth:
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Springer 2004 |
| 2003 |
|---|
| 45 | EE | Rudolf Berghammer,
Markus Müller-Olm:
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.
LOPSTR 2003: 59-74 |
| 44 | EE | Rudolf Berghammer,
Alexander Fronk:
Applying Relational Algebra in 3D Graphical Software Design.
RelMiCS 2003: 62-74 |
| 43 | EE | Rudolf Berghammer,
Gunther Schmidt,
Michael Winter:
RelView and Rath - Two Systems for Dealing with Relations.
Theory and Applications of Relational Structures as Knowledge Instruments 2003: 1-16 |
| 42 | EE | Rudolf Berghammer,
Dominik Haneberg,
Wolfgang Reif,
Gerhard Schellhorn:
Special Issue on Tools for System Design and Verification.
J. UCS 9(2): 86-87 (2003) |
| 41 | EE | Rudolf Berghammer,
Florian Reuter:
A linear approximation algorithm for bin packing with absolute approximation factor 3/2.
Sci. Comput. Program. 48(1): 67-80 (2003) |
| 2002 |
|---|
| 40 | EE | Rudolf Berghammer:
A Generic Program for Minimal Subsets with Applications.
LOPSTR 2002: 144-157 |
| 2001 |
|---|
| 39 | EE | Rudolf Berghammer,
Barbara Leoniuk,
Ulf Milanese:
Implementation of Relational Algebra Using Binary Decision Diagrams.
RelMiCS 2001: 241-257 |
| 38 | EE | Rudolf Berghammer,
Thorsten Hoffmann:
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs.
RelMiCS 2001: 258-275 |
| 37 | EE | Rudolf Berghammer,
Thorsten Hoffmann,
Barbara Leoniuk,
Ulf Milanese:
Prototyping and Programming with Relations.
Electr. Notes Theor. Comput. Sci. 44(3): (2001) |
| 36 | | Rudolf Berghammer,
Thorsten Hoffmann:
Relational depth-first-search with applications.
Inf. Sci. 139(3-4): 167-186 (2001) |
| 35 | EE | Rudolf Berghammer,
Thorsten Hoffmann:
Modeling Sequences within the RelView System.
J. UCS 7(2): 107-123 (2001) |
| 2000 |
|---|
| 34 | | Rudolf Berghammer,
Thorsten Hoffmann:
Relational Depth-First-Search with Applications.
RelMiCS 2000: 11-20 |
| 33 | EE | Rudolf Berghammer:
Soundness of a purely syntactical formalizationof weakest preconditions.
Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 32 | | Rudolf Berghammer,
Thorsten Hoffmann:
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem.
Sci. Comput. Program. 38(1-3): 1-25 (2000) |
| 1999 |
|---|
| 31 | | Rudolf Berghammer:
Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs.
Inf. Sci. 119(3-4): 155-171 (1999) |
| 1998 |
|---|
| 30 | EE | Ralf Behnke,
Rudolf Berghammer,
Erich Meyer,
Peter Schneider:
RELVIEW - A System for Calculating With Relations and Relational Programming.
FASE 1998: 318-321 |
| 29 | EE | Rudolf Berghammer,
Burghard von Karger,
Andreas Wolf:
Relation-Algebraic Derivation of Spanning Tree Algorithms.
MPC 1998: 23-43 |
| 28 | | Rudolf Berghammer:
Using RELVIEW to solve problems on relation-based discrete structures.
RelMiCS 1998: 19-23 |
| 27 | EE | Burghard von Karger,
Rudolf Berghammer:
A Relational Model for Temporal Logic.
Logic Journal of the IGPL 6(2): 157-173 (1998) |
| 1997 |
|---|
| 26 | | Rudolf Berghammer,
Burghard von Karger:
Computing Kernels in Bicromatic Directed Relations (Abstract).
RelMiCS 1997: 309 |
| 25 | EE | Burghard von Karger,
Rudolf Berghammer:
Computing Kernels in Directed Bichromatic Graphs.
Inf. Process. Lett. 62(1): 5-11 (1997) |
| 1996 |
|---|
| 24 | | Rudolf Berghammer,
Burghard von Karger,
Christiane Ulke:
Realtion-Algebraic Analysis of Petri Nets with RELVIEW.
TACAS 1996: 49-69 |
| 23 | | Rudolf Berghammer:
Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen.
Inform., Forsch. Entwickl. 11(4): 179-190 (1996) |
| 22 | | Rudolf Berghammer,
Burghard von Karger:
Towards a Design Calculus for CSP.
Sci. Comput. Program. 26(1-3): 99-115 (1996) |
| 21 | EE | Thomas F. Gritzner,
Rudolf Berghammer:
A Relation Algebraic Model of Robust Correctness.
Theor. Comput. Sci. 159(2): 245-270 (1996) |
| 1995 |
|---|
| 20 | | Rudolf Berghammer,
Burghard von Karger:
Formal Derivation of CSP Programs From Temporal Specifications.
MPC 1995: 181-196 |
| 19 | | Rudolf Berghammer,
Bettina Buth,
Karl-Heinz Buth:
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.
SEUH 1995: 11-21 |
| 18 | EE | Rudolf Berghammer,
Birgit Elbl,
Ulf R. Schmerl:
Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic.
Theor. Comput. Sci. 146(1&2): 185-197 (1995) |
| 1993 |
|---|
| 17 | | Rudolf Berghammer,
Armando Martin Haeberer,
Gunther Schmidt,
Paulo A. S. Veloso:
Comparing Two Different Approaches to Products in Abstract Relation Algebra.
AMAST 1993: 167-176 |
| 16 | | Rudolf Berghammer,
Gunther Schmidt:
RELVIEW - A Computer System for the Manipulation of Relations.
AMAST 1993: 403-404 |
| 15 | | Claudia Hattensperger,
Rudolf Berghammer,
Gunther Schmidt:
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker.
AMAST 1993: 405-406 |
| 14 | | Rudolf Berghammer,
Thomas F. Gritzner,
Gunther Schmidt:
Prototyping Relational Specifications Using Higher-Order Objects.
HOA 1993: 56-75 |
| 13 | EE | Rudolf Berghammer:
On the Characterization of the Integers: The Hidden Function Problem Revisited.
Acta Cybern. 11(1-2): 85-96 (1993) |
| 1992 |
|---|
| 12 | | Gunther Schmidt,
Rudolf Berghammer:
17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings
Springer 1992 |
| 11 | | Rudolf Berghammer,
Birgit Elbl,
Ulf R. Schmerl:
Proving Total Correctness of Programs in Weak Second-Order Logic.
REX Workshop 1992: 51-72 |
| 1991 |
|---|
| 10 | | Rudolf Berghammer,
Herbert Ehler:
On the Use of Elements of Functional Programming in Program Development by Transformations.
Methods of Programming 1991: 193-215 |
| 9 | | Rudolf Berghammer,
Gunther Schmidt:
The RELVIEW-System.
STACS 1991: 535-536 |
| 1989 |
|---|
| 8 | | Gunther Schmidt,
Rudolf Berghammer,
Hans Zierer:
Describing Semantic Domains with Sprouts.
Acta Inf. 27(3): 217-245 (1989) |
| 7 | | Rudolf Berghammer,
Gunther Schmidt,
Hans Zierer:
Symmetric Quotients and Domain Constructions.
Inf. Process. Lett. 33(3): 163-168 (1989) |
| 1987 |
|---|
| 6 | | Gunther Schmidt,
Rudolf Berghammer,
Hans Zierer:
Describing Semantic Domains with Sprouts.
STACS 1987: 299-310 |
| 5 | | Rudolf Berghammer,
Herbert Ehler,
Hans Zierer:
Development of Several Reachability Algorithms for Directed Graphs.
WG 1987: 206-218 |
| 1986 |
|---|
| 4 | | Hans Zierer,
Gunther Schmidt,
Rudolf Berghammer:
An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.
WG 1986: 68-81 |
| 3 | | Rudolf Berghammer,
Hans Zierer:
Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.
Theor. Comput. Sci. 43: 123-147 (1986) |
| 1985 |
|---|
| 2 | | Friedrich L. Bauer,
Rudolf Berghammer,
Manfred Broy,
Walter Dosch,
Franz Geiselbrechtinger,
Rupert Gnatz,
E. Hangel,
Wolfgang Hesse,
Bernd Krieg-Brückner,
Alfred Laut,
Thomas Matzner,
Bernhard Möller,
Friederike Nickl,
Helmuth Partsch,
Peter Pepper,
Klaus Samelson,
Martin Wirsing,
Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Springer 1985 |
| 1983 |
|---|
| 1 | EE | Rudolf Berghammer,
Gunther Schmidt:
Discrete ordering relations.
Discrete Mathematics 43(1): 1-7 (1983) |
