Rudolf Berghammer

According to our database, Rudolf Berghammer authored at least 124 papers between 1982 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

A General Method for Representing Sets of Relations by Vectors.

Rudolf Berghammer, Michael Winter

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2021

Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension.

Rudolf Berghammer, Steffen Börm, Michael Winter

Appl. Math. Comput., 2021

Experimental Investigation of Sufficient Criteria for Relations to Have Kernels.

Rudolf Berghammer, Mitja Kulczynski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Relational Computation of Sets of Relations.

Rudolf Berghammer

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Relational characterisations of paths.

Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner

J. Log. Algebraic Methods Program., 2020

Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means.

Rudolf Berghammer, Henning Schnoor, Michael Winter

Fundam. Informaticae, 2020

A Relation-Algebraic Treatment of the Dedekind Recursion Theorem.

Rudolf Berghammer

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Cryptomorphic topological structures: A computational, relation-algebraic approach.

Rudolf Berghammer, Gunther Schmidt, Michael Winter

J. Log. Algebraic Methods Program., 2019

2017

Solving computational tasks on finite topologies by means of relation algebra and the RelView tool.

Rudolf Berghammer, Michael Winter

J. Log. Algebraic Methods Program., 2017

Using relation-algebraic means and tool support for investigating and computing bipartitions.

Rudolf Berghammer, Insa Stucke, Michael Winter

J. Log. Algebraic Methods Program., 2017

An algebraic approach to multirelations and their properties.

Rudolf Berghammer, Walter Guttmann

J. Log. Algebraic Methods Program., 2017

Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces.

Rudolf Berghammer

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Cardinality of relations and relational approximation algorithms.

Rudolf Berghammer, Peter Höfner, Insa Stucke

J. Log. Algebraic Methods Program., 2016

Solving hard control problems in voting systems via integer programming.

Sergey Polyakovskiy, Rudolf Berghammer, Frank Neumann

Eur. J. Oper. Res., 2016

Cardinality of relations with applications.

Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke

Discret. Math., 2016

2015

Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures.

Rudolf Berghammer, Sebastian Fischer

J. Log. Algebraic Methods Program., 2015

Control of Condorcet voting: Complexity and a Relation-Algebraic approach.

Rudolf Berghammer, Henning Schnoor

Eur. J. Oper. Res., 2015

A Relation-Algebraic Approach to Multirelations and Predicate Transformers.

Rudolf Berghammer, Walter Guttmann

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets.

Rudolf Berghammer

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Investigating and Computing Bipartitions with Algebraic Means.

Rudolf Berghammer, Insa Stucke, Michael Winter

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Tool-Based Verification of a Relational Vertex Coloring Program.

Rudolf Berghammer, Peter Höfner, Insa Stucke

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Closure, Properties and Closure Properties of Multirelations.

Rudolf Berghammer, Walter Guttmann

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Methodenbasierte mathematische Modellierung mit Relationenalgebren.

Rudolf Berghammer, Bernhard Thalheim

Proceedings of the Wissenschaft und Kunst der Modellierung, 2015

2014

Gunther Schmidt's life as a mathematician and computer scientist.

Rudolf Berghammer, Michael Winter

J. Log. Algebraic Methods Program., 2014

Spatial voting games, relation algebra and RelView.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

J. Log. Algebraic Methods Program., 2014

Preface.

Rudolf Berghammer, Bernhard Möller, Michael Winter

J. Log. Algebraic Methods Program., 2014

Computing minimal extending sets by relation-algebraic modeling and development.

Rudolf Berghammer

J. Log. Algebraic Methods Program., 2014

Relation Algebra, RelView, and Plurality Voting.

Rudolf Berghammer

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

Automated Verification of Relational While-Programs.

Rudolf Berghammer, Peter Höfner, Insa Stucke

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Relation Algebra and RelView Applied to Approval Voting.

Rudolf Berghammer, Nikita Danilenko, Henning Schnoor

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Computing and visualizing banks sets of dominance relations using relation algebra and RelView.

Rudolf Berghammer

J. Log. Algebraic Methods Program., 2013

Decomposition of Relations and Concept Lattices.

Rudolf Berghammer, Michael Winter

Fundam. Informaticae, 2013

Computing tournament solutions using relation algebra and RelView.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2013

Relation-algebraic and Tool-supported Control of Condorcet Voting

Rudolf Berghammer, Henning Schnoor

CoRR, 2013

2012

Convergence of set-based multi-objective optimization, indicators and deteriorative cycles.

Rudolf Berghammer, Tobias Friedrich, Frank Neumann

Theor. Comput. Sci., 2012

Relation-algebraic modeling and solution of chessboard independence and domination problems.

Rudolf Berghammer

J. Log. Algebraic Methods Program., 2012

On the use of binary decision diagrams for solving problems on simple games.

Rudolf Berghammer, Stefan Bolus

Eur. J. Oper. Res., 2012

Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures.

Rudolf Berghammer, Sebastian Fischer

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Contact, closure, topology, and the linking of row and column types of relations.

Gunther Schmidt, Rudolf Berghammer

J. Log. Algebraic Methods Program., 2011

Relations and Kleene algebras in computer science.

Rudolf Berghammer, Ali Jaoua, Bernhard Möller

J. Log. Algebraic Methods Program., 2011

A relation-algebraic approach to simple games.

Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2011

Computations on Simple Games Using RelView.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

Social Networks: Prestige, Centrality, and Influence - (Invited Paper).

Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

A Functional, Successor List Based Version of Warshall's Algorithm with Applications.

Rudolf Berghammer

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Relational Modelling and Solution of Chessboard Problems.

Rudolf Berghammer

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Relations and Kleene algebras in computer science.

Rudolf Berghammer, Bernhard Möller, Georg Struth

J. Log. Algebraic Methods Program., 2010

Relation-algebraic specification and solution of special university timetabling problems.

Rudolf Berghammer, Britta Kehden

J. Log. Algebraic Methods Program., 2010

Applying relation algebra and RelView to measures in a social network.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2010

Embedding mappings and splittings with applications.

Rudolf Berghammer, Michael Winter

Acta Informatica, 2010

On Automated Program Construction and Verification.

Rudolf Berghammer, Georg Struth

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Set-based multi-objective optimization, indicators, and deteriorative cycles.

Rudolf Berghammer, Tobias Friedrich, Frank Neumann

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009

An interdisciplinary approach to coalition formation.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2009

Computing and Visualizing Closure Objects Using Relation Algebra and RelView.

Rudolf Berghammer, Bernd Braßel

Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

Computational Social Choice Using Relation Algebra and RelView.

Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Contact Relations with Applications.

Gunther Schmidt, Rudolf Berghammer

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

A Relation-Algebraic Approach to Liveness of Place/Transition Nets.

Alexander Fronk, Rudolf Berghammer

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Relational measures and integration in preference modeling.

Gunther Schmidt, Rudolf Berghammer

J. Log. Algebraic Methods Program., 2008

Applying relation algebra and Rel View to solve problems on orders and lattices.

Rudolf Berghammer

Acta Informatica, 2008

Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables.

Rudolf Berghammer, Britta Kehden

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Applying relational algebra and Rel.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2007

Relational Construction of Specific Timetables.

Rudolf Berghammer, Britta Kehden

Proceedings of the Operations Research, 2007

Algebraic Visualization of Relations Using RelView.

Rudolf Berghammer, Gunther Schmidt

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

2006

Über ein Werkzeug zur visuellen Auswertung funktionaler Programme.

Rudolf Berghammer

Softwaretechnik-Trends, 2006

Relation-algebraic computation of fixed points with applications.

Rudolf Berghammer

J. Log. Algebraic Methods Program., 2006

Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra.

Rudolf Berghammer, Alexander Fronk

Fundam. Informaticae, 2006

Implementing Relational Specifications in a Constraint Functional Logic Language.

Rudolf Berghammer, Sebastian Fischer

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.

Rudolf Berghammer

Proceedings of the Computer Algebra in Scientific Computing, 9th International Workshop, 2006

Social Software for Coalition Formation.

Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView.

Rudolf Berghammer, Renate A. Schmidt

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc <i>RelView</i>.

Rudolf Berghammer

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

From functional to object-oriented programming: a smooth transition for beginners.

Rudolf Berghammer, Frank Huch

Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, 2005

RelView - An OBDD-Based Computer Algebra System for Relations.

Rudolf Berghammer, Frank Neumann

Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005

Relational Implementation of Simple Parallel Evolutionary Algorithms.

Britta Kehden, Frank Neumann, Rudolf Berghammer

Proceedings of the Relational Methods in Computer Science, 2005

Relational Approach to Boolean Logic Problems.

Rudolf Berghammer, Ulf Milanese

Proceedings of the Relational Methods in Computer Science, 2005

2003

A linear approximation algorithm for bin packing with absolute approximation factor 3/2.

Rudolf Berghammer, Florian Reuter

Sci. Comput. Program., 2003

Special Issue on Tools for System Design and Verification.

Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn

J. Univers. Comput. Sci., 2003

Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.

Rudolf Berghammer, Markus Müller-Olm

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

RelView and Rath - Two Systems for Dealing with Relations.

Rudolf Berghammer, Gunther Schmidt, Michael Winter

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

Applying Relational Algebra in 3D Graphical Software Design.

Rudolf Berghammer, Alexander Fronk

Proceedings of the 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, 2003

2002

A Generic Program for Minimal Subsets with Applications.

Rudolf Berghammer

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

Modeling Sequences within the RelView System.

Rudolf Berghammer, Thorsten Hoffmann

J. Univers. Comput. Sci., 2001

Relational depth-first-search with applications.

Rudolf Berghammer, Thorsten Hoffmann

Inf. Sci., 2001

Prototyping and Programming with Relations.

Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Implementation of Relational Algebra Using Binary Decision Diagrams.

Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese

Proceedings of the Relational Methods in Computer Science, 2001

Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs.

Rudolf Berghammer, Thorsten Hoffmann

Proceedings of the Relational Methods in Computer Science, 2001

2000

Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem.

Rudolf Berghammer, Thorsten Hoffmann

Sci. Comput. Program., 2000

1999

Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs.

Rudolf Berghammer

Inf. Sci., 1999

1998

A Relational Model for Temporal Logic.

Burghard von Karger, Rudolf Berghammer

Log. J. IGPL, 1998

Soundness of a purely syntactical formalizationof weakest preconditions.

Rudolf Berghammer

Proceedings of the Workshop on Domains IV 1998, 1998

Formal Methods and Tools: Introduction and Overview.

Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif

Proceedings of the International Workshop Tool Support for System Specification, 1998

Applications of the Rel View System.

Ralf Behnke, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider

Proceedings of the International Workshop Tool Support for System Specification, 1998

Relation-Algebraic Derivation of Spanning Tree Algorithms.

Rudolf Berghammer, Burghard von Karger, Andreas Wolf

Proceedings of the Mathematics of Program Construction, 1998

RELVIEW - A System for Calculating With Relations and Relational Programming.

Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider

Proceedings of the Fundamental Approaches to Software Engineering, 1998

Using RELVIEW to solve problems on relation-based discrete structures.

Rudolf Berghammer

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Computing Kernels in Directed Bichromatic Graphs.

Burghard von Karger, Rudolf Berghammer

Inf. Process. Lett., 1997

Computing Kernels in Bicromatic Directed Relations (Abstract).

Rudolf Berghammer, Burghard von Karger

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Algorithms from Relational Specifications.

Rudolf Berghammer, Burghard von Karger

Proceedings of the Relational Methods in Computer Science., 1997

Relational Semantics of Functional Programs.

Rudolf Berghammer, Burghard von Karger

Proceedings of the Relational Methods in Computer Science., 1997

1996

A Relation Algebraic Model of Robust Correctness.

Thomas F. Gritzner, Rudolf Berghammer

Theor. Comput. Sci., 1996

Towards a Design Calculus for CSP.

Rudolf Berghammer, Burghard von Karger

Sci. Comput. Program., 1996

Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen.

Rudolf Berghammer

Inform. Forsch. Entwickl., 1996

Realtion-Algebraic Analysis of Petri Nets with RELVIEW.

Rudolf Berghammer, Burghard von Karger, Christiane Ulke

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic.

Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl

Theor. Comput. Sci., 1995

Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.

Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth

Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '95, 1995

Formal Derivation of CSP Programs From Temporal Specifications.

Rudolf Berghammer, Burghard von Karger

Proceedings of the Mathematics of Program Construction, 1995

1993

On the Characterization of the Integers: The Hidden Function Problem Revisited.

Rudolf Berghammer

Acta Cybern., 1993

Prototyping Relational Specifications Using Higher-Order Objects.

Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt

Proceedings of the Higher-Order Algebra, 1993

RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker.

Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

RELVIEW - A Computer System for the Manipulation of Relations.

Rudolf Berghammer, Gunther Schmidt

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Comparing Two Different Approaches to Products in Abstract Relation Algebra.

Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Proving Total Correctness of Programs in Weak Second-Order Logic.

Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl

Proceedings of the Sematics: Foundations and Applications, 1992

1991

The RELVIEW-System.

Rudolf Berghammer, Gunther Schmidt

Proceedings of the STACS 91, 1991

On the Use of Elements of Functional Programming in Program Development by Transformations.

Rudolf Berghammer, Herbert Ehler

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1990

Describing Semantic Domains with Sprouts.

Gunther Schmidt, Rudolf Berghammer, Hans Zierer

Acta Informatica, 1990

On the Refinement of Non-Deterministic Recursive Routines by Transformations.

Rudolf Berghammer, Herbert Ehler, Bernhard Möller

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

1989

Symmetric Quotients and Domain Constructions.

Rudolf Berghammer, Gunther Schmidt, Hans Zierer

Inf. Process. Lett., 1989

1988

Towards an algebraic specification of code generation.

Rudolf Berghammer, Herbert Ehler, Hans Zierer

Sci. Comput. Program., 1988

1987

Development of Several Reachability Algorithms for Directed Graphs.

Rudolf Berghammer, Herbert Ehler, Hans Zierer

Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

1986

Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.

Rudolf Berghammer, Hans Zierer

Theor. Comput. Sci., 1986

An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.

Hans Zierer, Gunther Schmidt, Rudolf Berghammer

Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986

1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L

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

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984

Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation.

Rudolf Berghammer

PhD thesis, 1984

1983

Discrete ordering relations.

Rudolf Berghammer, Gunther Schmidt

Discret. Math., 1983

1982

A Relational View on Gotos and Dynamic Logic.

Rudolf Berghammer, Gunther Schmidt

Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982