| Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016 | 33 | 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 | 28 | 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 | 28 | 2017 |
| Fixed-point constraints for nominal equational unification M Ayala-Rincón, M Fernández, D Nantes Sobrinho Daugstuhl research Online Publishing Server, 2018 | 20 | 2018 |
| 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 | 18 | 2019 |
| On nominal syntax and permutation fixed points M Ayala-Rincón, M Fernández, D Nantes-Sobrinho Logical Methods in Computer Science 16, 2020 | 15 | 2020 |
| 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 |
| 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 | 13 | 2017 |
| 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 | 10 | 2019 |
| A certified algorithm for AC-unification M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, GF Silva Proceedings of FSCD 2022, 2022 | 9 | 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 | 9 | 2021 |
| Typed Non-determinism in Functional and Concurrent Calculi B van den Heuvel, JWN Paulus, D Nantes-Sobrinho, JA Pérez Asian Symposium on Programming Languages and Systems, 112-132, 2023 | 8 | 2023 |
| 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 | 8 | 2020 |
| Nominal AC-matching M Ayala-Rincón, M Fernández, GF Silva, T Kutsia, D Nantes-Sobrinho International Conference on Intelligent Computer Mathematics, 53-68, 2023 | 7 | 2023 |
| 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 | 7 | 2013 |
| Nominal anti-unification with atom-variables M Schmidt-Schauß, D Nantes Sobrinho Schloss Dagstuhl–Leibniz-Zentrum f¨ ur Informatik, 2022 | 6 | 2022 |
| Formalising nominal C-unification generalised with protected variables M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, GF Silva, ... Mathematical Structures in Computer Science 31 (3), 286-311, 2021 | 6 | 2021 |
| 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 | 5 | 2021 |
| 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 | 5 | 2010 |
| Termination in Concurrency, Revisited JWN Paulus, JA Pérez, D Nantes-Sobrinho Proceedings of the 25th International Symposium on Principles and Practice …, 2023 | 4 | 2023 |
Maribel FernandezProfessor of Computer Science, King's College LondonBestätigte E-Mail-Adresse bei kcl.ac.uk
