×
Compute Distance To:
Author ID: schmidt.gunther.1 Recent zbMATH articles by "Schmidt, Gunther"
Published as: Schmidt, Gunther; Schmidt, G.
Homepage: http://www.unibw.de/inf2/Personen/Professoren/schmidt
External Links: MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 44 Publications since 1970, including 6 Books
9 Contributions as Editor
Reviewing Activity: 44 Reviews
Biographic References: 2 Publications
Co-Authors: 19 Co-Authors with 35 Joint Publications
455 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 308 times in 172 Documents Cited by Year
Relations and graphs. Discrete mathematics for computer scientists. Zbl 0900.68328
Schmidt, Gunther; Ströhlein, Thomas
62
1993
Relation algebras: Concept of points and representability. Zbl 0575.03040
Schmidt, G.; Ströhlein, T.
24
1985
Relationen und Graphen. (Relations and graphs). Zbl 0705.68083
Schmidt, Gunther; Ströhlein, Thomas
24
1989
Relational mathematics. Zbl 1214.06001
Schmidt, Gunther
24
2011
Relational methods in computer science. Zbl 0871.00027
19
1997
Heterogeneous relation algebra. Zbl 0961.03061
Schmidt, Gunther; Hattensperger, Claudia; Winter, Michael
18
1997
Programs as partial graphs. I: Flow equivalence and correctness. Zbl 0493.68015
Schmidt, Gunther
16
1981
Kernels in bipartite graphs. Zbl 0581.05026
Schmidt, G.; Ströhlein, T.
12
1982
Symmetric quotients and domain constructions. Zbl 0689.68095
Berghammer, Rudolf; Schmidt, Gunther; Zierer, Hans
11
1989
A necessary relation algebra for mereotopology. Zbl 0993.03086
Düntsch, Ivo; Schmidt, Gunther; Winter, Michael
7
2001
Rectangles, fringes, and inverses. Zbl 1139.03047
Schmidt, Gunther
6
2008
Programs as partial graphs. II: Recursion. Zbl 0493.68016
Schmidt, Gunther
6
1981
Relational specifications. Zbl 0791.68104
Berghammer, Rudolf; Schmidt, Gunther
6
1993
Partiality. I: Embedding relation algebras. Zbl 1086.68093
Schmidt, Gunther
5
2006
Contact, closure, topology, and the linking of row and column types of relations. Zbl 1231.03058
Schmidt, Gunther; Berghammer, Rudolf
5
2011
On kernels of graphs and solutions of games: A synopsis based on relations and fixpoints. Zbl 0554.05032
Schmidt, Gunther; Ströhlein, Thomas
4
1985
Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002–2005. Selected revised papers. Zbl 1151.68001
4
2006
Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. Zbl 1029.00017
4
2003
A Boolean matrix iteration in timetable construction. Zbl 0358.94049
Schmidt, Gunther; Ströhlein, Thomas
4
1976
Programme als partielle Graphen. Zbl 0399.68016
Schmidt, Gunther
4
1978
Relational measures and integration in preference modeling. Zbl 1140.68495
Schmidt, Gunther; Berghammer, Rudolf
3
2008
A point-free relation-algebraic approach to general topology. Zbl 1405.68089
Schmidt, Gunther
3
2014
Relational concepts in social choice. Zbl 1364.91051
Schmidt, Gunther
3
2012
Klassen unwesentlich verschiedener Ableitungen als Verbände. Zbl 0209.31003
Langmaack, H.; Schmidt, G.
3
1970
Relation algebra and logic of programs. Zbl 0749.03016
Berghammer, Rudolf; Kempf, Peter; Schmidt, Gunther; Ströhlein, Thomas
3
1991
RelView and Rath – two systems for dealing with relations. Zbl 1203.68319
Berghammer, Rudolf; Schmidt, Gunther; Winter, Michael
3
2003
Describing semantic domains with sprouts. Zbl 0612.68016
Schmidt, Gunther; Berghammer, Rudolf; Zierer, Hans
2
1987
Homomorphism and isomorphism theorems generalized from a relational perspective. Zbl 1135.08002
Schmidt, Gunther
2
2006
Describing semantic domains with sprouts. Zbl 0681.68100
Schmidt, Gunther; Berghammer, Rudolf; Zierer, Hans
2
1989
Graph-theoretic concepts in computer science. 20th International Workshop. WG ’94, Herrsching, Germany, June 16-18, 1994. Proceedings. Zbl 0813.68031
2
1995
Relational topology. Zbl 1411.54001
Schmidt, Gunther; Winter, Michael
2
2018
The RELVIEW-system. Zbl 0800.68963
Berghammer, Rudolf; Schmidt, Gunther
2
1991
Constructions around partialities. Zbl 1329.03096
Schmidt, Gunther
2
2011
Some aspects in the construction of timetables. Zbl 0301.90027
Schmidt, G.; Ströhlein, Th.
2
1974
Graph-theoretic concepts in computer science. International Workshop WG ’86, Bernried, Federal Republic of Germany, June, 17-19, 1986. Proceedings. Zbl 0619.00022
1
1987
Partiality. II: Constructed relation algebras. Zbl 1255.03056
Schmidt, Gunther
1
2012
Relational measures and integration. Zbl 1134.68556
Schmidt, Gunther
1
2006
Algebraic visualization of relations using RelView. Zbl 1141.68672
Berghammer, Rudolf; Schmidt, Gunther
1
2007
Discrete ordering relations. Zbl 0499.06005
Berghammer, R.; Schmidt, G.
1
1983
Theoretical foundations of programming methodology. Lecture Notes of an International Summer School (Marktoberdorf, Germany 1981), directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare. Zbl 0507.00015
1
1982
Background material to: “Relational methods in computer science”. Zbl 0879.08006
Jipsen, Peter; Brink, Chris; Schmidt, Gunther
1
1997
Graph-theoretic concepts in computer science. 17th International Workshop, WG ’91, Fischbachau, Germany, June 17-19, 1991. Proceedings. Zbl 0759.00014
1
1992
Eine relationenalgebraische Auffassung der Graphentheorie. Zbl 0374.02036
Schmidt, Gunther
1
1976
Relational topology. Zbl 1411.54001
Schmidt, Gunther; Winter, Michael
2
2018
A point-free relation-algebraic approach to general topology. Zbl 1405.68089
Schmidt, Gunther
3
2014
Relational concepts in social choice. Zbl 1364.91051
Schmidt, Gunther
3
2012
Partiality. II: Constructed relation algebras. Zbl 1255.03056
Schmidt, Gunther
1
2012
Relational mathematics. Zbl 1214.06001
Schmidt, Gunther
24
2011
Contact, closure, topology, and the linking of row and column types of relations. Zbl 1231.03058
Schmidt, Gunther; Berghammer, Rudolf
5
2011
Constructions around partialities. Zbl 1329.03096
Schmidt, Gunther
2
2011
Rectangles, fringes, and inverses. Zbl 1139.03047
Schmidt, Gunther
6
2008
Relational measures and integration in preference modeling. Zbl 1140.68495
Schmidt, Gunther; Berghammer, Rudolf
3
2008
Algebraic visualization of relations using RelView. Zbl 1141.68672
Berghammer, Rudolf; Schmidt, Gunther
1
2007
Partiality. I: Embedding relation algebras. Zbl 1086.68093
Schmidt, Gunther
5
2006
Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002–2005. Selected revised papers. Zbl 1151.68001
4
2006
Homomorphism and isomorphism theorems generalized from a relational perspective. Zbl 1135.08002
Schmidt, Gunther
2
2006
Relational measures and integration. Zbl 1134.68556
Schmidt, Gunther
1
2006
Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. Zbl 1029.00017
4
2003
RelView and Rath – two systems for dealing with relations. Zbl 1203.68319
Berghammer, Rudolf; Schmidt, Gunther; Winter, Michael
3
2003
A necessary relation algebra for mereotopology. Zbl 0993.03086
Düntsch, Ivo; Schmidt, Gunther; Winter, Michael
7
2001
Relational methods in computer science. Zbl 0871.00027
19
1997
Heterogeneous relation algebra. Zbl 0961.03061
Schmidt, Gunther; Hattensperger, Claudia; Winter, Michael
18
1997
Background material to: “Relational methods in computer science”. Zbl 0879.08006
Jipsen, Peter; Brink, Chris; Schmidt, Gunther
1
1997
Graph-theoretic concepts in computer science. 20th International Workshop. WG ’94, Herrsching, Germany, June 16-18, 1994. Proceedings. Zbl 0813.68031
2
1995
Relations and graphs. Discrete mathematics for computer scientists. Zbl 0900.68328
Schmidt, Gunther; Ströhlein, Thomas
62
1993
Relational specifications. Zbl 0791.68104
Berghammer, Rudolf; Schmidt, Gunther
6
1993
Graph-theoretic concepts in computer science. 17th International Workshop, WG ’91, Fischbachau, Germany, June 17-19, 1991. Proceedings. Zbl 0759.00014
1
1992
Relation algebra and logic of programs. Zbl 0749.03016
Berghammer, Rudolf; Kempf, Peter; Schmidt, Gunther; Ströhlein, Thomas
3
1991
The RELVIEW-system. Zbl 0800.68963
Berghammer, Rudolf; Schmidt, Gunther
2
1991
Relationen und Graphen. (Relations and graphs). Zbl 0705.68083
Schmidt, Gunther; Ströhlein, Thomas
24
1989
Symmetric quotients and domain constructions. Zbl 0689.68095
Berghammer, Rudolf; Schmidt, Gunther; Zierer, Hans
11
1989
Describing semantic domains with sprouts. Zbl 0681.68100
Schmidt, Gunther; Berghammer, Rudolf; Zierer, Hans
2
1989
Describing semantic domains with sprouts. Zbl 0612.68016
Schmidt, Gunther; Berghammer, Rudolf; Zierer, Hans
2
1987
Graph-theoretic concepts in computer science. International Workshop WG ’86, Bernried, Federal Republic of Germany, June, 17-19, 1986. Proceedings. Zbl 0619.00022
1
1987
Relation algebras: Concept of points and representability. Zbl 0575.03040
Schmidt, G.; Ströhlein, T.
24
1985
On kernels of graphs and solutions of games: A synopsis based on relations and fixpoints. Zbl 0554.05032
Schmidt, Gunther; Ströhlein, Thomas
4
1985
Discrete ordering relations. Zbl 0499.06005
Berghammer, R.; Schmidt, G.
1
1983
Kernels in bipartite graphs. Zbl 0581.05026
Schmidt, G.; Ströhlein, T.
12
1982
Theoretical foundations of programming methodology. Lecture Notes of an International Summer School (Marktoberdorf, Germany 1981), directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare. Zbl 0507.00015
1
1982
Programs as partial graphs. I: Flow equivalence and correctness. Zbl 0493.68015
Schmidt, Gunther
16
1981
Programs as partial graphs. II: Recursion. Zbl 0493.68016
Schmidt, Gunther
6
1981
Programme als partielle Graphen. Zbl 0399.68016
Schmidt, Gunther
4
1978
A Boolean matrix iteration in timetable construction. Zbl 0358.94049
Schmidt, Gunther; Ströhlein, Thomas
4
1976
Eine relationenalgebraische Auffassung der Graphentheorie. Zbl 0374.02036
Schmidt, Gunther
1
1976
Some aspects in the construction of timetables. Zbl 0301.90027
Schmidt, G.; Ströhlein, Th.
2
1974
Klassen unwesentlich verschiedener Ableitungen als Verbände. Zbl 0209.31003
Langmaack, H.; Schmidt, G.
3
1970
all top 5

Cited by 153 Authors

31 Berghammer, Rudolf
14 Winter, Michael
13 Guttmann, Walter
11 Möller, Bernhard
11 Schmidt, Gunther
9 Desharnais, Jules
9 Furusawa, Hitoshi
9 Kawahara, Yasuo
5 Bělohlávek, Radim
5 de Swart, Harrie C. M.
5 Höfner, Peter
5 Rusinowska, Agnieszka
5 Stucke, Insa
5 Trnecka, Martin
4 Jaoua, Ali Mohamed
4 Kahl, Wolfram
4 Mili, Ali
4 Oliveira, José Nuno
4 Omodeo, Eugenio Giovanni
4 Struth, Georg
3 Dang, Han-Hing
3 Fischer, Sebastian
3 Glück, Roland
3 Maddux, Roger D.
3 Roocks, Patrick
3 Ströhlein, Thomas
3 Tchier, Fairouz
3 Zierer, Hans
2 Andréka, Hajnal
2 Bolus, Stefan
2 Braßel, Bernd
2 Chentsov, Aleksandr Georgievich
2 de Freitas, Renata P.
2 Doberkat, Ernst-Erich
2 Düntsch, Ivo
2 Formisano, Andrea
2 Givant, Steven R.
2 Grigor’ev, Alekseĭ Mikhaĭlovich
2 Gritzner, Thomas F.
2 Joosten, Stef Maria Mathias
2 Kehden, Britta
2 Li, Sanjiang
2 Mormann, Thomas
2 Németi, István
2 Outrata, Jan
2 Pfaltz, John L.
2 Tangian, Andranik S.
2 Temperini, Marco
2 Tsumagari, Norihiro
2 Veloso, Paulo Augusto S.
2 Veloso, Sheila R. M.
2 Viana, Petrucio
1 Al Otaibi, Jameela
1 Alain, Mathieu
1 Alaoui, Assia
1 Armstrong, Alasdair
1 Atampore, Francis
1 Backhouse, Roland C.
1 Baker, Kirby A.
1 Banach, Richard
1 Banerjee, Amitayu
1 Bašić, Milan
1 Belkhiter, Nadir
1 Ben Mohamed Sghaier, Salah
1 Bennett, Brandon
1 Bisdorff, Raymond
1 Boudriga, Noureddine A.
1 Boulifa, Bilel
1 Brink, Chris
1 Britz, Katarina
1 Brunet, Paul
1 Chazelle, Bernard
1 Chen, Zhizhong
1 Chentsov, Alekseĭ Aleksandrovich
1 Christiansen, Jan
1 Ćirić, Miroslav D.
1 Cristiá, Maximiliano
1 Damljanović, Nada
1 Danilenko, Nikita
1 de Carufel, Jean-Lou
1 Deussen, Peter H.
1 Diallo, Nafi
1 Dimov, Georgi D.
1 Doornbos, Henk
1 Dosch, Walter
1 Došen, Kosta
1 Dougherty, Daniel J.
1 Elloumi, Samir
1 Feijs, Loe M. G.
1 Fronk, Alexander
1 Gammoudi, Mohamed Mohsen
1 Ghardallou, Wided
1 Grinenko, Anastasiya
1 Guitart, René
1 Gutiérrez, Claudio
1 Hattensperger, Claudia
1 Hedetniemi, Stephen Travis
1 Hirsch, Robin
1 Hoare, C. A. R. Tony
1 Ignjatović, Jelena
...and 53 more Authors
all top 5

Cited in 39 Serials

36 Journal of Logical and Algebraic Methods in Programming
18 Theoretical Computer Science
18 The Journal of Logic and Algebraic Programming
8 European Journal of Operational Research
7 Fuzzy Sets and Systems
7 Information Sciences
6 Acta Informatica
5 Discrete Mathematics
4 Information Processing Letters
2 Artificial Intelligence
2 Journal of Computer and System Sciences
2 Journal of Philosophical Logic
2 Annals of Pure and Applied Logic
2 Journal of Symbolic Computation
2 Journal of Automated Reasoning
1 Discrete Applied Mathematics
1 Algebra Universalis
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Computing
1 Studia Logica
1 Transactions of the American Mathematical Society
1 Social Choice and Welfare
1 Information and Computation
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Linear Algebra and its Applications
1 Journal of Applied Non-Classical Logics
1 Theory of Computing Systems
1 Optimization Methods & Software
1 Annals of Mathematics. Second Series
1 Higher-Order and Symbolic Computation
1 Journal of Applied Mathematics
1 Discrete and Continuous Dynamical Systems. Series S
1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie
1 The Review of Symbolic Logic
1 Formalized Mathematics
1 Axiomathes
1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.