default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRudolf Berghammer
Person information
- affiliation: University of Kiel, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c64]Rudolf Berghammer, Michael Winter:
A General Method for Representing Sets of Relations by Vectors. RAMiCS 2023: 34-51- 2021
- [j54]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: 125523 (2021) - [c63]Rudolf Berghammer:
Relational Computation of Sets of Relations. RAMiCS 2021: 54-71 - [c62]Rudolf Berghammer, Mitja Kulczynski
:
Experimental Investigation of Sufficient Criteria for Relations to Have Kernels. RAMiCS 2021: 72-89 - 2020
- [j53]Rudolf Berghammer, Henning Schnoor, Michael Winter:
Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means. Fundam. Informaticae 177(2): 95-113 (2020) - [j52]Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner:
Relational characterisations of paths. J. Log. Algebraic Methods Program. 117: 100590 (2020) - [c61]Rudolf Berghammer:
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem. RAMiCS 2020: 15-30 - [i4]Rudolf Berghammer, Steffen Börm, Michael Winter:
Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. CoRR abs/2003.12871 (2020)
2010 – 2019
- 2019
- [j51]Rudolf Berghammer, Gunther Schmidt, Michael Winter:
Cryptomorphic topological structures: A computational, relation-algebraic approach. J. Log. Algebraic Methods Program. 102: 17-45 (2019) - 2018
- [i3]Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner:
Relational Characterisations of Paths. CoRR abs/1801.04026 (2018) - 2017
- [j50]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: 1-25 (2017) - [j49]Rudolf Berghammer, Walter Guttmann:
An algebraic approach to multirelations and their properties. J. Log. Algebraic Methods Program. 88: 45-63 (2017) - [j48]Rudolf Berghammer, Insa Stucke, Michael Winter:
Using relation-algebraic means and tool support for investigating and computing bipartitions. J. Log. Algebraic Methods Program. 90: 102-124 (2017) - [c60]Rudolf Berghammer:
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces. RAMiCS 2017: 60-76 - 2016
- [j47]Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke:
Cardinality of relations with applications. Discret. Math. 339(12): 3089-3115 (2016) - [j46]Sergey Polyakovskiy, Rudolf Berghammer, Frank Neumann:
Solving hard control problems in voting systems via integer programming. Eur. J. Oper. Res. 250(1): 204-213 (2016) - [j45]Rudolf Berghammer, Peter Höfner, Insa Stucke:
Cardinality of relations and relational approximation algorithms. J. Log. Algebraic Methods Program. 85(2): 269-286 (2016) - 2015
- [j44]Rudolf Berghammer, Henning Schnoor:
Control of Condorcet voting: Complexity and a Relation-Algebraic approach. Eur. J. Oper. Res. 246(2): 505-516 (2015) - [j43]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): 341-358 (2015) - [c59]Rudolf Berghammer, Walter Guttmann:
Closure, Properties and Closure Properties of Multirelations. RAMiCS 2015: 67-83 - [c58]Rudolf Berghammer, Insa Stucke, Michael Winter:
Investigating and Computing Bipartitions with Algebraic Means. RAMiCS 2015: 257-274 - [c57]Rudolf Berghammer, Peter Höfner, Insa Stucke:
Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS 2015: 275-292 - [c56]Rudolf Berghammer, Walter Guttmann:
A Relation-Algebraic Approach to Multirelations and Predicate Transformers. MPC 2015: 50-70 - [c55]Rudolf Berghammer:
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. MPC 2015: 238-256 - [p6]Rudolf Berghammer, Bernhard Thalheim:
Methodenbasierte mathematische Modellierung mit Relationenalgebren. Wissenschaft und Kunst der Modellierung 2015: 67-106 - 2014
- [j42]Rudolf Berghammer, Bernhard Möller, Michael Winter:
Preface. J. Log. Algebraic Methods Program. 83(2): 85-86 (2014) - [j41]Rudolf Berghammer:
Computing minimal extending sets by relation-algebraic modeling and development. J. Log. Algebraic Methods Program. 83(2): 103-119 (2014) - [j40]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Spatial voting games, relation algebra and RelView. J. Log. Algebraic Methods Program. 83(2): 120-134 (2014) - [j39]Rudolf Berghammer, Michael Winter:
Gunther Schmidt's life as a mathematician and computer scientist. J. Log. Algebraic Methods Program. 83(2): 300-308 (2014) - [c54]Rudolf Berghammer, Peter Höfner, Insa Stucke:
Automated Verification of Relational While-Programs. RAMiCS 2014: 173-190 - [c53]Rudolf Berghammer, Nikita Danilenko, Henning Schnoor:
Relation Algebra and RelView Applied to Approval Voting. RAMiCS 2014: 309-326 - [c52]Rudolf Berghammer, Henning Schnoor:
Control of condorcet voting: complexity and a relation-algebraic approach. AAMAS 2014: 1365-1366 - [c51]Rudolf Berghammer:
Relation Algebra, RelView, and Plurality Voting. CASC 2014: 13-27 - [i2]Sergey Polyakovskiy, Rudolf Berghammer, Frank Neumann:
Solving Hard Control Problems in Voting Systems via Integer Programming. CoRR abs/1408.5987 (2014) - 2013
- [j38]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Computing tournament solutions using relation algebra and RelView. Eur. J. Oper. Res. 226(3): 636-645 (2013) - [j37]Rudolf Berghammer, Michael Winter:
Decomposition of Relations and Concept Lattices. Fundam. Informaticae 126(1): 37-82 (2013) - [j36]Rudolf Berghammer:
Computing and visualizing banks sets of dominance relations using relation algebra and RelView. J. Log. Algebraic Methods Program. 82(3-4): 123-136 (2013) - [i1]Rudolf Berghammer, Henning Schnoor:
Relation-algebraic and Tool-supported Control of Condorcet Voting. CoRR abs/1304.7244 (2013) - 2012
- [j35]Rudolf Berghammer, Stefan Bolus:
On the use of binary decision diagrams for solving problems on simple games. Eur. J. Oper. Res. 222(3): 529-541 (2012) - [j34]Rudolf Berghammer:
Relation-algebraic modeling and solution of chessboard independence and domination problems. J. Log. Algebraic Methods Program. 81(6): 625-642 (2012) - [j33]Rudolf Berghammer, Tobias Friedrich, Frank Neumann:
Convergence of set-based multi-objective optimization, indicators and deteriorative cycles. Theor. Comput. Sci. 456: 2-17 (2012) - [c50]Rudolf Berghammer, Sebastian Fischer:
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. RAMiCS 2012: 114-129 - 2011
- [j32]Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart:
A relation-algebraic approach to simple games. Eur. J. Oper. Res. 210(1): 68-80 (2011) - [j31]Rudolf Berghammer, Ali Jaoua, Bernhard Möller:
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 80(6): 219-220 (2011) - [j30]Gunther Schmidt, Rudolf Berghammer:
Contact, closure, topology, and the linking of row and column types of relations. J. Log. Algebraic Methods Program. 80(6): 339-361 (2011) - [c49]Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch:
Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMiCS 2011: 22-39 - [c48]Rudolf Berghammer:
Relational Modelling and Solution of Chessboard Problems. RAMiCS 2011: 92-108 - [c47]Rudolf Berghammer:
A Functional, Successor List Based Version of Warshall's Algorithm with Applications. RAMiCS 2011: 109-124 - [c46]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Computations on Simple Games Using RelView. CASC 2011: 49-60 - 2010
- [j29]Rudolf Berghammer, Michael Winter:
Embedding mappings and splittings with applications. Acta Informatica 47(2): 77-110 (2010) - [j28]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): 182-195 (2010) - [j27]Rudolf Berghammer, Bernhard Möller, Georg Struth:
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 79(8): 705-706 (2010) - [j26]Rudolf Berghammer, Britta Kehden:
Relation-algebraic specification and solution of special university timetabling problems. J. Log. Algebraic Methods Program. 79(8): 722-739 (2010) - [c45]Rudolf Berghammer, Tobias Friedrich, Frank Neumann:
Set-based multi-objective optimization, indicators, and deteriorative cycles. GECCO 2010: 495-502 - [c44]Rudolf Berghammer, Georg Struth:
On Automated Program Construction and Verification. MPC 2010: 22-41
2000 – 2009
- 2009
- [j25]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
An interdisciplinary approach to coalition formation. Eur. J. Oper. Res. 195(2): 487-496 (2009) - [c43]Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska:
Computational Social Choice Using Relation Algebra and RelView. RelMiCS 2009: 13-28 - [c42]Alexander Fronk, Rudolf Berghammer:
A Relation-Algebraic Approach to Liveness of Place/Transition Nets. RelMiCS 2009: 103-118 - [c41]Gunther Schmidt, Rudolf Berghammer:
Contact Relations with Applications. RelMiCS 2009: 306-321 - [c40]Rudolf Berghammer, Bernd Braßel:
Computing and Visualizing Closure Objects Using Relation Algebra and RelView. CASC 2009: 29-44 - [e5]Rudolf Berghammer, Ali Jaoua, Bernhard Möller:
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. Lecture Notes in Computer Science 5827, Springer 2009, ISBN 978-3-642-04638-4 [contents] - 2008
- [j24]Rudolf Berghammer:
Applying relation algebra and Rel View to solve problems on orders and lattices. Acta Informatica 45(3): 211-236 (2008) - [j23]Gunther Schmidt, Rudolf Berghammer:
Relational measures and integration in preference modeling. J. Log. Algebraic Methods Program. 76(1): 112-129 (2008) - [c39]Rudolf Berghammer, Britta Kehden:
Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. RelMiCS 2008: 22-36 - [e4]Rudolf Berghammer, Bernhard Möller, Georg Struth:
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. Lecture Notes in Computer Science 4988, Springer 2008, ISBN 978-3-540-78912-3 [contents] - 2007
- [j22]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Applying relational algebra and Rel. Eur. J. Oper. Res. 178(2): 530-542 (2007) - [c38]Rudolf Berghammer, Gunther Schmidt:
Algebraic Visualization of Relations Using RelView. CASC 2007: 58-72 - [c37]Rudolf Berghammer, Britta Kehden:
Relational Construction of Specific Timetables. OR 2007: 397-402 - 2006
- [j21]Rudolf Berghammer, Alexander Fronk:
Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra. Fundam. Informaticae 70(4): 301-316 (2006) - [j20]Rudolf Berghammer:
Relation-algebraic computation of fixed points with applications. J. Log. Algebraic Methods Program. 66(2): 112-126 (2006) - [j19]Rudolf Berghammer:
Über ein Werkzeug zur visuellen Auswertung funktionaler Programme. Softwaretechnik-Trends 26(2) (2006) - [c36]Rudolf Berghammer:
Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView. RelMiCS 2006: 91-105 - [c35]Rudolf Berghammer:
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. CASC 2006: 49-63 - [c34]Rudolf Berghammer, Sebastian Fischer:
Implementing Relational Specifications in a Constraint Functional Logic Language. WFLP 2006: 169-183 - [p5]Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart:
Social Software for Coalition Formation. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 1-30 - [p4]Rudolf Berghammer, Renate A. Schmidt:
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 31-49 - 2005
- [c33]Rudolf Berghammer, Ulf Milanese:
Relational Approach to Boolean Logic Problems. RelMiCS 2005: 48-59 - [c32]Britta Kehden, Frank Neumann, Rudolf Berghammer:
Relational Implementation of Simple Parallel Evolutionary Algorithms. RelMiCS 2005: 161-172 - [c31]Rudolf Berghammer, Frank Neumann:
RelView - An OBDD-Based Computer Algebra System for Relations. CASC 2005: 40-51 - [c30]Rudolf Berghammer, Frank Huch:
From functional to object-oriented programming: a smooth transition for beginners. FDPE@ICFP 2005: 3-8 - 2004
- [e3]Rudolf Berghammer, Bernhard Möller, Georg Struth:
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. Lecture Notes in Computer Science 3051, Springer 2004, ISBN 3-540-22145-X [contents] - 2003
- [j18]Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn:
Special Issue on Tools for System Design and Verification. J. Univers. Comput. Sci. 9(2): 86-87 (2003) - [j17]Rudolf Berghammer, Florian Reuter:
A linear approximation algorithm for bin packing with absolute approximation factor 3/2. Sci. Comput. Program. 48(1): 67-80 (2003) - [c29]Rudolf Berghammer, Alexander Fronk:
Applying Relational Algebra in 3D Graphical Software Design. RelMiCS 2003: 62-74 - [c28]Rudolf Berghammer, Markus Müller-Olm:
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. LOPSTR 2003: 59-74 - [p3]Rudolf Berghammer, Gunther Schmidt, Michael Winter:
RelView and Rath - Two Systems for Dealing with Relations. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 1-16 - 2002
- [c27]Rudolf Berghammer:
A Generic Program for Minimal Subsets with Applications. LOPSTR 2002: 144-157 - 2001
- [j16]Rudolf Berghammer, Thorsten Hoffmann:
Relational depth-first-search with applications. Inf. Sci. 139(3-4): 167-186 (2001) - [j15]Rudolf Berghammer, Thorsten Hoffmann:
Modeling Sequences within the RelView System. J. Univers. Comput. Sci. 7(2): 107-123 (2001) - [c26]Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese:
Implementation of Relational Algebra Using Binary Decision Diagrams. RelMiCS 2001: 241-257 - [c25]Rudolf Berghammer, Thorsten Hoffmann:
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. RelMiCS 2001: 258-275 - [c24]Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese:
Prototyping and Programming with Relations. RelMiS 2001: 27-50 - 2000
- [j14]Rudolf Berghammer, Thorsten Hoffmann:
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem. Sci. Comput. Program. 38(1-3): 1-25 (2000) - [c23]Rudolf Berghammer, Thorsten Hoffmann:
Relational Depth-First-Search with Applications. RelMiCS 2000: 11-20
1990 – 1999
- 1999
- [j13]Rudolf Berghammer:
Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs. Inf. Sci. 119(3-4): 155-171 (1999) - [e2]Rudolf Berghammer, Yassine Lakhnech:
Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998. Advances in computing science, Springer 1999, ISBN 978-3-211-83282-0 [contents] - 1998
- [j12]Burghard von Karger, Rudolf Berghammer:
A Relational Model for Temporal Logic. Log. J. IGPL 6(2): 157-173 (1998) - [c22]Rudolf Berghammer:
Using RELVIEW to solve problems on relation-based discrete structures. RelMiCS 1998: 19-23 - [c21]Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider:
RELVIEW - A System for Calculating With Relations and Relational Programming. FASE 1998: 318-321 - [c20]Rudolf Berghammer, Burghard von Karger, Andreas Wolf:
Relation-Algebraic Derivation of Spanning Tree Algorithms. MPC 1998: 23-43 - [c19]Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif:
Formal Methods and Tools: Introduction and Overview. Tool Support for System Specification, Development and Verification 1998: 1-17 - [c18]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: 33-47 - [c17]Rudolf Berghammer:
Soundness of a purely syntactical formalizationof weakest preconditions. Workshop on Domains 1998: 34-51 - 1997
- [j11]Burghard von Karger, Rudolf Berghammer:
Computing Kernels in Directed Bichromatic Graphs. Inf. Process. Lett. 62(1): 5-11 (1997) - [c16]Rudolf Berghammer, Burghard von Karger:
Computing Kernels in Bicromatic Directed Relations (Abstract). RelMiCS 1997: 309 - [p2]Rudolf Berghammer, Burghard von Karger:
Relational Semantics of Functional Programs. Relational Methods in Computer Science 1997: 115-130 - [p1]Rudolf Berghammer, Burghard von Karger:
Algorithms from Relational Specifications. Relational Methods in Computer Science 1997: 131-149 - 1996
- [j10]Rudolf Berghammer:
Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen. Inform. Forsch. Entwickl. 11(4): 179-190 (1996) - [j9]Rudolf Berghammer, Burghard von Karger:
Towards a Design Calculus for CSP. Sci. Comput. Program. 26(1-3): 99-115 (1996) - [j8]Thomas F. Gritzner, Rudolf Berghammer:
A Relation Algebraic Model of Robust Correctness. Theor. Comput. Sci. 159(2): 245-270 (1996) - [c15]Rudolf Berghammer, Burghard von Karger, Christiane Ulke:
Realtion-Algebraic Analysis of Petri Nets with RELVIEW. TACAS 1996: 49-69 - 1995
- [j7]Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl:
Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. Theor. Comput. Sci. 146(1&2): 185-197 (1995) - [c14]Rudolf Berghammer, Burghard von Karger:
Formal Derivation of CSP Programs From Temporal Specifications. MPC 1995: 181-196 - [c13]Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth:
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH 1995: 11-21 - 1993
- [j6]Rudolf Berghammer:
On the Characterization of the Integers: The Hidden Function Problem Revisited. Acta Cybern. 11(1-2): 85-96 (1993) - [c12]Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso:
Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST 1993: 167-176 - [c11]Rudolf Berghammer, Gunther Schmidt:
RELVIEW - A Computer System for the Manipulation of Relations. AMAST 1993: 403-404 - [c10]Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt:
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST 1993: 405-406 - [c9]Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt:
Prototyping Relational Specifications Using Higher-Order Objects. HOA 1993: 56-75 - 1992
- [c8]Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl:
Proving Total Correctness of Programs in Weak Second-Order Logic. REX Workshop 1992: 51-72 - [e1]Gunther Schmidt, Rudolf Berghammer:
17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings. Lecture Notes in Computer Science 570, Springer 1992, ISBN 3-540-55121-2 [contents] - 1991
- [c7]Rudolf Berghammer, Herbert Ehler:
On the Use of Elements of Functional Programming in Program Development by Transformations. Methods of Programming 1991: 193-215 - [c6]Rudolf Berghammer, Gunther Schmidt:
The RELVIEW-System. STACS 1991: 535-536 - 1990
- [j5]Gunther Schmidt, Rudolf Berghammer, Hans Zierer:
Describing Semantic Domains with Sprouts. Acta Informatica 27(3): 217-245 (1990) - [c5]Rudolf Berghammer, Herbert Ehler, Bernhard Möller:
On the Refinement of Non-Deterministic Recursive Routines by Transformations. Programming Concepts and Methods 1990: 53-72
1980 – 1989
- 1989
- [j4]Rudolf Berghammer, Gunther Schmidt, Hans Zierer:
Symmetric Quotients and Domain Constructions. Inf. Process. Lett. 33(3): 163-168 (1989) - 1988
- [j3]Rudolf Berghammer, Herbert Ehler, Hans Zierer:
Towards an algebraic specification of code generation. Sci. Comput. Program. 11(1): 45-63 (1988) - 1987
- [c4]Gunther Schmidt, Rudolf Berghammer, Hans Zierer:
Describing Semantic Domains with Sprouts. STACS 1987: 299-310 - [c3]Rudolf Berghammer, Herbert Ehler, Hans Zierer:
Development of Several Reachability Algorithms for Directed Graphs. WG 1987: 206-218 - 1986
- [j2]Rudolf Berghammer, Hans Zierer:
Relational Algebraic Semantics of Deterministic and Nondeterministic Programs. Theor. Comput. Sci. 43: 123-147 (1986) - [c2]Hans Zierer, Gunther Schmidt, Rudolf Berghammer:
An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. WG 1986: 68-81 - 1985
- [b2]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:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7 - 1984
- [b1]Rudolf Berghammer:
Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation. Technical University Munich, Germany, 1984, pp. 1-150 - 1983
- [j1]Rudolf Berghammer, Gunther Schmidt:
Discrete ordering relations. Discret. Math. 43(1): 1-7 (1983) - 1982
- [c1]Rudolf Berghammer, Gunther Schmidt:
A Relational View on Gotos and Dynamic Logic. WG 1982: 13-24
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
