default search action
Uwe Wolter
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j20]Alejandro Rodríguez
, Fernando Macías
Composition of multilevel domain-specific modelling languages. J. Log. Algebraic Methods Program. 130: 100831 (2023) - [c30]Harald König, Uwe Wolter, Tim Kräuter
Structural Operational Semantics for Heterogeneously Typed Coalgebras. CALCO 2023: 7:1-7:17 - 2022
- [j19]Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler:
Indexed and fibered structures for partial and total correctness assertions. Math. Struct. Comput. Sci. 32(9): 1145-1175 (2022) - [c29]Harald König
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. TASE 2022: 308-325 - 2021
- [c28]Harald König, Uwe Wolter:
A General Methodology for Internalising Multi-Level Model Typing. MoDELS (Companion) 2021: 511-520 - [i4]Uwe Wolter:
Logics of First-Order Constraints - A Category Independent Approach. CoRR abs/2101.01944 (2021) - [i3]Uwe Wolter:
First-Order Sketch Conditions and Constraints - A Category Independent Approach. CoRR abs/2103.07558 (2021) - 2020
- [c27]Uwe Wolter
Multilevel Typed Graph Transformations. ICGT 2020: 163-182 - [i2]Uwe Wolter, Fernando Macías, Adrian Rutle:
Multilevel Typed Graph Transformations. CoRR abs/2006.14612 (2020)
2010 – 2019
- 2019
- [j18]Fernando Macías
Multilevel coupled model transformations for precise and reusable definition of model behaviour. J. Log. Algebraic Methods Program. 106: 167-195 (2019) - [c26]Uwe Wolter, Alfio Martini, Edward Hermann Häusler:
Indexed and Fibred Structures for Hoare Logic. LSFA 2019: 125-145 - [i1]Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría:
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour. CoRR abs/1901.05754 (2019) - 2018
- [j17]Fernando Macías
An Approach to Flexible Multilevel Modelling. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13: 10:1-10:35 (2018) - [j16]Harald König, Uwe Wolter:
Van Kampen Colimits and Path Uniqueness. Log. Methods Comput. Sci. 14(2) (2018) - [c25]Uwe Wolter
Graph Operations and Free Graph Algebras. Graph Transformation, Specifications, and Nets 2018: 313-331 - [c24]Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter:
Handling constraints in model versioning. MoDELS (Workshops) 2018: 284-292 - 2017
- [c23]Harald König, Uwe Wolter:
Being Van Kampen in Presheaf Topoi is a Uniqueness Property. CALCO 2017: 16:1-16:15 - 2015
- [j15]Uwe Wolter, Harald König:
Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. Appl. Categorical Struct. 23(3): 447-486 (2015) - [j14]Uwe Wolter, Alfio Martini, Edward Hermann Haeusler:
Towards a uniform presentation of logical systems by indexed categories and adjoint situations. J. Log. Comput. 25(1): 57-93 (2015) - [j13]Florian Mantz, Gabriele Taentzer, Yngve Lamo, Uwe Wolter:
Co-evolving meta-models and their instance models: A formal approach based on graph transformation. Sci. Comput. Program. 104: 2-43 (2015) - 2014
- [j12]Alessandro Rossini, Juan de Lara, Esther Guerra
A formalisation of deep metamodelling. Formal Aspects Comput. 26(6): 1115-1152 (2014) - [j11]Uwe Wolter:
Guest Editor's foreword. J. Log. Algebraic Methods Program. 83(5-6): 359 (2014) - [c22]Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter:
Van Kampen Squares for Graph Transformation. ICGT 2014: 222-236 - 2012
- [j10]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A formal approach to the specification and transformation of constraints in MDE. J. Log. Algebraic Methods Program. 81(4): 422-457 (2012) - [c21]Harald König, Uwe Wolter, Michael Löwe:
Characterizing Van Kampen Squares via Descent Data. ACCAT 2012: 61-81 - 2010
- [j9]Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter:
A formalisation of the copy-modify-merge approach to version control in MDE. J. Log. Algebraic Methods Program. 79(7): 636-658 (2010) - [c20]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Formalisation of Constraint-Aware Model Transformations. FASE 2010: 13-28
2000 – 2009
- 2009
- [c19]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. FASE 2009: 64-78 - [c18]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Diagrammatic Formalisation of MOF-Based Modelling Languages. TOOLS (47) 2009: 37-56 - 2008
- [c17]Adrian Rutle, Uwe Wolter, Yngve Lamo:
A diagrammatic approach to model transformations. EATIS 2008 - [c16]Uwe Wolter, Zinovy Diskin:
Contexts and Context Awareness in View of the Diagram Predicate Framework. ISoLA 2008: 534-547 - 2007
- [j8]Alfio Martini, Uwe Wolter, Edward Hermann Haeusler:
Fibred and Indexed Categories for Abstract Model Theory. Log. J. IGPL 15(5-6): 707-739 (2007) - [c15]Zinovy Diskin, Uwe Wolter:
A Diagrammatic Logic for Object-Oriented Visual Modeling. ACCAT@ETAPS 2007: 19-41 - 2006
- [c14]Uwe Wolter:
A (Co)Algebraic Analysis of Synchronization in CSP. WADT 2006: 156-170 - 2005
- [c13]Uwe Wolter:
Cofree Coalgebras for Signature Morphisms. Formal Methods in Software and Systems Modeling 2005: 275-290 - 2002
- [j7]Uwe Wolter:
CSP, partial automata, and coalgebras. Theor. Comput. Sci. 280(1-2): 3-34 (2002) - 2001
- [j6]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. 9(1): 83-110 (2001) - 2000
- [c12]Uwe Wolter:
On Corelations, Cokernels, and Coequations. CMCS 2000: 317-336
1990 – 1999
- 1999
- [c11]Uwe Wolter:
A coalgebraic introduction to CSP. CMCS 1999: 61-80 - 1998
- [j5]Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter:
Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Appl. Categorical Struct. 6(1): 1-35 (1998) - [c10]Alfio Martini, Uwe Wolter:
A Single Perspective on Arrows between Institutions. AMAST 1998: 486-501 - 1997
- [c9]Uwe Wolter, Alfio Martini:
Shedding the New Light in the World of Logical Systems. Category Theory and Computer Science 1997: 159-176 - [c8]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini:
Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228 - [c7]Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter:
From abstract data types to algebraic development techniques: A shift of paradigms. WADT 1997: 1-17 - [c6]Alfio Martini, Uwe Wolter:
A systematic study of mappings between institutions. WADT 1997: 300-315 - 1996
- [j4]Hartmut Ehrig, Uwe Wolter:
The Impact and Future Role of Algebraic Specification. Bull. EATCS 60: 74-77 (1996) - 1995
- [j3]Michael Löwe, Uwe Wolter:
Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. Math. Struct. Comput. Sci. 5(1): 69-111 (1995) - [j2]Ingo Claßen, Martin Große-Rhode, Uwe Wolter:
Categorical Concepts for Parameterized Partial Specifications. Math. Struct. Comput. Sci. 5(2): 153-188 (1995) - [c5]Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter:
On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT 1995: 17-48 - [p1]Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar:
How to Cope with the Spectrum of SPECTRUM. KORSO Book 1995: 173-189 - 1994
- [c4]Uwe Wolter:
Institutional Frames. COMPASS/ADT 1994: 469-482 - 1992
- [c3]Uwe Wolter, Michael Löwe:
Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. CAAP 1992: 342-361 - [c2]Martin Große-Rhode, Uwe Wolter:
Two-Categorical Specification of Partial Algebras. COMPASS/ADT 1992: 207-219 - 1991
- [j1]Uwe Wolter:
An Algebraic Approach to Deduction in Equational Partial Horn Theories. J. Inf. Process. Cybern. 27(2): 85-128 (1991)
1980 – 1989
- 1988
- [b1]Uwe Wolter:
Ein algebraischer Zugang zur operationalen Semantik gleichungspartieller Horntheorien. Technische Hochschule Magdeburg, Germany, 1988 - [c1]Uwe Wolter:
Narrowing in Partial Conditional Equational Theories (Abstract). ALP 1988: 244
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-04-25 05:43 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: