Gunther Schmidt - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 44 from 44

2014

A Point-Free Relation-Algebraic Approach to General TopologyGunther Schmidt. RelMiCS 2014: 226-241 [doi]

2012

Relational Concepts in Social ChoiceGunther Schmidt. RelMiCS 2012: 278-293 [doi]

Partiality II: Constructed relation algebrasGunther Schmidt. jlp, 81(6):660-679, 2012. [doi]

2011

Contact, closure, topology, and the linking of row and column types of relationsGunther Schmidt, Rudolf Berghammer. jlp, 80(6):339-361, 2011. [doi]

Constructions around PartialitiesGunther Schmidt. RelMiCS 2011: 314-330 [doi]

Relational MathematicsGunther Schmidt. Volume 132 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, 2011. [doi]

2009

Contact Relations with ApplicationsGunther Schmidt, Rudolf Berghammer. RelMiCS 2009: 306-321 [doi]

2008

Relational measures and integration in preference modelingGunther Schmidt, Rudolf Berghammer. jlp, 76(1):112-129, 2008. [doi]

Rectangles, Fringes, and InversesGunther Schmidt. RelMiCS 2008: 352-366 [doi]

Relations Making Their Way from Logics to Mathematics and Applied SciencesGunther Schmidt. RelMiCS 2008: 3 [doi]

2007

Algebraic Visualization of Relations Using RelViewRudolf Berghammer, Gunther Schmidt. cascon 2007: 58-72 [doi]

Development, Implementation and Application of the WebGIS MossMetRoland Pesch, Gunther Schmidt, Winfried Schröder, Christian Aden, Lukas Kleppin, Marcel Holy. In Arno Scharl, Klaus Tochtermann, editors, The Geospatial Web, How Geobrowsers, Social Software and the Web 2.0 are Shaping the Network Society. pages 191-200, Springer, 2007. [doi]

2006

Partiality I: Embedding relation algebrasGunther Schmidt. jlp, 66(2):212-238, 2006. [doi]

Homomorphism and Isomorphism Theorems Generalized from a Relational PerspectiveGunther Schmidt. RelMiCS 2006: 328-342 [doi]

Relational Measures and IntegrationGunther Schmidt. RelMiCS 2006: 343-357 [doi]

2003

RelView and Rath - Two Systems for Dealing with RelationsRudolf Berghammer, Gunther Schmidt, Michael Winter. RelMiCS 2003: 1-16 [doi]

Theory Extraction in Relational Data AnalysisGunther Schmidt. RelMiCS 2003: 68-86 [doi]

Relational Data AnalysisGunther Schmidt. RelMiCS 2004: 227-237 [doi]

2001

A Necessary Relation Algebra for MereotopologyIvo Düntsch, Gunther Schmidt, Michael Winter. sLogica, 69(3):381-409, 2001.

RelMiS 2001 - PrefaceWolfram Kahl, David Lorge Parnas, Gunther Schmidt. ENTCS, 44(3):221-223, 2001. [doi]

2000

UniBw MünchenGunther Schmidt. stt, 20(1), 2000.

1999

Relational Methods in Computer ScienceAli Jaoua, Gunther Schmidt. isci, 119(3-4):131-133, 1999.

1993

Prototyping Relational Specifications Using Higher-Order ObjectsRudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt. hoa 1994: 56-75

RELVIEW - A Computer System for the Manipulation of RelationsRudolf Berghammer, Gunther Schmidt. amast 1994: 403-404

Comparing Two Different Approaches to Products in Abstract Relation AlgebraRudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso. amast 1994: 167-176

On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving QuantifiersArmando Martin Haeberer, Gabriel Baum, Gunther Schmidt. ershov 1993: 281-298

RALF - A Relation-Algebraic Formula Manipulation System and Proof CheckerClaudia Hattensperger, Rudolf Berghammer, Gunther Schmidt. amast 1994: 405-406

Relations and Graphs - Discrete Mathematics for Computer ScientistsGunther Schmidt, Thomas Ströhlein. EATCS Monographs on Theoretical Computer Science, Springer, 1993.

1991

The RELVIEW-SystemRudolf Berghammer, Gunther Schmidt. STACS 1991: 535-536

1989

Symmetric Quotients and Domain ConstructionsRudolf Berghammer, Gunther Schmidt, Hans Zierer. ipl, 33(3):163-168, 1989.

Describing Semantic Domains with SproutsGunther Schmidt, Rudolf Berghammer, Hans Zierer. ACTA, 27(3):217-245, 1989.

Relationen und GraphenGunther Schmidt, Thomas Ströhlein. Mathematik für Informatiker, Springer, 1989.

1987

Describing Semantic Domains with SproutsGunther Schmidt, Rudolf Berghammer, Hans Zierer. STACS 1987: 299-310

1986

An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational AlgebraHans Zierer, Gunther Schmidt, Rudolf Berghammer. criwg 1987: 68-81

1985

Relation algebras: Concept of points and representabilityGunther Schmidt, Thomas Ströhlein. DM, 54(1):83-92, 1985. [doi]

1983

Discrete ordering relationsRudolf Berghammer, Gunther Schmidt. DM, 43(1):1-7, 1983. [doi]

1981

Programs as Partial Graphs I: Flow Equivalence and CorrectnessGunther Schmidt. TCS, 15:1-25, 1981.

Programs as Partial Graphs II: RecursionGunther Schmidt. TCS, 15:159-179, 1981.

1980

Investigating Programs in Terms of Partial GraphsGunther Schmidt. criwg 1981: 268-269

Timetable Construction - An Annotated BibliographyGunther Schmidt, Thomas Ströhlein. cj, 23(4):307-316, 1980.

1979

Investigating Programs in Terms of Partial GraphsGunther Schmidt. icalp 1979: 505-519

1974

Some Aspects in the Construction of TimetablesGunther Schmidt, Thomas Ströhlein. ifip 1974: 516-520

1972

Shock waves of a continuous model of traffic flowGunther Schmidt. computing, 9(4):365-381, 1972. [doi]

1970

Ein kontinuierliches Modell für KraftfahrzeugströmungenGunther Schmidt. computing, 6(1-2):107-120, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL