| Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016 | 30 | 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 | 25 | 2017 |
| 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 | 21 | 2017 |
| Fixed-point constraints for nominal equational unification M Ayala-Rincón, M Fernández, D Nantes Sobrinho Daugstuhl research Online Publishing Server, 2018 | 18 | 2018 |
| 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 | 14 | 2017 |
| On nominal syntax and permutation fixed points M Ayala-Rincón, M Fernández, D Nantes-Sobrinho Logical Methods in Computer Science 16, 2020 | 13 | 2020 |
| 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 | 12 | 2019 |
| 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 | 9 | 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 | 8 | 2017 |
| 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 | 8 | 2013 |
| Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures DN Sobrinho, M Ayala-Rincón International Workshop on Logic, Language, Information, and Computation, 218-231, 2010 | 6 | 2010 |
| 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 | 5 | 2020 |
| 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 | 5 | 2019 |
| Nominal anti-unification with atom-variables M Schmidt-Schauß, D Nantes Sobrinho Schloss Dagstuhl–Leibniz-Zentrum f¨ ur Informatik, 2022 | 4 | 2022 |
| Non-deterministic functions as non-deterministic processes JWN Paulus, D Nantes-Sobrinho, JA Pérez 6th International Conference on Formal Structures for Computation and …, 2021 | 4 | 2021 |
| A Certified Algorithm for AC-Unification M Ayala-Rincón, M Fernández, GF Silva, DN Sobrinho 7th International Conference on Formal Structures for Computation and …, 2022 | 3 | 2022 |
| Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes JWN Paulus, D Nantes-Sobrinho, JA Pérez 27th International Conference on Types for Proofs and Programs (TYPES 2021), 2022 | 1 | 2022 |
| Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version) JWN Paulus, D Nantes-Sobrinho, JA Pérez arXiv preprint arXiv:2112.01593, 2021 | 1 | 2021 |
| Desunificação nominal via ponto fixo L Batista, D Nantes-Sobrinho Anais do II Workshop Brasileiro de Lógica, 9-16, 2021 | 1 | 2021 |
| Nominal Equational Problems. M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D Vale FoSSaCS, 22-41, 2021 | 1 | 2021 |
Mauricio Ayala RinconProfessor of Computer Science and Mathematics, Universidade de BrasiliaBestätigte E-Mail-Adresse bei unb.br
