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

2008
39	EE	Gunther Schmidt: Relations Making Their Way from Logics to Mathematics and Applied Sciences. RelMiCS 2008: 3
38	EE	Gunther Schmidt: Rectangles, Fringes, and Inverses. RelMiCS 2008: 352-366
37	EE	Gunther Schmidt, Rudolf Berghammer: Relational measures and integration in preference modeling. J. Log. Algebr. Program. 76(1): 112-129 (2008)
2007
36	EE	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	EE	Gunther Schmidt: Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. RelMiCS 2006: 328-342
33	EE	Gunther Schmidt: Relational Measures and Integration. RelMiCS 2006: 343-357
32	EE	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	EE	Gunther Schmidt: Relational Data Analysis. RelMiCS 2003: 227-237
29	EE	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	EE	Gunther Schmidt: Theory Extraction in Relational Data Analysis. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 68-86
2001
27	EE	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	EE	Gunther Schmidt, Thomas Ströhlein: Relation algebras: Concept of points and representability. Discrete Mathematics 54(1): 83-92 (1985)
1983
7	EE	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]
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