Gunther Schmidt

According to our database1, Gunther Schmidt
  • authored at least 44 papers between 1970 and 2014.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2014
Relational Mathematics Continued.
CoRR, 2014

A Point-Free Relation-Algebraic Approach to General Topology.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2012
Partiality II: Constructed relation algebras.
J. Log. Algebr. Program., 2012

Relational Concepts in Social Choice.
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.
J. Log. Algebr. Program., 2011

Constructions around Partialities.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

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

2009
Contact Relations with Applications.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Relational measures and integration in preference modeling.
J. Log. Algebr. Program., 2008

Rectangles, Fringes, and Inverses.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Relations Making Their Way from Logics to Mathematics and Applied Sciences.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007
Algebraic Visualization of Relations Using RelView.
Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

2006
Partiality I: Embedding relation algebras.
J. Log. Algebr. Program., 2006

Relational Measures and Integration.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2003
Relational Data Analysis.
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.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

RelView and Rath - Two Systems for Dealing with Relations.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2001
A Necessary Relation Algebra for Mereotopology.
Studia Logica, 2001

RelMiS 2001 - Preface.
Electr. Notes Theor. Comput. Sci., 2001

2000
UniBw München.
Softwaretechnik-Trends, 2000

1999
Relational Methods in Computer Science.
Inf. Sci., 1999

1993
Prototyping Relational Specifications Using Higher-Order Objects.
Proceedings of the Higher-Order Algebra, 1993

On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.
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.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

RELVIEW - A Computer System for the Manipulation of Relations.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Comparing Two Different Approaches to Products in Abstract Relation Algebra.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Relations and Graphs - Discrete Mathematics for Computer Scientists
EATCS Monographs on Theoretical Computer Science, Springer, ISBN: 978-3-642-77968-8, 1993

1991
The RELVIEW-System.
Proceedings of the STACS 91, 1991

1990
Describing Semantic Domains with Sprouts.
Acta Inf., 1990

1989
Symmetric Quotients and Domain Constructions.
Inf. Process. Lett., 1989

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

1987
Describing Semantic Domains with Sprouts.
Proceedings of the STACS 87, 1987

1986
An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.
Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986

1985
Relation algebras: Concept of points and representability.
Discrete Mathematics, 1985

1983
Discrete ordering relations.
Discrete Mathematics, 1983

1981
Programs as Partial Graphs II: Recursion.
Theor. Comput. Sci., 1981

Programs as Partial Graphs I: Flow Equivalence and Correctness.
Theor. Comput. Sci., 1981

1980
Timetable Construction - An Annotated Bibliography.
Comput. J., 1980

Investigating Programs in Terms of Partial Graphs.
Proceedings of the Graphtheoretic Concepts in Computer Science, 1980

1979
Investigating Programs in Terms of Partial Graphs.
Proceedings of the Automata, 1979

1974
Some Aspects in the Construction of Timetables.
IFIP Congress, 1974

1972
Shock waves of a continuous model of traffic flow.
Computing, 1972

1970
Ein kontinuierliches Modell für Kraftfahrzeugströmungen.
Computing, 1970


  Loading...