Contact

Universidade de Brasília
Campus Universitário Darcy Ribeiro
Departamento de Matemática
Brasília - DF
70910-900, Brasil
dnantes[at]unb.br

Daniele Nantes

Journal Publications

  1. Formalising nominal C-unification generalised with protected variables. (with M. Ayala-Rincón, W. de Carvalho Segundo, M. Fernández and G. Silva)
  2. On Nominal Syntax and Permutation Fixed Points (with M. Ayala-Rincón, and M. Fernández)
  3. A formalisation of nominal alpha-equivalence with A, C, and AC function symbols. (with M. Ayala-Rincón, W. de Carvalho Segundo, M. Fernández and A.C.R. Oliveira)
  4. Intruder deduction problem for locally stable theories with normal forms and inverses (with M. Ayala-Rincón, and M. Fernández)

Publications in Conferences (peer-reviewed)

  1. Non-deterministic functions as non-deterministic types (with J. Paulus and J.A.Pérez)
  2. Nominal Equational Problems. (with M. Ayala-Rincón, M. Fernández and D. Vale)
  3. A Certified Functional Nominal C-Unification Algorithm (with M. Ayala-Rincón, M. Fernández and G. Silva)
  4. On Solving Nominal Disunification Constraints. (with M. Ayala-Rincón, M. Fernández and D. Vale)
  5. Relating Process Languages for Security and Communication Correctness (Extended Abstract). (with J. A. Pérez)
  6. Fixed-Point Constraints for Nominal Equational Unification. (with M. Ayala-Rincón and M. Fernández)
  7. Older publications can be found here.