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. Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (with J. Perez and J. Paulus)
  2. Formalising nominal C-unification generalised with protected variables. (with M. Ayala-Rincón, W. de Carvalho Segundo, M. Fernández and G. Silva)
  3. On Nominal Syntax and Permutation Fixed Points (with M. Ayala-Rincón, and M. Fernández)
  4. 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)
  5. 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. Typed Non-determinism in Functional and Concurrent Calculi (with J. Perez, J.Paulus and B. van den Heuvel)
  2. Nominal AC-Matching (with M. Ayala, G. Silva, M. Fernandez and T. Kutsia)
  3. Termination in Concurrency, Revisited (with J. Perez and J. Paulus)
  4. Towards Fast Nominal Anti-Unification of LetRec Expressions (with Manfred Schmidt-Schauss)
  5. Nominal Anti-Unification with Atom Variables. (with Manfred Schmidt-Schauss)
  6. A Certified Algorithm for AC-Unification. (with M. Ayala-Rincón, M. Fernández and G. Silva)
  7. Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (with J. Paulus and J.A. Pérez)
  8. Non-deterministic functions as non-deterministic types (with J. Paulus and J.A.Pérez)
  9. Nominal Equational Problems. (with M. Ayala-Rincón, M. Fernández and D. Vale)
  10. A Certified Functional Nominal C-Unification Algorithm (with M. Ayala-Rincón, M. Fernández and G. Silva)
  11. On Solving Nominal Disunification Constraints. (with M. Ayala-Rincón, M. Fernández and D. Vale)
  12. Relating Process Languages for Security and Communication Correctness (Extended Abstract). (with J. A. Pérez)
  13. Fixed-Point Constraints for Nominal Equational Unification. (with M. Ayala-Rincón and M. Fernández)
  14. Older publications can be found here.