| 2008 |
|---|
| 38 | EE | Gunther Schmidt:
Relations Making Their Way from Logics to Mathematics and Applied Sciences.
RelMiCS 2008: 3 |
| 37 | EE | Gunther Schmidt:
Rectangles, Fringes, and Inverses.
RelMiCS 2008: 352-366 |
| 2007 |
|---|
| 36 | EE | Rudolf Berghammer,
Gunther Schmidt:
Algebraic Visualization of Relations Using RelView.
CASC 2007: 58-72 |
| 2006 |
|---|
| 35 | | Harrie C. M. de Swart,
Ewa Orlowska,
Gunther Schmidt,
Marc Roubens:
Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Springer 2006 |
| 34 | EE | Gunther Schmidt:
Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.
RelMiCS 2006: 328-342 |
| 33 | EE | Gunther Schmidt:
Relational Measures and Integration.
RelMiCS 2006: 343-357 |
| 32 | EE | Gunther Schmidt:
Partiality I: Embedding relation algebras.
J. Log. Algebr. Program. 66(2): 212-238 (2006) |
| 2003 |
|---|
| 31 | | Harrie C. M. de Swart,
Ewa Orlowska,
Gunther Schmidt,
Marc Roubens:
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers
Springer 2003 |
| 30 | EE | Gunther Schmidt:
Relational Data Analysis.
RelMiCS 2003: 227-237 |
| 29 | EE | 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 |
| 28 | EE | Gunther Schmidt:
Theory Extraction in Relational Data Analysis.
Theory and Applications of Relational Structures as Knowledge Instruments 2003: 68-86 |
| 2001 |
|---|
| 27 | EE | Wolfram Kahl,
David Lorge Parnas,
Gunther Schmidt:
RelMiS 2001 - Preface.
Electr. Notes Theor. Comput. Sci. 44(3): (2001) |
| 26 | | Ivo Düntsch,
Gunther Schmidt,
Michael Winter:
A Necessary Relation Algebra for Mereotopology.
Studia Logica 69(3): 381-409 (2001) |
| 2000 |
|---|
| 25 | | Gunther Schmidt:
UniBw München.
Softwaretechnik-Trends 20(1): (2000) |
| 1999 |
|---|
| 24 | | Ali Jaoua,
Gunther Schmidt:
Relational Methods in Computer Science.
Inf. Sci. 119(3-4): 131-133 (1999) |
| 1995 |
|---|
| 23 | | Ernst W. Mayr,
Gunther Schmidt,
Gottfried Tinhofer:
Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings
Springer 1995 |
| 1993 |
|---|
| 22 | | Gunther Schmidt,
Thomas Ströhlein:
Relations and Graphs - Discrete Mathematics for Computer Scientists
Springer 1993 |
| 21 | | 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 |
| 20 | | Rudolf Berghammer,
Gunther Schmidt:
RELVIEW - A Computer System for the Manipulation of Relations.
AMAST 1993: 403-404 |
| 19 | | Claudia Hattensperger,
Rudolf Berghammer,
Gunther Schmidt:
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker.
AMAST 1993: 405-406 |
| 18 | | Armando Martin Haeberer,
Gabriel Baum,
Gunther Schmidt:
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.
Formal Methods in Programming and Their Applications 1993: 281-298 |
| 17 | | Rudolf Berghammer,
Thomas F. Gritzner,
Gunther Schmidt:
Prototyping Relational Specifications Using Higher-Order Objects.
HOA 1993: 56-75 |
| 1992 |
|---|
| 16 | | Gunther Schmidt,
Rudolf Berghammer:
17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings
Springer 1992 |
| 1991 |
|---|
| 15 | | Rudolf Berghammer,
Gunther Schmidt:
The RELVIEW-System.
STACS 1991: 535-536 |
| 1989 |
|---|
| 14 | | Gunther Schmidt,
Thomas Ströhlein:
Relationen und Graphen
Springer 1989 |
| 13 | | Gunther Schmidt,
Rudolf Berghammer,
Hans Zierer:
Describing Semantic Domains with Sprouts.
Acta Inf. 27(3): 217-245 (1989) |
| 12 | | Rudolf Berghammer,
Gunther Schmidt,
Hans Zierer:
Symmetric Quotients and Domain Constructions.
Inf. Process. Lett. 33(3): 163-168 (1989) |
| 1987 |
|---|
| 11 | | Gottfried Tinhofer,
Gunther Schmidt:
Graphtheoretic Concepts in Computer Science, International Workshop, WG '86, Bernried, Germany, June 17-19, 1986, Proceedings
Springer 1987 |
| 10 | | Gunther Schmidt,
Rudolf Berghammer,
Hans Zierer:
Describing Semantic Domains with Sprouts.
STACS 1987: 299-310 |
| 1986 |
|---|
| 9 | | Hans Zierer,
Gunther Schmidt,
Rudolf Berghammer:
An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.
WG 1986: 68-81 |
| 1985 |
|---|
| 8 | EE | Gunther Schmidt,
Thomas Ströhlein:
Relation algebras: Concept of points and representability.
Discrete Mathematics 54(1): 83-92 (1985) |
| 1983 |
|---|
| 7 | EE | Rudolf Berghammer,
Gunther Schmidt:
Discrete ordering relations.
Discrete Mathematics 43(1): 1-7 (1983) |
| 1981 |
|---|
| 6 | | Gunther Schmidt:
Programs as Partial Graphs I: Flow Equivalence and Correctness.
Theor. Comput. Sci. 15: 1-25 (1981) |
| 5 | | Gunther Schmidt:
Programs as Partial Graphs II: Recursion.
Theor. Comput. Sci. 15: 159-179 (1981) |
| 1980 |
|---|
| 4 | | Gunther Schmidt:
Investigating Programs in Terms of Partial Graphs.
WG 1980: 268-269 |
| 3 | | Gunther Schmidt,
Thomas Ströhlein:
Timetable Construction - An Annotated Bibliography.
Comput. J. 23(4): 307-316 (1980) |
| 1979 |
|---|
| 2 | | Gunther Schmidt:
Investigating Programs in Terms of Partial Graphs.
ICALP 1979: 505-519 |
| 1974 |
|---|
| 1 | | Gunther Schmidt,
Thomas Ströhlein:
Some Aspects in the Construction of Timetables.
IFIP Congress 1974: 516-520 |
