Uwe Egbert Wolters bilde
Uwe Egbert
Wolter
Førsteamanuensis
Besøksadresse: 
HIB - Thormøhlensgt. 55
5020 Bergen
Postadresse: 
Postboks 7803
5020 Bergen
Telefon: 
+47 55 58 41 96
Last ned visittkort
Tidsskriftartikler
  • Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe Egbert. 2014. A formalisation of deep metamodelling. Formal Aspects of Computing. 26: 1115-1152. doi: 10.1007/s00165-014-0307-x
  • Wolter, Uwe Egbert; König, Harald. 2013. Fibred amalgamation, descent data, and Van Kampen squares in topoi. Applied Categorical Structures. 1-40. doi: 10.1007/s10485-013-9339-2
  • König, Harald; Wolter, Uwe Egbert; Löwe, Michael. 2012. Characterizing Van Kampen Squares via Descent Data. Electronic Proceedings in Theoretical Computer Science. 93: 61-81. doi: 10.4204/EPTCS.93.4
  • 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. 81: 422-457. doi: 10.1016/j.jlap.2012.03.006
  • Wolter, Uwe Egbert; Haeusler, Edward Hermann; Martini, Alfio. 2012. Towards a uniform presentation of logical systems by indexed categories and adjoint situations. Journal of logic and computation (Print). 37 sider. doi: 10.1093/logcom/exs038
  • 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. 79: 636-658. doi: 10.1016/j.jlap.2009.10.003
  • Diskin, Zinovy; Wolter, Uwe Egbert. 2008. A Diagrammatic Logic for Object-Oriented Visual Modeling. Electronical Notes in Theoretical Computer Science. 203: 19-41. doi: 10.1016/j.entcs.2008.10.041
  • Wolter, Uwe Egbert. 2005. Cofree coalgebras for signature morphisms. Lecture Notes in Computer Science. 3393: 275-290.
  • Wolter, Uwe Egbert. 2002. CSP, partial automata, and coalgebras. Theoretical Computer Science. 280: 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. 9: 83-110.
Rapporter/avhandlinger
  • Wolter, Uwe Egbert; König, Harald. 2012. Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. Reports in Informatics. 404. 41 sider.
  • Wolter, Uwe Egbert; Lamo, Yngve. 2012. 24th Nordic Workshop on Programming Theory. Reports in Informatics. 403. 50 sider.
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2008. Generalized Sketches and Model Driven Architecture. 367. Universitetet i Bergen, Bergen. 15 sider.
  • Rutle, Adrian; Wolter, Uwe Egbert; Lamo, Yngve. 2008. A formal approach to modeling and model transformations in software engineering. 48. Turku Centre for computer Science, Turku. 10 sider.
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2007. The Next Hundred Diagrammatic Specification Techniques - An Introduction to Generalized Sketches -. Reports in Informatics. 358. Department of Informatics, University of Bergen, Bergen, Norway. 21 sider.
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2007. From Indexed to Fibred Semantics - The Generalized Sketch File. Reports in Informatics. 361. Department of Informatics, University of Bergen, Bergen, Norway. 23 sider.
  • Walicki, Michal; Wolter, Uwe Egbert. 2006. Universal Multialgebra II. Universitetet i Bergen, Institutt for Informatikk, Bergen. 54 sider.
  • Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas. 2006. A Category for Studying the Standardization of Reporting Languages. 314. Universitetet i Bergen. Institutt for Informatikk, Bergen.
Bokkapitler
  • Rossini, Alessandro; Rutle, Adrian; Mughal, Khalid Azim; Lamo, Yngve; Wolter, Uwe Egbert. 2011. A Formal Approach to Data Validation Constraints in MDE. Artikkel, sider 65-76. I:
    • Marcel, Kyas; Sun, Meng; Stolz, Volker. 2011. TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software. 124 sider.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2010. A Formalisation of Constraint-Aware Model Transformations. kapittel, sider 13-28. I:
    • Rosenblum, David; Taentzer, Gabriele. 2010. Proceedings of FASE 2010: 13th International Conference on Fundamental Approaches to Software Engineering. Springer. 383 sider. ISBN: 978-3-642-12028-2.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2009. A Diagrammatic Formalisation of MOF-Based Modelling Languages. Article, sider 37-56. I:
    • Oriol, Manuel; Meyer, Bertrand. 2009. Proceedings of TOOLS Europe 2009: 47th International Conference on Objects, Components, Models and Patterns. Springer. 367 sider. ISBN: 978-3-642-02571-6.
  • Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert. 2009. A Category-Theoretical Approach to the Formalisation of Version Control in MDE. Article, sider 64-78. I:
    • Chechik, Marsha; Wirsing, Martin. 2009. Proceedings of FASE 2009: 12th International Conference on Fundamental Approaches to Software Engineering. Springer. 488 sider. ISBN: 978-3-642-00592-3.
  • Walicki, Michal; Wolter, Uwe Egbert. 2009. Universal Multialgebra. chapter 2, sider 27-93. I:
    • Terikhovsky, Oleg N.; Burton, William N. 2009. New Topics in Theoretical Computer Science. Nova Science Publishers, Inc.. 315 sider. ISBN: 978-1-60456-100-5.
  • Wolter, Uwe Egbert; Diskin, Zinovy. 2009. Contexts and Context Awareness in View of the Diagram Predicate Framework. Article, sider 534-547. I:
    • Margaria, Tiziana; Steffen, Bernhard. 2009. Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings. Springer. 869 sider. ISBN: 3-540-88478-5.
  • Haeusler, Edward Hermann; Martini, Alfio; Wolter, Uwe Egbert. 2007. Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions. Section 16, sider 297-318. I:
    • Béziau, J.-Y.; Costa-Leite, A. 2007. Perspectives on Universal Logic. 434 sider. ISBN: 978-88-7699-077-9.
  • Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert. 2006. Diagrammatic software specification. I:
    • 2006. Proceedings for the 18th Nordic Workshop on Programming Theory (NWPT'06). Hàskolinn i Reykjavik, Reykjavik.
  • Walicki, Michal; Stecher, Jack; Wolter, Uwe Egbert. 2006. The choice of standards for a reporting language. artikkel. I:
    • Goncharov, S; Downey, R; Ono, H. 2006. Mathematical Logic in Asia (Proceedings of the 9th Asian Logic Conference). World Scientific. ISBN: 981-270-045-5.
  • Walicki, Michal; Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas. 2006. The Choice of Standards for a Reporting Language. 328. I:
    • 2006. Mathematical Logic in Asia. World Scientific. 328 sider.
  • Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann. 2001. Reasons and ways to cope with a spectrum of logics. 148-155. I:
    • Minoro Abe, Jair; da Silva Filho, Joao Inacio. 2001. Logic, Artificial Intelligence and Robotics.

Se fullstendig oversikt over publikasjoner i CRIStin.