The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

María Victoria Cengarle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. María Victoria Cengarle
    Semantic Typing for Parametric Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:261-276 [Conf]
  2. Luis Mandel, María Victoria Cengarle
    The Disjunctive Constrained Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:297-309 [Conf]
  3. María Victoria Cengarle, Alexander Knapp
    Towards OCL/RT. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:390-409 [Conf]
  4. Luis Mandel, María Victoria Cengarle
    On the Expressive Power of OCL. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:854-874 [Conf]
  5. María Victoria Cengarle, Alexander Knapp
    A Formal Semantics for OCL 1.4. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:118-133 [Conf]
  6. María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider
    Knowledge Representation in Kernel Lisp. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1991, pp:278-286 [Conf]
  7. María Victoria Cengarle, Peter Graubmann, Stefan Wagner
    Semantics of UML 2.0 Interactions with Variabilities. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:141-155 [Journal]
  8. María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
    An Approach to the DIN Kernel Lisp Definition. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1992, v:4, n:4, pp:319-369 [Journal]
  9. María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
    Answer to Baker's Remarks of July 1991 on Version 1.0. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1992, v:4, n:4, pp:399-404 [Journal]
  10. María Victoria Cengarle, Alexander Knapp
    OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:1, pp:9-30 [Journal]

  11. A Heterogeneous Approach to UML Semantics. [Citation Graph (, )][DBLP]


  12. System model for UML -- The interactions case. [Citation Graph (, )][DBLP]


  13. Variability within Modeling Language Definitions. [Citation Graph (, )][DBLP]


  14. Approaches to an All-encompassing Formal Semantics for the UML. [Citation Graph (, )][DBLP]


  15. UML 2.0 Interactions with OCL/RT Constraints. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
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