Edit Profile Wolter, Uwe E. Compute Distance To: Compute Author ID: wolter.uwe-e Published as: Wolter, U.; Wolter, U. E.; Wolter, Uwe; Wolter, Uwe E. Documents Indexed: 34 Publications since 1985 all top 5 Co-Authors 8 single-authored 5 Ehrig, Hartmut 5 König, Harald 5 Martini, Alfio 4 Rutle, Adrian 3 Große-Rhode, Martin 3 Haeusler, Edward Hermann 3 Rossini, Alessandro 2 Corradini, Andrea 2 Diskin, Zinovy 2 Heckel, Reiko 2 Lamo, Yngve 2 Lowe, Michael J. S. 1 Claßen, Ingo 1 Dassow, Jürgen 1 de Lara, Juan 1 Durán, Francisco 1 Gajewsky, Maike 1 Guerra, Esther 1 Macías, Fernando 1 Martini, A. R. 1 Rodriguez-Echeverria, Roberto 1 Schulz, Christoph 1 Stecher, Jack Douglas 1 Walicki, Michał all top 5 Serials 3 Applied Categorical Structures 2 MSCS. Mathematical Structures in Computer Science 2 The Journal of Logic and Algebraic Programming 2 Journal of Logical and Algebraic Methods in Programming 1 Theoretical Computer Science 1 Journal of Information Processing and Cybernetics 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Logic Journal of the IGPL 1 Logical Methods in Computer Science 1 Wissenschaftliche Zeitschrift der Technischen Hochschule Otto von Guericke all top 5 Fields 30 Computer science (68-XX) 15 Category theory; homological algebra (18-XX) 12 Mathematical logic and foundations (03-XX) 5 General algebraic systems (08-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 21 Publications have been cited 47 times in 32 Documents Cited by ▼ Year ▼ A diagrammatic logic for object-oriented visual modeling. Zbl 1277.68055Diskin, Zinovy; Wolter, Uwe 6 2008 Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 6 2001 Categorical concepts for parametrized partial specifications. Zbl 0909.18002Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe 6 1995 A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe 4 2010 A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe 3 2012 On corelations, cokernels, and coequations. Zbl 0960.18003Wolter, Uwe 3 2000 CSP, partial automata, and coalgebras. Zbl 1050.68099Wolter, Uwe 2 2002 A coalgebraic introduction to CSP. Zbl 0918.68021Wolter, Uwe 2 1999 Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe 2 1998 An algebraic approach to deduction in equational partial Horn theories. Zbl 0724.68021Wolter, Uwe 2 1991 Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto 1 2019 Being Van Kampen in presheaf topoi is a uniqueness property. Zbl 1433.68098König, Harald; Wolter, Uwe 1 2017 Fibred amalgamation, descent data, and Van Kampen squares in topoi. Zbl 1394.18001Wolter, Uwe; König, Harald 1 2015 A formalisation of deep metamodelling. Zbl 1342.68098Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe 1 2014 Van Kampen squares for graph transformation. Zbl 1423.68233König, Harald; Löwe, Michael; Schulz, Christoph; Wolter, Uwe 1 2014 Fibred and indexed categories for abstract model theory. Zbl 1133.03015Martini, Alfio; Wolter, Uwe; Haeusler, E. Hermann 1 2007 The choice of standards for a reporting language. Zbl 1165.68509Walicki, Michał; Wolter, Uwe; Stecher, Jack 1 2006 A single perspective on arrows between institutions. Zbl 1089.03510Martini, Alfio; Wolter, Uwe 1 1999 From abstract data types to algebraic development techniques: A shift of paradigms. Zbl 0901.68128Ehrig, H.; Gajewsky, M.; Wolter, U. 1 1998 Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 1 1997 Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functors semantics. Zbl 0856.68098Löwe, Michael; Wolter, Uwe 1 1995 Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto 1 2019 Being Van Kampen in presheaf topoi is a uniqueness property. Zbl 1433.68098König, Harald; Wolter, Uwe 1 2017 Fibred amalgamation, descent data, and Van Kampen squares in topoi. Zbl 1394.18001Wolter, Uwe; König, Harald 1 2015 A formalisation of deep metamodelling. Zbl 1342.68098Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe 1 2014 Van Kampen squares for graph transformation. Zbl 1423.68233König, Harald; Löwe, Michael; Schulz, Christoph; Wolter, Uwe 1 2014 A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe 3 2012 A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe 4 2010 A diagrammatic logic for object-oriented visual modeling. Zbl 1277.68055Diskin, Zinovy; Wolter, Uwe 6 2008 Fibred and indexed categories for abstract model theory. Zbl 1133.03015Martini, Alfio; Wolter, Uwe; Haeusler, E. Hermann 1 2007 The choice of standards for a reporting language. Zbl 1165.68509Walicki, Michał; Wolter, Uwe; Stecher, Jack 1 2006 CSP, partial automata, and coalgebras. Zbl 1050.68099Wolter, Uwe 2 2002 Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 6 2001 On corelations, cokernels, and coequations. Zbl 0960.18003Wolter, Uwe 3 2000 A coalgebraic introduction to CSP. Zbl 0918.68021Wolter, Uwe 2 1999 A single perspective on arrows between institutions. Zbl 1089.03510Martini, Alfio; Wolter, Uwe 1 1999 Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe 2 1998 From abstract data types to algebraic development techniques: A shift of paradigms. Zbl 0901.68128Ehrig, H.; Gajewsky, M.; Wolter, U. 1 1998 Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 1 1997 Categorical concepts for parametrized partial specifications. Zbl 0909.18002Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe 6 1995 Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functors semantics. Zbl 0856.68098Löwe, Michael; Wolter, Uwe 1 1995 An algebraic approach to deduction in equational partial Horn theories. Zbl 0724.68021Wolter, Uwe 2 1991 all cited Publications top 5 cited Publications all top 5 Cited by 56 Authors 8 Wolter, Uwe E. 4 Corradini, Andrea 4 Rutle, Adrian 3 Gadducci, Fabio 3 König, Harald 3 Rossini, Alessandro 3 Schröder, Lutz 3 Sokolova, Ana 2 Lamo, Yngve 2 Mossakowski, Till 2 Ribeiro, Leila 2 Tarlecki, Andrzej 1 Adámek, Jiří 1 Barbosa, Luís Soares 1 Bartels, Falk 1 Bonchi, Filippo 1 Boreale, Michele 1 Braatz, Benjamin 1 Cherchago, Alexey 1 de Lara, Juan 1 de Vink, Erik P. 1 Durán, Francisco 1 Duval, Dominique 1 Echahed, Rachid 1 Ehrig, Hartmut 1 Gabriel, Karsten 1 Golas, Ulrike 1 Guerra, Esther 1 Haeusler, Edward Hermann 1 Hébert, Michel 1 Heckel, Reiko 1 Hoffman, Piotr 1 Hosseini, Seyed Naser 1 Klin, Bartek 1 Kovalyov, Serge P. 1 Larsen, Kim Guldstrand 1 Lowe, Michael J. S. 1 Macías, Fernando 1 Maietti, Maria Emilia 1 Maldonado, Ana Paula 1 Martini, A. R. 1 Monteiro, Luís 1 Oliveira, José Nuno 1 Prost, Frédéric 1 Rodrigues, César J. 1 Rodriguez-Echeverria, Roberto 1 Roggenbach, Markus 1 Rosický, Jiří 1 Schulz, Christoph 1 Shir Ali Nasab, Amir Reza 1 Silva, Alexandra 1 Srba, Jiří 1 Stecher, Jack Douglas 1 Vickers, Steven 1 Xue, Jinyun 1 Zheng, Yujun all top 5 Cited in 11 Serials 9 Theoretical Computer Science 3 The Journal of Logic and Algebraic Programming 3 Journal of Logical and Algebraic Methods in Programming 1 Computing 1 Journal of Pure and Applied Algebra 1 Synthese 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Applied Categorical Structures 1 Journal of Mathematical Sciences (New York) 1 Logical Methods in Computer Science all top 5 Cited in 6 Fields 27 Computer science (68-XX) 7 Category theory; homological algebra (18-XX) 6 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year