| Relations and graphs G Schmidt, T Ströhlein EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993 | 650* | 1993 |
| Relational methods in computer science C Brink, W Kahl, G Schmidt Springer Science & Business Media, 1997 | 254 | 1997 |
| Relational Mathematics (Encyclopedia of Mathematics and its Applications) G Schmidt Cambridge University Press, 2011 | 228 | 2011 |
| Relationen und Graphen. Mathematik für Informatiker G Schmidt, T Ströhlein Springer Verlag, 1989 | 212* | 1989 |
| Timetable construction–an annotated bibliography G Schmidt, T Ströhlein The Computer Journal 23 (4), 307-316, 1980 | 191 | 1980 |
| Heterogeneous relation algebra G Schmidt, C Hattensperger, M Winter Relational Methods in Computer Science, 39-53, 1997 | 87 | 1997 |
| Relation algebras: Concept of points and representability G Schmidt, T Ströhlein Discrete Mathematics 54 (1), 83-92, 1985 | 73 | 1985 |
| Programs as partial graphs I: Flow equivalence and correctness G Schmidt Theoretical Computer Science 15 (1), 1-25, 1981 | 60 | 1981 |
| Symmetric quotients and domain constructions R Berghammer, G Schmidt, H Zierer Information Processing Letters 33 (3), 163-168, 1989 | 48 | 1989 |
| Relational specifications R Berghammer, G Schmidt Banach Center Publications 28 (1), 167-190, 1993 | 47 | 1993 |
| Comparing two different approaches to products in abstract relation algebra R Berghammer, A Haeberer, G Schmidt, P Veloso Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the …, 1994 | 36 | 1994 |
| A necessary relation algebra for mereotopology I Düntsch, G Schmidt, M Winter Studia Logica 69, 381-409, 2001 | 34 | 2001 |
| Exploring (finite) relation algebras using tools written in Haskell W Kahl, G Schmidt Univ. der Bundeswehr München, Fak. für Informatik, 2000 | 34 | 2000 |
| On kernels of graphs and solutions of games: a synopsis based on relations and fixpoints G Schmidt, T Ströhlein SIAM Journal on Algebraic Discrete Methods 6 (1), 54-65, 1985 | 33 | 1985 |
| On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers AM Haeberer, GA Baum, G Schmidt Formal Methods in Programming and Their Applications: International …, 2005 | 27 | 2005 |
| The RELVIEW-system R Berghammer, G Schmidt Annual Symposium on Theoretical Aspects of Computer Science, 535-536, 1991 | 24 | 1991 |
| Symmetric quotients R Berghammer, G Schmidt, H Zierer Mathematisches Institut und Institut für Informatik der Technischen …, 1986 | 24 | 1986 |
| RALF—A relation-algebraic formula manipulation system and proof checker C Hattensperger, R Berghammer, G Schmidt Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the …, 1994 | 22 | 1994 |
| Programs as partial graphs II: Recursion G Schmidt Theoretical Computer Science 15 (2), 159-179, 1981 | 22 | 1981 |
| Prototyping Relational Specifications Using Higher-Order Objects R Berghammer, TF Gritzner, G Schmidt 1st International Workshop, HOA '93 in Amsterdam, Lecture Notes in Computer …, 1994 | 21 | 1994 |
Chris BrinkNewcastle University UKVerified email at newcastle.ac.uk
