 | 2009 |
|---|
| 69 |       | Rudolf Berghammer,
Ali Jaoua,
Bernhard Möller:
Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
Springer 2009 |
| 68 | | Rudolf Berghammer,
Bernd Braßel:
Computing and Visualizing Closure Objects Using Relation Algebra and RelView.
CASC 2009: 29-44 |
| 67 | | Alexander Fronk,
Rudolf Berghammer:
A Relation-Algebraic Approach to Liveness of Place/Transition Nets.
RelMiCS 2009: 103-118 |
| 66 | | Harrie C. M. de Swart,
Rudolf Berghammer,
Agnieszka Rusinowska:
Computational Social Choice Using Relation Algebra and RelView.
RelMiCS 2009: 13-28 |
| 65 | | Gunther Schmidt,
Rudolf Berghammer:
Contact Relations with Applications.
RelMiCS 2009: 306-321 |
| 64 | | 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 | | Rudolf Berghammer,
Britta Kehden:
Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables.
RelMiCS 2008: 22-36 |
| 61 | | Rudolf Berghammer:
Applying relation algebra and Rel View to solve problems on orders and lattices.
Acta Inf. 45(3): 211-236 (2008) |
| 60 | | Gunther Schmidt,
Rudolf Berghammer:
Relational measures and integration in preference modeling.
J. Log. Algebr. Program. 76(1): 112-129 (2008) |
| 2007 |
|---|
| 59 | | Rudolf Berghammer,
Gunther Schmidt:
Algebraic Visualization of Relations Using RelView.
CASC 2007: 58-72 |
| 58 | | Rudolf Berghammer,
Britta Kehden:
Relational Construction of Specific Timetables.
OR 2007: 397-402 |
| 57 | | Rudolf Berghammer,
Sebastian Fischer:
Implementing Relational Specifications in a Constraint Functional Logic Language.
Electr. Notes Theor. Comput. Sci. 177: 169-183 (2007) |
| 56 | | 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 | | Rudolf Berghammer:
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.
CASC 2006: 49-63 |
| 54 | | Rudolf Berghammer:
Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView.
RelMiCS 2006: 91-105 |
| 53 | | 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 | | 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 | | Rudolf Berghammer,
Alexander Fronk:
Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra.
Fundam. Inform. 70(4): 301-316 (2006) |
| 50 | | Rudolf Berghammer:
Relation-algebraic computation of fixed points with applications.
J. Log. Algebr. Program. 66(2): 112-126 (2006) |
| 2005 |
|---|
| 49 | | Rudolf Berghammer,
Frank Neumann:
RelView - An OBDD-Based Computer Algebra System for Relations.
CASC 2005: 40-51 |
| 48 | | Britta Kehden,
Frank Neumann,
Rudolf Berghammer:
Relational Implementation of Simple Parallel Evolutionary Algorithms.
RelMiCS 2005: 161-172 |
| 47 | | 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 | | Rudolf Berghammer,
Markus Müller-Olm:
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.
LOPSTR 2003: 59-74 |
| 44 | | Rudolf Berghammer,
Alexander Fronk:
Applying Relational Algebra in 3D Graphical Software Design.
RelMiCS 2003: 62-74 |
| 43 | | 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 | | 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 | | 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 | | Rudolf Berghammer:
A Generic Program for Minimal Subsets with Applications.
LOPSTR 2002: 144-157 |
| 2001 |
|---|
| 39 | | Rudolf Berghammer,
Barbara Leoniuk,
Ulf Milanese:
Implementation of Relational Algebra Using Binary Decision Diagrams.
RelMiCS 2001: 241-257 |
| 38 | | Rudolf Berghammer,
Thorsten Hoffmann:
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs.
RelMiCS 2001: 258-275 |
| 37 | | 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 | | 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 | | 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 | | Ralf Behnke,
Rudolf Berghammer,
Erich Meyer,
Peter Schneider:
RELVIEW - A System for Calculating With Relations and Relational Programming.
FASE 1998: 318-321 |
| 29 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | Rudolf Berghammer,
Gunther Schmidt:
Discrete ordering relations.
Discrete Mathematics 43(1): 1-7 (1983) |
