The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Rudolf Berghammer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
    Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:185-197 [Journal]
  2. Rudolf Berghammer
    Using RELVIEW to solve problems on relation-based discrete structures. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:19-23 [Conf]
  3. Rudolf Berghammer, Alexander Fronk
    Applying Relational Algebra in 3D Graphical Software Design. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:62-74 [Conf]
  4. Rudolf Berghammer, Thorsten Hoffmann
    Relational Depth-First-Search with Applications. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:11-20 [Conf]
  5. Rudolf Berghammer, Thorsten Hoffmann
    Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:258-275 [Conf]
  6. Rudolf Berghammer, Burghard von Karger
    Computing Kernels in Bicromatic Directed Relations (Abstract). [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:309- [Conf]
  7. Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese
    Implementation of Relational Algebra Using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:241-257 [Conf]
  8. Rudolf Berghammer, Gunther Schmidt, Michael Winter
    RelView and Rath - Two Systems for Dealing with Relations. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:1-16 [Conf]
  9. Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart
    Social Software for Coalition Formation. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:1-30 [Conf]
  10. Rudolf Berghammer
    Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:91-105 [Conf]
  11. Rudolf Berghammer, Ulf Milanese
    Relational Approach to Boolean Logic Problems. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:48-59 [Conf]
  12. Britta Kehden, Frank Neumann, Rudolf Berghammer
    Relational Implementation of Simple Parallel Evolutionary Algorithms. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:161-172 [Conf]
  13. Rudolf Berghammer, Renate A. Schmidt
    Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:31-49 [Conf]
  14. Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso
    Comparing Two Different Approaches to Products in Abstract Relation Algebra. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:167-176 [Conf]
  15. Rudolf Berghammer, Gunther Schmidt
    RELVIEW - A Computer System for the Manipulation of Relations. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:403-404 [Conf]
  16. Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt
    RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:405-406 [Conf]
  17. Rudolf Berghammer
    Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. [Citation Graph (0, 0)][DBLP]
    CASC, 2006, pp:49-63 [Conf]
  18. Rudolf Berghammer, Frank Neumann
    RelView - An OBDD-Based Computer Algebra System for Relations. [Citation Graph (0, 0)][DBLP]
    CASC, 2005, pp:40-51 [Conf]
  19. Rudolf Berghammer, Herbert Ehler
    On the Use of Elements of Functional Programming in Program Development by Transformations. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:193-215 [Conf]
  20. Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider
    RELVIEW - A System for Calculating With Relations and Relational Programming. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:318-321 [Conf]
  21. Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
    Prototyping Relational Specifications Using Higher-Order Objects. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:56-75 [Conf]
  22. Rudolf Berghammer
    A Generic Program for Minimal Subsets with Applications. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:144-157 [Conf]
  23. Rudolf Berghammer, Markus Müller-Olm
    Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:59-74 [Conf]
  24. Rudolf Berghammer, Burghard von Karger
    Formal Derivation of CSP Programs From Temporal Specifications. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:181-196 [Conf]
  25. Rudolf Berghammer, Burghard von Karger, Andreas Wolf
    Relation-Algebraic Derivation of Spanning Tree Algorithms. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:23-43 [Conf]
  26. Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
    Proving Total Correctness of Programs in Weak Second-Order Logic. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:51-72 [Conf]
  27. Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth
    Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. [Citation Graph (0, 0)][DBLP]
    SEUH, 1995, pp:11-21 [Conf]
  28. Rudolf Berghammer, Gunther Schmidt
    The RELVIEW-System. [Citation Graph (0, 0)][DBLP]
    STACS, 1991, pp:535-536 [Conf]
  29. Gunther Schmidt, Rudolf Berghammer, Hans Zierer
    Describing Semantic Domains with Sprouts. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:299-310 [Conf]
  30. Rudolf Berghammer, Burghard von Karger, Christiane Ulke
    Realtion-Algebraic Analysis of Petri Nets with RELVIEW. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:49-69 [Conf]
  31. Rudolf Berghammer, Herbert Ehler, Hans Zierer
    Development of Several Reachability Algorithms for Directed Graphs. [Citation Graph (0, 0)][DBLP]
    WG, 1987, pp:206-218 [Conf]
  32. Hans Zierer, Gunther Schmidt, Rudolf Berghammer
    An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. [Citation Graph (0, 0)][DBLP]
    WG, 1986, pp:68-81 [Conf]
  33. Gunther Schmidt, Rudolf Berghammer, Hans Zierer
    Describing Semantic Domains with Sprouts. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:3, pp:217-245 [Journal]
  34. Rudolf Berghammer
    On the Characterization of the Integers: The Hidden Function Problem Revisited. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1993, v:11, n:1-2, pp:85-96 [Journal]
  35. Rudolf Berghammer
    Soundness of a purely syntactical formalizationof weakest preconditions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
  36. Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese
    Prototyping and Programming with Relations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
  37. Rudolf Berghammer, Sebastian Fischer
    Implementing Relational Specifications in a Constraint Functional Logic Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:169-183 [Journal]
  38. Rudolf Berghammer, Alexander Fronk
    Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:70, n:4, pp:301-316 [Journal]
  39. Rudolf Berghammer
    Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1996, v:11, n:4, pp:179-190 [Journal]
  40. Burghard von Karger, Rudolf Berghammer
    A Relational Model for Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:2, pp:157-173 [Journal]
  41. Rudolf Berghammer, Gunther Schmidt, Hans Zierer
    Symmetric Quotients and Domain Constructions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:33, n:3, pp:163-168 [Journal]
  42. Burghard von Karger, Rudolf Berghammer
    Computing Kernels in Directed Bichromatic Graphs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:62, n:1, pp:5-11 [Journal]
  43. Rudolf Berghammer
    Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:119, n:3-4, pp:155-171 [Journal]
  44. Rudolf Berghammer, Thorsten Hoffmann
    Relational depth-first-search with applications. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:167-186 [Journal]
  45. Rudolf Berghammer
    Relation-algebraic computation of fixed points with applications. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:66, n:2, pp:112-126 [Journal]
  46. Rudolf Berghammer, Thorsten Hoffmann
    Modeling Sequences within the RelView System. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:107-123 [Journal]
  47. Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
    Special Issue on Tools for System Design and Verification. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:2, pp:86-87 [Journal]
  48. Rudolf Berghammer, Thorsten Hoffmann
    Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:38, n:1-3, pp:1-25 [Journal]
  49. Rudolf Berghammer, Burghard von Karger
    Towards a Design Calculus for CSP. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:99-115 [Journal]
  50. Rudolf Berghammer, Florian Reuter
    A linear approximation algorithm for bin packing with absolute approximation factor 3/2. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:48, n:1, pp:67-80 [Journal]
  51. Rudolf Berghammer, Hans Zierer
    Relational Algebraic Semantics of Deterministic and Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:43, n:, pp:123-147 [Journal]
  52. Thomas F. Gritzner, Rudolf Berghammer
    A Relation Algebraic Model of Robust Correctness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:159, n:2, pp:245-270 [Journal]
  53. Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
    Applying relational algebra and Rel. [Citation Graph (0, 0)][DBLP]
    European Journal of Operational Research, 2007, v:178, n:2, pp:530-542 [Journal]
  54. Rudolf Berghammer, Gunther Schmidt
    Algebraic Visualization of Relations Using RelView. [Citation Graph (0, 0)][DBLP]
    CASC, 2007, pp:58-72 [Conf]
  55. Rudolf Berghammer, Gunther Schmidt
    Discrete ordering relations. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1983, v:43, n:1, pp:1-7 [Journal]

  56. Computational Social Choice Using Relation Algebra and RelView. [Citation Graph (, )][DBLP]


  57. Contact Relations with Applications. [Citation Graph (, )][DBLP]


  58. Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. [Citation Graph (, )][DBLP]


  59. A Relation-Algebraic Approach to Liveness of Place/Transition Nets. [Citation Graph (, )][DBLP]


  60. Computing and Visualizing Closure Objects Using Relation Algebra and RelView. [Citation Graph (, )][DBLP]


  61. Set-based multi-objective optimization, indicators, and deteriorative cycles. [Citation Graph (, )][DBLP]


  62. On Automated Program Construction and Verification. [Citation Graph (, )][DBLP]


  63. Relational Construction of Specific Timetables. [Citation Graph (, )][DBLP]


  64. Applying relation algebra and Rel View to solve problems on orders and lattices. [Citation Graph (, )][DBLP]


  65. Embedding mappings and splittings with applications. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.458secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002