Gunther Schmidt Home Page Coauthor index DBLP Vis pubzone.org

Institute for Software Technology, Neubiberg (near Munich), Germany

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Rudolf Berghammer: Contact Relations with Applications. RelMiCS 2009: 306-321
2008
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Relations Making Their Way from Logics to Mathematics and Applied Sciences. RelMiCS 2008: 3
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Rectangles, Fringes, and Inverses. RelMiCS 2008: 352-366
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Rudolf Berghammer: Relational measures and integration in preference modeling. J. Log. Algebr. Program. 76(1): 112-129 (2008)
2007
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Gunther Schmidt: Algebraic Visualization of Relations Using RelView. CASC 2007: 58-72
2006
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens: Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers Springer 2006
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. RelMiCS 2006: 328-342
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Relational Measures and Integration. RelMiCS 2006: 343-357
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Partiality I: Embedding relation algebras. J. Log. Algebr. Program. 66(2): 212-238 (2006)
2003
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens: Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers Springer 2003
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Relational Data Analysis. RelMiCS 2003: 227-237
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Gunther Schmidt, Michael Winter: RelView and Rath - Two Systems for Dealing with Relations. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 1-16
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Theory Extraction in Relational Data Analysis. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 68-86
2001
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfram Kahl, David Lorge Parnas, Gunther Schmidt: RelMiS 2001 - Preface. Electr. Notes Theor. Comput. Sci. 44(3): (2001)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Gunther Schmidt, Michael Winter: A Necessary Relation Algebra for Mereotopology. Studia Logica 69(3): 381-409 (2001)
2000
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: UniBw München. Softwaretechnik-Trends 20(1): (2000)
1999
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Jaoua, Gunther Schmidt: Relational Methods in Computer Science. Inf. Sci. 119(3-4): 131-133 (1999)
1995
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst W. Mayr, Gunther Schmidt, Gottfried Tinhofer: Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings Springer 1995
1993
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Thomas Ströhlein: Relations and Graphs - Discrete Mathematics for Computer Scientists Springer 1993
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso: Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST 1993: 167-176
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Gunther Schmidt: RELVIEW - A Computer System for the Manipulation of Relations. AMAST 1993: 403-404
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Hattensperger, Rudolf Berghammer, Gunther Schmidt: RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST 1993: 405-406
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando 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: 281-298
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt: Prototyping Relational Specifications Using Higher-Order Objects. HOA 1993: 56-75
1992
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Rudolf Berghammer: 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings Springer 1992
1991
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Gunther Schmidt: The RELVIEW-System. STACS 1991: 535-536
1989
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Thomas Ströhlein: Relationen und Graphen Springer 1989
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Rudolf Berghammer, Hans Zierer: Describing Semantic Domains with Sprouts. Acta Inf. 27(3): 217-245 (1989)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Gunther Schmidt, Hans Zierer: Symmetric Quotients and Domain Constructions. Inf. Process. Lett. 33(3): 163-168 (1989)
1987
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGottfried Tinhofer, Gunther Schmidt: Graphtheoretic Concepts in Computer Science, International Workshop, WG '86, Bernried, Germany, June 17-19, 1986, Proceedings Springer 1987
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Rudolf Berghammer, Hans Zierer: Describing Semantic Domains with Sprouts. STACS 1987: 299-310
1986
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Zierer, Gunther Schmidt, Rudolf Berghammer: An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. WG 1986: 68-81
1985
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Thomas Ströhlein: Relation algebras: Concept of points and representability. Discrete Mathematics 54(1): 83-92 (1985)
1983
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Gunther Schmidt: Discrete ordering relations. Discrete Mathematics 43(1): 1-7 (1983)
1981
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Programs as Partial Graphs I: Flow Equivalence and Correctness. Theor. Comput. Sci. 15: 1-25 (1981)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Programs as Partial Graphs II: Recursion. Theor. Comput. Sci. 15: 159-179 (1981)
1980
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Investigating Programs in Terms of Partial Graphs. WG 1980: 268-269
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Thomas Ströhlein: Timetable Construction - An Annotated Bibliography. Comput. J. 23(4): 307-316 (1980)
1979
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt: Investigating Programs in Terms of Partial Graphs. ICALP 1979: 505-519
1974
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunther Schmidt, Thomas Ströhlein: Some Aspects in the Construction of Timetables. IFIP Congress 1974: 516-520

Coauthor Index

1Gabriel Baum (Gabriel A. Baum) [18]
2Rudolf Berghammer [7] [9] [10] [12] [13] [15] [16] [17] [19] [20] [21] [29] [36] [37] [40]
3Ivo Düntsch [26]
4Thomas F. Gritzner [17]
5Armando Martin Haeberer [18] [21]
6Claudia Hattensperger [19]
7Ali Jaoua [24]
8Wolfram Kahl [27]
9Ernst W. Mayr [23]
10Ewa Orlowska [31] [35]
11David Lorge Parnas [27]
12Marc Roubens [31] [35]
13Thomas Ströhlein [1] [3] [8] [14] [22]
14Harrie C. M. de Swart [31] [35]
15Gottfried Tinhofer [11] [23]
16Paulo A. S. Veloso [21]
17Michael Winter [26] [29]
18Hans Zierer [9] [10] [12] [13]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)