Gunther Schmidt

According to our database, Gunther Schmidt authored at least 50 papers between 1970 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Manfred Paul (1932-2021).

Hans Langmaack, Gunther Schmidt

Inform. Spektrum, 2022

2020

Rückblick auf die Anfänge der Münchner Informatik: Dokumente, Belege, Veröffentlichungen und Erinnerungen von früh und lange Beteiligten.

Gunther Schmidt

Springer, ISBN: 978-3-658-28755-9, 2020

2019

Cryptomorphic topological structures: A computational, relation-algebraic approach.

Rudolf Berghammer, Gunther Schmidt, Michael Winter

J. Log. Algebraic Methods Program., 2019

2018

Relational Topology.

Gunther Schmidt, Michael Winter

Lecture Notes in Mathematics, Springer, ISBN: 978-3-319-74451-3, 2018

2014

Relational Mathematics Continued.

Gunther Schmidt, Michael Winter

CoRR, 2014

A Point-Free Relation-Algebraic Approach to General Topology.

Gunther Schmidt

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2012

Partiality II: Constructed relation algebras.

Gunther Schmidt

J. Log. Algebraic Methods Program., 2012

Relational Concepts in Social Choice.

Gunther Schmidt

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Contact, closure, topology, and the linking of row and column types of relations.

Gunther Schmidt, Rudolf Berghammer

J. Log. Algebraic Methods Program., 2011

Constructions around Partialities.

Gunther Schmidt

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Relational Mathematics

Gunther Schmidt

Encyclopedia of Mathematics and its Applications 132, Cambridge University Press, ISBN: 978-0-521-76268-7, 2011

2009

Contact Relations with Applications.

Gunther Schmidt, Rudolf Berghammer

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Relational measures and integration in preference modeling.

Gunther Schmidt, Rudolf Berghammer

J. Log. Algebraic Methods Program., 2008

Rectangles, Fringes, and Inverses.

Gunther Schmidt

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Relations Making Their Way from Logics to Mathematics and Applied Sciences.

Gunther Schmidt

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Algebraic Visualization of Relations Using RelView.

Rudolf Berghammer, Gunther Schmidt

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

2006

Partiality I: Embedding relation algebras.

Gunther Schmidt

J. Log. Algebraic Methods Program., 2006

Relational Measures and Integration.

Gunther Schmidt

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.

Gunther Schmidt

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2003

Relational Data Analysis.

Gunther Schmidt

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

Theory Extraction in Relational Data Analysis.

Gunther Schmidt

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

RelView and Rath - Two Systems for Dealing with Relations.

Rudolf Berghammer, Gunther Schmidt, Michael Winter

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2001

A Necessary Relation Algebra for Mereotopology.

Ivo Düntsch, Gunther Schmidt, Michael Winter

Stud Logica, 2001

RelMiS 2001 - Preface.

Wolfram Kahl, David Lorge Parnas, Gunther Schmidt

Proceedings of the First International Workshop on Relational Methods in Software, 2001

2000

UniBw München.

Gunther Schmidt

Softwaretechnik-Trends, 2000

1999

Relational Methods in Computer Science.

Ali Jaoua, Gunther Schmidt

Inf. Sci., 1999

1997

Background Material.

Peter Jipsen, Chris Brink, Gunther Schmidt

Proceedings of the Relational Methods in Computer Science., 1997

Heterogeneous Relation Algebra.

Gunther Schmidt, Claudia Hattensperger, Michael Winter

Proceedings of the Relational Methods in Computer Science., 1997

1993

Prototyping Relational Specifications Using Higher-Order Objects.

Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt

Proceedings of the Higher-Order Algebra, 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

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker.

Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

RELVIEW - A Computer System for the Manipulation of Relations.

Rudolf Berghammer, Gunther Schmidt

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Comparing Two Different Approaches to Products in Abstract Relation Algebra.

Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Relations and Graphs - Discrete Mathematics for Computer Scientists

Gunther Schmidt, Thomas Ströhlein

EATCS Monographs on Theoretical Computer Science, Springer, ISBN: 978-3-642-77968-8, 1993

1991

The RELVIEW-System.

Rudolf Berghammer, Gunther Schmidt

Proceedings of the STACS 91, 1991

1990

Describing Semantic Domains with Sprouts.

Gunther Schmidt, Rudolf Berghammer, Hans Zierer

Acta Informatica, 1990

1989

Symmetric Quotients and Domain Constructions.

Rudolf Berghammer, Gunther Schmidt, Hans Zierer

Inf. Process. Lett., 1989

Relationen und Graphen

Gunther Schmidt, Thomas Ströhlein

Mathematik für Informatiker, Springer, ISBN: 3-540-50304-8, 1989

1986

An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.

Hans Zierer, Gunther Schmidt, Rudolf Berghammer

Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986

1985

Relation algebras: Concept of points and representability.

Gunther Schmidt, Thomas Ströhlein

Discret. Math., 1985

1983

Discrete ordering relations.

Rudolf Berghammer, Gunther Schmidt

Discret. Math., 1983

1982

A Relational View on Gotos and Dynamic Logic.

Rudolf Berghammer, Gunther Schmidt

Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982

Kernels in Bipartite Graphs.

Gunther Schmidt, Thomas Ströhlein

Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982

1981

Programs as Partial Graphs II: Recursion.

Gunther Schmidt

Theor. Comput. Sci., 1981

Programs as Partial Graphs I: Flow Equivalence and Correctness.

Gunther Schmidt

Theor. Comput. Sci., 1981

1980

Timetable Construction - An Annotated Bibliography.

Gunther Schmidt, Thomas Ströhlein

Comput. J., 1980

1979

Investigating Programs in Terms of Partial Graphs.

Gunther Schmidt

Proceedings of the Automata, 1979

1974

Some Aspects in the Construction of Timetables.

Gunther Schmidt, Thomas Ströhlein

Proceedings of the Information Processing, 1974

1972

Shock waves of a continuous model of traffic flow.

Gunther Schmidt

Computing, 1972

1970

Ein kontinuierliches Modell für Kraftfahrzeugströmungen.

Gunther Schmidt

Computing, 1970