Uwe Wolter - RankMe

57 papers B 7C 2Misc 1Journal 24Unranked 21

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Bialgebraic Representation of Coordination Frameworks. WADT Harald König, Uwe Wolter
2023	J	`jnl`	Composition of multilevel domain-specific modelling languages. J. Log. Algebraic Methods Program. Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle, Uwe Wolter
2023	B	`conf`	Structural Operational Semantics for Heterogeneously Typed Coalgebras. CALCO Harald König, Uwe Wolter, Tim Kräuter
2022	Misc	`conf`	Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. TASE Harald König, Uwe Wolter
2022	J	`jnl`	Indexed and fibered structures for partial and total correctness assertions. Math. Struct. Comput. Sci. Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler
2021	—	`conf`	A General Methodology for Internalising Multi-Level Model Typing. MoDELS (Companion) Harald König, Uwe Wolter
2021	J	`jnl`	First-Order Sketch Conditions and Constraints - A Category Independent Approach. CoRR Uwe Wolter
2021	J	`jnl`	Logics of First-Order Constraints - A Category Independent Approach. CoRR Uwe Wolter
2020	B	`conf`	Multilevel Typed Graph Transformations. ICGT Uwe Wolter, Fernando Macías, Adrian Rutle
2020	J	`jnl`	Multilevel Typed Graph Transformations. CoRR Uwe Wolter, Fernando Macías, Adrian Rutle
2019	—	`conf`	Indexed and Fibred Structures for Hoare Logic. LSFA Uwe Wolter, Alfio Martini, Edward Hermann Häusler
2019	J	`jnl`	Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour. CoRR Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría
2019	J	`jnl`	Multilevel coupled model transformations for precise and reusable definition of model behaviour. J. Log. Algebraic Methods Program. Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría
2018	J	`jnl`	An Approach to Flexible Multilevel Modelling. Enterp. Model. Inf. Syst. Archit. Fernando Macías, Adrian Rutle, Volker Stolz, Roberto Rodríguez-Echeverría, Uwe Wolter
2018	—	`conf`	Graph Operations and Free Graph Algebras. Graph Transformation, Specifications, and Nets Uwe Wolter, Zinovy Diskin, Harald König
2018	—	`conf`	Handling constraints in model versioning. MoDELS (Workshops) Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
2018	J	`jnl`	Van Kampen Colimits and Path Uniqueness. Log. Methods Comput. Sci. Harald König, Uwe Wolter
2017	B	`conf`	Being Van Kampen in Presheaf Topoi is a Uniqueness Property. CALCO Harald König, Uwe Wolter
2015	J	`jnl`	Co-evolving meta-models and their instance models: A formal approach based on graph transformation. Sci. Comput. Program. Florian Mantz, Gabriele Taentzer, Yngve Lamo, Uwe Wolter
2015	J	`jnl`	Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. Appl. Categorical Struct. Uwe Wolter, Harald König
2015	J	`jnl`	Towards a uniform presentation of logical systems by indexed categories and adjoint situations. J. Log. Comput. Uwe Wolter, Alfio Martini, Edward Hermann Haeusler
2014	J	`jnl`	A formalisation of deep metamodelling. Formal Aspects Comput. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Uwe Wolter
2014	J	`jnl`	Guest Editor's foreword. J. Log. Algebraic Methods Program. Uwe Wolter
2014	B	`conf`	Van Kampen Squares for Graph Transformation. ICGT Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
2012	J	`jnl`	A formal approach to the specification and transformation of constraints in MDE. J. Log. Algebraic Methods Program. Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2012	—	`conf`	Characterizing Van Kampen Squares via Descent Data ACCAT Harald König, Uwe Wolter, Michael Löwe
2010	B	`conf`	A Formalisation of Constraint-Aware Model Transformations. FASE Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2010	J	`jnl`	A formalisation of the copy-modify-merge approach to version control in MDE. J. Log. Algebraic Methods Program. Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
2009	B	`conf`	A Category-Theoretical Approach to the Formalisation of Version Control in MDE. FASE Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2009	—	`conf`	A Diagrammatic Formalisation of MOF-Based Modelling Languages. TOOLS (47) Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2008	C	`conf`	A diagrammatic approach to model transformations. EATIS Adrian Rutle, Uwe Wolter, Yngve Lamo
2008	C	`conf`	Contexts and Context Awareness in View of the Diagram Predicate Framework. ISoLA Uwe Wolter, Zinovy Diskin
2007	—	`conf`	A Diagrammatic Logic for Object-Oriented Visual Modeling. ACCAT@ETAPS Zinovy Diskin, Uwe Wolter
2007	J	`jnl`	Fibred and Indexed Categories for Abstract Model Theory. Log. J. IGPL Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
2006	—	`conf`	A (Co)Algebraic Analysis of Synchronization in CSP. WADT Uwe Wolter
2005	—	`conf`	Cofree Coalgebras for Signature Morphisms. Formal Methods in Software and Systems Modeling Uwe Wolter
2002	J	`jnl`	CSP, partial automata, and coalgebras. Theor. Comput. Sci. Uwe Wolter
2001	J	`jnl`	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
2000	—	`conf`	On Corelations, Cokernels, and Coequations. CMCS Uwe Wolter
1999	—	`conf`	A coalgebraic introduction to CSP. CMCS Uwe Wolter
1998	—	`conf`	A Single Perspective on Arrows between Institutions. AMAST Alfio Martini, Uwe Wolter
1998	J	`jnl`	Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Appl. Categorical Struct. Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
1997	—	`conf`	A systematic study of mappings between institutions. WADT Alfio Martini, Uwe Wolter
1997	—	`conf`	From abstract data types to algebraic development techniques: A shift of paradigms. WADT Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter
1997	B	`conf`	Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
1997	—	`conf`	Shedding the New Light in the World of Logical Systems. Category Theory and Computer Science Uwe Wolter, Alfio Martini
1996	J	`jnl`	The Impact and Future Role of Algebraic Specification. Bull. EATCS Hartmut Ehrig, Uwe Wolter
1995	J	`jnl`	Categorical Concepts for Parameterized Partial Specifications. Math. Struct. Comput. Sci. Ingo Claßen, Martin Große-Rhode, Uwe Wolter
1995	—	`ch.`	How to Cope with the Spectrum of SPECTRUM. KORSO Book Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar
1995	—	`conf`	On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
1995	J	`jnl`	Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. Math. Struct. Comput. Sci. Michael Löwe, Uwe Wolter
1994	—	`conf`	Institutional Frames. COMPASS/ADT Uwe Wolter
1992	—	`conf`	Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. CAAP Uwe Wolter, Michael Löwe
1992	—	`conf`	Two-Categorical Specification of Partial Algebras. COMPASS/ADT Martin Große-Rhode, Uwe Wolter
1991	J	`jnl`	An Algebraic Approach to Deduction in Equational Partial Horn Theories. J. Inf. Process. Cybern. Uwe Wolter
1988	—	`—`	Ein algebraischer Zugang zur operationalen Semantik gleichungspartieller Horntheorien. Uwe Wolter
1988	—	`conf`	Narrowing in Partial Conditional Equational Theories (Abstract). ALP Uwe Wolter