Rudolf Berghammer

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Computing tournament solutions using relation algebra and RelView. European Journal of Operational Research 226(3): 636-645 (2013)

Rudolf Berghammer, Henning Schnoor: Relation-algebraic and Tool-supported Control of Condorcet Voting. CoRR abs/1304.7244 (2013)

Rudolf Berghammer, Stefan Bolus: On the use of binary decision diagrams for solving problems on simple games. European Journal of Operational Research 222(3): 529-541 (2012)

Rudolf Berghammer: Relation-algebraic modeling and solution of chessboard independence and domination problems. J. Log. Algebr. Program. 81(6): 625-642 (2012)

Rudolf Berghammer, Tobias Friedrich, Frank Neumann: Convergence of set-based multi-objective optimization, indicators and deteriorative cycles. Theor. Comput. Sci. 456: 2-17 (2012)

Rudolf Berghammer, Sebastian Fischer: Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. RAMICS 2012: 114-129

Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart: A relation-algebraic approach to simple games. European Journal of Operational Research 210(1): 68-80 (2011)

Rudolf Berghammer, Ali Jaoua, Bernhard Möller: Relations and Kleene algebras in computer science. J. Log. Algebr. Program. 80(6): 219-220 (2011)

Gunther Schmidt, Rudolf Berghammer: Contact, closure, topology, and the linking of row and column types of relations. J. Log. Algebr. Program. 80(6): 339-361 (2011)

Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch: Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMICS 2011: 22-39

Rudolf Berghammer: Relational Modelling and Solution of Chessboard Problems. RAMICS 2011: 92-108

Rudolf Berghammer: A Functional, Successor List Based Version of Warshall's Algorithm with Applications. RAMICS 2011: 109-124

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Computations on Simple Games Using RelView. CASC 2011: 49-60

Rudolf Berghammer, Michael Winter: Embedding mappings and splittings with applications. Acta Inf. 47(2): 77-110 (2010)

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Applying relation algebra and RelView to measures in a social network. European Journal of Operational Research 202(1): 182-195 (2010)

Rudolf Berghammer, Bernhard Möller, Georg Struth: Relations and Kleene algebras in computer science. J. Log. Algebr. Program. 79(8): 705-706 (2010)

Rudolf Berghammer, Britta Kehden: Relation-algebraic specification and solution of special university timetabling problems. J. Log. Algebr. Program. 79(8): 722-739 (2010)

Rudolf Berghammer, Tobias Friedrich, Frank Neumann: Set-based multi-objective optimization, indicators, and deteriorative cycles. GECCO 2010: 495-502

Rudolf Berghammer, Georg Struth: On Automated Program Construction and Verification. MPC 2010: 22-41

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)

Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska: Computational Social Choice Using Relation Algebra and RelView. RelMiCS 2009: 13-28

Alexander Fronk, Rudolf Berghammer: A Relation-Algebraic Approach to Liveness of Place/Transition Nets. RelMiCS 2009: 103-118

Gunther Schmidt, Rudolf Berghammer: Contact Relations with Applications. RelMiCS 2009: 306-321

Rudolf Berghammer, Bernd Braßel: Computing and Visualizing Closure Objects Using Relation Algebra and RelView. CASC 2009: 29-44

Rudolf Berghammer, Ali Jaoua, Bernhard Möller (Eds.): 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. Lecture Notes in Computer Science 5827, Springer 2009, isbn 978-3-642-04638-4

Rudolf Berghammer: Applying relation algebra and Rel View to solve problems on orders and lattices. Acta Inf. 45(3): 211-236 (2008)

Gunther Schmidt, Rudolf Berghammer: Relational measures and integration in preference modeling. J. Log. Algebr. Program. 76(1): 112-129 (2008)

Rudolf Berghammer, Britta Kehden: Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. RelMiCS 2008: 22-36

Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.): 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. Lecture Notes in Computer Science 4988, Springer 2008, isbn 978-3-540-78912-3

Rudolf Berghammer, Sebastian Fischer: Implementing Relational Specifications in a Constraint Functional Logic Language. Electr. Notes Theor. Comput. Sci. 177: 169-183 (2007)

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Applying relational algebra and Rel. European Journal of Operational Research 178(2): 530-542 (2007)

Rudolf Berghammer, Gunther Schmidt: Algebraic Visualization of Relations Using RelView. CASC 2007: 58-72

Rudolf Berghammer, Britta Kehden: Relational Construction of Specific Timetables. OR 2007: 397-402

Rudolf Berghammer, Alexander Fronk: Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra. Fundam. Inform. 70(4): 301-316 (2006)

Rudolf Berghammer: Relation-algebraic computation of fixed points with applications. J. Log. Algebr. Program. 66(2): 112-126 (2006)

Rudolf Berghammer: Über ein Werkzeug zur visuellen Auswertung funktionaler Programme. Softwaretechnik-Trends 26(2) (2006)

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

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

Rudolf Berghammer: Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView. RelMiCS 2006: 91-105

Rudolf Berghammer: Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. CASC 2006: 49-63

Rudolf Berghammer, Ulf Milanese: Relational Approach to Boolean Logic Problems. RelMiCS 2005: 48-59

Britta Kehden, Frank Neumann, Rudolf Berghammer: Relational Implementation of Simple Parallel Evolutionary Algorithms. RelMiCS 2005: 161-172

Rudolf Berghammer, Frank Neumann: RelView - An OBDD-Based Computer Algebra System for Relations. CASC 2005: 40-51

Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.): 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. Lecture Notes in Computer Science 3051, Springer 2004, isbn 3-540-22145-X

Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn: Special Issue on Tools for System Design and Verification. J. UCS 9(2): 86-87 (2003)

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)

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

Rudolf Berghammer, Alexander Fronk: Applying Relational Algebra in 3D Graphical Software Design. RelMiCS 2003: 62-74

Rudolf Berghammer, Markus Müller-Olm: Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. LOPSTR 2003: 59-74

Rudolf Berghammer: A Generic Program for Minimal Subsets with Applications. LOPSTR 2002: 144-157

Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese: Prototyping and Programming with Relations. Electr. Notes Theor. Comput. Sci. 44(3): 27-50 (2001)

Rudolf Berghammer, Thorsten Hoffmann: Relational depth-first-search with applications. Inf. Sci. 139(3-4): 167-186 (2001)

Rudolf Berghammer, Thorsten Hoffmann: Modeling Sequences within the RelView System. J. UCS 7(2): 107-123 (2001)

Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese: Implementation of Relational Algebra Using Binary Decision Diagrams. RelMiCS 2001: 241-257

Rudolf Berghammer, Thorsten Hoffmann: Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. RelMiCS 2001: 258-275

Rudolf Berghammer: Soundness of a purely syntactical formalizationof weakest preconditions. Electr. Notes Theor. Comput. Sci. 35: 34-51 (2000)

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)

Rudolf Berghammer, Thorsten Hoffmann: Relational Depth-First-Search with Applications. RelMiCS 2000: 11-20

Rudolf Berghammer: Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs. Inf. Sci. 119(3-4): 155-171 (1999)

Burghard von Karger, Rudolf Berghammer: A Relational Model for Temporal Logic. Logic Journal of the IGPL 6(2): 157-173 (1998)

Rudolf Berghammer: Using RELVIEW to solve problems on relation-based discrete structures. RelMiCS 1998: 19-23

Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider: RELVIEW - A System for Calculating With Relations and Relational Programming. FASE 1998: 318-321

Rudolf Berghammer, Burghard von Karger, Andreas Wolf: Relation-Algebraic Derivation of Spanning Tree Algorithms. MPC 1998: 23-43

Burghard von Karger, Rudolf Berghammer: Computing Kernels in Directed Bichromatic Graphs. Inf. Process. Lett. 62(1): 5-11 (1997)

Rudolf Berghammer, Burghard von Karger: Computing Kernels in Bicromatic Directed Relations (Abstract). RelMiCS 1997: 309

Rudolf Berghammer: Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen. Inform., Forsch. Entwickl. 11(4): 179-190 (1996)

Rudolf Berghammer, Burghard von Karger: Towards a Design Calculus for CSP. Sci. Comput. Program. 26(1-3): 99-115 (1996)

Thomas F. Gritzner, Rudolf Berghammer: A Relation Algebraic Model of Robust Correctness. Theor. Comput. Sci. 159(2): 245-270 (1996)

Rudolf Berghammer, Burghard von Karger, Christiane Ulke: Realtion-Algebraic Analysis of Petri Nets with RELVIEW. TACAS 1996: 49-69

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)

Rudolf Berghammer, Burghard von Karger: Formal Derivation of CSP Programs From Temporal Specifications. MPC 1995: 181-196

Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth: Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH 1995: 11-21

Rudolf Berghammer: On the Characterization of the Integers: The Hidden Function Problem Revisited. Acta Cybern. 11(1-2): 85-96 (1993)

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

Rudolf Berghammer, Gunther Schmidt: RELVIEW - A Computer System for the Manipulation of Relations. AMAST 1993: 403-404

Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt: RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST 1993: 405-406

Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt: Prototyping Relational Specifications Using Higher-Order Objects. HOA 1993: 56-75

Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl: Proving Total Correctness of Programs in Weak Second-Order Logic. REX Workshop 1992: 51-72

Gunther Schmidt, Rudolf Berghammer (Eds.): 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings. Lecture Notes in Computer Science 570, Springer 1992, isbn 3-540-55121-2

Rudolf Berghammer, Herbert Ehler: On the Use of Elements of Functional Programming in Program Development by Transformations. Methods of Programming 1991: 193-215

Rudolf Berghammer, Gunther Schmidt: The RELVIEW-System. STACS 1991: 535-536

Gunther Schmidt, Rudolf Berghammer, Hans Zierer: Describing Semantic Domains with Sprouts. Acta Inf. 27(3): 217-245 (1989)

Rudolf Berghammer, Gunther Schmidt, Hans Zierer: Symmetric Quotients and Domain Constructions. Inf. Process. Lett. 33(3): 163-168 (1989)

Gunther Schmidt, Rudolf Berghammer, Hans Zierer: Describing Semantic Domains with Sprouts. STACS 1987: 299-310

Rudolf Berghammer, Herbert Ehler, Hans Zierer: Development of Several Reachability Algorithms for Directed Graphs. WG 1987: 206-218

Rudolf Berghammer, Hans Zierer: Relational Algebraic Semantics of Deterministic and Nondeterministic Programs. Theor. Comput. Sci. 43: 123-147 (1986)

Hans Zierer, Gunther Schmidt, Rudolf Berghammer: An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. WG 1986: 68-81

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. Lecture Notes in Computer Science 183, Springer 1985, isbn 3-540-15187-7

Rudolf Berghammer, Gunther Schmidt: Discrete ordering relations. Discrete Mathematics 43(1): 1-7 (1983)