Hjem
Uwe Egbert Wolters bilde

Uwe Egbert Wolter

Førsteamanuensis
  • E-postUwe.Wolter@uib.no
  • Telefon+47 55 58 41 96
  • Besøksadresse
    HIB - Thormøhlens gate 55
    5006 Bergen
  • Postadresse
    Postboks 7803
    5020 Bergen
Vitenskapelig artikkel
  • Vis forfatter(e) (2023). Structural Operational Semantics for Heterogeneously Typed Coalgebras. Leibniz International Proceedings in Informatics. 7:1-7:17.
  • Vis forfatter(e) (2023). Graph Algebras and Derived Graph Operations. Logics. 182-239.
  • Vis forfatter(e) (2023). Composition of multilevel domain-specific modelling languages. Journal of Logical and Algebraic Methods in Programming. 1-37.
  • Vis forfatter(e) (2022). Logics of Statements in Context - Category Independent Basics. Mathematics. 1-65.
  • Vis forfatter(e) (2022). Indexed and fibered structures for partial and total correctness assertions. Mathematical Structures in Computer Science. 1145-1175.
  • Vis forfatter(e) (2022). Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. Lecture Notes in Computer Science (LNCS). 308-325.
  • Vis forfatter(e) (2021). Indexed vs. fibred structures - A field report. Revue Roumaine de Mathématiques Pures et Appliquées. 813-830.
  • Vis forfatter(e) (2020). Multilevel Typed Graph Transformations. Lecture Notes in Computer Science (LNCS). 163-182.
  • Vis forfatter(e) (2020). Indexed and Fibred Structures for Hoare Logic. Electronical Notes in Theoretical Computer Science. 125-145.
  • Vis forfatter(e) (2019). Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour . Journal of Logical and Algebraic Methods in Programming. 167-195.
  • Vis forfatter(e) (2018). Van Kampen Colimits and Path Uniqueness . Logical Methods in Computer Science. 1-27.
  • Vis forfatter(e) (2018). Predication, Relations, Particulars. Contributions of the Austrian Ludwig Wittgenstein Society. 196-198.
  • Vis forfatter(e) (2018). Handling constraints in model versioning. CEUR Workshop Proceedings. 284-292.
  • Vis forfatter(e) (2018). Graph Operations and Free Graph Algebras . Lecture Notes in Computer Science (LNCS). 313-331.
  • Vis forfatter(e) (2018). An Approach to Flexible Multilevel Modelling. Enterprise Modelling and Information Systems Architectures - An International Journal. 1-34.
  • Vis forfatter(e) (2017). Being van kampen in presheaf topoi is a uniqueness property. Leibniz International Proceedings in Informatics. 1-15.
  • Vis forfatter(e) (2015). Towards a uniform presentation of logical systems by indexed categories and adjoint situations. Journal of Logic and Computation. 57-93.
  • Vis forfatter(e) (2015). Fibred amalgamation, descent data, and Van Kampen squares in topoi. Applied Categorical Structures. 447-486.
  • Vis forfatter(e) (2015). Co-evolving meta-models and their instance models: A formal approach based on graph transformation. Science of Computer Programming. 2-43.
  • Vis forfatter(e) (2014). Van kampen squares for graph transformation. Lecture Notes in Computer Science (LNCS). 222-236.
  • Vis forfatter(e) (2014). Guest Editor's foreword. Journal of Logical and Algebraic Methods in Programming. 1 sider.
  • Vis forfatter(e) (2014). A formalisation of deep metamodelling. Formal Aspects of Computing. 1115-1152.
  • Vis forfatter(e) (2012). Characterizing Van Kampen Squares via Descent Data. Electronic Proceedings in Theoretical Computer Science (EPTCS). 61-81.
  • Vis forfatter(e) (2012). A formal approach to the specification and transformation of constraints in MDE. Journal of Logic and Algebraic Programming. 422-457.
  • Vis forfatter(e) (2010). A formalisation of the copy-modify-merge approach to version control in MDE. Journal of Logic and Algebraic Programming. 636-658.
  • Vis forfatter(e) (2008). A Diagrammatic Logic for Object-Oriented Visual Modeling. Electronical Notes in Theoretical Computer Science. 19-41.
  • Vis forfatter(e) (2007). Fibred and Indexed Categories for Abstract Model Theory. Logic Journal of the IGPL. 707-739.
  • Vis forfatter(e) (2007). A (Co)Algebraic Analysis of Synchronization in CSP. Lecture Notes in Computer Science (LNCS). 156-170.
  • Vis forfatter(e) (2005). Cofree coalgebras for signature morphisms. Lecture Notes in Computer Science (LNCS). 275-290.
  • Vis forfatter(e) (2002). CSP, partial automata, and coalgebras. Theoretical Computer Science. 3-34.
  • Vis forfatter(e) (2001). Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformations. Applied Categorical Structures. 83-110.
Rapport
  • Vis forfatter(e) (2016). Van Kampen Colimits in Presheaf Topoi. 02016/02. 02016/02. .
  • Vis forfatter(e) (2013). The Diagram Predicate Framework in View of Adhesive Categories. 405. 405. .
  • Vis forfatter(e) (2012). Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. 404. 404. .
  • Vis forfatter(e) (2012). 24th Nordic Workshop on Programming Theory. 403. 403. .
  • Vis forfatter(e) (2008). Generalized Sketches and Model Driven Architecture. 367. 367. .
  • Vis forfatter(e) (2008). A formal approach to modeling and model transformations in software engineering. 48. 48. .
  • Vis forfatter(e) (2007). The Next Hundred Diagrammatic Specification Techniques - An Introduction to Generalized Sketches -. 358. 358. .
  • Vis forfatter(e) (2007). From Indexed to Fibred Semantics - The Generalized Sketch File. 361. 361. .
  • Vis forfatter(e) (2006). Universal Multialgebra II. .
  • Vis forfatter(e) (2006). A Category for Studying the Standardization of Reporting Languages. 314. 314. .
Faglig foredrag
  • Vis forfatter(e) (2015). Scenarios in Event Bushes – A Formal Approach.
  • Vis forfatter(e) (2015). Diagrammatic modelling - A unified view .
  • Vis forfatter(e) (2013). Struktur und Verhalten - Duale System-Aspekte.
Vitenskapelig foredrag
  • Vis forfatter(e) (2023). Structural Operational Semantics for Heterogeneously Typed Coalgebras.
  • Vis forfatter(e) (2023). Logics of Statements in Context.
  • Vis forfatter(e) (2023). Generalized Sketches - A sketchy Introduction.
  • Vis forfatter(e) (2023). An Outline of the Theory of Generalized Sketches.
  • Vis forfatter(e) (2023). A Journey from Graphs to Generalized Sketches.
  • Vis forfatter(e) (2022). Diagrammatic Specifications and Dependent Type Theory.
  • Vis forfatter(e) (2022). Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach.
  • Vis forfatter(e) (2022). Algebras and Graph Algebras.
  • Vis forfatter(e) (2021). Diagrammatic Specifications and Logics.
  • Vis forfatter(e) (2021). A General Methodology for Internalising Multi-level Model Typing.
  • Vis forfatter(e) (2019). Logics of First-Order Constraints – A Category Independent Approach .
  • Vis forfatter(e) (2019). Logics of First-Order Constraints and the Diagram Predicate Framework.
  • Vis forfatter(e) (2019). Indexed vs. fibred structures in specification formalisms – A field report.
  • Vis forfatter(e) (2019). Indexed and Fibred Structures for Hoare Logic.
  • Vis forfatter(e) (2018). Prediction, relations, particulars .
  • Vis forfatter(e) (2018). Graph Algebras and Software Engineering.
  • Vis forfatter(e) (2018). A Universal Language for First-Order Constraints.
  • Vis forfatter(e) (2018). A Universal Framework for Representing Knowledge about Real World Phenomena.
  • Vis forfatter(e) (2017). The Diagram Predicate Framework (DPF) .
  • Vis forfatter(e) (2017). Being Van Kampen is a Uniqueness Property in Presheaf Topoi.
  • Vis forfatter(e) (2016). Sets and Multitudes - A first Attempt.
  • Vis forfatter(e) (2016). From Graph Transformations to the Diagram Predicate Framework .
  • Vis forfatter(e) (2016). Diagrams taken seriously - An introduction into the Diagram Predicate Framework.
  • Vis forfatter(e) (2016). Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations.
  • Vis forfatter(e) (2015). Algebraische Spezifikationen, Sketche und Verallgemeinerte Sketche .
  • Vis forfatter(e) (2014). Van Kampen Squares for Graph Transformation.
  • Vis forfatter(e) (2014). Thoughts about the Duality of Structure and Behaviour .
  • Vis forfatter(e) (2014). Structure and behaviour - dual aspects of systems.
  • Vis forfatter(e) (2014). Fibred Amalgamation and Fibred Equivalences.
  • Vis forfatter(e) (2013). The Advantage of Using Co-span Graph Transformations for Meta-model Evolution.
  • Vis forfatter(e) (2013). Fibred and Indexed Semantics for a Hoare-like Logic.
  • Vis forfatter(e) (2012). Characterizing Van Kampen Squares via Descent Data.
  • Vis forfatter(e) (2011). Generalized Sketches and Presheaf Topoi.
  • Vis forfatter(e) (2011). From Algebraic Specification via Sketches to the Diagram Predicate Framework.
  • Vis forfatter(e) (2011). Formalising Metamodel Evolution based on Category Theory.
  • Vis forfatter(e) (2010). Towards a Formal Approach to Metamodel Evolution.
  • Vis forfatter(e) (2010). Indexed vs. Fibred Semantics in view of Metamodeling.
  • Vis forfatter(e) (2010). Constraint-Aware Model Merging.
  • Vis forfatter(e) (2009). Version Control in view of the Diagram Predicate Framework.
  • Vis forfatter(e) (2009). The Diagram Predicate Framework - An Introduction.
  • Vis forfatter(e) (2009). Generalized Sketches and Indexed vs. Fibred Semantics.
  • Vis forfatter(e) (2009). Data Validation Constraints in MDE.
  • Vis forfatter(e) (2009). Constraint-Aware Model Transformations.
  • Vis forfatter(e) (2008). Version Control in MDE.
  • Vis forfatter(e) (2008). The Van-Kampen Square in view of the Grothendieck construction.
  • Vis forfatter(e) (2008). Indexed Logical Closure Operators.
  • Vis forfatter(e) (2008). Generalized Sketches and Model Driven Architecture.
  • Vis forfatter(e) (2008). Contexts and Context Awareness in view of the Diagram Predicate Framework.
  • Vis forfatter(e) (2008). Automatic Definition of Model Transformations at the Instance Level.
  • Vis forfatter(e) (2008). A Formal Approach to Modeling and Model Transformations in Software Engineering.
  • Vis forfatter(e) (2008). A Diagrammatic Approach to Model Transformations.
  • Vis forfatter(e) (2007). Generalized Sketches: A Universal Logic for Diagrammatic Modeling in Software Engineering.
  • Vis forfatter(e) (2007). Generalized Sketches as an Extention to EMF.
  • Vis forfatter(e) (2007). Generalized Sketches and Model Driven Development.
  • Vis forfatter(e) (2007). Generalized Sketches and Model Driven Development.
  • Vis forfatter(e) (2007). Generalized Sketches and Model Driven Architecture.
  • Vis forfatter(e) (2007). Generalized Sketches - Theoreticians vs. Practicioners.
  • Vis forfatter(e) (2007). General Indexed Logic.
  • Vis forfatter(e) (2006). The Next One Hundred Diagrammatic Specification Techniques.
  • Vis forfatter(e) (2006). On (Co)Amalgamation and Synchronization.
  • Vis forfatter(e) (2006). Indexed General Logics.
  • Vis forfatter(e) (2006). From Universal Algebra to Lawvere Theories.
  • Vis forfatter(e) (2006). Fibred and Indexed Categories for Abstract Model Theory.
  • Vis forfatter(e) (2006). Diagrammatic software specification.
  • Vis forfatter(e) (2006). Diagramatic software specification.
  • Vis forfatter(e) (2006). A Journey from Total to Partial Algebras.
  • Vis forfatter(e) (2006). A (Co)Algebraic Analysis of Synchronization in CSP.
  • Vis forfatter(e) (2005). Generalised Sketches - A design tool based on Category Theory.
  • Vis forfatter(e) (2005). Cogenerated quotient coalgebras.
  • Vis forfatter(e) (2005). Category Theory in Computer Science.
  • Vis forfatter(e) (2004). What are Coalgebras and what are they good for?
  • Vis forfatter(e) (2004). Diagrammatic Specifications.
  • Vis forfatter(e) (2004). Cofree Coalgebras for Signature Morphisms.
  • Vis forfatter(e) (2003). Remarks on algebraic transformation systems.
  • Vis forfatter(e) (2003). On coequations and partitions.
  • Vis forfatter(e) (2003). CSP - algebra vs. coalgebra.
  • Vis forfatter(e) (2002). Free functor semantics for specifications of partial algebras with positive/negative conditional existence equations.
  • Vis forfatter(e) (2002). CSP, automata, and coalgebras.
  • Vis forfatter(e) (2001). Linking Logics for Multiparadigm Specifications.
  • Vis forfatter(e) (2001). Bridges of Logic via Maps.
  • Vis forfatter(e) (2001). A taste on putting logical systems together.
  • Vis forfatter(e) (2000). Der Traum von (der Einheit) der Wissenschaft.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Vis forfatter(e) (2021). A General Methodology for Internalising Multi-level Model Typing. 10 sider.
  • Vis forfatter(e) (2019). Composition of Multilevel Modelling Hierarchies. 3 sider.
  • Vis forfatter(e) (2018). The Event Bush Method in the Light of Typed Graphs Illustrated by Common Sense Reasoning . 33 sider.
  • Vis forfatter(e) (2018). Scenarios in Event Bushes: A Formal Proposal . 13 sider.
  • Vis forfatter(e) (2011). A Formal Approach to Data Validation Constraints in MDE. 12 sider.
  • Vis forfatter(e) (2010). A Formalisation of Constraint-Aware Model Transformations. 16 sider.
  • Vis forfatter(e) (2009). Universal Multialgebra. 67 sider.
  • Vis forfatter(e) (2009). Contexts and Context Awareness in View of the Diagram Predicate Framework. 14 sider.
  • Vis forfatter(e) (2009). A Diagrammatic Formalisation of MOF-Based Modelling Languages. 20 sider.
  • Vis forfatter(e) (2009). A Category-Theoretical Approach to the Formalisation of Version Control in MDE. 15 sider.
  • Vis forfatter(e) (2007). Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions. 22 sider.
  • Vis forfatter(e) (2006). The choice of standards for a reporting language.
  • Vis forfatter(e) (2006). The Choice of Standards for a Reporting Language. 1 sider.
  • Vis forfatter(e) (2001). Reasons and ways to cope with a spectrum of logics. 8 sider.
Annet
  • Vis forfatter(e) (2006). Diagrammatic software specification.
Sammendrag/abstract
  • Vis forfatter(e) (2007). Generalized Sketches and Model Driven Architecture. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 93-95.
Poster
  • Vis forfatter(e) (2005). Generalised sketches - design tool based on cathegory theory.

Se fullstendig oversikt over publikasjoner i CRIStin.