Rudolf Berghammer
#45,540
Most Influential Person Now
German computer scientist
Rudolf Berghammer's AcademicInfluence.com Rankings
Rudolf Berghammercomputer-science Degrees
Computer Science
#2015
World Rank
#2094
Historical Rank
Database
#7727
World Rank
#8033
Historical Rank
Download Badge
Computer Science
Rudolf Berghammer's Degrees
- PhD Computer Science Kiel University
Similar Degrees You Can Earn
Why Is Rudolf Berghammer Influential?
(Suggest an Edit or Addition)According to Wikipedia, Rudolf Berghammer is a German mathematician who works in computer science. Life Rudolf Berghammer worked as an electrician at the Farbwerke Hoechst, Kelheim, from 1966 until 1970. He began studying Mathematics and Computer Science in 1973 at TU München. His academic teachers were Friedrich L. Bauer, Klaus Samelson, Gottfried Tinhofer, and Gunther Schmidt. After obtaining his diploma in 1979, he started working as an assistant mainly to Gunther Schmidt and Friedrich L. Bauer at TU München where he obtained his award-winning Ph.D. in 1984. From 1988 on, he worked as an assistant to Gunther Schmidt at the Faculty for Computer Science of the Universität der Bundeswehr München, where he finally got his habilitation in 1990. Since 1993 he is a professor for Computer-aided Program Development at the Department of Computer Science at the University of Kiel.
Rudolf Berghammer's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- The Munich Project CIP (1988) (155)
- The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (1985) (153)
- Relational Algebraic Semantics of Deterministic and Nondeterministic Programs (1986) (113)
- Applications of Relations and Graphs to Coalition Formation (2006) (72)
- RelView - An OBDD-Based Computer Algebra System for Relations (2005) (65)
- Relational and Kleene-Algebraic Methods in Computer Science (2003) (59)
- RELVIEW - A System for Calculating With Relations and Relational Programming (1998) (57)
- Implementation of Relational Algebra Using Binary Decision Diagrams (2001) (54)
- Realtion-Algebraic Analysis of Petri Nets with RELVIEW (1996) (44)
- Symmetric Quotients and Domain Constructions (1989) (35)
- Social Networks : Prestige , Centrality , and Influence (2011) (30)
- Comparing Two Different Approaches to Products in Abstract Relation Algebra (1993) (26)
- Social Networks: Prestige, Centrality, and Influence - (Invited Paper) (2011) (23)
- RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker (1993) (22)
- A linear approximation algorithm for bin packing with absolute approximation factor 3/2 (2003) (22)
- Relations and Kleene algebras in computer science (2008) (22)
- On Automated Program Construction and Verification (2010) (20)
- An interdisciplinary approach to coalition formation (2009) (20)
- Relation-Algebraic Derivation of Spanning Tree Algorithms (1998) (19)
- Relational depth-first-search with applications (2001) (19)
- Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs (1999) (18)
- Convergence of set-based multi-objective optimization, indicators and deteriorative cycles (2012) (18)
- Applying Relation Algebra and Relview to Measures in a Social Network (2009) (18)
- Relational Semantics of Functional Programs (1997) (17)
- Applying relational algebra and Rel (2007) (17)
- RelView and Rath - Two Systems for Dealing with Relations (2003) (17)
- A Relation-Algebraic Approach to Simple Games (2009) (17)
- The RELVIEW-System (1991) (17)
- Automated Verification of Relational While-Programs (2014) (17)
- Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra (2006) (17)
- Tool Support for System Specification, Development and Verification (1999) (16)
- Applying relation algebra and RelView to solve problems on orders and lattices (2008) (16)
- Formal Derivation of CSP Programs From Temporal Specifications (1995) (16)
- Prototyping Relational Specifications Using Higher-Order Objects (1993) (16)
- A Relational Model for Temporal Logic (1998) (15)
- Applying relational algebra and R elV iew to coalition formation (2007) (15)
- Modeling Sequences within the RelView System (2001) (15)
- On the use of binary decision diagrams for solving problems on simple games (2012) (14)
- Computing tournament solutions using relation algebra and RelView (2013) (14)
- An Interactive Graphical Manipulation System for Higher Objects Based on Relational Algebra (1986) (13)
- RELVIEW - A Computer System for the Manipulation of Relations (1993) (12)
- Relation Algebra and Logic of Programs (1991) (12)
- Social Software for Coalition Formation (2006) (11)
- Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem (2000) (11)
- Embedding mappings and splittings with applications (2010) (11)
- Relational Approach to Boolean Logic Problems (2005) (11)
- Towards an algebraic specification of code generation (1988) (11)
- Prototyping and Programming with Relations (2003) (10)
- A Functional, Successor List Based Version of Warshall's Algorithm with Applications (2011) (10)
- A Relation Algebraic Model of Robust Correctness (1996) (10)
- Relation-algebraic computation of fixed points with applications (2006) (9)
- Set-based multi-objective optimization, indicators, and deteriorative cycles (2010) (9)
- Tool-Based Verification of a Relational Vertex Coloring Program (2015) (9)
- Ten years of experience with cavinton (1988) (8)
- Computing Kernels in Directed Bichromatic Graphs (1997) (7)
- Applying Relational Algebra in 3D Graphical Software Design (2003) (7)
- Algorithms from Relational Specifications (1997) (7)
- Cardinality of relations and relational approximation algorithms (2016) (7)
- Towards a Design Calculus for CSP (1996) (7)
- Control of Condorcet voting: Complexity and a Relation-Algebraic approach (2014) (7)
- Contact, closure, topology, and the linking of row and column types of relations (2011) (7)
- Discrete ordering relations (1983) (7)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (2015) (7)
- Investigating and Computing Bipartitions with Algebraic Means (2015) (6)
- Cardinality of relations with applications (2016) (6)
- Solving hard control problems in voting systems via integer programming (2014) (6)
- Implementing Relational Specifications in a Constraint Functional Logic Language (2007) (6)
- Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables (2003) (6)
- 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 (2008) (5)
- Computational Social Choice Using Relation Algebra and RelView (2009) (5)
- Solving computational tasks on finite topologies by means of relation algebra and the RelView tool (2017) (5)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (2015) (5)
- Relation Algebra and RelView Applied to Approval Voting (2014) (5)
- Applications of the Rel View System (1998) (5)
- Development of Several Reachability Algorithms for Directed Graphs (1987) (5)
- Relational measures and integration in preference modeling (2008) (5)
- Soundness of a purely syntactical formalizationof weakest preconditions (1998) (5)
- Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic (1995) (5)
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces (2019) (5)
- Considering Design Tasks in OO-Software Engineering using Relations and Relation-based Tools (2004) (5)
- Relation-algebraic specification and solution of special university timetabling problems (2010) (4)
- On the Characterization of the Integers: The Hidden Function Problem Revisited (1993) (4)
- Computation of Cut Completions and Concept Lattices Using Relational Algebra and RelView (2004) (4)
- Computing and visualizing banks sets of dominance relations using relation algebra and RelView (2013) (4)
- On the Refinement of Non-Deterministic Recursive Routines by Transformations (1990) (4)
- Decomposition of Relations and Concept Lattices (2013) (4)
- Proceedings of the 17th International Workshop (1991) (3)
- Closure, Properties and Closure Properties of Multirelations (2015) (3)
- Relation-algebraic modeling and solution of chessboard independence and domination problems (2012) (3)
- Algebraic Visualization of Relations Using RelView (2007) (3)
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView (2009) (3)
- Computing minimal extending sets by relation-algebraic modeling and development (2014) (3)
- Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets (2015) (3)
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView (2006) (3)
- On the use of composition in transformational programming (1987) (3)
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces (2017) (3)
- Describing semantic domains with sprouts (1987) (3)
- Relational Implementation of Simple Parallel Evolutionary Algorithms (2005) (3)
- Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means (2020) (2)
- Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension (2020) (2)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (2012) (2)
- Relation-algebraic and Tool-supported Control of Condorcet Voting (2013) (2)
- Using relation-algebraic means and tool support for investigating and computing bipartitions (2017) (2)
- Relation Algebra, RelView, and Plurality Voting (2014) (2)
- Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs (2001) (2)
- An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra (1986) (2)
- A Generic Program for Minimal Subsets with Applications (2002) (2)
- On the Use of Elements of Functional Programming in Program Development by Transformations (1991) (2)
- Relational Modelling and Solution of Chessboard Problems (2011) (2)
- 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings (1992) (1)
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem (2020) (1)
- Solving Design Problems in OO-Software Engineering with Relations and RelView (2003) (1)
- Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science (2009) (1)
- Relational Characterisations of Paths (2018) (1)
- Formal Methods and Tools: Introduction and Overview (1998) (1)
- 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 (2009) (1)
- Proving Total Correctness of Programs in Weak Second-Order Logic (1992) (1)
- Supporting Algebraic Program Derivation by PVS. (1998) (1)
- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView (2006) (1)
- A Relational View on Gotos and Dynamic Logic (1982) (1)
- Computations on Simple Games Using RelView (2011) (1)
- A Relation-Algebraic Approach to Liveness of Place/Transition Nets (2009) (0)
- Relational Computation of Sets of Relations (2021) (0)
- Codifying the Differencing Technique into Formal Transformation Rules over CIP-L (1991) (0)
- Relational Construction of Specific Timetables (2007) (0)
- A General Method for Representing Sets of Relations by Vectors (2023) (0)
- Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables (2003) (0)
- Part I : Informal survey of the language (1985) (0)
- Part II : Description of the language (1985) (0)
- Using RELVIEW to solve problems on relation-based discrete structures (1998) (0)
- Preface (2014) (0)
- From functional to object-oriented programming: a smooth transition for beginners (2005) (0)
- Contact Relations with Applications (2009) (0)
- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView (2006) (0)
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces (2019) (0)
- Acknowledgement to referees (2004) (0)
- Part III : Formal definition of the language (1985) (0)
- Experimental Investigation of Sufficient Criteria for Relations to Have Kernels (2021) (0)
- DOCUMENTS DE TRAVAIL-WORKING PAPERS W.P. 09-13 A Relation-algebraic Approach to Simple Games (2009) (0)
- Spatial voting games, relation algebra and RelView (2014) (0)
- Cryptomorphic topological structures: A computational, relation-algebraic approach (2019) (0)
- An algebraic approach to multirelations and their properties (2017) (0)
- Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables (2008) (0)
- Special Issue on Tools for System Design and Verification (2003) (0)
- Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra (2008) (0)
- Gunther Schmidt's life as a mathematician and computer scientist (2014) (0)
- Algorithms from Relational Speciication 4.2 Preliminaries (2007) (0)
- Acknowledgement to referees (2004) (0)
- Computing Kernels in Bicromatic Directed Relations (Abstract) (1997) (0)
- Part 0 : Introduction to the project CIP (1985) (0)
- A Relational Approach to Coalition Formation (2005) (0)
This paper list is powered by the following services:
Other Resources About Rudolf Berghammer
What Schools Are Affiliated With Rudolf Berghammer?
Rudolf Berghammer is affiliated with the following schools:
