Vitenskapelig foredrag

• Wolter, Uwe Egbert; König, Harald (2024). Bialgebraic Representation of Controlled Coordination of Interacting System Components. (ekstern lenke)
• Wolter, Uwe Egbert; Truong, Tam T. (2024). Graph Algebras and Derived Graph Operations. (ekstern lenke)
• Wolter, Uwe Egbert (2023). Logics of Statements in Context. (ekstern lenke)
• Wolter, Uwe Egbert (2023). An Outline of the Theory of Generalized Sketches. (ekstern lenke)
• Wolter, Uwe Egbert (2023). Generalized Sketches - A sketchy Introduction. (ekstern lenke)
• Wolter, Uwe Egbert (2023). A Journey from Graphs to Generalized Sketches. (ekstern lenke)
• König, Harald; Wolter, Uwe Egbert; Kräuter, Tim Oliver (2023). Structural Operational Semantics for Heterogeneously Typed Coalgebras. (ekstern lenke)
• König, Harald; Wolter, Uwe Egbert (2022). Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. (ekstern lenke)
• Wolter, Uwe Egbert; Truong, Tam Thanh (2022). Algebras and Graph Algebras. (ekstern lenke)
• Wolter, Uwe Egbert (2022). Diagrammatic Specifications and Dependent Type Theory. (ekstern lenke)
• Wolter, Uwe Egbert (2021). Diagrammatic Specifications and Logics. (ekstern lenke)
• König, Harald; Wolter, Uwe Egbert (2021). A General Methodology for Internalising Multi-level Model Typing. (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2019). Indexed and Fibred Structures for Hoare Logic. (ekstern lenke)
• Wolter, Uwe Egbert (2019). Logics of First-Order Constraints – A Category Independent Approach . (ekstern lenke)
• Wolter, Uwe Egbert (2019). Indexed vs. fibred structures in specification formalisms – A field report. (ekstern lenke)
• Wolter, Uwe Egbert (2019). Logics of First-Order Constraints and the Diagram Predicate Framework. (ekstern lenke)
• Wolter, Uwe Egbert (2018). A Universal Language for First-Order Constraints. (ekstern lenke)
• Pshenichny, Cyril; Wolter, Uwe Egbert; Dzhura, Sergey (2018). Prediction, relations, particulars . (ekstern lenke)
• Wolter, Uwe Egbert; Pshenichny, Cyril (2018). A Universal Framework for Representing Knowledge about Real World Phenomena. (ekstern lenke)
• Wolter, Uwe Egbert (2018). Graph Algebras and Software Engineering. (ekstern lenke)
• Wolter, Uwe Egbert; König, Harald (2017). Being Van Kampen is a Uniqueness Property in Presheaf Topoi. (ekstern lenke)
• Wolter, Uwe Egbert (2017). The Diagram Predicate Framework (DPF) . (ekstern lenke)
• Rutle, Adrian; Macías, Fernando; Duran, Francisco et al. (2016). Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations. (ekstern lenke)
• Wolter, Uwe Egbert (2016). Diagrams taken seriously - An introduction into the Diagram Predicate Framework. (ekstern lenke)
• Wolter, Uwe Egbert; Rutle, Adrian (2016). From Graph Transformations to the Diagram Predicate Framework . (ekstern lenke)
• Wolter, Uwe Egbert (2016). Sets and Multitudes - A first Attempt. (ekstern lenke)
• Wolter, Uwe Egbert (2015). Algebraische Spezifikationen, Sketche und Verallgemeinerte Sketche . (ekstern lenke)
• König, Harald; Löwe, Michael; Schulz, Christoph et al. (2014). Van Kampen Squares for Graph Transformation. (ekstern lenke)
• Wolter, Uwe Egbert (2014). Structure and behaviour - dual aspects of systems. (ekstern lenke)
• Wolter, Uwe Egbert; König, Harald (2014). Fibred Amalgamation and Fibred Equivalences. (ekstern lenke)
• Wolter, Uwe Egbert (2014). Thoughts about the Duality of Structure and Behaviour . (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2013). Fibred and Indexed Semantics for a Hoare-like Logic. (ekstern lenke)
• Mantz, Florian; Wolter, Uwe Egbert (2013). The Advantage of Using Co-span Graph Transformations for Meta-model Evolution. (ekstern lenke)
• König, Harald; Wolter, Uwe Egbert; Löwe, Michael (2012). Characterizing Van Kampen Squares via Descent Data. (ekstern lenke)
• Wolter, Uwe Egbert; Diskin, Zinovy (2011). Generalized Sketches and Presheaf Topoi. (ekstern lenke)
• Wolter, Uwe Egbert (2011). From Algebraic Specification via Sketches to the Diagram Predicate Framework. (ekstern lenke)
• Mantz, Florian; Rossini, Alessandro; Taentzer, Gabriele et al. (2011). Formalising Metamodel Evolution based on Category Theory. (ekstern lenke)
• Wolter, Uwe Egbert (2010). Indexed vs. Fibred Semantics in view of Metamodeling. (ekstern lenke)
• Rossini, Alessandro; Rutle, Adrian; Mantz, Florian et al. (2010). Constraint-Aware Model Merging. (ekstern lenke)
• Mantz, Florian; Rossini, Alessandro; Rutle, Adrian et al. (2010). Towards a Formal Approach to Metamodel Evolution. (ekstern lenke)
• Wolter, Uwe Egbert (2009). Version Control in view of the Diagram Predicate Framework. (ekstern lenke)
• Wolter, Uwe Egbert (2009). The Diagram Predicate Framework - An Introduction. (ekstern lenke)
• Wolter, Uwe Egbert (2009). Generalized Sketches and Indexed vs. Fibred Semantics. (ekstern lenke)
• Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve et al. (2009). Constraint-Aware Model Transformations. (ekstern lenke)
• Rossini, Alessandro; Rutle, Adrian; Mancini, Federico et al. (2009). Data Validation Constraints in MDE. (ekstern lenke)
• Wolter, Uwe Egbert; Diskin, Zinovy (2008). Contexts and Context Awareness in view of the Diagram Predicate Framework. (ekstern lenke)
• Wolter, Uwe Egbert; Diskin, Zinovy (2008). The Van-Kampen Square in view of the Grothendieck construction. (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2008). Indexed Logical Closure Operators. (ekstern lenke)
• Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve et al. (2008). Version Control in MDE. (ekstern lenke)
• Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve et al. (2008). Automatic Definition of Model Transformations at the Instance Level. (ekstern lenke)
• Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve (2008). Generalized Sketches and Model Driven Architecture. (ekstern lenke)
• Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (2008). A Diagrammatic Approach to Model Transformations. (ekstern lenke)
• Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve (2008). A Formal Approach to Modeling and Model Transformations in Software Engineering. (ekstern lenke)
• Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (2007). Generalized Sketches and Model Driven Architecture. (ekstern lenke)
• Wolter, Uwe Egbert; Diskin, Zinovy (2007). Generalized Sketches: A Universal Logic for Diagrammatic Modeling in Software Engineering. (ekstern lenke)
• Wolter, Uwe Egbert (2007). Generalized Sketches - Theoreticians vs. Practicioners. (ekstern lenke)
• Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio (2007). General Indexed Logic. (ekstern lenke)
• Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve (2007). Generalized Sketches and Model Driven Development. (ekstern lenke)
• Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (2007). Generalized Sketches as an Extention to EMF. (ekstern lenke)
• Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (2007). Generalized Sketches and Model Driven Development. (ekstern lenke)
• Wolter, Uwe Egbert (2006). The Next One Hundred Diagrammatic Specification Techniques. (ekstern lenke)
• Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio (2006). Indexed General Logics. (ekstern lenke)
• Lamo, Yngve; Rutle, Adrian; Wolter, Uwe Egbert (2006). Diagramatic software specification. (ekstern lenke)
• Wolter, Uwe Egbert (2006). A (Co)Algebraic Analysis of Synchronization in CSP. (ekstern lenke)
• Wolter, Uwe Egbert (2006). A Journey from Total to Partial Algebras. (ekstern lenke)
• Wolter, Uwe Egbert (2006). From Universal Algebra to Lawvere Theories. (ekstern lenke)
• Wolter, Uwe Egbert (2006). On (Co)Amalgamation and Synchronization. (ekstern lenke)
• Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio (2006). Fibred and Indexed Categories for Abstract Model Theory. (ekstern lenke)
• Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (2006). Diagrammatic software specification. (ekstern lenke)
• Wolter, Uwe Egbert (2005). Cogenerated quotient coalgebras. (ekstern lenke)
• Wolter, Uwe Egbert; Lamo, Yngve; Hatland, Ørjan stølen (2005). Generalised Sketches - A design tool based on Category Theory. (ekstern lenke)
• Wolter, Uwe Egbert (2005). Category Theory in Computer Science. (ekstern lenke)
• Wolter, Uwe Egbert (2004). Cofree Coalgebras for Signature Morphisms. (ekstern lenke)
• Wolter, Uwe Egbert (2004). What are Coalgebras and what are they good for?. (ekstern lenke)
• Wolter, Uwe Egbert (2004). Diagrammatic Specifications. (ekstern lenke)
• Wolter, Uwe Egbert (2003). Remarks on algebraic transformation systems. (ekstern lenke)
• Wolter, Uwe Egbert (2003). On coequations and partitions. (ekstern lenke)
• Wolter, Uwe Egbert (2003). CSP - algebra vs. coalgebra. (ekstern lenke)
• Wolter, Uwe Egbert (2002). CSP, automata, and coalgebras. (ekstern lenke)
• Wolter, Uwe Egbert (2002). Free functor semantics for specifications of partial algebras with positive/negative conditional existence equations. (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2001). A taste on putting logical systems together. (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2001). Bridges of Logic via Maps. (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2001). Linking Logics for Multiparadigm Specifications. (ekstern lenke)
• Wolter, Uwe Egbert (2000). Der Traum von (der Einheit) der Wissenschaft. (ekstern lenke)

Vitenskapelig artikkel

• Rodríguez, Alejandro; Macias Gomez de Villar, Fernando; Durán, Francisco et al. (2023). Composition of multilevel domain-specific modelling languages. (ekstern lenke)
• Wolter, Uwe; Truong, Tam T. (2023). Graph Algebras and Derived Graph Operations. (ekstern lenke)
• König, Harald; Wolter, Uwe Egbert; Kräuter, Tim Oliver (2023). Structural Operational Semantics for Heterogeneously Typed Coalgebras. (ekstern lenke)
• Wolter, Uwe Egbert; König, Harald (2022). Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2022). Indexed and fibered structures for partial and total correctness assertions. (ekstern lenke)
• Wolter, Uwe Egbert (2022). Logics of Statements in Context - Category Independent Basics. (ekstern lenke)
• Wolter, Uwe Egbert (2021). Indexed vs. fibred structures - A field report. (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2020). Indexed and Fibred Structures for Hoare Logic. (ekstern lenke)
• Wolter, Uwe Egbert; Macías, Fernando; Rutle, Adrian (2020). Multilevel Typed Graph Transformations. (ekstern lenke)
• Macías, Fernando; Wolter, Uwe Egbert; Rutle, Adrian et al. (2019). Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour . (ekstern lenke)
• Macías, Fernando; Rutle, Adrian; Stolz, Volker et al. (2018). An Approach to Flexible Multilevel Modelling. (ekstern lenke)
• König, Harald; Wolter, Uwe Egbert (2018). Van Kampen Colimits and Path Uniqueness . (ekstern lenke)
• Wolter, Uwe Egbert; Diskin, Zinovy; König, Harald (2018). Graph Operations and Free Graph Algebras . (ekstern lenke)
• Pshenichny, Cyril; Wolter, Uwe Egbert; Dzhura, Sergey (2018). Predication, Relations, Particulars. (ekstern lenke)
• Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve et al. (2018). Handling constraints in model versioning. (ekstern lenke)
• König, Harald; Wolter, Uwe Egbert (2017). Being van kampen in presheaf topoi is a uniqueness property. (ekstern lenke)
• Wolter, Uwe Egbert; König, Harald (2015). Fibred amalgamation, descent data, and Van Kampen squares in topoi. (ekstern lenke)
• Mantz, Florian; Taentzer, Gabriele; Lamo, Yngve et al. (2015). Co-evolving meta-models and their instance models: A formal approach based on graph transformation. (ekstern lenke)
• Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio (2015). Towards a uniform presentation of logical systems by indexed categories and adjoint situations. (ekstern lenke)
• Rossini, Alessandro; de Lara, Juan; Guerra, Esther et al. (2014). A formalisation of deep metamodelling. (ekstern lenke)
• König, Harald; Löwe, Michael; Schulz, Christoph et al. (2014). Van kampen squares for graph transformation. (ekstern lenke)
• Wolter, Uwe Egbert (2014). Guest Editor's foreword. (ekstern lenke)
• Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve et al. (2012). A formal approach to the specification and transformation of constraints in MDE. (ekstern lenke)
• König, Harald; Wolter, Uwe Egbert; Löwe, Michael (2012). Characterizing Van Kampen Squares via Descent Data. (ekstern lenke)
• Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve et al. (2010). A formalisation of the copy-modify-merge approach to version control in MDE. (ekstern lenke)
• Diskin, Zinovy; Wolter, Uwe Egbert (2008). A Diagrammatic Logic for Object-Oriented Visual Modeling. (ekstern lenke)
• Martini, Alfio; Wolter, Uwe Egbert; Haeusler, Edward Hermann (2007). Fibred and Indexed Categories for Abstract Model Theory. (ekstern lenke)
• Wolter, Uwe Egbert (2007). A (Co)Algebraic Analysis of Synchronization in CSP. (ekstern lenke)
• Wolter, Uwe Egbert (2005). Cofree coalgebras for signature morphisms. (ekstern lenke)
• Wolter, Uwe Egbert (2002). CSP, partial automata, and coalgebras. (ekstern lenke)
• Wolter, Uwe Egbert; Heckel, Reiko; Ehrig, Hartmut et al. (2001). Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformations. (ekstern lenke)

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

• König, Harald; Wolter, Uwe Egbert (2021). A General Methodology for Internalising Multi-level Model Typing. (ekstern lenke)
• Rodríguez, Alejandro; Rutle, Adrian; Duran, Francisco et al. (2019). Composition of Multilevel Modelling Hierarchies. (ekstern lenke)
• Wolter, Uwe Egbert; Korableva, Olga; Solovyov, Nikita (2018). The Event Bush Method in the Light of Typed Graphs Illustrated by Common Sense Reasoning . (ekstern lenke)
• Wolter, Uwe Egbert (2018). Scenarios in Event Bushes: A Formal Proposal . (ekstern lenke)
• Rossini, Alessandro; Rutle, Adrian; Mughal, Khalid Azim et al. (2011). A Formal Approach to Data Validation Constraints in MDE. (ekstern lenke)
• Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve et al. (2010). A Formalisation of Constraint-Aware Model Transformations. (ekstern lenke)
• Walicki, Michal; Wolter, Uwe Egbert (2009). Universal Multialgebra. (ekstern lenke)
• Wolter, Uwe Egbert; Diskin, Zinovy (2009). Contexts and Context Awareness in View of the Diagram Predicate Framework. (ekstern lenke)
• Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve et al. (2009). A Diagrammatic Formalisation of MOF-Based Modelling Languages. (ekstern lenke)
• Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve et al. (2009). A Category-Theoretical Approach to the Formalisation of Version Control in MDE. (ekstern lenke)
• Haeusler, Edward Hermann; Martini, Alfio; Wolter, Uwe Egbert (2007). Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions. (ekstern lenke)
• Walicki, Michal; Stecher, Jack; Wolter, Uwe Egbert (2006). The choice of standards for a reporting language. (ekstern lenke)
• Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas et al. (2006). The Choice of Standards for a Reporting Language. (ekstern lenke)
• Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (2001). Reasons and ways to cope with a spectrum of logics. (ekstern lenke)

Rapport

• König, Harald; Wolter, Uwe Egbert (2016). Van Kampen Colimits in Presheaf Topoi. (ekstern lenke)
• Wolter, Uwe Egbert; Mantz, Florian (2013). The Diagram Predicate Framework in View of Adhesive Categories. (ekstern lenke)
• Wolter, Uwe Egbert; Lamo, Yngve (2012). 24th Nordic Workshop on Programming Theory. (ekstern lenke)
• Wolter, Uwe Egbert; König, Harald (2012). Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. (ekstern lenke)
• Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (2008). Generalized Sketches and Model Driven Architecture. (ekstern lenke)
• Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve (2008). A formal approach to modeling and model transformations in software engineering. (ekstern lenke)
• Wolter, Uwe Egbert; Diskin, Zinovy (2007). From Indexed to Fibred Semantics - The Generalized Sketch File. (ekstern lenke)
• Wolter, Uwe Egbert; Diskin, Zinovy (2007). The Next Hundred Diagrammatic Specification Techniques - An Introduction to Generalized Sketches -. (ekstern lenke)
• Walicki, Michal; Wolter, Uwe Egbert (2006). Universal Multialgebra II. (ekstern lenke)
• Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas (2006). A Category for Studying the Standardization of Reporting Languages. (ekstern lenke)

Faglig foredrag

• Wolter, Uwe Egbert (2015). Diagrammatic modelling - A unified view . (ekstern lenke)
• Wolter, Uwe Egbert (2015). Scenarios in Event Bushes – A Formal Approach. (ekstern lenke)
• Wolter, Uwe Egbert (2013). Struktur und Verhalten - Duale System-Aspekte. (ekstern lenke)

Sammendrag/abstract

• Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (2007). Generalized Sketches and Model Driven Architecture. (ekstern lenke)

Annet

• Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (2006). Diagrammatic software specification. (ekstern lenke)

Poster

• Hatland, Ørjan Stølen; Lamo, Yngve; Wolter, Uwe Egbert (2005). Generalised sketches - design tool based on cathegory theory. (ekstern lenke)

Se en full oversikt over publikasjoner i Cristin

Diagram Predicate Framework