The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Uwe Wolter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Uwe Wolter
    Narrowing in Partial Conditional Equational Theories (Abstract). [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:244- [Conf]
  2. Alfio Martini, Uwe Wolter
    A Single Perspective on Arrows between Institutions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:486-501 [Conf]
  3. Uwe Wolter
    Cofree Coalgebras for Signature Morphisms. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:275-290 [Conf]
  4. Uwe Wolter, Michael Löwe
    Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    CAAP, 1992, pp:342-361 [Conf]
  5. Uwe Wolter
    Institutional Frames. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:469-482 [Conf]
  6. Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
    On the Role of Category Theory in the Area of Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:17-48 [Conf]
  7. Martin Große-Rhode, Uwe Wolter
    Two-Categorical Specification of Partial Algebras. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:207-219 [Conf]
  8. Uwe Wolter, Alfio Martini
    Shedding the New Light in the World of Logical Systems. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:159-176 [Conf]
  9. Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar
    How to Cope with the Spectrum of SPECTRUM. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:173-189 [Conf]
  10. Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
    Integrating the Specification Techniques of Graph Transformation and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:219-228 [Conf]
  11. Alfio Martini, Uwe Wolter
    A systematic study of mappings between institutions. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:300-315 [Conf]
  12. Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter
    From abstract data types to algebraic development techniques: A shift of paradigms. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:1-17 [Conf]
  13. Hartmut Ehrig, Uwe Wolter
    The Impact and Future Role of Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:60, n:, pp:74-77 [Journal]
  14. Uwe Wolter
    An Algebraic Approach to Deduction in Equational Partial Horn Theories. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1991, v:27, n:2, pp:85-128 [Journal]
  15. Uwe Wolter
    On Corelations, Cokernels, and Coequations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
  16. Uwe Wolter
    A coalgebraic introduction to CSP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  17. Ingo Claßen, Martin Große-Rhode, Uwe Wolter
    Categorical Concepts for Parameterized Partial Specifications. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:153-188 [Journal]
  18. Michael Löwe, Uwe Wolter
    Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:1, pp:69-111 [Journal]
  19. Uwe Wolter
    CSP, partial automata, and coalgebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:280, n:1-2, pp:3-34 [Journal]
  20. Uwe Wolter
    A (Co)Algebraic Analysis of Synchronization in CSP. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:156-170 [Conf]

  21. A Category-Theoretical Approach to the Formalisation of Version Control in MDE. [Citation Graph (, )][DBLP]


  22. A Formalisation of Constraint-Aware Model Transformations. [Citation Graph (, )][DBLP]


  23. Contexts and Context Awareness in View of the Diagram Predicate Framework. [Citation Graph (, )][DBLP]


  24. A Diagrammatic Formalisation of MOF-Based Modelling Languages. [Citation Graph (, )][DBLP]


  25. A diagrammatic approach to model transformations. [Citation Graph (, )][DBLP]


  26. Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002