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