dblp.uni-trier.dewww.uni-trier.de

María Victoria Cengarle Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
16EEMaría Victoria Cengarle, Hans Grönniger, Bernhard Rumpe: Variability within Modeling Language Definitions. MoDELS 2009: 670-684
2008
15EEMaría Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402
14EEDaniel Calegari, María Victoria Cengarle, Nora Szasz: UML 2.0 Interactions with OCL/RT Constraints. FDL 2008: 167-172
13 María Victoria Cengarle: Approaches to an All-encompassing Formal Semantics for the UML. MSVVEIS 2008: 3-4
2006
12EEMaría Victoria Cengarle: System model for UML -- The interactions case. MMOSS 2006
11EEMaría Victoria Cengarle, Peter Graubmann, Stefan Wagner: Semantics of UML 2.0 Interactions with Variabilities. Electr. Notes Theor. Comput. Sci. 160: 141-155 (2006)
2004
10EEMaría Victoria Cengarle, Alexander Knapp: OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. Software and System Modeling 3(1): 9-30 (2004)
2002
9EEMaría Victoria Cengarle, Alexander Knapp: Towards OCL/RT. FME 2002: 390-409
2001
8EEMaría Victoria Cengarle, Alexander Knapp: A Formal Semantics for OCL 1.4. UML 2001: 118-133
1999
7EELuis Mandel, María Victoria Cengarle: On the Expressive Power of OCL. World Congress on Formal Methods 1999: 854-874
1996
6EELuis Mandel, María Victoria Cengarle: The Disjunctive Constrained Lambda Calculus. Ershov Memorial Conference 1996: 297-309
1995
5 María Victoria Cengarle: Semantic Typing for Parametric Algebraic Specifications. AMAST 1995: 261-276
4EEMaría Victoria Cengarle, Martin Wirsing: A Calculus of Higher-Order Parameterization for Algebraic Specifications. Logic Journal of the IGPL 3(4): 615-641 (1995)
1992
3 María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: An Approach to the DIN Kernel Lisp Definition. Lisp and Symbolic Computation 4(4): 319-369 (1992)
2 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. Lisp and Symbolic Computation 4(4): 399-404 (1992)
1991
1 María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider: Knowledge Representation in Kernel Lisp. Wissensbasierte Systeme 1991: 278-286

Coauthor Index

1Heiner Brand [1] [2] [3]
2Daniel Calegari [14]
3Klaus Däßler [1] [2] [3]
4Peter Graubmann [11]
5Hans Grönniger [16]
6Alexander Knapp [8] [9] [10] [15]
7Luis Mandel [1] [2] [3] [6] [7]
8Bernhard Rumpe [16]
9Thekla Schneider [1] [2] [3]
10Nora Szasz [14]
11Andrzej Tarlecki [15]
12Stefan Wagner [11]
13Martin Wirsing [1] [2] [3] [4] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)