Home
Uwe Egbert Wolter's picture

Uwe Egbert Wolter

Associate Professor
  • E-mailUwe.Wolter@uib.no
  • Phone+47 55 58 41 96
  • Visitor Address
    HIB - Thormøhlensgt. 55
  • Postal Address
    Postboks 7803
    5020 Bergen
Academic article
  • Macías, Fernando; Wolter, Uwe Egbert; Rutle, Adrian; Duran, Francisco; Rodriguez-Echeverria, Roberto. 2019. Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour . Journal of Logical and Algebraic Methods in Programming. 167-195.
  • König, Harald; Wolter, Uwe Egbert. 2018. Van Kampen Colimits and Path Uniqueness . Logical Methods in Computer Science. 1-27.
  • Pshenichny, Cyril; Wolter, Uwe Egbert; Dzhura, Sergey. 2018. Predication, Relations, Particulars. Contributions of the Austrian Ludwig Wittgenstein Society. 196-198.
  • Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2018. Handling constraints in model versioning. CEUR Workshop Proceedings. 284-292.
  • Wolter, Uwe Egbert; Diskin, Zinovy; König, Harald. 2018. Graph Operations and Free Graph Algebras . Lecture Notes in Computer Science (LNCS). 313-331.
  • Macías, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto; Wolter, Uwe Egbert. 2018. An Approach to Flexible Multilevel Modelling. Enterprise Modelling and Information Systems Architectures - An International Journal. 1-34.
  • König, Harald; Wolter, Uwe Egbert. 2017. Being van kampen in presheaf topoi is a uniqueness property. Leibniz International Proceedings in Informatics. 1-15.
  • Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio. 2015. Towards a uniform presentation of logical systems by indexed categories and adjoint situations. Journal of Logic and Computation. 57-93.
  • Wolter, Uwe Egbert; König, Harald. 2015. Fibred amalgamation, descent data, and Van Kampen squares in topoi. Applied Categorical Structures. 447-486.
  • Mantz, Florian; Taentzer, Gabriele; Lamo, Yngve; Wolter, Uwe Egbert. 2015. Co-evolving meta-models and their instance models: A formal approach based on graph transformation. Science of Computer Programming. 2-43.
  • König, Harald; Löwe, Michael; Schulz, Christoph; Wolter, Uwe Egbert. 2014. Van kampen squares for graph transformation. Lecture Notes in Computer Science (LNCS). 222-236.
  • Wolter, Uwe Egbert. 2014. Guest Editor's foreword. Journal of Logical and Algebraic Methods in Programming. 1 pages.
  • Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe Egbert. 2014. A formalisation of deep metamodelling. Formal Aspects of Computing. 1115-1152.
  • König, Harald; Wolter, Uwe Egbert; Löwe, Michael. 2012. Characterizing Van Kampen Squares via Descent Data. Electronic Proceedings in Theoretical Computer Science. 61-81.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2012. A formal approach to the specification and transformation of constraints in MDE. Journal of Logic and Algebraic Programming. 422-457.
  • Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2010. A formalisation of the copy-modify-merge approach to version control in MDE. Journal of Logic and Algebraic Programming. 636-658.
  • Diskin, Zinovy; Wolter, Uwe Egbert. 2008. A Diagrammatic Logic for Object-Oriented Visual Modeling. Electronical Notes in Theoretical Computer Science. 19-41.
  • Martini, Alfio; Wolter, Uwe Egbert; Haeusler, Edward Hermann. 2007. Fibred and Indexed Categories for Abstract Model Theory. Logic Journal of the IGPL. 707-739.
  • Wolter, Uwe Egbert. 2007. A (Co)Algebraic Analysis of Synchronization in CSP. Lecture Notes in Computer Science (LNCS). 156-170.
  • Wolter, Uwe Egbert. 2005. Cofree coalgebras for signature morphisms. Lecture Notes in Computer Science (LNCS). 275-290.
  • Wolter, Uwe Egbert. 2002. CSP, partial automata, and coalgebras. Theoretical Computer Science. 3-34.
  • Wolter, Uwe Egbert; Heckel, Reiko; Ehrig, Hartmut; Corradini, Andrea. 2001. Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformations. Applied Categorical Structures. 83-110.
Report
  • König, Harald; Wolter, Uwe Egbert. 2016. Van Kampen Colimits in Presheaf Topoi. 02016/02. 02016/02. .
  • Wolter, Uwe Egbert; Mantz, Florian. 2013. The Diagram Predicate Framework in View of Adhesive Categories. 405. 405. .
  • Wolter, Uwe Egbert; König, Harald. 2012. Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. 404. 404. .
  • Wolter, Uwe Egbert; Lamo, Yngve. 2012. 24th Nordic Workshop on Programming Theory. 403. 403. .
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2008. Generalized Sketches and Model Driven Architecture. 367. 367. .
  • Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve. 2008. A formal approach to modeling and model transformations in software engineering. 48. 48. .
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2007. The Next Hundred Diagrammatic Specification Techniques - An Introduction to Generalized Sketches -. 358. 358. .
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2007. From Indexed to Fibred Semantics - The Generalized Sketch File. 361. 361. .
  • Walicki, Michal; Wolter, Uwe Egbert. 2006. Universal Multialgebra II. .
  • Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas. 2006. A Category for Studying the Standardization of Reporting Languages. 314. 314. .
Lecture
  • Wolter, Uwe Egbert. 2015. Scenarios in Event Bushes – A Formal Approach.
  • Wolter, Uwe Egbert. 2015. Diagrammatic modelling - A unified view .
  • Wolter, Uwe Egbert. 2013. Struktur und Verhalten - Duale System-Aspekte.
Academic lecture
  • Wolter, Uwe Egbert. 2019. Logics of First-Order Constraints – A Category Independent Approach .
  • Wolter, Uwe Egbert. 2019. Indexed vs. fibred structures in specification formalisms – A field report.
  • Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann. 2019. Indexed and Fibred Structures for Hoare Logic.
  • Pshenichny, Cyril; Wolter, Uwe Egbert; Dzhura, Sergey. 2018. Prediction, relations, particulars .
  • Wolter, Uwe Egbert. 2018. A Universal Language for First-Order Constraints.
  • Wolter, Uwe Egbert; Pshenichny, Cyril. 2018. A Universal Framework for Representing Knowledge about Real World Phenomena.
  • Wolter, Uwe Egbert. 2017. The Diagram Predicate Framework (DPF) .
  • Wolter, Uwe Egbert; König, Harald. 2017. Being Van Kampen is a Uniqueness Property in Presheaf Topoi.
  • Wolter, Uwe Egbert. 2016. Sets and Multitudes - A first Attempt.
  • Wolter, Uwe Egbert; Rutle, Adrian. 2016. From Graph Transformations to the Diagram Predicate Framework .
  • Wolter, Uwe Egbert. 2016. Diagrams taken seriously - An introduction into the Diagram Predicate Framework.
  • Rutle, Adrian; Macías, Fernando; Duran, Francisco; Rodriguez, Roberto; Wolter, Uwe Egbert. 2016. Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations.
  • Wolter, Uwe Egbert. 2015. Algebraische Spezifikationen, Sketche und Verallgemeinerte Sketche .
  • König, Harald; Löwe, Michael; Schulz, Christoph; Wolter, Uwe Egbert. 2014. Van Kampen Squares for Graph Transformation.
  • Wolter, Uwe Egbert. 2014. Thoughts about the Duality of Structure and Behaviour .
  • Wolter, Uwe Egbert. 2014. Structure and behaviour - dual aspects of systems.
  • Wolter, Uwe Egbert; König, Harald. 2014. Fibred Amalgamation and Fibred Equivalences.
  • Mantz, Florian; Wolter, Uwe Egbert. 2013. The Advantage of Using Co-span Graph Transformations for Meta-model Evolution.
  • Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann. 2013. Fibred and Indexed Semantics for a Hoare-like Logic.
  • König, Harald; Wolter, Uwe Egbert; Löwe, Michael. 2012. Characterizing Van Kampen Squares via Descent Data.
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2011. Generalized Sketches and Presheaf Topoi.
  • Wolter, Uwe Egbert. 2011. From Algebraic Specification via Sketches to the Diagram Predicate Framework.
  • Mantz, Florian; Rossini, Alessandro; Taentzer, Gabriele; Lamo, Yngve; Wolter, Uwe Egbert. 2011. Formalising Metamodel Evolution based on Category Theory.
  • Mantz, Florian; Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2010. Towards a Formal Approach to Metamodel Evolution.
  • Wolter, Uwe Egbert. 2010. Indexed vs. Fibred Semantics in view of Metamodeling.
  • Rossini, Alessandro; Rutle, Adrian; Mantz, Florian; Lamo, Yngve; Wolter, Uwe Egbert. 2010. Constraint-Aware Model Merging.
  • Wolter, Uwe Egbert. 2009. Version Control in view of the Diagram Predicate Framework.
  • Wolter, Uwe Egbert. 2009. The Diagram Predicate Framework - An Introduction.
  • Wolter, Uwe Egbert. 2009. Generalized Sketches and Indexed vs. Fibred Semantics.
  • Rossini, Alessandro; Rutle, Adrian; Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim; Lamo, Yngve; Wolter, Uwe Egbert. 2009. Data Validation Constraints in MDE.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2009. Constraint-Aware Model Transformations.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2008. Version Control in MDE.
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2008. The Van-Kampen Square in view of the Grothendieck construction.
  • Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann. 2008. Indexed Logical Closure Operators.
  • Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve. 2008. Generalized Sketches and Model Driven Architecture.
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2008. Contexts and Context Awareness in view of the Diagram Predicate Framework.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2008. Automatic Definition of Model Transformations at the Instance Level.
  • Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve. 2008. A Formal Approach to Modeling and Model Transformations in Software Engineering.
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2008. A Diagrammatic Approach to Model Transformations.
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2007. Generalized Sketches: A Universal Logic for Diagrammatic Modeling in Software Engineering.
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2007. Generalized Sketches as an Extention to EMF.
  • Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve. 2007. Generalized Sketches and Model Driven Development.
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2007. Generalized Sketches and Model Driven Development.
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2007. Generalized Sketches and Model Driven Architecture.
  • Wolter, Uwe Egbert. 2007. Generalized Sketches - Theoreticians vs. Practicioners.
  • Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio. 2007. General Indexed Logic.
  • Wolter, Uwe Egbert. 2006. The Next One Hundred Diagrammatic Specification Techniques.
  • Wolter, Uwe Egbert. 2006. On (Co)Amalgamation and Synchronization.
  • Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio. 2006. Indexed General Logics.
  • Wolter, Uwe Egbert. 2006. From Universal Algebra to Lawvere Theories.
  • Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio. 2006. Fibred and Indexed Categories for Abstract Model Theory.
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2006. Diagrammatic software specification.
  • Lamo, Yngve; Rutle, Adrian; Wolter, Uwe Egbert. 2006. Diagramatic software specification.
  • Wolter, Uwe Egbert. 2006. A Journey from Total to Partial Algebras.
  • Wolter, Uwe Egbert. 2006. A (Co)Algebraic Analysis of Synchronization in CSP.
  • Wolter, Uwe Egbert; Lamo, Yngve; Hatland, Ørjan stølen. 2005. Generalised Sketches - A design tool based on Category Theory.
  • Wolter, Uwe Egbert. 2005. Cogenerated quotient coalgebras.
  • Wolter, Uwe Egbert. 2005. Category Theory in Computer Science.
  • Wolter, Uwe Egbert. 2004. What are Coalgebras and what are they good for?
  • Wolter, Uwe Egbert. 2004. Diagrammatic Specifications.
  • Wolter, Uwe Egbert. 2004. Cofree Coalgebras for Signature Morphisms.
  • Wolter, Uwe Egbert. 2003. Remarks on algebraic transformation systems.
  • Wolter, Uwe Egbert. 2003. On coequations and partitions.
  • Wolter, Uwe Egbert. 2003. CSP - algebra vs. coalgebra.
  • Wolter, Uwe Egbert. 2002. Free functor semantics for specifications of partial algebras with positive/negative conditional existence equations.
  • Wolter, Uwe Egbert. 2002. CSP, automata, and coalgebras.
  • Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann. 2001. Linking Logics for Multiparadigm Specifications.
  • Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann. 2001. Bridges of Logic via Maps.
  • Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann. 2001. A taste on putting logical systems together.
  • Wolter, Uwe Egbert. 2000. Der Traum von (der Einheit) der Wissenschaft.
Academic chapter/article/Conference paper
  • Rodríguez, Alejandro; Rutle, Adrian; Duran, Francisco; Kristensen, Lars Michael; Macías, Fernando; Wolter, Uwe Egbert. 2019. Composition of Multilevel Modelling Hierarchies.
  • Wolter, Uwe Egbert; Korableva, Olga; Solovyov, Nikita. 2018. The Event Bush Method in the Light of Typed Graphs Illustrated by Common Sense Reasoning . 33 pages.
  • Wolter, Uwe Egbert. 2018. Scenarios in Event Bushes: A Formal Proposal . 13 pages.
  • Rossini, Alessandro; Rutle, Adrian; Mughal, Khalid Azim; Lamo, Yngve; Wolter, Uwe Egbert. 2011. A Formal Approach to Data Validation Constraints in MDE. 12 pages.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2010. A Formalisation of Constraint-Aware Model Transformations. 16 pages.
  • Walicki, Michal; Wolter, Uwe Egbert. 2009. Universal Multialgebra. 67 pages.
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2009. Contexts and Context Awareness in View of the Diagram Predicate Framework. 14 pages.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2009. A Diagrammatic Formalisation of MOF-Based Modelling Languages. 20 pages.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2009. A Category-Theoretical Approach to the Formalisation of Version Control in MDE. 15 pages.
  • Haeusler, Edward Hermann; Martini, Alfio; Wolter, Uwe Egbert. 2007. Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions.
  • Walicki, Michal; Stecher, Jack; Wolter, Uwe Egbert. 2006. The choice of standards for a reporting language.
  • Walicki, Michal; Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas. 2006. The Choice of Standards for a Reporting Language. 1 pages.
  • Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann. 2001. Reasons and ways to cope with a spectrum of logics.
Other
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2006. Diagrammatic software specification.
Abstract
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2007. Generalized Sketches and Model Driven Architecture. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 93-95.
Poster
  • Hatland, Ørjan Stølen; Lamo, Yngve; Wolter, Uwe Egbert. 2005. Generalised sketches - design tool based on cathegory theory.

More information in national current research information system (CRIStin)