Rudolf Berghammer

According to our database1, Rudolf Berghammer
  • authored at least 114 papers between 1983 and 2017.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool.
J. Log. Algebr. Meth. Program., 2017

Using relation-algebraic means and tool support for investigating and computing bipartitions.
J. Log. Algebr. Meth. Program., 2017

An algebraic approach to multirelations and their properties.
J. Log. Algebr. Meth. Program., 2017

Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016
Cardinality of relations and relational approximation algorithms.
J. Log. Algebr. Meth. Program., 2016

Solving hard control problems in voting systems via integer programming.
European Journal of Operational Research, 2016

Cardinality of relations with applications.
Discrete Mathematics, 2016

2015
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures.
J. Log. Algebr. Meth. Program., 2015

Control of Condorcet voting: Complexity and a Relation-Algebraic approach.
European Journal of Operational Research, 2015

A Relation-Algebraic Approach to Multirelations and Predicate Transformers.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Investigating and Computing Bipartitions with Algebraic Means.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Tool-Based Verification of a Relational Vertex Coloring Program.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Closure, Properties and Closure Properties of Multirelations.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Methodenbasierte mathematische Modellierung mit Relationenalgebren.
Proceedings of the Wissenschaft und Kunst der Modellierung, 2015

2014
Gunther Schmidt's life as a mathematician and computer scientist.
J. Log. Algebr. Meth. Program., 2014

Spatial voting games, relation algebra and RelView.
J. Log. Algebr. Meth. Program., 2014

Preface.
J. Log. Algebr. Meth. Program., 2014

Computing minimal extending sets by relation-algebraic modeling and development.
J. Log. Algebr. Meth. Program., 2014

Solving Hard Control Problems in Voting Systems via Integer Programming.
CoRR, 2014

Relation Algebra, RelView, and Plurality Voting.
Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

Control of condorcet voting: complexity and a relation-algebraic approach.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Automated Verification of Relational While-Programs.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Relation Algebra and RelView Applied to Approval Voting.
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.
J. Log. Algebr. Program., 2013

Decomposition of Relations and Concept Lattices.
Fundam. Inform., 2013

Computing tournament solutions using relation algebra and RelView.
European Journal of Operational Research, 2013

Relation-algebraic and Tool-supported Control of Condorcet Voting
CoRR, 2013

2012
Convergence of set-based multi-objective optimization, indicators and deteriorative cycles.
Theor. Comput. Sci., 2012

Relation-algebraic modeling and solution of chessboard independence and domination problems.
J. Log. Algebr. Program., 2012

On the use of binary decision diagrams for solving problems on simple games.
European Journal of Operational Research, 2012

Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures.
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.
J. Log. Algebr. Program., 2011

Relations and Kleene algebras in computer science.
J. Log. Algebr. Program., 2011

A relation-algebraic approach to simple games.
European Journal of Operational Research, 2011

Computations on Simple Games Using RelView.
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

Social Networks: Prestige, Centrality, and Influence - (Invited Paper).
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

A Functional, Successor List Based Version of Warshall's Algorithm with Applications.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Relational Modelling and Solution of Chessboard Problems.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010
Relations and Kleene algebras in computer science.
J. Log. Algebr. Program., 2010

Relation-algebraic specification and solution of special university timetabling problems.
J. Log. Algebr. Program., 2010

Applying relation algebra and RelView to measures in a social network.
European Journal of Operational Research, 2010

Embedding mappings and splittings with applications.
Acta Inf., 2010

On Automated Program Construction and Verification.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Set-based multi-objective optimization, indicators, and deteriorative cycles.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009
An interdisciplinary approach to coalition formation.
European Journal of Operational Research, 2009

Computing and Visualizing Closure Objects Using Relation Algebra and RelView.
Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

Computational Social Choice Using Relation Algebra and RelView.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Contact Relations with Applications.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

A Relation-Algebraic Approach to Liveness of Place/Transition Nets.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Relational measures and integration in preference modeling.
J. Log. Algebr. Program., 2008

Applying relation algebra and Rel View to solve problems on orders and lattices.
Acta Inf., 2008

Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007
Applying relational algebra and Rel.
European Journal of Operational Research, 2007

Implementing Relational Specifications in a Constraint Functional Logic Language.
Electr. Notes Theor. Comput. Sci., 2007

Relational Construction of Specific Timetables.
Proceedings of the Operations Research, 2007

Algebraic Visualization of Relations Using RelView.
Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

2006
Über ein Werkzeug zur visuellen Auswertung funktionaler Programme.
Softwaretechnik-Trends, 2006

Relation-algebraic computation of fixed points with applications.
J. Log. Algebr. Program., 2006

Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra.
Fundam. Inform., 2006

Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.
Proceedings of the Computer Algebra in Scientific Computing, 9th International Workshop, 2006

Social Software for Coalition Formation.
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.
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 RelView.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
From functional to object-oriented programming: a smooth transition for beginners.
Proceedings of the 2005 workshop on Functional and declarative programming in education, Tallinn, Estonia, September 25, 2005

RelView - An OBDD-Based Computer Algebra System for Relations.
Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005

Relational Implementation of Simple Parallel Evolutionary Algorithms.
Proceedings of the Relational Methods in Computer Science, 2005

Relational Approach to Boolean Logic Problems.
Proceedings of the Relational Methods in Computer Science, 2005

2003
A linear approximation algorithm for bin packing with absolute approximation factor 3/2.
Sci. Comput. Program., 2003

Special Issue on Tools for System Design and Verification.
J. UCS, 2003

Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

RelView and Rath - Two Systems for Dealing with Relations.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

Applying Relational Algebra in 3D Graphical Software Design.
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.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001
Modeling Sequences within the RelView System.
J. UCS, 2001

Relational depth-first-search with applications.
Inf. Sci., 2001

Prototyping and Programming with Relations.
Electr. Notes Theor. Comput. Sci., 2001

Implementation of Relational Algebra Using Binary Decision Diagrams.
Proceedings of the Relational Methods in Computer Science, 2001

Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs.
Proceedings of the Relational Methods in Computer Science, 2001

2000
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem.
Sci. Comput. Program., 2000

Soundness of a purely syntactical formalizationof weakest preconditions.
Electr. Notes Theor. Comput. Sci., 2000

Relational Depth-First-Search with Applications.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999
Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs.
Inf. Sci., 1999

1998
A Relational Model for Temporal Logic.
Logic Journal of the IGPL, 1998

Relation-Algebraic Derivation of Spanning Tree Algorithms.
Proceedings of the Mathematics of Program Construction, 1998

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

Using RELVIEW to solve problems on relation-based discrete structures.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Computing Kernels in Directed Bichromatic Graphs.
Inf. Process. Lett., 1997

Computing Kernels in Bicromatic Directed Relations (Abstract).
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1996
A Relation Algebraic Model of Robust Correctness.
Theor. Comput. Sci., 1996

Towards a Design Calculus for CSP.
Sci. Comput. Program., 1996

Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen.
Inform., Forsch. Entwickl., 1996

Realtion-Algebraic Analysis of Petri Nets with RELVIEW.
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.
Theor. Comput. Sci., 1995

Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.
Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '95, 1995

Formal Derivation of CSP Programs From Temporal Specifications.
Proceedings of the Mathematics of Program Construction, 1995

1993
On the Characterization of the Integers: The Hidden Function Problem Revisited.
Acta Cybern., 1993

Prototyping Relational Specifications Using Higher-Order Objects.
Proceedings of the Higher-Order Algebra, 1993

RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

RELVIEW - A Computer System for the Manipulation of Relations.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Comparing Two Different Approaches to Products in Abstract Relation Algebra.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Proving Total Correctness of Programs in Weak Second-Order Logic.
Proceedings of the Sematics: Foundations and Applications, 1992

1991
The RELVIEW-System.
Proceedings of the STACS 91, 1991

On the Use of Elements of Functional Programming in Program Development by Transformations.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1990
Describing Semantic Domains with Sprouts.
Acta Inf., 1990

1989
Symmetric Quotients and Domain Constructions.
Inf. Process. Lett., 1989

1988
Towards an algebraic specification of code generation.
Sci. Comput. Program., 1988

1987
Development of Several Reachability Algorithms for Directed Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

Describing Semantic Domains with Sprouts.
Proceedings of the STACS 87, 1987

1986
Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.
Theor. Comput. Sci., 1986

An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.
Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986

1985
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984
Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation.
PhD thesis, 1984

1983
Discrete ordering relations.
Discrete Mathematics, 1983


  Loading...