Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Winter 0001
Person information
- affiliation (since 2003): Brock University, Saint Catharines, Canada
- affiliation (PhD 1998): University of the Federal Armed Forces, Munich, Germany
Other persons with the same name
- Michael Winter — disambiguation page
- Michael Winter 0002
![[0000-0003-2561-7923]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-2561-7923")
(aka: Michael Zimoch) — Ulm University, Institute of Databases and Information Systems, Ulm, Germany - Michael Winter 0003 — Technical University of Munich, Institute for Energy Conversion Technology, Munich, Germany
- Michael Winter 0004 — University of Exeter, Department of Politics, Centre for Rural Policy Research, Exeter, UK
- Michael Winter 0005 — Boston University School of Medicine, Boston, MA, USA
- Michael Winter 0006 — University of Virginia, Department of Music, Charlottesville, VA, USA (and 1 more)
- Michael Winter 0007 — Forschungszentrum Informatik, Karlsruhe, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2018
[b2]Gunther Schmidt, Michael Winter:
Relational Topology. Lecture Notes in Mathematics, Springer 2018, ISBN 978-3-319-74450-6- 1998
- [b1]Michael Winter:
Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen. Bundeswehr University Munich, Neubiberg (Munich), Germany, Diss.-Verl. NG Kopierladen 1998, ISBN 978-3-933214-11-9, pp. I-II, 1-172
Journal Articles
- 2023
- [j33]George Addison, Anahita Izadpanahi, Sajal Saha, Michael Winter:
L-fuzzy concept analysis using fuzzy categories. Fuzzy Sets Syst. 460: 72-102 (2023) - 2021
- [j32]Rudolf Berghammer, Steffen Börm, Michael Winter:
Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. Appl. Math. Comput. 389: 125523 (2021) - [j31]John Bonnett, Joe Bolton, William Ralph, Amy Legault, Erin MacAfee, Michael Winter, Chris Jaques, Mark Anderson:
Annotating our Environs with the Sound and Sight of Numbers: The DataScapes Project. Digit. Humanit. Q. 15(1) (2021) - 2020
- [j30]Rudolf Berghammer, Henning Schnoor, Michael Winter:
Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means. Fundam. Informaticae 177(2): 95-113 (2020) - 2019
- [j29]Milene Santos Teixeira, Vinícius Maran, José Palazzo Moreira de Oliveira, Michael Winter, Alencar Machado:
Situation-aware model for multi-objective decision making in ambient intelligence. Appl. Soft Comput. 81 (2019) - [j28]Rudolf Berghammer, Gunther Schmidt, Michael Winter:
Cryptomorphic topological structures: A computational, relation-algebraic approach. J. Log. Algebraic Methods Program. 102: 17-45 (2019) - 2017
- [j27]Rudolf Berghammer, Michael Winter:
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. J. Log. Algebraic Methods Program. 88: 1-25 (2017) - [j26]Rudolf Berghammer, Insa Stucke, Michael Winter:
Using relation-algebraic means and tool support for investigating and computing bipartitions. J. Log. Algebraic Methods Program. 90: 102-124 (2017) - [j25]Dylan Killingbeck, Milene Santos Teixeira, Michael Winter:
Relations in linear algebra. J. Log. Algebraic Methods Program. 91: 1-16 (2017) - 2016
- [j24]Michael Winter, Ethan C. Jackson:
Categories of relations for variable-basis fuzziness. Fuzzy Sets Syst. 298: 222-237 (2016) - [j23]Michael Winter:
Dependencies in relational models of databases. J. Log. Algebraic Methods Program. 85(5): 1095-1107 (2016) - 2015
- [j22]Michael Winter:
Membership values in arrow categories. Fuzzy Sets Syst. 267: 41-61 (2015) - 2014
- [j21]Rudolf Berghammer, Bernhard Möller, Michael Winter:
Preface. J. Log. Algebraic Methods Program. 83(2): 85-86 (2014) - [j20]Michael Winter, Peter Kempf:
Relational properties of sequential composition of coalgebras. J. Log. Algebraic Methods Program. 83(2): 284-299 (2014) - [j19]Rudolf Berghammer, Michael Winter:
Gunther Schmidt's life as a mathematician and computer scientist. J. Log. Algebraic Methods Program. 83(2): 300-308 (2014) - 2013
- [j18]Rudolf Berghammer, Michael Winter:
Decomposition of Relations and Concept Lattices. Fundam. Informaticae 126(1): 37-82 (2013) - 2012
- [j17]Michael Winter, Torsten Hahmann, Michael Grüninger:
On the algebra of regular sets - Properties of representable Stonian p-ortholattices. Ann. Math. Artif. Intell. 65(1): 25-60 (2012) - 2011
- [j16]Hitoshi Furusawa, Yasuo Kawahara, Michael Winter:
Dedekind categories with cutoff operators. Fuzzy Sets Syst. 173(1): 1-24 (2011) - 2010
- [j15]Rudolf Berghammer, Michael Winter:
Embedding mappings and splittings with applications. Acta Informatica 47(2): 77-110 (2010) - [j14]Yasuo Kawahara, Michael Winter:
Cardinality functions in allegories. J. Log. Algebraic Methods Program. 79(8): 830-844 (2010) - 2009
- [j13]Torsten Hahmann, Michael Winter, Michael Gruninger:
Stonian p-ortholattices: A new approach to the mereotopology RT0. Artif. Intell. 173(15): 1424-1440 (2009) - [j12]Michael Winter:
Arrow categories. Fuzzy Sets Syst. 160(20): 2893-2909 (2009) - 2008
- [j11]Michael Winter:
A Relation-Algebraic Theory of Bisimulations. Fundam. Informaticae 83(4): 429-449 (2008) - [j10]Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter:
Distributive contact lattices: Topological representations. J. Log. Algebraic Methods Program. 76(1): 18-34 (2008) - [j9]Michael Winter:
Products in categories of relations. J. Log. Algebraic Methods Program. 76(1): 145-159 (2008) - 2006
- [j8]Michael Winter:
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching. Fundam. Informaticae 71(4): 477-491 (2006) - [j7]Ivo Düntsch, Michael Winter:
Rough Relation Algebras Revisited. Fundam. Informaticae 74(2-3): 283-300 (2006) - 2005
- [j6]Ivo Düntsch, Michael Winter:
A representation theorem for Boolean contact algebras. Theor. Comput. Sci. 347(3): 498-512 (2005) - 2004
- [j5]Ivo Düntsch, Michael Winter:
Construction of Boolean contact algebras. AI Commun. 17(4): 235-246 (2004) - 2003
- [j4]Michael Winter:
Representation theory of Goguen categories. Fuzzy Sets Syst. 138(1): 85-126 (2003) - 2001
- [j3]Michael Winter:
A new algebraic approach to L-fuzzy relations convenient to study crispness. Inf. Sci. 139(3-4): 233-252 (2001) - [j2]Ivo Düntsch, Gunther Schmidt, Michael Winter:
A Necessary Relation Algebra for Mereotopology. Stud Logica 69(3): 381-409 (2001) - 1999
- [j1]Michael Winter:
A Relation Algebraic Approach to Interaction Categories. Inf. Sci. 119(3-4): 301-314 (1999)
Conference and Workshop Papers
- 2023
- [c37]Rudolf Berghammer, Michael Winter:
A General Method for Representing Sets of Relations by Vectors. RAMiCS 2023: 34-51 - [c36]Michael Winter:
Relational Algebraic Approach to the Real Numbers the Additive Group. RAMiCS 2023: 274-292 - 2021
- [c35]Michael Winter:
Relational Sums and Splittings in Categories of L-fuzzy Relations. RAMiCS 2021: 433-447 - [c34]Michael Winter:
Change of Base Using Arrow Categories. RAMiCS 2021: 448-464 - 2020
- [c33]Michael Winter:
Sharpness in the Fuzzy World. RAMiCS 2020: 318-334 - 2018
- [c32]Michael Winter:
T-Norm Based Operations in Arrow Categories. RAMiCS 2018: 70-86 - [c31]Pranab Kumar Ghosh, Michael Winter:
A Modal and Relevance Logic for Qualitative Spatial Reasoning. RAMiCS 2018: 131-147 - 2017
- [c30]Michael Winter:
Type-n Arrow Categories. RAMiCS 2017: 307-322 - [c29]Ethan C. Jackson, James Alexander Hughes, Mark Daley, Michael Winter:
An algebraic generalization for graph and tensor-based neural networks. CIBCB 2017: 1-8 - 2015
- [c28]Dylan Killingbeck, Milene Santos Teixeira, Michael Winter:
Relations among Matrices over a Semiring. RAMiCS 2015: 101-118 - [c27]Rudolf Berghammer, Insa Stucke, Michael Winter:
Investigating and Computing Bipartitions with Algebraic Means. RAMiCS 2015: 257-274 - [c26]Evans Adjei, Wazed Chowdhury, Michael Winter:
L-Fuzzy Databases in Arrow Categories. RAMiCS 2015: 295-311 - 2014
- [c25]Michael Winter:
Higher-Order Arrow Categories. RAMiCS 2014: 277-292 - [c24]Michael Winter, Ethan C. Jackson, Yuki Fujiwara:
Type-2 Fuzzy Controllers in Arrow Categories. RAMiCS 2014: 293-308 - [c23]Manas Ghosh, Michael Winter:
Refinements of the RCC25 Composition Table. RAMiCS 2014: 379-394 - 2012
- [c22]Francis Atampore, Michael Winter:
Relation Algebras, Matrices, and Multi-valued Decision Diagrams. RAMiCS 2012: 248-263 - 2011
- [c21]Michael Winter:
Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial). RAMiCS 2011: 70-73 - [c20]Bahar Aameri, Michael Winter:
A First-Order Calculus for Allegories. RAMiCS 2011: 74-91 - [c19]Prathap Siddavaatam, Michael Winter:
Splitting Atoms in Relational Algebras. RAMiCS 2011: 331-346 - 2009
- [c18]Yasuo Kawahara, Michael Winter:
Cardinal Addition in Distributive Allegories. RelMiCS 2009: 227-241 - [c17]Michael Winter:
Complements in Distributive Allegories. RelMiCS 2009: 337-350 - [c16]Michael Winter, Torsten Hahmann, Michael Gruninger:
On the Skeleton of Stonian p-Ortholattices. RelMiCS 2009: 351-365 - [c15]Ivo Düntsch, Michael Winter:
Timed Contact Algebras. TIME 2009: 133-138 - 2008
- [c14]Ivo Düntsch, Michael Winter:
The Lattice of Contact Relations on a Boolean Algebra. RelMiCS 2008: 99-109 - [c13]Yasuo Kawahara, Michael Winter:
Cardinality in Allegories. RelMiCS 2008: 274-288 - [c12]Michael Winter:
An Ordered Category of Processes. RelMiCS 2008: 367-381 - [c11]Ivo Düntsch, Michael Winter:
Moving Spaces. TIME 2008: 59-63 - 2006
- [c10]Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter:
Topological Representation of Contact Lattices. RelMiCS 2006: 135-147 - [c9]Michael Winter:
Weak Relational Products. RelMiCS 2006: 417-431 - 2005
- [c8]Ivo Düntsch, Michael Winter:
Weak Contact Structures. RelMiCS 2005: 73-82 - [c7]Michael Winter:
Time-Dependent Contact Structures in Goguen Categories. RelMiCS 2005: 249-262 - 2003
- [c6]Michael Winter:
Decomposing Relations into Orderings. RelMiCS 2003: 265-277 - 2001
- [c5]Michael Winter:
Relational Constructions in Goguen Categories. RelMiCS 2001: 212-227 - [c4]Michael Winter:
Generating Processes from Specifications using the Relation Manipulation System RelView. RelMiS 2001: 194-220 - 2000
- [c3]Michael Winter:
An Algebraic Formalisation of L-Fuzzy Relations. RelMiCS 2000: 233-242 - 1998
- [c2]Michael Winter, Peter Kempf:
Processes and relations. RelMiCS 1998: 206-209 - 1997
- [c1]Michael Winter:
A Relation Algebraic Approach to Interaction Categories. RelMiCS 1997: 11-18
Parts in Books or Collections
- 2003
- [p2]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 - 1997
- [p1]Gunther Schmidt, Claudia Hattensperger, Michael Winter:
Heterogeneous Relation Algebra. Relational Methods in Computer Science 1997: 39-53
Editorship
- 2023
- [e5]Roland Glück, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings. Lecture Notes in Computer Science 13896, Springer 2023, ISBN 978-3-031-28082-5 [contents] - 2021
- [e4]Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. Lecture Notes in Computer Science 13027, Springer 2021, ISBN 978-3-030-88700-1 [contents] - 2020
- [e3]Uli Fahrenberg, Peter Jipsen, Michael Winter:
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12062, Springer 2020, ISBN 978-3-030-43519-6 [contents] - 2015
- [e2]Wolfram Kahl, Michael Winter, José Nuno Oliveira:
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Lecture Notes in Computer Science 9348, Springer 2015, ISBN 978-3-319-24703-8 [contents] - 2006
- [e1]Wendy MacCaull, Michael Winter, Ivo Düntsch:
Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers. Lecture Notes in Computer Science 3929, Springer 2006, ISBN 3-540-33339-8 [contents]
Informal and Other Publications
- 2020
- [i2]Rudolf Berghammer, Steffen Börm, Michael Winter:
Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. CoRR abs/2003.12871 (2020) - 2014
- [i1]Gunther Schmidt, Michael Winter:
Relational Mathematics Continued. CoRR abs/1403.6957 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-22 23:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
