Search the dblp DataBase
Gunther Schmidt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - Gunther Schmidt
Relational Data Analysis. [Citation Graph (0, 0)][DBLP]
RelMiCS, 2003, pp:227-237 [Conf] - Gunther Schmidt
Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. [Citation Graph (0, 0)][DBLP]
RelMiCS, 2006, pp:328-342 [Conf] - Gunther Schmidt
Relational Measures and Integration. [Citation Graph (0, 0)][DBLP]
RelMiCS, 2006, pp:343-357 [Conf] - 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] - Rudolf Berghammer, Gunther Schmidt
RELVIEW - A Computer System for the Manipulation of Relations. [Citation Graph (0, 0)][DBLP]
AMAST, 1993, pp:403-404 [Conf] - 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] - 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] - 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] - Gunther Schmidt
Investigating Programs in Terms of Partial Graphs. [Citation Graph (0, 0)][DBLP]
ICALP, 1979, pp:505-519 [Conf] - Gunther Schmidt, Thomas Ströhlein
Some Aspects in the Construction of Timetables. [Citation Graph (0, 0)][DBLP]
IFIP Congress, 1974, pp:516-520 [Conf] - Rudolf Berghammer, Gunther Schmidt
The RELVIEW-System. [Citation Graph (0, 0)][DBLP]
STACS, 1991, pp:535-536 [Conf] - Gunther Schmidt, Rudolf Berghammer, Hans Zierer
Describing Semantic Domains with Sprouts. [Citation Graph (0, 0)][DBLP]
STACS, 1987, pp:299-310 [Conf] - Gunther Schmidt
Investigating Programs in Terms of Partial Graphs. [Citation Graph (0, 0)][DBLP]
WG, 1980, pp:268-269 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Gunther Schmidt
UniBw München. [Citation Graph (0, 0)][DBLP]
Softwaretechnik-Trends, 2000, v:20, n:1, pp:- [Journal] - 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] - Gunther Schmidt
Programs as Partial Graphs II: Recursion. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1981, v:15, n:, pp:159-179 [Journal] - Rudolf Berghammer, Gunther Schmidt
Algebraic Visualization of Relations Using RelView. [Citation Graph (0, 0)][DBLP]
CASC, 2007, pp:58-72 [Conf] - Rudolf Berghammer, Gunther Schmidt
Discrete ordering relations. [Citation Graph (0, 0)][DBLP]
Discrete Mathematics, 1983, v:43, n:1, pp:1-7 [Journal] - 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]
Contact Relations with Applications. [Citation Graph (, )][DBLP]
Relations Making Their Way from Logics to Mathematics and Applied Sciences. [Citation Graph (, )][DBLP]
Rectangles, Fringes, and Inverses. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002