Rudolf Berghammer

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 24

Top Venues

J. Log. Algebraic Methods Program.

RAMiCS

CoRR

Eur. J. Oper. Res.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Rudolf Berghammer, Michael Winter
A General Method for Representing Sets of Relations by Vectors. RAMiCS (2023)
Rudolf Berghammer
Relational Computation of Sets of Relations. RAMiCS (2021)
Rudolf Berghammer, Mitja Kulczynski
Experimental Investigation of Sufficient Criteria for Relations to Have Kernels. RAMiCS (2021)
Rudolf Berghammer, Steffen Börm, Michael Winter
Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. Appl. Math. Comput. 389 (2021)
Rudolf Berghammer, Steffen Börm, Michael Winter
Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. CoRR (2020)
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
Relational characterisations of paths. J. Log. Algebraic Methods Program. 117 (2020)
Rudolf Berghammer
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem. RAMiCS (2020)
Rudolf Berghammer, Henning Schnoor, Michael Winter
Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means. Fundam. Informaticae 177 (2) (2020)
Rudolf Berghammer, Gunther Schmidt, Michael Winter
Cryptomorphic topological structures: A computational, relation-algebraic approach. J. Log. Algebraic Methods Program. 102 (2019)
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
Relational Characterisations of Paths. CoRR (2018)
Rudolf Berghammer
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces. RAMiCS (2017)
Rudolf Berghammer, Walter Guttmann
An algebraic approach to multirelations and their properties. J. Log. Algebraic Methods Program. 88 (2017)
Rudolf Berghammer, Michael Winter
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. J. Log. Algebraic Methods Program. 88 (2017)
Rudolf Berghammer, Insa Stucke, Michael Winter
Using relation-algebraic means and tool support for investigating and computing bipartitions. J. Log. Algebraic Methods Program. 90 (2017)
Sergey Polyakovskiy, Rudolf Berghammer, Frank Neumann
Solving hard control problems in voting systems via integer programming. Eur. J. Oper. Res. 250 (1) (2016)
Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke
Cardinality of relations with applications. Discret. Math. 339 (12) (2016)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Cardinality of relations and relational approximation algorithms. J. Log. Algebraic Methods Program. 85 (2) (2016)
Rudolf Berghammer
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. MPC (2015)
Rudolf Berghammer, Insa Stucke, Michael Winter
Investigating and Computing Bipartitions with Algebraic Means. RAMiCS (2015)
Rudolf Berghammer, Sebastian Fischer
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. J. Log. Algebraic Methods Program. 84 (3) (2015)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS (2015)
Rudolf Berghammer, Walter Guttmann
Closure, Properties and Closure Properties of Multirelations. RAMiCS (2015)
Rudolf Berghammer, Henning Schnoor
Control of Condorcet voting: Complexity and a Relation-Algebraic approach. Eur. J. Oper. Res. 246 (2) (2015)
Rudolf Berghammer, Walter Guttmann
A Relation-Algebraic Approach to Multirelations and Predicate Transformers. MPC (2015)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Automated Verification of Relational While-Programs. RAMiCS (2014)
Rudolf Berghammer, Bernhard Möller, Michael Winter
Preface. J. Log. Algebraic Methods Program. 83 (2) (2014)
Sergey Polyakovskiy, Rudolf Berghammer, Frank Neumann
Solving Hard Control Problems in Voting Systems via Integer Programming. CoRR (2014)
Rudolf Berghammer, Michael Winter
Gunther Schmidt's life as a mathematician and computer scientist. J. Log. Algebraic Methods Program. 83 (2) (2014)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Spatial voting games, relation algebra and RelView. J. Log. Algebraic Methods Program. 83 (2) (2014)
Rudolf Berghammer, Nikita Danilenko, Henning Schnoor
Relation Algebra and RelView Applied to Approval Voting. RAMiCS (2014)
Rudolf Berghammer
Relation Algebra, RelView, and Plurality Voting. CASC (2014)
Rudolf Berghammer, Henning Schnoor
Control of condorcet voting: complexity and a relation-algebraic approach. AAMAS (2014)
Rudolf Berghammer
Computing minimal extending sets by relation-algebraic modeling and development. J. Log. Algebraic Methods Program. 83 (2) (2014)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Computing tournament solutions using relation algebra and RelView. Eur. J. Oper. Res. 226 (3) (2013)
Rudolf Berghammer
Computing and visualizing banks sets of dominance relations using relation algebra and RelView. J. Log. Algebraic Methods Program. 82 (3-4) (2013)
Rudolf Berghammer, Michael Winter
Decomposition of Relations and Concept Lattices. Fundam. Informaticae 126 (1) (2013)
Rudolf Berghammer, Henning Schnoor
Relation-algebraic and Tool-supported Control of Condorcet Voting CoRR (2013)
Rudolf Berghammer, Sebastian Fischer
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. RAMiCS (2012)
Rudolf Berghammer, Tobias Friedrich, Frank Neumann
Convergence of set-based multi-objective optimization, indicators and deteriorative cycles. Theor. Comput. Sci. 456 (2012)
Rudolf Berghammer
Relation-algebraic modeling and solution of chessboard independence and domination problems. J. Log. Algebraic Methods Program. 81 (6) (2012)
Rudolf Berghammer, Stefan Bolus
On the use of binary decision diagrams for solving problems on simple games. Eur. J. Oper. Res. 222 (3) (2012)
Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart
A relation-algebraic approach to simple games. Eur. J. Oper. Res. 210 (1) (2011)
Rudolf Berghammer, Ali Jaoua, Bernhard Möller
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 80 (6) (2011)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Computations on Simple Games Using RelView. CASC (2011)
Rudolf Berghammer
Relational Modelling and Solution of Chessboard Problems. RAMiCS (2011)
Gunther Schmidt, Rudolf Berghammer
Contact, closure, topology, and the linking of row and column types of relations. J. Log. Algebraic Methods Program. 80 (6) (2011)
Rudolf Berghammer
A Functional, Successor List Based Version of Warshall's Algorithm with Applications. RAMiCS (2011)
Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch
Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMiCS (2011)
Rudolf Berghammer, Michael Winter
Embedding mappings and splittings with applications. Acta Informatica 47 (2) (2010)
Rudolf Berghammer, Georg Struth
On Automated Program Construction and Verification. MPC (2010)
Rudolf Berghammer, Britta Kehden
Relation-algebraic specification and solution of special university timetabling problems. J. Log. Algebraic Methods Program. 79 (8) (2010)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Applying relation algebra and RelView to measures in a social network. Eur. J. Oper. Res. 202 (1) (2010)
Rudolf Berghammer, Bernhard Möller, Georg Struth
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 79 (8) (2010)
Rudolf Berghammer, Tobias Friedrich, Frank Neumann
Set-based multi-objective optimization, indicators, and deteriorative cycles. GECCO (2010)
Alexander Fronk, Rudolf Berghammer
A Relation-Algebraic Approach to Liveness of Place/Transition Nets. RelMiCS (2009)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
An interdisciplinary approach to coalition formation. Eur. J. Oper. Res. 195 (2) (2009)
Gunther Schmidt, Rudolf Berghammer
Contact Relations with Applications. RelMiCS (2009)
Rudolf Berghammer, Bernd Braßel
Computing and Visualizing Closure Objects Using Relation Algebra and RelView. CASC (2009)
Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska
Computational Social Choice Using Relation Algebra and RelView. RelMiCS (2009)
Rudolf Berghammer
Applying relation algebra and Rel View to solve problems on orders and lattices. Acta Informatica 45 (3) (2008)
Rudolf Berghammer, Britta Kehden
Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. RelMiCS (2008)
Gunther Schmidt, Rudolf Berghammer
Relational measures and integration in preference modeling. J. Log. Algebraic Methods Program. 76 (1) (2008)
Rudolf Berghammer, Britta Kehden
Relational Construction of Specific Timetables. OR (2007)
Rudolf Berghammer, Gunther Schmidt
Algebraic Visualization of Relations Using RelView. CASC (2007)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Applying relational algebra and Rel. Eur. J. Oper. Res. 178 (2) (2007)
Rudolf Berghammer, Sebastian Fischer
Implementing Relational Specifications in a Constraint Functional Logic Language. Electron. Notes Theor. Comput. Sci. 177 (2007)
Rudolf Berghammer
Über ein Werkzeug zur visuellen Auswertung funktionaler Programme. Softwaretechnik-Trends 26 (2) (2006)
Rudolf Berghammer
Relation-algebraic computation of fixed points with applications. J. Log. Algebraic Methods Program. 66 (2) (2006)
Rudolf Berghammer
. RelMiCS (2006)
Rudolf Berghammer, Alexander Fronk
Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra. Fundam. Informaticae 70 (4) (2006)
Rudolf Berghammer
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. CASC (2006)
Britta Kehden, Frank Neumann, Rudolf Berghammer
Relational Implementation of Simple Parallel Evolutionary Algorithms. RelMiCS (2005)
Rudolf Berghammer, Frank Huch
From functional to object-oriented programming: a smooth transition for beginners. FDPE@ICFP (2005)
Rudolf Berghammer, Ulf Milanese
Relational Approach to Boolean Logic Problems. RelMiCS (2005)
Rudolf Berghammer, Frank Neumann
RelView - An OBDD-Based Computer Algebra System for Relations. CASC (2005)
Rudolf Berghammer, Markus Müller-Olm
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. LOPSTR (2003)
Rudolf Berghammer, Alexander Fronk
Applying Relational Algebra in 3D Graphical Software Design. RelMiCS (2003)
Rudolf Berghammer, Florian Reuter
A linear approximation algorithm for bin packing with absolute approximation factor 3/2. Sci. Comput. Program. 48 (1) (2003)
Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
Special Issue on Tools for System Design and Verification. J. Univers. Comput. Sci. 9 (2) (2003)
Rudolf Berghammer
A Generic Program for Minimal Subsets with Applications. LOPSTR (2002)
Rudolf Berghammer, Thorsten Hoffmann
Modeling Sequences within the RelView System. J. Univers. Comput. Sci. 7 (2) (2001)
Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese
Prototyping and Programming with Relations. Electron. Notes Theor. Comput. Sci. 44 (3) (2001)
Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese
Implementation of Relational Algebra Using Binary Decision Diagrams. RelMiCS (2001)
Rudolf Berghammer, Thorsten Hoffmann
Relational depth-first-search with applications. Inf. Sci. 139 (3-4) (2001)
Rudolf Berghammer, Thorsten Hoffmann
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. RelMiCS (2001)
Rudolf Berghammer, Thorsten Hoffmann
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem. Sci. Comput. Program. 38 (1-3) (2000)
Rudolf Berghammer
Soundness of a purely syntactical formalizationof weakest preconditions. Electron. Notes Theor. Comput. Sci. 35 (2000)
Rudolf Berghammer, Thorsten Hoffmann
Relational Depth-First-Search with Applications. RelMiCS (2000)
Rudolf Berghammer
Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs. Inf. Sci. 119 (3-4) (1999)
Rudolf Berghammer
Using RELVIEW to solve problems on relation-based discrete structures. RelMiCS (1998)
Rudolf Berghammer, Burghard von Karger, Andreas Wolf
Relation-Algebraic Derivation of Spanning Tree Algorithms. MPC (1998)
Burghard von Karger, Rudolf Berghammer
A Relational Model for Temporal Logic. Log. J. IGPL 6 (2) (1998)
Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif
Formal Methods and Tools: Introduction and Overview. Tool Support for System Specification, Development and Verification (1998)
Ralf Behnke, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider
Applications of the Rel View System. Tool Support for System Specification, Development and Verification (1998)
Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider
RELVIEW - A System for Calculating With Relations and Relational Programming. FASE (1998)
Rudolf Berghammer, Burghard von Karger
Computing Kernels in Bicromatic Directed Relations (Abstract). RelMiCS (1997)
Burghard von Karger, Rudolf Berghammer
Computing Kernels in Directed Bichromatic Graphs. Inf. Process. Lett. 62 (1) (1997)
Rudolf Berghammer, Burghard von Karger, Christiane Ulke
Realtion-Algebraic Analysis of Petri Nets with RELVIEW. TACAS (1996)
Rudolf Berghammer
Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen. Inform. Forsch. Entwickl. 11 (4) (1996)
Rudolf Berghammer, Burghard von Karger
Towards a Design Calculus for CSP. Sci. Comput. Program. 26 (1-3) (1996)

Rudolf Berghammer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rudolf Berghammer