A Theory of Specifications Programs and Proofs. - Nora Szasz (1997)

Specification of a Smart Card Operating System. - Gustavo Betarte; Cristina Cornes; Nora Szasz; Alvaro Tasistro (TYPES, 1999)

Studies of a Theory of Specifications with Built-in Program Extraction. - Paula Severi; Nora Szasz (J. Autom. Reason., 2001)

Reduction Strategies for Program Extraction. - Maribel Fernández; Ian Mackie; Paula Severi; Nora Szasz (CLEI Electron. J., 2003)

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

Statecharts and Variabilities. - Nora Szasz; Pedro Vilanova (VaMoS, 2008)

A Type-Theoretic Framework for Certified Model Transformations. - Daniel Calegari; Carlos Luna 001; Nora Szasz; Alvaro Tasistro (SBMF, 2010)

Institutionalising UML 2.0 state machines. - Daniel Calegari; Nora Szasz (Innov. Syst. Softw. Eng., 2011)

Verification of Model Transformations: A Survey of the State-of-the-Art. - Daniel Calegari; Nora Szasz (CLEI Selected Papers, 2012)

Bridging Technological Spaces for the Verification of Model Transformations. - Daniel Calegari; Nora Szasz (CIbSE, 2013)

Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software. - Ariel Gonzalez; Fabio Zorzan; Carlos Luna 001; Nora Szasz (CIbSE, 2013)

Institution-Based Semantics for MOF and QVT-Relations. - Daniel Calegari; Nora Szasz (SBMF, 2013)

Model-Driven Engineering in the Heterogeneous Tool Set. - Daniel Calegari; Till Mossakowski; Nora Szasz (SBMF, 2014)

Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus. - Alvaro Tasistro; Ernesto Copello; Nora Szasz (LSFA, 2014)

Dependent Types for Nominal Terms with Atom Substitutions. - Elliot Fairweather; Maribel Fernández; Nora Szasz; Alvaro Tasistro (TLCA, 2015)

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. - Ernesto Copello; Alvaro Tasistro; Nora Szasz; Ana Bove; Maribel Fernández (LSFA, 2015)

Institution-based foundations for verification in the context of model-driven engineering. - Daniel Calegari; Nora Szasz (Sci. Comput. Program., 2015)

Heterogeneous verification in the context of model driven engineering. - Daniel Calegari; Till Mossakowski; Nora Szasz (Sci. Comput. Program., 2016)

Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory. - Ernesto Copello; Nora Szasz; Álvaro Tasistro (LSFA, 2017)

Formal metatheory of the Lambda calculus using Stoughton's substitution. - Ernesto Copello; Nora Szasz; Alvaro Tasistro (Theor. Comput. Sci., 2017)

Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. - Ernesto Copello; Nora Szasz; Álvaro Tasistro (LFMTP@FSCD, 2018)

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. - Martín Copes; Nora Szasz; Álvaro Tasistro (LFMTP@FSCD, 2018)

Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. - Sebastián Urciuoli; Álvaro Tasistro; Nora Szasz (LSFA, 2020)

Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention. - Ernesto Copello; Nora Szasz; Álvaro Tasistro (Math. Struct. Comput. Sci., 2021)