Rudolf Berghammer

136 papers A 5B 16C 16Journal 59Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Counting Specific Classes of Relations Regarding Fixed Points and Reflexive Points. CoRR Rudolf Berghammer, Jules Desharnais, Michael Winter
2023	C	`conf`	A General Method for Representing Sets of Relations by Vectors. RAMiCS Rudolf Berghammer, Michael Winter
2021	J	`jnl`	Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. Appl. Math. Comput. Rudolf Berghammer, Steffen Börm, Michael Winter
2021	C	`conf`	Experimental Investigation of Sufficient Criteria for Relations to Have Kernels. RAMiCS Rudolf Berghammer, Mitja Kulczynski
2021	C	`conf`	Relational Computation of Sets of Relations. RAMiCS Rudolf Berghammer
2020	C	`conf`	A Relation-Algebraic Treatment of the Dedekind Recursion Theorem. RAMiCS Rudolf Berghammer
2020	J	`jnl`	Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. CoRR Rudolf Berghammer, Steffen Börm, Michael Winter
2020	J	`jnl`	Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means. Fundam. Informaticae Rudolf Berghammer, Henning Schnoor, Michael Winter
2020	J	`jnl`	Relational characterisations of paths. J. Log. Algebraic Methods Program. Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
2019	J	`jnl`	Cryptomorphic topological structures: A computational, relation-algebraic approach. J. Log. Algebraic Methods Program. Rudolf Berghammer, Gunther Schmidt, Michael Winter
2018	J	`jnl`	Relational Characterisations of Paths. CoRR Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
2017	J	`jnl`	An algebraic approach to multirelations and their properties. J. Log. Algebraic Methods Program. Rudolf Berghammer, Walter Guttmann
2017	J	`jnl`	Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. J. Log. Algebraic Methods Program. Rudolf Berghammer, Michael Winter
2017	C	`conf`	Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces. RAMiCS Rudolf Berghammer
2017	J	`jnl`	Using relation-algebraic means and tool support for investigating and computing bipartitions. J. Log. Algebraic Methods Program. Rudolf Berghammer, Insa Stucke, Michael Winter
2016	J	`jnl`	Cardinality of relations and relational approximation algorithms. J. Log. Algebraic Methods Program. Rudolf Berghammer, Peter Höfner, Insa Stucke
2016	J	`jnl`	Cardinality of relations with applications. Discret. Math. Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke
2016	J	`jnl`	Solving hard control problems in voting systems via integer programming. Eur. J. Oper. Res. Sergey Polyakovskiy, Rudolf Berghammer, Frank Neumann
2015	B	`conf`	A Relation-Algebraic Approach to Multirelations and Predicate Transformers. MPC Rudolf Berghammer, Walter Guttmann
2015	C	`conf`	Closure, Properties and Closure Properties of Multirelations. RAMiCS Rudolf Berghammer, Walter Guttmann
2015	B	`conf`	Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. MPC Rudolf Berghammer
2015	J	`jnl`	Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. J. Log. Algebraic Methods Program. Rudolf Berghammer, Sebastian Fischer
2015	J	`jnl`	Control of Condorcet voting: Complexity and a Relation-Algebraic approach. Eur. J. Oper. Res. Rudolf Berghammer, Henning Schnoor
2015	C	`conf`	Investigating and Computing Bipartitions with Algebraic Means. RAMiCS Rudolf Berghammer, Insa Stucke, Michael Winter
2015	—	`ch.`	Methodenbasierte mathematische Modellierung mit Relationenalgebren. Wissenschaft und Kunst der Modellierung Rudolf Berghammer, Bernhard Thalheim
2015	C	`conf`	Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS Rudolf Berghammer, Peter Höfner, Insa Stucke
2014	C	`conf`	Automated Verification of Relational While-Programs. RAMiCS Rudolf Berghammer, Peter Höfner, Insa Stucke
2014	J	`jnl`	Computing minimal extending sets by relation-algebraic modeling and development. J. Log. Algebraic Methods Program. Rudolf Berghammer
2014	A	`conf`	Control of condorcet voting: complexity and a relation-algebraic approach. AAMAS Rudolf Berghammer, Henning Schnoor
2014	J	`jnl`	Gunther Schmidt's life as a mathematician and computer scientist. J. Log. Algebraic Methods Program. Rudolf Berghammer, Michael Winter
2014	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Rudolf Berghammer, Bernhard Möller, Michael Winter
2014	C	`conf`	Relation Algebra and RelView Applied to Approval Voting. RAMiCS Rudolf Berghammer, Nikita Danilenko, Henning Schnoor
2014	B	`conf`	Relation Algebra, RelView, and Plurality Voting. CASC Rudolf Berghammer
2014	J	`jnl`	Solving Hard Control Problems in Voting Systems via Integer Programming. CoRR Sergey Polyakovskiy, Rudolf Berghammer, Frank Neumann
2014	J	`jnl`	Spatial voting games, relation algebra and RelView. J. Log. Algebraic Methods Program. Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2013	J	`jnl`	Computing and visualizing banks sets of dominance relations using relation algebra and RelView. J. Log. Algebraic Methods Program. Rudolf Berghammer
2013	J	`jnl`	Computing tournament solutions using relation algebra and RelView. Eur. J. Oper. Res. Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2013	J	`jnl`	Decomposition of Relations and Concept Lattices. Fundam. Informaticae Rudolf Berghammer, Michael Winter
2013	J	`jnl`	Relation-algebraic and Tool-supported Control of Condorcet Voting CoRR Rudolf Berghammer, Henning Schnoor
2012	J	`jnl`	Convergence of set-based multi-objective optimization, indicators and deteriorative cycles. Theor. Comput. Sci. Rudolf Berghammer, Tobias Friedrich, Frank Neumann
2012	J	`jnl`	On the use of binary decision diagrams for solving problems on simple games. Eur. J. Oper. Res. Rudolf Berghammer, Stefan Bolus
2012	J	`jnl`	Relation-algebraic modeling and solution of chessboard independence and domination problems. J. Log. Algebraic Methods Program. Rudolf Berghammer
2012	C	`conf`	Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. RAMiCS Rudolf Berghammer, Sebastian Fischer
2011	C	`conf`	A Functional, Successor List Based Version of Warshall's Algorithm with Applications. RAMiCS Rudolf Berghammer
2011	J	`jnl`	A relation-algebraic approach to simple games. Eur. J. Oper. Res. Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart
2011	B	`conf`	Computations on Simple Games Using RelView. CASC Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2011	J	`jnl`	Contact, closure, topology, and the linking of row and column types of relations. J. Log. Algebraic Methods Program. Gunther Schmidt, Rudolf Berghammer
2011	C	`conf`	Relational Modelling and Solution of Chessboard Problems. RAMiCS Rudolf Berghammer
2011	J	`jnl`	Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. Rudolf Berghammer, Ali Jaoua, Bernhard Möller
2011	C	`conf`	Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMiCS Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch
2010	J	`jnl`	Applying relation algebra and RelView to measures in a social network. Eur. J. Oper. Res. Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2010	J	`jnl`	Embedding mappings and splittings with applications. Acta Informatica Rudolf Berghammer, Michael Winter
2010	B	`conf`	On Automated Program Construction and Verification. MPC Rudolf Berghammer, Georg Struth
2010	J	`jnl`	Relation-algebraic specification and solution of special university timetabling problems. J. Log. Algebraic Methods Program. Rudolf Berghammer, Britta Kehden
2010	J	`jnl`	Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. Rudolf Berghammer, Bernhard Möller, Georg Struth
2010	A	`conf`	Set-based multi-objective optimization, indicators, and deteriorative cycles. GECCO Rudolf Berghammer, Tobias Friedrich, Frank Neumann
2009	—	`conf`	A Relation-Algebraic Approach to Liveness of Place/Transition Nets. RelMiCS Alexander Fronk, Rudolf Berghammer
2009	J	`jnl`	An interdisciplinary approach to coalition formation. Eur. J. Oper. Res. Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2009	—	`conf`	Computational Social Choice Using Relation Algebra and RelView. RelMiCS Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska
2009	B	`conf`	Computing and Visualizing Closure Objects Using Relation Algebra and RelView. CASC Rudolf Berghammer, Bernd Braßel
2009	—	`conf`	Contact Relations with Applications. RelMiCS Gunther Schmidt, Rudolf Berghammer
2009	—	`ed.`	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 RelMiCS Rudolf Berghammer, Ali Jaoua, Bernhard Möller
2008	J	`jnl`	Applying relation algebra and Rel View to solve problems on orders and lattices. Acta Informatica Rudolf Berghammer
2008	—	`conf`	Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. RelMiCS Rudolf Berghammer, Britta Kehden
2008	J	`jnl`	Relational measures and integration in preference modeling. J. Log. Algebraic Methods Program. Gunther Schmidt, Rudolf Berghammer
2008	—	`ed.`	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 RelMiCS Rudolf Berghammer, Bernhard Möller, Georg Struth
2007	B	`conf`	Algebraic Visualization of Relations Using RelView. CASC Rudolf Berghammer, Gunther Schmidt
2007	J	`jnl`	Applying relational algebra and Rel. Eur. J. Oper. Res. Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2007	—	`conf`	Relational Construction of Specific Timetables. OR Rudolf Berghammer, Britta Kehden
2006	—	`conf`	Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelMiCS Rudolf Berghammer
2006	J	`jnl`	Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra. Fundam. Informaticae Rudolf Berghammer, Alexander Fronk
2006	—	`conf`	Implementing Relational Specifications in a Constraint Functional Logic Language. WFLP Rudolf Berghammer, Sebastian Fischer
2006	—	`ch.`	Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView. Theory and Applications of Relational Structures as Knowledge Instruments Rudolf Berghammer, Renate A. Schmidt
2006	J	`jnl`	Relation-algebraic computation of fixed points with applications. J. Log. Algebraic Methods Program. Rudolf Berghammer
2006	—	`ch.`	Social Software for Coalition Formation. Theory and Applications of Relational Structures as Knowledge Instruments Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart
2006	B	`conf`	Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. CASC Rudolf Berghammer
2006	J	`jnl`	Über ein Werkzeug zur visuellen Auswertung funktionaler Programme. Softwaretechnik-Trends Rudolf Berghammer
2005	—	`conf`	From functional to object-oriented programming: a smooth transition for beginners. FDPE@ICFP Rudolf Berghammer, Frank Huch
2005	B	`conf`	RelView - An OBDD-Based Computer Algebra System for Relations. CASC Rudolf Berghammer, Frank Neumann
2005	—	`conf`	Relational Approach to Boolean Logic Problems. RelMiCS Rudolf Berghammer, Ulf Milanese
2005	—	`conf`	Relational Implementation of Simple Parallel Evolutionary Algorithms. RelMiCS Britta Kehden, Frank Neumann, Rudolf Berghammer
2004	—	`ed.`	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 RelMiCS Rudolf Berghammer, Bernhard Möller, Georg Struth
2003	J	`jnl`	A linear approximation algorithm for bin packing with absolute approximation factor 3/2. Sci. Comput. Program. Rudolf Berghammer, Florian Reuter
2003	—	`conf`	Applying Relational Algebra in 3D Graphical Software Design. RelMiCS Rudolf Berghammer, Alexander Fronk
2003	C	`conf`	Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. LOPSTR Rudolf Berghammer, Markus Müller-Olm
2003	—	`ch.`	RelView and Rath - Two Systems for Dealing with Relations. Theory and Applications of Relational Structures as Knowledge Instruments Rudolf Berghammer, Gunther Schmidt, Michael Winter
2003	J	`jnl`	Special Issue on Tools for System Design and Verification. J. Univers. Comput. Sci. Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
2002	C	`conf`	A Generic Program for Minimal Subsets with Applications. LOPSTR Rudolf Berghammer
2001	—	`conf`	Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. RelMiCS Rudolf Berghammer, Thorsten Hoffmann
2001	—	`conf`	Implementation of Relational Algebra Using Binary Decision Diagrams. RelMiCS Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese
2001	J	`jnl`	Modeling Sequences within the RelView System. J. Univers. Comput. Sci. Rudolf Berghammer, Thorsten Hoffmann
2001	—	`conf`	Prototyping and Programming with Relations. RelMiS Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese
2001	J	`jnl`	Relational depth-first-search with applications. Inf. Sci. Rudolf Berghammer, Thorsten Hoffmann
2000	J	`jnl`	Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem. Sci. Comput. Program. Rudolf Berghammer, Thorsten Hoffmann
2000	—	`conf`	Relational Depth-First-Search with Applications. RelMiCS Rudolf Berghammer, Thorsten Hoffmann
1999	J	`jnl`	Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs. Inf. Sci. Rudolf Berghammer
1999	—	`ed.`	Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998 Tool Support for System Specification, Development and Verification Rudolf Berghammer, Yassine Lakhnech
1998	J	`jnl`	A Relational Model for Temporal Logic. Log. J. IGPL Burghard von Karger, Rudolf Berghammer
1998	—	`conf`	Applications of the Rel View System. Tool Support for System Specification, Development and Verification Ralf Behnke, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider
1998	—	`conf`	Formal Methods and Tools: Introduction and Overview. Tool Support for System Specification, Development and Verification Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif
1998	B	`conf`	RELVIEW - A System for Calculating With Relations and Relational Programming. FASE Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider
1998	B	`conf`	Relation-Algebraic Derivation of Spanning Tree Algorithms. MPC Rudolf Berghammer, Burghard von Karger, Andreas Wolf
1998	—	`conf`	Soundness of a purely syntactical formalizationof weakest preconditions. Workshop on Domains Rudolf Berghammer
1998	—	`conf`	Using RELVIEW to solve problems on relation-based discrete structures. RelMiCS Rudolf Berghammer
1997	—	`ch.`	Algorithms from Relational Specifications. Relational Methods in Computer Science Rudolf Berghammer, Burghard von Karger
1997	—	`conf`	Computing Kernels in Bicromatic Directed Relations (Abstract). RelMiCS Rudolf Berghammer, Burghard von Karger
1997	J	`jnl`	Computing Kernels in Directed Bichromatic Graphs. Inf. Process. Lett. Burghard von Karger, Rudolf Berghammer
1997	—	`ch.`	Relational Semantics of Functional Programs. Relational Methods in Computer Science Rudolf Berghammer, Burghard von Karger
1996	J	`jnl`	A Relation Algebraic Model of Robust Correctness. Theor. Comput. Sci. Thomas F. Gritzner, Rudolf Berghammer
1996	A	`conf`	Realtion-Algebraic Analysis of Petri Nets with RELVIEW. TACAS Rudolf Berghammer, Burghard von Karger, Christiane Ulke
1996	J	`jnl`	Towards a Design Calculus for CSP. Sci. Comput. Program. Rudolf Berghammer, Burghard von Karger
1996	J	`jnl`	Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen. Inform. Forsch. Entwickl. Rudolf Berghammer
1995	B	`conf`	Formal Derivation of CSP Programs From Temporal Specifications. MPC Rudolf Berghammer, Burghard von Karger
1995	J	`jnl`	Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. Theor. Comput. Sci. Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
1995	—	`conf`	Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth
1993	—	`conf`	Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso
1993	J	`jnl`	On the Characterization of the Integers: The Hidden Function Problem Revisited. Acta Cybern. Rudolf Berghammer
1993	—	`conf`	Prototyping Relational Specifications Using Higher-Order Objects. HOA Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
1993	—	`conf`	RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt
1993	—	`conf`	RELVIEW - A Computer System for the Manipulation of Relations. AMAST Rudolf Berghammer, Gunther Schmidt
1992	B	`ed.`	17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings WG Gunther Schmidt, Rudolf Berghammer
1992	—	`conf`	Proving Total Correctness of Programs in Weak Second-Order Logic. REX Workshop Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
1991	—	`conf`	On the Use of Elements of Functional Programming in Program Development by Transformations. Methods of Programming Rudolf Berghammer, Herbert Ehler
1991	A	`conf`	The RELVIEW-System. STACS Rudolf Berghammer, Gunther Schmidt
1990	J	`jnl`	Describing Semantic Domains with Sprouts. Acta Informatica Gunther Schmidt, Rudolf Berghammer, Hans Zierer
1990	—	`conf`	On the Refinement of Non-Deterministic Recursive Routines by Transformations. Programming Concepts and Methods Rudolf Berghammer, Herbert Ehler, Bernhard Möller
1989	J	`jnl`	Symmetric Quotients and Domain Constructions. Inf. Process. Lett. Rudolf Berghammer, Gunther Schmidt, Hans Zierer
1988	J	`jnl`	Towards an algebraic specification of code generation. Sci. Comput. Program. Rudolf Berghammer, Herbert Ehler, Hans Zierer
1987	A	`conf`	Describing Semantic Domains with Sprouts. STACS Gunther Schmidt, Rudolf Berghammer, Hans Zierer
1987	B	`conf`	Development of Several Reachability Algorithms for Directed Graphs. WG Rudolf Berghammer, Herbert Ehler, Hans Zierer
1986	B	`conf`	An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. WG Hans Zierer, Gunther Schmidt, Rudolf Berghammer
1986	J	`jnl`	Relational Algebraic Semantics of Deterministic and Nondeterministic Programs. Theor. Comput. Sci. Rudolf Berghammer, Hans Zierer
1985	—	`book`	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
1984	—	`—`	Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation. Rudolf Berghammer
1983	J	`jnl`	Discrete ordering relations. Discret. Math. Rudolf Berghammer, Gunther Schmidt
1982	B	`conf`	A Relational View on Gotos and Dynamic Logic. WG Rudolf Berghammer, Gunther Schmidt