Ein kontinuierliches Modell für Kraftfahrzeugströmungen. - Gunther Schmidt 001 (Computing, 1970)

Shock waves of a continuous model of traffic flow. - Gunther Schmidt 001 (Computing, 1972)

Some Aspects in the Construction of Timetables. - Gunther Schmidt 001; Thomas Ströhlein (IFIP Congress, 1974)

Investigating Programs in Terms of Partial Graphs. - Gunther Schmidt 001 (ICALP, 1979)

Timetable Construction - An Annotated Bibliography. - Gunther Schmidt 001; Thomas Ströhlein (Comput. J., 1980)

Programs as Partial Graphs I: Flow Equivalence and Correctness. - Gunther Schmidt 001 (Theor. Comput. Sci., 1981)

Programs as Partial Graphs II: Recursion. - Gunther Schmidt 001 (Theor. Comput. Sci., 1981)

Kernels in Bipartite Graphs. - Gunther Schmidt 001; Thomas Ströhlein (WG, 1982)

A Relational View on Gotos and Dynamic Logic. - Rudolf Berghammer; Gunther Schmidt 001 (WG, 1982)

Discrete ordering relations. - Rudolf Berghammer; Gunther Schmidt 001 (Discret. Math., 1983)

Relation algebras: Concept of points and representability. - Gunther Schmidt 001; Thomas Ströhlein (Discret. Math., 1985)

An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. - Hans Zierer 001; Gunther Schmidt 001; Rudolf Berghammer (WG, 1986)

Relationen und Graphen - Gunther Schmidt 001; Thomas Ströhlein (Springer, 1989)

Symmetric Quotients and Domain Constructions. - Rudolf Berghammer; Gunther Schmidt 001; Hans Zierer 001 (Inf. Process. Lett., 1989)

Describing Semantic Domains with Sprouts. - Gunther Schmidt 001; Rudolf Berghammer; Hans Zierer 001 (Acta Informatica, 1990)

The RELVIEW-System. - Rudolf Berghammer; Gunther Schmidt 001 (STACS, 1991)

Relations and Graphs - Discrete Mathematics for Computer Scientists - Gunther Schmidt 001; Thomas Ströhlein (Springer, 1993)

Comparing Two Different Approaches to Products in Abstract Relation Algebra. - Rudolf Berghammer; Armando Martin Haeberer; Gunther Schmidt 001; Paulo A. S. Veloso (AMAST, 1993)

RELVIEW - A Computer System for the Manipulation of Relations. - Rudolf Berghammer; Gunther Schmidt 001 (AMAST, 1993)

RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. - Claudia Hattensperger; Rudolf Berghammer; Gunther Schmidt 001 (AMAST, 1993)

On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. - Armando Martin Haeberer; Gabriel Baum; Gunther Schmidt 001 (Formal Methods in Programming and Their Applications, 1993)

Prototyping Relational Specifications Using Higher-Order Objects. - Rudolf Berghammer; Thomas F. Gritzner; Gunther Schmidt 001 (HOA, 1993)

Heterogeneous Relation Algebra. - Gunther Schmidt 001; Claudia Hattensperger; Michael Winter 001 (Relational Methods in Computer Science, 1997)

Background Material. - Peter Jipsen; Chris Brink; Gunther Schmidt 001 (Relational Methods in Computer Science, 1997)

Relational Methods in Computer Science. - Ali Jaoua; Gunther Schmidt 001 (Inf. Sci., 1999)

UniBw München. - Gunther Schmidt 001 (Softwaretechnik-Trends, 2000)

RelMiS 2001 - Preface. - Wolfram Kahl; David Lorge Parnas; Gunther Schmidt 001 (RelMiS, 2001)

A Necessary Relation Algebra for Mereotopology. - Ivo Düntsch; Gunther Schmidt 001; Michael Winter 001 (Stud Logica, 2001)

RelView and Rath - Two Systems for Dealing with Relations. - Rudolf Berghammer; Gunther Schmidt 001; Michael Winter 001 (Theory and Applications of Relational Structures as Knowledge Instruments, 2003)

Theory Extraction in Relational Data Analysis. - Gunther Schmidt 001 (Theory and Applications of Relational Structures as Knowledge Instruments, 2003)

Relational Data Analysis. - Gunther Schmidt 001 (RelMiCS, 2003)

Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. - Gunther Schmidt 001 (RelMiCS, 2006)

Relational Measures and Integration. - Gunther Schmidt 001 (RelMiCS, 2006)

Partiality I: Embedding relation algebras. - Gunther Schmidt 001 (J. Log. Algebraic Methods Program., 2006)

Algebraic Visualization of Relations Using RelView. - Rudolf Berghammer; Gunther Schmidt 001 (CASC, 2007)

Relations Making Their Way from Logics to Mathematics and Applied Sciences. - Gunther Schmidt 001 (RelMiCS, 2008)

Rectangles, Fringes, and Inverses. - Gunther Schmidt 001 (RelMiCS, 2008)

Relational measures and integration in preference modeling. - Gunther Schmidt 001; Rudolf Berghammer (J. Log. Algebraic Methods Program., 2008)

Contact Relations with Applications. - Gunther Schmidt 001; Rudolf Berghammer (RelMiCS, 2009)

Relational Mathematics - Gunther Schmidt 001 (Cambridge University Press, 2011)

Constructions around Partialities. - Gunther Schmidt 001 (RAMiCS, 2011)

Contact, closure, topology, and the linking of row and column types of relations. - Gunther Schmidt 001; Rudolf Berghammer (J. Log. Algebraic Methods Program., 2011)

Relational Concepts in Social Choice. - Gunther Schmidt 001 (RAMiCS, 2012)

Partiality II: Constructed relation algebras. - Gunther Schmidt 001 (J. Log. Algebraic Methods Program., 2012)

A Point-Free Relation-Algebraic Approach to General Topology. - Gunther Schmidt 001 (RAMiCS, 2014)

Relational Mathematics Continued. - Gunther Schmidt 001; Michael Winter 001 (CoRR, 2014)

Relational Topology. - Gunther Schmidt 001; Michael Winter 001 (Springer, 2018)

Cryptomorphic topological structures: A computational, relation-algebraic approach. - Rudolf Berghammer; Gunther Schmidt 001; Michael Winter 001 (J. Log. Algebraic Methods Program., 2019)

Rückblick auf die Anfänge der Münchner Informatik: Dokumente, Belege, Veröffentlichungen und Erinnerungen von früh und lange Beteiligten. - Gunther Schmidt 001 (Springer, 2020)

Manfred Paul (1932-2021). - Hans Langmaack; Gunther Schmidt 001 (Inform. Spektrum, 2022)

Mathematik als Wissenschaft in der Gesellschaft - Historische Äußerungen und aktuelle Anregungen. - Gunther Schmidt 001 (Springer Spektrum, 2023)