The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gunther Schmidt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Gunther Schmidt
    Theory Extraction in Relational Data Analysis. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:68-86 [Conf]
  3. Gunther Schmidt
    Relational Data Analysis. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:227-237 [Conf]
  4. Gunther Schmidt
    Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:328-342 [Conf]
  5. Gunther Schmidt
    Relational Measures and Integration. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:343-357 [Conf]
  6. 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]
  7. Rudolf Berghammer, Gunther Schmidt
    RELVIEW - A Computer System for the Manipulation of Relations. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:403-404 [Conf]
  8. 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]
  9. Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
    On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:281-298 [Conf]
  10. 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]
  11. Gunther Schmidt
    Investigating Programs in Terms of Partial Graphs. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:505-519 [Conf]
  12. Gunther Schmidt, Thomas Ströhlein
    Some Aspects in the Construction of Timetables. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1974, pp:516-520 [Conf]
  13. Rudolf Berghammer, Gunther Schmidt
    The RELVIEW-System. [Citation Graph (0, 0)][DBLP]
    STACS, 1991, pp:535-536 [Conf]
  14. Gunther Schmidt, Rudolf Berghammer, Hans Zierer
    Describing Semantic Domains with Sprouts. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:299-310 [Conf]
  15. Gunther Schmidt
    Investigating Programs in Terms of Partial Graphs. [Citation Graph (0, 0)][DBLP]
    WG, 1980, pp:268-269 [Conf]
  16. 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]
  17. 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]
  18. Gunther Schmidt, Thomas Ströhlein
    Timetable Construction - An Annotated Bibliography. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1980, v:23, n:4, pp:307-316 [Journal]
  19. Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
    RelMiS 2001 - Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
  20. 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]
  21. Ali Jaoua, Gunther Schmidt
    Relational Methods in Computer Science. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:119, n:3-4, pp:131-133 [Journal]
  22. Gunther Schmidt
    Partiality I: Embedding relation algebras. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:66, n:2, pp:212-238 [Journal]
  23. Ivo Düntsch, Gunther Schmidt, Michael Winter
    A Necessary Relation Algebra for Mereotopology. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:3, pp:381-409 [Journal]
  24. Gunther Schmidt
    UniBw München. [Citation Graph (0, 0)][DBLP]
    Softwaretechnik-Trends, 2000, v:20, n:1, pp:- [Journal]
  25. Gunther Schmidt
    Programs as Partial Graphs I: Flow Equivalence and Correctness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:15, n:, pp:1-25 [Journal]
  26. Gunther Schmidt
    Programs as Partial Graphs II: Recursion. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:15, n:, pp:159-179 [Journal]
  27. Rudolf Berghammer, Gunther Schmidt
    Algebraic Visualization of Relations Using RelView. [Citation Graph (0, 0)][DBLP]
    CASC, 2007, pp:58-72 [Conf]
  28. Rudolf Berghammer, Gunther Schmidt
    Discrete ordering relations. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1983, v:43, n:1, pp:1-7 [Journal]
  29. Gunther Schmidt, Thomas Ströhlein
    Relation algebras: Concept of points and representability. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1985, v:54, n:1, pp:83-92 [Journal]

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


  31. Relations Making Their Way from Logics to Mathematics and Applied Sciences. [Citation Graph (, )][DBLP]


  32. Rectangles, Fringes, and Inverses. [Citation Graph (, )][DBLP]


Search in 0.013secs, Finished in 0.014secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002