| Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016 | 20 | 2016 |
| Nominal C-unification M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2017 | 16 | 2017 |
| Fixed-point constraints for nominal equational unification M Ayala-Rincón, M Fernández, D Nantes Sobrinho Daugstuhl research Online Publishing Server, 2018 | 13 | 2018 |
| On solving nominal fixpoint equations M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ... International Symposium on Frontiers of Combining Systems, 209-226, 2017 | 13 | 2017 |
| A formalisation of nominal α-equivalence with A and AC function symbols M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ... Electronic Notes in Theoretical Computer Science 332, 21-38, 2017 | 13 | 2017 |
| A Formalisation of Nominal α-equivalence with A, C, and AC Function Symbols M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ... Theoretical Computer Science 781, 3-23, 2019 | 6 | 2019 |
| Elementary Deduction Problem for Locally Stable Theories with Normal Forms M Ayala-Rincón, M Fernández, D Nantes-Sobrinho arXiv preprint arXiv:1303.7328, 2013 | 6 | 2013 |
| A certified functional nominal c-unification algorithm M Ayala-Rincón, M Fernández, GF Silva, D Nantes-Sobrinho International Symposium on Logic-Based Program Synthesis and Transformation …, 2019 | 2 | 2019 |
| A formalisation of nominal c-matching through unification with protected variables M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ... Electronic Notes in Theoretical Computer Science 344, 47-65, 2019 | 2 | 2019 |
| On nominal syntax and permutation fixed points M Ayala-Rincón, M Fernández, D Nantes-Sobrinho arXiv preprint arXiv:1902.08345, 2019 | 2 | 2019 |
| Intruder deduction problem for locally stable theories with normal forms and inverses M Ayala-Rincón, M Fernández, D Nantes-Sobrinho Theoretical Computer Science 672, 64-100, 2017 | 2 | 2017 |
| On solving nominal disunification constraints M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D Vale Electronic Notes in Theoretical Computer Science 348, 3-22, 2020 | 1 | 2020 |
| Soundness and Completeness in PVS of a Functional Nominal C-Unification Algorithm M Ayala-Rincón, M Fernández, GF Silva, D Nantes-Sobrinho | 1 | 2019 |
| Nominal narrowing M Fernández, D Nantes-Sobrinho, M Ayala-Rincón FSCD, 2016 | 1 | 2016 |
| Intruder Deduction Problem for AC-theories Revisited M Ayala-Rincón, M Fernández, D Nantes-Sobrinho | 1 | |
| An Investigation of Linear Substitution λ-Calculus as Session-Typed Processes S Alves, D Nantes-Sobrinho, JA Pérez, D Ventura Pre-Proceedings, 115, 2020 | | 2020 |
| On Nominal Syntax and Permutation Fixed Points D Nantes-Sobrinho, M Fernández, M Ayala-Rincón Logical Methods in Computer Science 16, 2020 | | 2020 |
| Nominal C-Unification M Fernández, D Nantes-Sobrinho Logic-Based Program Synthesis and Transformation: 27th International …, 2018 | | 2018 |
| Relating Process Languages for Security and Communication Correctness D Nantes, JA Pérez International Conference on Formal Techniques for Distributed Objects …, 2018 | | 2018 |
| O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC D Nantes Sobrinho | | 2009 |
Mauricio Ayala RinconProfessor of Computer Science and Mathematics, Universidade de BrasiliaVerified email at unb.br
