Gunther Schmidt

60 papers A* 1A 2B 8C 3Journal 19Unranked 13

Year	Rank	Type	Title / Venue / Authors
2023	—	`book`	Mathematik als Wissenschaft in der Gesellschaft - Historische Äußerungen und aktuelle Anregungen. Gunther Schmidt
2022	J	`jnl`	Manfred Paul (1932-2021). Inform. Spektrum Hans Langmaack, Gunther Schmidt
2020	—	`book`	Rückblick auf die Anfänge der Münchner Informatik: Dokumente, Belege, Veröffentlichungen und Erinnerungen von früh und lange Beteiligten. Gunther Schmidt
2019	J	`jnl`	Cryptomorphic topological structures: A computational, relation-algebraic approach. J. Log. Algebraic Methods Program. Rudolf Berghammer, Gunther Schmidt, Michael Winter
2018	—	`book`	Relational Topology. Gunther Schmidt, Michael Winter
2014	C	`conf`	A Point-Free Relation-Algebraic Approach to General Topology. RAMiCS Gunther Schmidt
2014	J	`jnl`	Relational Mathematics Continued. CoRR Gunther Schmidt, Michael Winter
2012	J	`jnl`	Partiality II: Constructed relation algebras. J. Log. Algebraic Methods Program. Gunther Schmidt
2012	C	`conf`	Relational Concepts in Social Choice. RAMiCS Gunther Schmidt
2011	C	`conf`	Constructions around Partialities. RAMiCS Gunther Schmidt
2011	J	`jnl`	Contact, closure, topology, and the linking of row and column types of relations. J. Log. Algebraic Methods Program. Gunther Schmidt, Rudolf Berghammer
2011	—	`book`	Relational Mathematics Gunther Schmidt
2009	—	`conf`	Contact Relations with Applications. RelMiCS Gunther Schmidt, Rudolf Berghammer
2008	—	`conf`	Rectangles, Fringes, and Inverses. RelMiCS Gunther Schmidt
2008	J	`jnl`	Relational measures and integration in preference modeling. J. Log. Algebraic Methods Program. Gunther Schmidt, Rudolf Berghammer
2008	—	`conf`	Relations Making Their Way from Logics to Mathematics and Applied Sciences. RelMiCS Gunther Schmidt
2007	B	`conf`	Algebraic Visualization of Relations Using RelView. CASC Rudolf Berghammer, Gunther Schmidt
2006	—	`conf`	Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. RelMiCS Gunther Schmidt
2006	J	`jnl`	Partiality I: Embedding relation algebras. J. Log. Algebraic Methods Program. Gunther Schmidt
2006	—	`conf`	Relational Measures and Integration. RelMiCS Gunther Schmidt
2006	—	`book`	Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers Theory and Applications of Relational Structures as Knowledge Instruments Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
2003	—	`ch.`	RelView and Rath - Two Systems for Dealing with Relations. Theory and Applications of Relational Structures as Knowledge Instruments Rudolf Berghammer, Gunther Schmidt, Michael Winter
2003	—	`conf`	Relational Data Analysis. RelMiCS Gunther Schmidt
2003	—	`ch.`	Theory Extraction in Relational Data Analysis. Theory and Applications of Relational Structures as Knowledge Instruments Gunther Schmidt
2003	—	`book`	Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers Theory and Applications of Relational Structures as Knowledge Instruments Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
2001	J	`jnl`	A Necessary Relation Algebra for Mereotopology. Stud Logica Ivo Düntsch, Gunther Schmidt, Michael Winter
2001	—	`ed.`	First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001 RelMiS Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
2001	—	`conf`	RelMiS 2001 - Preface. RelMiS Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
2000	J	`jnl`	UniBw München. Softwaretechnik-Trends Gunther Schmidt
1999	J	`jnl`	Relational Methods in Computer Science. Inf. Sci. Ali Jaoua, Gunther Schmidt
1997	—	`ch.`	Background Material. Relational Methods in Computer Science Peter Jipsen, Chris Brink, Gunther Schmidt
1997	—	`ch.`	Heterogeneous Relation Algebra. Relational Methods in Computer Science Gunther Schmidt, Claudia Hattensperger, Michael Winter
1997	—	`book`	Relational Methods in Computer Science. Chris Brink, Wolfram Kahl, Gunther Schmidt
1995	B	`ed.`	Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings WG Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer
1993	—	`conf`	Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso
1993	—	`conf`	On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. Formal Methods in Programming and Their Applications Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
1993	—	`conf`	Prototyping Relational Specifications Using Higher-Order Objects. HOA Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
1993	—	`conf`	RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt
1993	—	`conf`	RELVIEW - A Computer System for the Manipulation of Relations. AMAST Rudolf Berghammer, Gunther Schmidt
1993	—	`book`	Relations and Graphs - Discrete Mathematics for Computer Scientists Gunther Schmidt, Thomas Ströhlein
1992	B	`ed.`	17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings WG Gunther Schmidt, Rudolf Berghammer
1991	A	`conf`	The RELVIEW-System. STACS Rudolf Berghammer, Gunther Schmidt
1990	J	`jnl`	Describing Semantic Domains with Sprouts. Acta Informatica Gunther Schmidt, Rudolf Berghammer, Hans Zierer
1989	—	`book`	Relationen und Graphen Gunther Schmidt, Thomas Ströhlein
1989	J	`jnl`	Symmetric Quotients and Domain Constructions. Inf. Process. Lett. Rudolf Berghammer, Gunther Schmidt, Hans Zierer
1987	A	`conf`	Describing Semantic Domains with Sprouts. STACS Gunther Schmidt, Rudolf Berghammer, Hans Zierer
1987	B	`ed.`	Graphtheoretic Concepts in Computer Science, International Workshop, WG '86, Bernried, Germany, June 17-19, 1986, Proceedings WG Gottfried Tinhofer, Gunther Schmidt
1986	B	`conf`	An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. WG Hans Zierer, Gunther Schmidt, Rudolf Berghammer
1985	J	`jnl`	Relation algebras: Concept of points and representability. Discret. Math. Gunther Schmidt, Thomas Ströhlein
1983	J	`jnl`	Discrete ordering relations. Discret. Math. Rudolf Berghammer, Gunther Schmidt
1982	B	`conf`	A Relational View on Gotos and Dynamic Logic. WG Rudolf Berghammer, Gunther Schmidt
1982	B	`conf`	Kernels in Bipartite Graphs. WG Gunther Schmidt, Thomas Ströhlein
1981	J	`jnl`	Programs as Partial Graphs I: Flow Equivalence and Correctness. Theor. Comput. Sci. Gunther Schmidt
1981	J	`jnl`	Programs as Partial Graphs II: Recursion. Theor. Comput. Sci. Gunther Schmidt
1980	B	`conf`	Investigating Programs in Terms of Partial Graphs. WG Gunther Schmidt
1980	J	`jnl`	Timetable Construction - An Annotated Bibliography. Comput. J. Gunther Schmidt, Thomas Ströhlein
1979	A*	`conf`	Investigating Programs in Terms of Partial Graphs. ICALP Gunther Schmidt
1974	—	`conf`	Some Aspects in the Construction of Timetables. IFIP Congress Gunther Schmidt, Thomas Ströhlein
1972	J	`jnl`	Shock waves of a continuous model of traffic flow. Computing Gunther Schmidt
1970	J	`jnl`	Ein kontinuierliches Modell für Kraftfahrzeugströmungen. Computing Gunther Schmidt