×

zbMATH — the first resource for mathematics

Winter, Michael

Compute Distance To:
Author ID: winter.michael Recent zbMATH articles by "Winter, Michael"
Published as: Winter, M.; Winter, Michael
Homepage: http://www.cosc.brocku.ca/~mwinter/
External Links: MGP
Documents Indexed: 68 Publications since 1997, including 5 Books

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 206 times in 112 Documents Cited by Year
A representation theorem for Boolean contact algebras. Zbl 1085.03046
Düntsch, Ivo; Winter, Michael
29
2005
Heterogeneous relation algebra. Zbl 0961.03061
Schmidt, Gunther; Hattensperger, Claudia; Winter, Michael
23
1997
Goguen categories. A categorical approach to \(L\)-fuzzy relations. Zbl 1261.03154
Winter, Michael
14
2007
A new algebraic approach to L-fuzzy relations convenient to study crispness. Zbl 0992.18004
Winter, Michael
13
2001
Arrow categories. Zbl 1178.18002
Winter, Michael
7
2009
RelView and Rath – two systems for dealing with relations. Zbl 1203.68319
Berghammer, Rudolf; Schmidt, Gunther; Winter, Michael
7
2003
A necessary relation algebra for mereotopology. Zbl 0993.03086
Düntsch, Ivo; Schmidt, Gunther; Winter, Michael
7
2001
Embedding mappings and splittings with applications. Zbl 1209.68332
Berghammer, Rudolf; Winter, Michael
6
2010
Representation theory of Goguen categories. Zbl 1036.03056
Winter, Michael
6
2003
Relations among matrices over a semiring. Zbl 06527603
Killingbeck, Dylan; Teixeira, Milene Santos; Winter, Michael
5
2015
Dedekind categories with cutoff operators. Zbl 1230.18003
Furusawa, Hitoshi; Kawahara, Yasuo; Winter, Michael
5
2011
The lattice of contact relations on a Boolean algebra. Zbl 1139.06005
Düntsch, Ivo; Winter, Michael
5
2008
On the skeleton of Stonian p-ortholattices. Zbl 1267.03069
Winter, Michael; Hahmann, Torsten; Gruninger, Michael
4
2009
Topological representation of contact lattices. Zbl 1135.06005
Düntsch, Ivo; MacCaull, Wendy; Vakarelov, Dimiter; Winter, Michael
4
2006
Weak contact structures. Zbl 1185.68667
Düntsch, Ivo; Winter, Michael
4
2006
Derived operations in Goguen categories. Zbl 1010.18002
Winter, Michael
4
2002
Relational topology. Zbl 1411.54001
Schmidt, Gunther; Winter, Michael
3
2018
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. Zbl 1362.68297
Berghammer, Rudolf; Winter, Michael
3
2017
Investigating and computing bipartitions with algebraic means. Zbl 06527612
Berghammer, Rudolf; Stucke, Insa; Winter, Michael
3
2015
Higher-order arrow categories. Zbl 1405.18004
Winter, Michael
3
2014
Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\). Zbl 1190.68061
Hahmann, Torsten; Winter, Michael; Gruninger, Michael
3
2009
Complements in distributive allegories. Zbl 1267.03070
Winter, Michael
3
2009
Products in categories of relations. Zbl 1139.18003
Winter, Michael
3
2008
Distributive contact lattices: topological representations. Zbl 1138.06004
Düntsch, Ivo; MacCaull, Wendy; Vakarelov, Dimiter; Winter, Michael
3
2008
An ordered category of processes. Zbl 1140.68049
Winter, Michael
3
2008
Rough relation algebras revisited. Zbl 1110.03061
Düntsch, Ivo; Winter, Michael
3
2006
Construction of Boolean contact algebras. Zbl 1070.03042
Düntsch, Ivo; Winter, Michael
3
2004
A pseudo representation theorem for various categories of relations. Zbl 1021.18001
Winter, M.
3
2000
Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces. Zbl 1454.54024
Berghammer, Rudolf; Winter, Michael
2
2019
A Nitsche cut finite element method for the Oseen problem with general Navier boundary conditions. Zbl 1439.76102
Winter, M.; Schott, B.; Massing, A.; Wall, W. A.
2
2018
Categories of relations for variable-basis fuzziness. Zbl 1386.18004
Winter, Michael; Jackson, Ethan
2
2016
Membership values in arrow categories. Zbl 1392.18001
Winter, Michael
2
2015
Type-2 fuzzy controllers in arrow categories. Zbl 1405.93149
Winter, Michael; Jackson, Ethan; Fujiwara, Yuki
2
2014
On the algebra of regular sets. Zbl 1268.54015
Winter, Michael; Hahmann, Torsten; Grüninger, Michael
2
2012
A relation-algebraic theory of bisimulations. Zbl 1151.68041
Winter, Michael
2
2008
Weak relational products. Zbl 1135.18002
Winter, Michael
2
2006
Relational constructions in Goguen categories. Zbl 1029.18004
Winter, Michael
2
2002
\(L\)-fuzzy databases in arrow categories. Zbl 06527614
Adjei, Evans; Chowdhury, Wazed; Winter, Michael
1
2015
Remarks on contact relations on Boolean algebras. Zbl 1294.06015
Koppelberg, Sabine; Düntsch, Ivo; Winter, Michael
1
2012
Relation algebras, matrices, and multi-valued decision diagrams. Zbl 1364.68147
Atampore, Francis; Winter, Michael
1
2012
A first-order calculus for allegories. Zbl 1329.03095
Aameri, Bahar; Winter, Michael
1
2011
Cardinality functions in allegories. Zbl 1207.18004
Kawahara, Yasuo; Winter, Michael
1
2010
Time-dependent contact structures in Goguen categories. Zbl 1185.68683
Winter, Michael
1
2006
On problems in polymorphic object-oriented languages with self types and matching. Zbl 1097.68534
Winter, Michael
1
2006
Decomposing relations into orderings. Zbl 1088.03041
Winter, Michael
1
2004
Processes as relations. Zbl 1009.68092
Winter, Michael; Kempf, Peter
1
2001
Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces. Zbl 1454.54024
Berghammer, Rudolf; Winter, Michael
2
2019
Relational topology. Zbl 1411.54001
Schmidt, Gunther; Winter, Michael
3
2018
A Nitsche cut finite element method for the Oseen problem with general Navier boundary conditions. Zbl 1439.76102
Winter, M.; Schott, B.; Massing, A.; Wall, W. A.
2
2018
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. Zbl 1362.68297
Berghammer, Rudolf; Winter, Michael
3
2017
Categories of relations for variable-basis fuzziness. Zbl 1386.18004
Winter, Michael; Jackson, Ethan
2
2016
Relations among matrices over a semiring. Zbl 06527603
Killingbeck, Dylan; Teixeira, Milene Santos; Winter, Michael
5
2015
Investigating and computing bipartitions with algebraic means. Zbl 06527612
Berghammer, Rudolf; Stucke, Insa; Winter, Michael
3
2015
Membership values in arrow categories. Zbl 1392.18001
Winter, Michael
2
2015
\(L\)-fuzzy databases in arrow categories. Zbl 06527614
Adjei, Evans; Chowdhury, Wazed; Winter, Michael
1
2015
Higher-order arrow categories. Zbl 1405.18004
Winter, Michael
3
2014
Type-2 fuzzy controllers in arrow categories. Zbl 1405.93149
Winter, Michael; Jackson, Ethan; Fujiwara, Yuki
2
2014
On the algebra of regular sets. Zbl 1268.54015
Winter, Michael; Hahmann, Torsten; Grüninger, Michael
2
2012
Remarks on contact relations on Boolean algebras. Zbl 1294.06015
Koppelberg, Sabine; Düntsch, Ivo; Winter, Michael
1
2012
Relation algebras, matrices, and multi-valued decision diagrams. Zbl 1364.68147
Atampore, Francis; Winter, Michael
1
2012
Dedekind categories with cutoff operators. Zbl 1230.18003
Furusawa, Hitoshi; Kawahara, Yasuo; Winter, Michael
5
2011
A first-order calculus for allegories. Zbl 1329.03095
Aameri, Bahar; Winter, Michael
1
2011
Embedding mappings and splittings with applications. Zbl 1209.68332
Berghammer, Rudolf; Winter, Michael
6
2010
Cardinality functions in allegories. Zbl 1207.18004
Kawahara, Yasuo; Winter, Michael
1
2010
Arrow categories. Zbl 1178.18002
Winter, Michael
7
2009
On the skeleton of Stonian p-ortholattices. Zbl 1267.03069
Winter, Michael; Hahmann, Torsten; Gruninger, Michael
4
2009
Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\). Zbl 1190.68061
Hahmann, Torsten; Winter, Michael; Gruninger, Michael
3
2009
Complements in distributive allegories. Zbl 1267.03070
Winter, Michael
3
2009
The lattice of contact relations on a Boolean algebra. Zbl 1139.06005
Düntsch, Ivo; Winter, Michael
5
2008
Products in categories of relations. Zbl 1139.18003
Winter, Michael
3
2008
Distributive contact lattices: topological representations. Zbl 1138.06004
Düntsch, Ivo; MacCaull, Wendy; Vakarelov, Dimiter; Winter, Michael
3
2008
An ordered category of processes. Zbl 1140.68049
Winter, Michael
3
2008
A relation-algebraic theory of bisimulations. Zbl 1151.68041
Winter, Michael
2
2008
Goguen categories. A categorical approach to \(L\)-fuzzy relations. Zbl 1261.03154
Winter, Michael
14
2007
Topological representation of contact lattices. Zbl 1135.06005
Düntsch, Ivo; MacCaull, Wendy; Vakarelov, Dimiter; Winter, Michael
4
2006
Weak contact structures. Zbl 1185.68667
Düntsch, Ivo; Winter, Michael
4
2006
Rough relation algebras revisited. Zbl 1110.03061
Düntsch, Ivo; Winter, Michael
3
2006
Weak relational products. Zbl 1135.18002
Winter, Michael
2
2006
Time-dependent contact structures in Goguen categories. Zbl 1185.68683
Winter, Michael
1
2006
On problems in polymorphic object-oriented languages with self types and matching. Zbl 1097.68534
Winter, Michael
1
2006
A representation theorem for Boolean contact algebras. Zbl 1085.03046
Düntsch, Ivo; Winter, Michael
29
2005
Construction of Boolean contact algebras. Zbl 1070.03042
Düntsch, Ivo; Winter, Michael
3
2004
Decomposing relations into orderings. Zbl 1088.03041
Winter, Michael
1
2004
RelView and Rath – two systems for dealing with relations. Zbl 1203.68319
Berghammer, Rudolf; Schmidt, Gunther; Winter, Michael
7
2003
Representation theory of Goguen categories. Zbl 1036.03056
Winter, Michael
6
2003
Derived operations in Goguen categories. Zbl 1010.18002
Winter, Michael
4
2002
Relational constructions in Goguen categories. Zbl 1029.18004
Winter, Michael
2
2002
A new algebraic approach to L-fuzzy relations convenient to study crispness. Zbl 0992.18004
Winter, Michael
13
2001
A necessary relation algebra for mereotopology. Zbl 0993.03086
Düntsch, Ivo; Schmidt, Gunther; Winter, Michael
7
2001
Processes as relations. Zbl 1009.68092
Winter, Michael; Kempf, Peter
1
2001
A pseudo representation theorem for various categories of relations. Zbl 1021.18001
Winter, M.
3
2000
Heterogeneous relation algebra. Zbl 0961.03061
Schmidt, Gunther; Hattensperger, Claudia; Winter, Michael
23
1997
all top 5

Cited by 102 Authors

25 Winter, Michael
17 Berghammer, Rudolf
10 Düntsch, Ivo
10 Guttmann, Walter
7 Vakarelov, Dimiter
6 Li, Sanjiang
5 de Swart, Harrie C. M.
5 Dimov, Georgi D.
5 Rusinowska, Agnieszka
4 Gruninger, Michael
4 Kawahara, Yasuo
4 Schmidt, Gunther
4 Stucke, Insa
3 Furusawa, Hitoshi
3 Hahmann, Torsten
3 Ivanova, Tatyana B.
3 Möller, Bernhard
3 Orłowska, Ewa S.
2 Balbiani, Philippe
2 Desharnais, Jules
2 Glück, Roland
2 Höfner, Peter
2 Joosten, Stef Maria Mathias
2 Kempf, Peter
2 Maślanka, Paweł
2 Mormann, Thomas
2 Oliveira, José Nuno
2 Zieliński, Bartosz
1 Aameri, Bahar
1 Ajmal, Naseem
1 Atampore, Francis
1 Bennett, Brandon
1 Bolus, Stefan
1 Börm, Steffen
1 Brunet, Paul
1 Chazelle, Bernard
1 Chen, Xueyou
1 Cristani, Matteo
1 Cristiá, Maximiliano
1 Danilenko, Nikita
1 Doberkat, Ernst-Erich
1 Fang, Shu-Cherng
1 Fernández Duque, David
1 Gencer, Çigdem
1 Georgiou, Dimitrios N.
1 Goldblatt, Robert Ian
1 Grice, Matt
1 Grinenko, Anastasiya
1 Gruszczyński, Rafał
1 Gürkan, Ceren
1 Harding, John
1 Hattensperger, Claudia
1 Hirsch, Robin
1 Igarashi, Atsushi
1 Iliadis, Stavros D.
1 Ivanova-Dimova, Elza
1 Jackson, Ethan K.
1 Jain, Aparna
1 Kahl, Wolfram
1 Killingbeck, Dylan
1 Koppelberg, Sabine
1 Kurz, Alexander
1 Lando, Tamar
1 Li, Pingke
1 Li, Yongming
1 Liu, Weiming
1 MacCaull, Wendy
1 Marx, Maarten
1 Massing, André
1 Megaritis, Athanasios C.
1 Mu, Shin-Cheng
1 Nasehpour, Peyman
1 Nykyforchyn, Oleh R.
1 Omodeo, Eugenio Giovanni
1 Oñate Ibáñez de Navarra, Eugenio
1 Pan, Xiaodong
1 Pietruszczak, Andrzej
1 Pous, Damien
1 Punčochář, Vít
1 Repovš, Dušan D.
1 Roocks, Patrick
1 Rossi, Gianfranco
1 Rossi, Riccardo
1 Saito, Chieri
1 Sereti, Fotini
1 Sobieski, Ścibór
1 Sticko, Simon
1 Teixeira, Milene Santos
1 ten Cate, Balder David
1 Tinchev, Tinko
1 Velebil, Jiří
1 Walker, Carol L.
1 Walker, Elbert Abner
1 Wang, Huaiqing
1 Winter, Michael
1 Wüchner, Roland
1 Xu, Yang
1 Yao, Yiyu
1 Ying, Mingsheng
1 Yu, Hong
...and 2 more Authors

Citations by Year