Gunther Schmidt

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

other persons with the same name:

• Gunther Schmidt - Weierstrass Institute for Applied Analysis and Stochastics, Berlin, Germany

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

Coauthor Index

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

Colors in the list of coauthors