Knowledge Representation in Kernel Lisp. - María Victoria Cengarle; Heiner Brand; Luis Mandel; Klaus Däßler; Martin Wirsing; Thekla Schneider (Wissensbasierte Systeme, 1991)

An Approach to the DIN Kernel Lisp Definition. - María Victoria Cengarle; Luis Mandel; Martin Wirsing; Heiner Brand; Klaus Däßler; Thekla Schneider (LISP Symb. Comput., 1992)

Answer to Baker's Remarks of July 1991 on Version 1.0. - María Victoria Cengarle; Luis Mandel; Martin Wirsing; Heiner Brand; Klaus Däßler; Thekla Schneider (LISP Symb. Comput., 1992)

Formal specifications with higher-order parameterization. - María Victoria Cengarle (Shaker, 1995)

Semantic Typing for Parametric Algebraic Specifications. - María Victoria Cengarle (AMAST, 1995)

A Calculus of Higher-Order Parameterization for Algebraic Specifications. - María Victoria Cengarle; Martin Wirsing (Log. J. IGPL, 1995)

The Disjunctive Constrained Lambda Calculus. - Luis Mandel; María Victoria Cengarle (Ershov Memorial Conference, 1996)

On the Expressive Power of OCL. - Luis Mandel; María Victoria Cengarle (World Congress on Formal Methods, 1999)

Proof Systems for Structured Specifications and Their Refinements. - Michel Bidoit; María Victoria Cengarle; Rolf Hennicker (Algebraic Foundations of Systems Specification, 1999)

A Formal Semantics for OCL 1.4. - María Victoria Cengarle; Alexander Knapp (UML, 2001)

Towards OCL/RT. - María Victoria Cengarle; Alexander Knapp (FME, 2002)

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. - María Victoria Cengarle; Alexander Knapp (Softw. Syst. Model., 2004)

Semantics of UML 2.0 Interactions with Variabilities. - María Victoria Cengarle; Peter Graubmann; Stefan Wagner 001 (FACS, 2005)

System model for UML – The interactions case. - María Victoria Cengarle (MMOSS, 2006)

A Heterogeneous Approach to UML Semantics. - María Victoria Cengarle; Alexander Knapp; Andrzej Tarlecki; Martin Wirsing (Concurrency, Graphs and Models, 2008)

UML 2.0 Interactions with OCL/RT Constraints. - Daniel Calegari; María Victoria Cengarle; Nora Szasz (FDL, 2008)

Approaches to an All-encompassing Formal Semantics for the UML. - María Victoria Cengarle (MSVVEIS, 2008)

Considerations and Rationale for a UML System Model. - Manfred Broy; María Victoria Cengarle; Hans Grönniger; Bernhard Rumpe (UML 2 Semantics and Applications, 2009)

Definition of the System Model. - Manfred Broy; María Victoria Cengarle; Hans Grönniger; Bernhard Rumpe (UML 2 Semantics and Applications, 2009)

Interactions. - María Victoria Cengarle; Alexander Knapp; Heribert Mühlberger (UML 2 Semantics and Applications, 2009)

Variability within Modeling Language Definitions. - María Victoria Cengarle; Hans Grönniger; Bernhard Rumpe (MoDELS, 2009)

UML formal semantics: lessons learned. - Manfred Broy; María Victoria Cengarle (Softw. Syst. Model., 2011)

Cyber-Physical Systems: Imminent Challenges. - Manfred Broy; María Victoria Cengarle; Eva Geisberger (Monterey Workshop, 2012)

Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario. - Birgit Penzenstadler; Jonas Eckhardt; Wolfgang Schwitzer; María Victoria Cengarle; Sebastian Voss (FedCSIS, 2013)

Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). - Manfred Broy; María Victoria Cengarle; Hans Grönniger; Bernhard Rumpe (CoRR, 2014)

Towards a System Model for UML. The Structural Data Model. - Manfred Broy; María Victoria Cengarle; Bernhard Rumpe (CoRR, 2014)

System-Model-Based Simulation of UML Models. - María Victoria Cengarle; Jürgen Dingel; Hans Grönniger; Bernhard Rumpe (CoRR, 2014)

System Model Semantics of Class Diagrams. - María Victoria Cengarle; Hans Grönniger; Bernhard Rumpe (CoRR, 2014)

System Model Semantics of Statecharts. - María Victoria Cengarle; Hans Grönniger; Bernhard Rumpe (CoRR, 2014)

Institutions for OCL-Like Expression Languages. - Alexander Knapp; María Victoria Cengarle (Software, Services, and Systems, 2015)

Term Charters. - Alexander Knapp; María Victoria Cengarle (WADT, 2018)

2-Term Charters. - Alexander Knapp; María Victoria Cengarle (J. Object Technol., 2020)