- E-post
- uwe.wolter@uib.no
- Telefonnummer
- +47 55584196
- Besøksadresse
-
HIB - Thormøhlens gate 55
5006 Bergen - Postadresse
-
Postboks 7803
5020 Bergen
Publikasjoner
Vitenskapelig bokkapittel
- Harald König; Uwe Egbert Wolter (2025). Bialgebraic Representation of Coordination Frameworks. (ekstern lenke)
- Adrian Rutle; Alessandro Rossini; Yngve Lamo et al. (2009). A Category-Theoretical Approach to the Formalisation of Version Control in MDE. (ekstern lenke)
- Adrian Rutle; Alessandro Rossini; Yngve Lamo et al. (2009). A Diagrammatic Formalisation of MOF-Based Modelling Languages. (ekstern lenke)
- Harald König; Uwe Egbert Wolter (2021). A General Methodology for Internalising Multi-level Model Typing. (ekstern lenke)
- Edward Hermann Haeusler; Alfio Martini; Uwe Egbert Wolter (2007). Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions. (ekstern lenke)
- Adrian Rutle; Alessandro Rossini; Yngve Lamo et al. (2010). A Formalisation of Constraint-Aware Model Transformations. (ekstern lenke)
- Alejandro Rodríguez; Adrian Rutle; Francisco Duran et al. (2019). Composition of Multilevel Modelling Hierarchies. (ekstern lenke)
- Michal Walicki; Uwe Egbert Wolter; Jack Douglas Stecher et al. (2006). The Choice of Standards for a Reporting Language. (ekstern lenke)
- Michal Walicki; Uwe Egbert Wolter (2009). Universal Multialgebra. (ekstern lenke)
- Uwe Egbert Wolter; Zinovy Diskin (2009). Contexts and Context Awareness in View of the Diagram Predicate Framework. (ekstern lenke)
- Uwe Egbert Wolter (2018). Scenarios in Event Bushes: A Formal Proposal. (ekstern lenke)
- Uwe Egbert Wolter; Olga Korableva; Nikita Solovyov (2018). The Event Bush Method in the Light of Typed Graphs Illustrated by Common Sense Reasoning. (ekstern lenke)
- Michal Walicki; Jack Stecher; Uwe Egbert Wolter (2006). The choice of standards for a reporting language. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2001). Reasons and ways to cope with a spectrum of logics. (ekstern lenke)
- Alessandro Rossini; Adrian Rutle; Khalid Azim Mughal et al. (2011). A Formal Approach to Data Validation Constraints in MDE. (ekstern lenke)
Vitenskapelig artikkel
- Uwe Egbert Wolter (2025). Logics of Statements in Context—First-Order Logic Files. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2020). Indexed and Fibred Structures for Hoare Logic. (ekstern lenke)
- Adrian Rutle; Alessandro Rossini; Yngve Lamo et al. (2012). A formal approach to the specification and transformation of constraints in MDE. (ekstern lenke)
- Uwe Egbert Wolter (2021). Indexed vs. fibred structures - A field report. (ekstern lenke)
- Uwe Egbert Wolter; Reiko Heckel; Hartmut Ehrig et al. (2001). Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformations. (ekstern lenke)
- Florian Mantz; Gabriele Taentzer; Yngve Lamo et al. (2015). Co-evolving meta-models and their instance models: A formal approach based on graph transformation. (ekstern lenke)
- Alfio Martini; Uwe Egbert Wolter; Edward Hermann Haeusler (2007). Fibred and Indexed Categories for Abstract Model Theory. (ekstern lenke)
- Harald König; Uwe Egbert Wolter; Tim Oliver Kräuter (2023). Structural Operational Semantics for Heterogeneously Typed Coalgebras. (ekstern lenke)
- Alessandro Rossini; Adrian Rutle; Yngve Lamo et al. (2010). A formalisation of the copy-modify-merge approach to version control in MDE. (ekstern lenke)
- Uwe Egbert Wolter; Harald König (2015). Fibred amalgamation, descent data, and Van Kampen squares in topoi. (ekstern lenke)
- Cyril Pshenichny; Uwe Egbert Wolter; Sergey Dzhura (2018). Predication, Relations, Particulars. (ekstern lenke)
- Uwe Egbert Wolter; Harald König (2022). Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. (ekstern lenke)
- Alessandro Rossini; Adrian Rutle; Yngve Lamo et al. (2018). Handling constraints in model versioning. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2022). Indexed and fibered structures for partial and total correctness assertions. (ekstern lenke)
- Uwe Egbert Wolter (2005). Cofree coalgebras for signature morphisms. (ekstern lenke)
- Harald König; Uwe Egbert Wolter; Michael Löwe (2012). Characterizing Van Kampen Squares via Descent Data. (ekstern lenke)
- Uwe Egbert Wolter; Edward Hermann Haeusler; Alfio Martini (2015). Towards a uniform presentation of logical systems by indexed categories and adjoint situations. (ekstern lenke)
- Alessandro Rossini; Juan de Lara; Esther Guerra et al. (2014). A formalisation of deep metamodelling. (ekstern lenke)
- Uwe Egbert Wolter; Zinovy Diskin; Harald König (2018). Graph Operations and Free Graph Algebras. (ekstern lenke)
- Harald König; Uwe Egbert Wolter (2017). Being van kampen in presheaf topoi is a uniqueness property. (ekstern lenke)
- Harald König; Uwe Egbert Wolter (2018). Van Kampen Colimits and Path Uniqueness. (ekstern lenke)
- Fernando Macías; Adrian Rutle; Volker Stolz et al. (2018). An Approach to Flexible Multilevel Modelling. (ekstern lenke)
- Fernando Macías; Uwe Egbert Wolter; Adrian Rutle et al. (2019). Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour. (ekstern lenke)
- Zinovy Diskin; Uwe Egbert Wolter (2008). A Diagrammatic Logic for Object-Oriented Visual Modeling. (ekstern lenke)
- Uwe Wolter; Tam T. Truong (2023). Graph Algebras and Derived Graph Operations. (ekstern lenke)
- Harald König; Michael Löwe; Christoph Schulz et al. (2014). Van kampen squares for graph transformation. (ekstern lenke)
- Uwe Egbert Wolter (2014). Guest Editor's foreword. (ekstern lenke)
- Uwe Egbert Wolter (2002). CSP, partial automata, and coalgebras. (ekstern lenke)
- Uwe Egbert Wolter (2022). Logics of Statements in Context - Category Independent Basics. (ekstern lenke)
- Uwe Egbert Wolter (2007). A (Co)Algebraic Analysis of Synchronization in CSP. (ekstern lenke)
- Uwe Egbert Wolter; Fernando Macías; Adrian Rutle (2020). Multilevel Typed Graph Transformations. (ekstern lenke)
- Alejandro Rodríguez; Fernando Macias Gomez de Villar; Francisco Durán et al. (2023). Composition of multilevel domain-specific modelling languages. (ekstern lenke)
Konferanseforedrag
- Uwe Egbert Wolter (2004). Cofree Coalgebras for Signature Morphisms. (ekstern lenke)
- Uwe Egbert Wolter; Cyril Pshenichny (2018). A Universal Framework for Representing Knowledge about Real World Phenomena. (ekstern lenke)
- Uwe Egbert Wolter (2018). A Universal Language for First-Order Constraints. (ekstern lenke)
- Cyril Pshenichny; Uwe Egbert Wolter; Sergey Dzhura (2018). Prediction, relations, particulars. (ekstern lenke)
- Uwe Egbert Wolter (2017). The Diagram Predicate Framework (DPF). (ekstern lenke)
- Uwe Egbert Wolter; Yngve Lamo; Ørjan stølen Hatland (2005). Generalised Sketches - A design tool based on Category Theory. (ekstern lenke)
- Adrian Rutle; Yngve Lamo; Uwe Egbert Wolter (2007). Generalized Sketches and Model Driven Development. (ekstern lenke)
- Adrian Rutle; Yngve Lamo; Uwe Egbert Wolter (2007). Generalized Sketches and Model Driven Architecture. (ekstern lenke)
- Uwe Egbert Wolter (2005). Category Theory in Computer Science. (ekstern lenke)
- Uwe Egbert Wolter (2005). Cogenerated quotient coalgebras. (ekstern lenke)
- Adrian Rutle; Uwe Egbert Wolter; Yngve Lamo (2007). Generalized Sketches and Model Driven Development. (ekstern lenke)
- Adrian Rutle; Yngve Lamo; Uwe Egbert Wolter (2007). Generalized Sketches as an Extention to EMF. (ekstern lenke)
- Alessandro Rossini; Adrian Rutle; Federico Mancini et al. (2009). Data Validation Constraints in MDE. (ekstern lenke)
- Adrian Rutle; Alessandro Rossini; Yngve Lamo et al. (2009). Constraint-Aware Model Transformations. (ekstern lenke)
- Harald König; Uwe Egbert Wolter (2021). A General Methodology for Internalising Multi-level Model Typing. (ekstern lenke)
- Adrian Rutle; Yngve Lamo; Uwe Egbert Wolter (2006). Diagrammatic software specification. (ekstern lenke)
- Uwe Egbert Wolter (2010). Indexed vs. Fibred Semantics in view of Metamodeling. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2019). Indexed and Fibred Structures for Hoare Logic. (ekstern lenke)
- Uwe Egbert Wolter (2019). Indexed vs. fibred structures in specification formalisms – A field report. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2013). Fibred and Indexed Semantics for a Hoare-like Logic. (ekstern lenke)
- Uwe Egbert Wolter; Edward Hermann Haeusler; Alfio Martini (2006). Fibred and Indexed Categories for Abstract Model Theory. (ekstern lenke)
- Uwe Egbert Wolter (2019). Logics of First-Order Constraints – A Category Independent Approach. (ekstern lenke)
- Uwe Egbert Wolter (2006). From Universal Algebra to Lawvere Theories. (ekstern lenke)
- Uwe Egbert Wolter (2006). On (Co)Amalgamation and Synchronization. (ekstern lenke)
- Uwe Egbert Wolter; Tam Thanh Truong (2022). Algebras and Graph Algebras. (ekstern lenke)
- Uwe Egbert Wolter (2006). A (Co)Algebraic Analysis of Synchronization in CSP. (ekstern lenke)
- Uwe Egbert Wolter (2006). A Journey from Total to Partial Algebras. (ekstern lenke)
- Uwe Egbert Wolter; Edward Hermann Haeusler; Alfio Martini (2007). General Indexed Logic. (ekstern lenke)
- Uwe Egbert Wolter (2014). Thoughts about the Duality of Structure and Behaviour. (ekstern lenke)
- Uwe Egbert Wolter (2023). Generalized Sketches - A sketchy Introduction. (ekstern lenke)
- Uwe Egbert Wolter (2023). An Outline of the Theory of Generalized Sketches. (ekstern lenke)
- Uwe Egbert Wolter (2019). Logics of First-Order Constraints and the Diagram Predicate Framework. (ekstern lenke)
- Uwe Egbert Wolter (2022). Diagrammatic Specifications and Dependent Type Theory. (ekstern lenke)
- Uwe Egbert Wolter (2018). Graph Algebras and Software Engineering. (ekstern lenke)
- Adrian Rutle; Alessandro Rossini; Yngve Lamo et al. (2008). Version Control in MDE. (ekstern lenke)
- Uwe Egbert Wolter (2023). Logics of Statements in Context. (ekstern lenke)
- Uwe Egbert Wolter (2023). A Journey from Graphs to Generalized Sketches. (ekstern lenke)
- Adrian Rutle; Alessandro Rossini; Yngve Lamo et al. (2008). Automatic Definition of Model Transformations at the Instance Level. (ekstern lenke)
- Uwe Egbert Wolter (2006). The Next One Hundred Diagrammatic Specification Techniques. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2001). Bridges of Logic via Maps. (ekstern lenke)
- Uwe Egbert Wolter (2002). CSP, automata, and coalgebras. (ekstern lenke)
- Uwe Egbert Wolter (2002). Free functor semantics for specifications of partial algebras with positive/negative conditional existence equations. (ekstern lenke)
- Yngve Lamo; Adrian Rutle; Uwe Egbert Wolter (2006). Diagramatic software specification. (ekstern lenke)
- Uwe Egbert Wolter; Edward Hermann Haeusler; Alfio Martini (2006). Indexed General Logics. (ekstern lenke)
- Harald König; Uwe Egbert Wolter; Michael Löwe (2012). Characterizing Van Kampen Squares via Descent Data. (ekstern lenke)
- Uwe Egbert Wolter (2000). Der Traum von (der Einheit) der Wissenschaft. (ekstern lenke)
- Adrian Rutle; Uwe Egbert Wolter; Yngve Lamo (2008). Generalized Sketches and Model Driven Architecture. (ekstern lenke)
- Uwe Egbert Wolter (2015). Algebraische Spezifikationen, Sketche und Verallgemeinerte Sketche. (ekstern lenke)
- Uwe Egbert Wolter (2021). Diagrammatic Specifications and Logics. (ekstern lenke)
- Adrian Rutle; Yngve Lamo; Uwe Egbert Wolter (2008). A Diagrammatic Approach to Model Transformations. (ekstern lenke)
- Adrian Rutle; Fernando Macías; Francisco Duran et al. (2016). Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations. (ekstern lenke)
- Uwe Egbert Wolter; Tam T. Truong (2024). Graph Algebras and Derived Graph Operations. (ekstern lenke)
- Uwe Egbert Wolter; Harald König (2024). Bialgebraic Representation of Controlled Coordination of Interacting System Components. (ekstern lenke)
- Uwe Egbert Wolter; Zinovy Diskin (2011). Generalized Sketches and Presheaf Topoi. (ekstern lenke)
- Uwe Egbert Wolter (2011). From Algebraic Specification via Sketches to the Diagram Predicate Framework. (ekstern lenke)
- Uwe Egbert Wolter (2009). Generalized Sketches and Indexed vs. Fibred Semantics. (ekstern lenke)
- Uwe Egbert Wolter; Harald König (2017). Being Van Kampen is a Uniqueness Property in Presheaf Topoi. (ekstern lenke)
- Florian Mantz; Alessandro Rossini; Adrian Rutle et al. (2010). Towards a Formal Approach to Metamodel Evolution. (ekstern lenke)
- Alessandro Rossini; Adrian Rutle; Florian Mantz et al. (2010). Constraint-Aware Model Merging. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2001). Linking Logics for Multiparadigm Specifications. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2001). A taste on putting logical systems together. (ekstern lenke)
- Harald König; Uwe Egbert Wolter; Tim Oliver Kräuter (2023). Structural Operational Semantics for Heterogeneously Typed Coalgebras. (ekstern lenke)
- Uwe Egbert Wolter (2016). Sets and Multitudes - A first Attempt. (ekstern lenke)
- Uwe Egbert Wolter; Adrian Rutle (2016). From Graph Transformations to the Diagram Predicate Framework. (ekstern lenke)
- Uwe Egbert Wolter (2016). Diagrams taken seriously - An introduction into the Diagram Predicate Framework. (ekstern lenke)
- Uwe Egbert Wolter (2014). Structure and behaviour - dual aspects of systems. (ekstern lenke)
- Harald König; Michael Löwe; Christoph Schulz et al. (2014). Van Kampen Squares for Graph Transformation. (ekstern lenke)
- Uwe Egbert Wolter; Harald König (2014). Fibred Amalgamation and Fibred Equivalences. (ekstern lenke)
- Adrian Rutle; Uwe Egbert Wolter; Yngve Lamo (2008). A Formal Approach to Modeling and Model Transformations in Software Engineering. (ekstern lenke)
- Florian Mantz; Uwe Egbert Wolter (2013). The Advantage of Using Co-span Graph Transformations for Meta-model Evolution. (ekstern lenke)
- Uwe Egbert Wolter (2004). Diagrammatic Specifications. (ekstern lenke)
- Florian Mantz; Alessandro Rossini; Gabriele Taentzer et al. (2011). Formalising Metamodel Evolution based on Category Theory. (ekstern lenke)
- Uwe Egbert Wolter (2003). CSP - algebra vs. coalgebra. (ekstern lenke)
- Uwe Egbert Wolter (2003). Remarks on algebraic transformation systems. (ekstern lenke)
- Uwe Egbert Wolter (2003). On coequations and partitions. (ekstern lenke)
- Uwe Egbert Wolter; Zinovy Diskin (2008). Contexts and Context Awareness in view of the Diagram Predicate Framework. (ekstern lenke)
- Uwe Egbert Wolter (2009). Version Control in view of the Diagram Predicate Framework. (ekstern lenke)
- Uwe Egbert Wolter; Alfio Martini; Edward Hermann Haeusler (2008). Indexed Logical Closure Operators. (ekstern lenke)
- Uwe Egbert Wolter (2009). The Diagram Predicate Framework - An Introduction. (ekstern lenke)
- Uwe Egbert Wolter (2004). What are Coalgebras and what are they good for?. (ekstern lenke)
- Harald König; Uwe Egbert Wolter (2022). Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. (ekstern lenke)
- Uwe Egbert Wolter; Zinovy Diskin (2008). The Van-Kampen Square in view of the Grothendieck construction. (ekstern lenke)
- Uwe Egbert Wolter; Zinovy Diskin (2007). Generalized Sketches: A Universal Logic for Diagrammatic Modeling in Software Engineering. (ekstern lenke)
- Uwe Egbert Wolter (2007). Generalized Sketches - Theoreticians vs. Practicioners. (ekstern lenke)
Forskningsrapport
- Uwe Egbert Wolter; Zinovy Diskin (2007). The Next Hundred Diagrammatic Specification Techniques - An Introduction to Generalized Sketches -. (ekstern lenke)
- Harald König; Uwe Egbert Wolter (2016). Van Kampen Colimits in Presheaf Topoi. (ekstern lenke)
- Michal Walicki; Uwe Egbert Wolter; Jack Douglas Stecher (2006). A Category for Studying the Standardization of Reporting Languages. (ekstern lenke)
- Uwe Egbert Wolter; Yngve Lamo (2012). 24th Nordic Workshop on Programming Theory. (ekstern lenke)
- Uwe Egbert Wolter; Zinovy Diskin (2007). From Indexed to Fibred Semantics - The Generalized Sketch File. (ekstern lenke)
- Michal Walicki; Uwe Egbert Wolter (2006). Universal Multialgebra II. (ekstern lenke)
- Adrian Rutle; Yngve Lamo; Uwe Egbert Wolter (2008). Generalized Sketches and Model Driven Architecture. (ekstern lenke)
- Uwe Egbert Wolter; Harald König (2012). Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. (ekstern lenke)
- Uwe Egbert Wolter; Florian Mantz (2013). The Diagram Predicate Framework in View of Adhesive Categories. (ekstern lenke)
- Adrian Rutle; Uwe Egbert Wolter; Yngve Lamo (2008). A formal approach to modeling and model transformations in software engineering. (ekstern lenke)