Nora Szasz

According to our database1, Nora Szasz authored at least 22 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory.
Electr. Notes Theor. Comput. Sci., 2018

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

2017
Formal metatheory of the Lambda calculus using Stoughton's substitution.
Theor. Comput. Sci., 2017

2016
Heterogeneous verification in the context of model driven engineering.
Sci. Comput. Program., 2016

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.
Electr. Notes Theor. Comput. Sci., 2016

2015
Institution-based foundations for verification in the context of model-driven engineering.
Sci. Comput. Program., 2015

Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.
Electr. Notes Theor. Comput. Sci., 2015

Dependent Types for Nominal Terms with Atom Substitutions.
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2014
Model-Driven Engineering in the Heterogeneous Tool Set.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2013
Verification of Model Transformations: A Survey of the State-of-the-Art.
Electr. Notes Theor. Comput. Sci., 2013

Institution-Based Semantics for MOF and QVT-Relations.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software.
Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

Bridging Technological Spaces for the Verification of Model Transformations.
Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

2011
Institutionalising UML 2.0 state machines.
ISSE, 2011

2010
A Type-Theoretic Framework for Certified Model Transformations.
Proceedings of the Formal Methods: Foundations and Applications, 2010

2008
Statecharts and Variabilities.
Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

UML 2.0 Interactions with OCL/RT Constraints.
Proceedings of the Forum on specification and Design Languages, 2008

2003
Reduction Strategies for Program Extraction.
CLEI Electron. J., 2003

2001
Studies of a Theory of Specifications with Built-in Program Extraction.
J. Autom. Reasoning, 2001

1999
Specification of a Smart Card Operating System.
Proceedings of the Types for Proofs and Programs, 1999

1997
A Theory of Specifications Programs and Proofs.
PhD thesis, 1997


  Loading...