Gunther Schmidt

Publication Activity (10 Years)

Years Active: 1970-2022
Publications (10 Years): 2

Top Topics

Relational Queries

Spatial Reasoning

Top Venues

J. Log. Algebraic Methods Program.

Inform. Spektrum

Publications

Hans Langmaack, Gunther Schmidt
Manfred Paul (1932-2021). Inform. Spektrum 45 (1) (2022)
Rudolf Berghammer, Gunther Schmidt, Michael Winter
Cryptomorphic topological structures: A computational, relation-algebraic approach. J. Log. Algebraic Methods Program. 102 (2019)
Gunther Schmidt
A Point-Free Relation-Algebraic Approach to General Topology. RAMiCS (2014)
Gunther Schmidt, Michael Winter
Relational Mathematics Continued. CoRR (2014)
Gunther Schmidt
Relational Concepts in Social Choice. RAMiCS (2012)
Gunther Schmidt
Partiality II: Constructed relation algebras. J. Log. Algebraic Methods Program. 81 (6) (2012)
Gunther Schmidt, Rudolf Berghammer
Contact, closure, topology, and the linking of row and column types of relations. J. Log. Algebraic Methods Program. 80 (6) (2011)
Gunther Schmidt
Constructions around Partialities. RAMiCS (2011)
Gunther Schmidt, Rudolf Berghammer
Contact Relations with Applications. RelMiCS (2009)
Gunther Schmidt
Rectangles, Fringes, and Inverses. RelMiCS (2008)
Gunther Schmidt
Relations Making Their Way from Logics to Mathematics and Applied Sciences. RelMiCS (2008)
Gunther Schmidt, Rudolf Berghammer
Relational measures and integration in preference modeling. J. Log. Algebraic Methods Program. 76 (1) (2008)
Rudolf Berghammer, Gunther Schmidt
Algebraic Visualization of Relations Using RelView. CASC (2007)
Gunther Schmidt
Relational Measures and Integration. RelMiCS (2006)
Gunther Schmidt
Partiality I: Embedding relation algebras. J. Log. Algebraic Methods Program. 66 (2) (2006)
Gunther Schmidt
Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. RelMiCS (2006)
Gunther Schmidt
Relational Data Analysis. RelMiCS (2003)
Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
RelMiS 2001 - Preface. Electron. Notes Theor. Comput. Sci. 44 (3) (2001)
Ivo Düntsch, Gunther Schmidt, Michael Winter
A Necessary Relation Algebra for Mereotopology. Stud Logica 69 (3) (2001)
Gunther Schmidt
UniBw München. Softwaretechnik-Trends 20 (1) (2000)
Ali Jaoua, Gunther Schmidt
Relational Methods in Computer Science. Inf. Sci. 119 (3-4) (1999)
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)
Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
Prototyping Relational Specifications Using Higher-Order Objects. HOA (1993)
Rudolf Berghammer, Gunther Schmidt
RELVIEW - A Computer System for the Manipulation of Relations. AMAST (1993)
Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST (1993)
Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso
Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST (1993)
Rudolf Berghammer, Gunther Schmidt
The RELVIEW-System. STACS (1991)
Gunther Schmidt, Rudolf Berghammer, Hans Zierer
Describing Semantic Domains with Sprouts. Acta Informatica 27 (3) (1990)
Rudolf Berghammer, Gunther Schmidt, Hans Zierer
Symmetric Quotients and Domain Constructions. Inf. Process. Lett. 33 (3) (1989)
Gunther Schmidt, Rudolf Berghammer, Hans Zierer
Describing Semantic Domains with Sprouts. STACS (1987)
Hans Zierer, Gunther Schmidt, Rudolf Berghammer
An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. WG (1986)
Gunther Schmidt, Thomas Ströhlein
Relation algebras: Concept of points and representability. Discret. Math. 54 (1) (1985)
Rudolf Berghammer, Gunther Schmidt
Discrete ordering relations. Discret. Math. 43 (1) (1983)
Gunther Schmidt, Thomas Ströhlein
Kernels in Bipartite Graphs. WG (1982)
Rudolf Berghammer, Gunther Schmidt
A Relational View on Gotos and Dynamic Logic. WG (1982)
Gunther Schmidt
Programs as Partial Graphs I: Flow Equivalence and Correctness. Theor. Comput. Sci. 15 (1981)
Gunther Schmidt
Programs as Partial Graphs II: Recursion. Theor. Comput. Sci. 15 (1981)
Gunther Schmidt
Investigating Programs in Terms of Partial Graphs. WG (1980)
Gunther Schmidt, Thomas Ströhlein
Timetable Construction - An Annotated Bibliography. Comput. J. 23 (4) (1980)
Gunther Schmidt
Investigating Programs in Terms of Partial Graphs. ICALP (1979)
Gunther Schmidt, Thomas Ströhlein
Some Aspects in the Construction of Timetables. IFIP Congress (1974)
Gunther Schmidt
Shock waves of a continuous model of traffic flow. Computing 9 (4) (1972)
Gunther Schmidt
Ein kontinuierliches Modell für Kraftfahrzeugströmungen. Computing 6 (1-2) (1970)