default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMauricio Ayala-Rincón
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j49]Fabián Fernando Serrano Suárez, Thaynara Arielly de Lima, Mauricio Ayala-Rincón:
Compactness Theorem for Propositional Logic and Combinatorial Applications. Arch. Formal Proofs 2024 (2024)- [j48]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho:
Certified First-Order AC-Unification and Applications. J. Autom. Reason. 68(4): 25 (2024) - [j47]Lucas A. da Silveira, Thaynara A. de Lima
, Mauricio Ayala-Rincón:
On reconfiguring heterogeneous parallel island models. Swarm Evol. Comput. 89: 101624 (2024) - [c90]Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia:
Equational Anti-unification over Absorption Theories. IJCAR (2) 2024: 317-337 - [c89]Thaynara Arielly de Lima, André Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincón:
A Formalization of the General Theory of Quaternions. ITP 2024: 11:1-11:18 - 2023
- [j46]Lucas A. da Silveira, Thaynara A. de Lima, Jessé Barreto de Barros, José Luis Soncco-Álvarez, Carlos H. Llanos, Mauricio Ayala-Rincón:
On the behavior of parallel island models. Appl. Soft Comput. 148: 110880 (2023) - [j45]César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos:
Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 67(4): 40 (2023) - [c88]Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón:
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. FMCAD 2023: 237-246 - [c87]Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino:
Formalization of Algebraic Theorems in PVS (Invited Talk). LPAR 2023: 1-10 - [c86]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho:
Nominal AC-Matching. CICM 2023: 53-68 - [c85]Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón:
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. LSFA/HCVS 2023: 18-33 - [i8]Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia:
Equational Anti-Unification over Absorption Theories. CoRR abs/2310.11136 (2023) - 2022
- [j44]Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón:
Formalization of the Computational Theory of a Turing Complete Functional Language Model. J. Autom. Reason. 66(4): 1031-1063 (2022) - [j43]Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro:
Grammar Compression by Induced Suffix Sorting. ACM J. Exp. Algorithmics 27: 1.1:1-1.1:33 (2022) - [j42]Jessé Barreto de Barros, Nidhi Anantharajaiah, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero, Jürgen Becker:
The impact of formulation of cost function in Task Mapping Problem on NoCs using bio-inspired based-metaheuristics. Microprocess. Microsystems 94: 104668 (2022) - [j41]Mauricio Ayala-Rincón, Samuel Mimram:
Introduction to the special issue: Confluence. Math. Struct. Comput. Sci. 32(7): 827-828 (2022) - [c84]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho:
A Certified Algorithm for AC-Unification. FSCD 2022: 8:1-8:21 - [c83]Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima:
Hall's Theorem for Enumerable Families of Finite Sets. CICM 2022: 107-121 - [c82]Lucas A. da Silveira, Thaynara A. de Lima, Mauricio Ayala-Rincón:
Reconfigurable Heterogeneous Parallel Island Models. SSCI 2022: 1618-1625 - [e6]Mauricio Ayala-Rincón, Eduardo Bonelli:
Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021. EPTCS 357, 2022 [contents] - [i7]Lucas Angelo da Silveira, Thaynara Arielly de Lima, Mauricio Ayala-Rincón:
Reconfigurable Heterogeneous Parallel Island Models. CoRR abs/2205.02916 (2022) - 2021
- [j40]Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón:
Formalization of Ring Theory in PVS. J. Autom. Reason. 65(8): 1231-1263 (2021) - [j39]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho:
Formalising nominal C-unification generalised with protected variables. Math. Struct. Comput. Sci. 31(3): 286-311 (2021) - [c81]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
Nominal Equational Problems. FoSSaCS 2021: 22-41 - [c80]César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos:
Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP 2021: 27:1-27:17 - [c79]Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón:
Heterogeneous Parallel Island Models. SSCI 2021: 1-8 - 2020
- [j38]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
On Nominal Syntax and Permutation Fixed Points. Log. Methods Comput. Sci. 16(1) (2020) - [j37]Mauricio Ayala-Rincón, Philippe Balbiani:
Introduction to the special issue: Unification. Math. Struct. Comput. Sci. 30(6): 570-571 (2020) - [j36]Ariane Alves Almeida, Mauricio Ayala-Rincón:
Formalizing the dependency pair criterion for innermost termination. Sci. Comput. Program. 195: 102474 (2020) - [c78]Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón:
Behavior of Bioinspired Algorithms in Parallel Island Models. CEC 2020: 1-8 - [c77]Jessé Barreto de Barros, Nidhi Anantharajaiah, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero, Jürgen Becker:
A Study of the Impact of Formulation of Cost Function in Task Mapping Problem on NoCs. NorCAS 2020: 1-7 - [c76]Edwin Alvarez-Mamani, Lauro Enciso-Rodas, Mauricio Ayala-Rincón, José Luis Soncco-Álvarez:
Parallel Social Spider Optimization Algorithms with Island Model for the Clustering Problem. SIMBig 2020: 122-138 - [c75]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
An Investigation into General Nominal Equational Problems (Work in progress). UNIF 2020: 3:1-3:8 - [c74]Mauricio Ayala-Rincón, Thaynara Arielly de Lima:
Teaching Interactive Proofs to Mathematicians. ThEdu@IJCAR 2020: 1-17 - [i6]Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro:
Grammar Compression By Induced Suffix Sorting. CoRR abs/2011.12898 (2020)
2010 – 2019
- 2019
- [j35]José Luis Soncco-Álvarez, Daniel M. Muñoz, Mauricio Ayala-Rincón:
Opposition-Based Memetic Algorithm and Hybrid Approach for Sorting Permutations by Reversals. Evol. Comput. 27(2): 229-265 (2019) - [j34]Mauricio Ayala-Rincón, César A. Muñoz:
Selected Extended Papers of ITP 2017 - Preface. J. Autom. Reason. 63(2): 319-321 (2019) - [j33]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira:
A formalisation of nominal α-equivalence with A, C, and AC function symbols. Theor. Comput. Sci. 781: 3-23 (2019) - [j32]Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso:
Typed path polymorphism. Theor. Comput. Sci. 781: 111-130 (2019) - [c73]Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón:
Parallel Island Model Genetic Algorithms applied in NP-Hard problems. CEC 2019: 3262-3269 - [c72]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho:
A Certified Functional Nominal C-Unification Algorithm. LOPSTR 2019: 123-138 - [c71]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
On Solving Nominal Disunification Constraints. LSFA 2019: 3-22 - [c70]Jessé Barreto de Barros, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero:
Application of an Adaptive Genetic Algorithm for Task Mapping Optimisation on a Wormhole-based Real-time Network-on-Chip. SBESC 2019: 1-7 - [c69]Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón:
The Computational Relevance of Formal Logic Through Formal Proofs. FMTea 2019: 81-96 - [i5]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
On Nominal Syntax and Permutation Fixed Points. CoRR abs/1902.08345 (2019) - [i4]Ariane Alves Almeida, Mauricio Ayala-Rincón:
Formalizing the Dependency Pair Criterion for Innermost Termination. CoRR abs/1911.00406 (2019) - 2018
- [j31]Thaynara A. de Lima, Mauricio Ayala-Rincón:
On the average number of reversals needed to sort signed permutations. Discret. Appl. Math. 235: 59-80 (2018) - [j30]Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Lima Ventura:
Nominal essential intersection types. Theor. Comput. Sci. 737: 62-80 (2018) - [c68]Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón:
Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals. CEC 2018: 1-8 - [c67]Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro:
A Grammar Compression Algorithm Based on Induced Suffix Sorting. DCC 2018: 42-51 - [c66]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
Fixed-Point Constraints for Nominal Equational Unification. FSCD 2018: 7:1-7:16 - [c65]Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz:
Formalization of the Undecidability of the Halting Problem for a Functional Language. WoLLIC 2018: 196-209 - [c64]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
A Formalisation of Nominal C-Matching through Unification with Protected Variables. LSFA 2018: 47-65 - 2017
- [b2]Mauricio Ayala-Rincón, Flávio L. C. de Moura:
Applied Logic for Computer Scientists - Computational Deduction and Formal Proofs. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-3-319-51651-6, pp. 1-143 - [j29]Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón:
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. J. Autom. Reason. 58(2): 231-251 (2017) - [j28]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
Intruder deduction problem for locally stable theories with normal forms and inverses. Theor. Comput. Sci. 672: 64-100 (2017) - [j27]Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari:
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 685: 1-2 (2017) - [c63]José Luis Soncco-Álvarez, Mauricio Ayala-Rincón:
Variable neighborhood search for the large phylogeny problem using gene order data. CEC 2017: 59-66 - [c62]Lucas Angelo da Silveira, José Luis Soncco-Álvarez, Mauricio Ayala-Rincón:
Parallel genetic algorithms with sharing of individuals for sorting unsigned genomes by reversals. CEC 2017: 741-748 - [c61]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
On Solving Nominal Fixpoint Equations. FroCoS 2017: 209-226 - [c60]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal C-Unification. LOPSTR 2017: 235-251 - [e5]Mauricio Ayala-Rincón, César A. Muñoz:
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. Lecture Notes in Computer Science 10499, Springer 2017, ISBN 978-3-319-66106-3 [contents] - [i3]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal C-Unification. CoRR abs/1709.05384 (2017) - [i2]Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro:
A Grammar Compression Algorithm based on Induced Suffix Sorting. CoRR abs/1711.03205 (2017) - 2016
- [c59]Lucas A. da Silveira, José Luis Soncco-Álvarez, Mauricio Ayala-Rincón:
Parallel memetic genetic algorithms for sorting unsigned genomes by translocations. CEC 2016: 185-192 - [c58]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal Narrowing. FSCD 2016: 11:1-11:17 - [c57]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
A Formalisation of Nominal α-equivalence with A and AC Function Symbols. LSFA 2016: 21-38 - [i1]Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón:
Type Soundness for Path Polymorphism. CoRR abs/1601.03271 (2016) - 2015
- [j26]Daniel Lima Ventura, Fairouz Kamareddine, Mauricio Ayala-Rincón:
Explicit substitution calculi with de Bruijn indices and intersection type systems. Log. J. IGPL 23(2): 295-340 (2015) - [j25]José Luis Soncco-Álvarez, Gabriel Marchesan Almeida, Jürgen Becker, Mauricio Ayala-Rincón:
Parallelization of genetic algorithms for sorting permutations by reversals over biological data. Int. J. Hybrid Intell. Syst. 12(1): 53-64 (2015) - [c56]Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón:
Computing translocation distance by a genetic algorithm. CLEI 2015: 1-12 - [c55]Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón:
Memetic and Opposition-Based Learning Genetic Algorithms for Sorting Unsigned Genomes by Translocations. NaBIC 2015: 73-85 - [c54]Mauricio Ayala-Rincón:
Formalising Confluence in PVS. DCM 2015: 11-17 - [c53]Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira:
Checking Overlaps of Nominal Rewriting Rules. LSFA 2015: 39-56 - [c52]Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira:
Completeness in PVS of a Nominal Unification Algorithm. LSFA 2015: 57-74 - [c51]Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón:
A Practical Semi-External Memory Method for Approximate Pattern Matching. WEIT 2015: 107-122 - [c50]Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón:
Type Soundness for Path Polymorphism. LSFA 2015: 235-251 - [e4]Mauricio Ayala-Rincón, Ian Mackie:
Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014. Electronic Notes in Theoretical Computer Science 312, Elsevier 2015 [contents] - 2014
- [j24]Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón:
Hardware opposition-based PSO applied to mobile robot controllers. Eng. Appl. Artif. Intell. 28: 64-77 (2014) - [j23]Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón:
First-order unification in the PVS proof assistant. Log. J. IGPL 22(5): 758-789 (2014) - [c49]José Luis Soncco-Álvarez, Mauricio Ayala-Rincón:
Memetic algorithm for sorting unsigned permutations by reversals. IEEE Congress on Evolutionary Computation 2014: 2770-2777 - [c48]Flávio L. C. de Moura, Delia Kesner, Mauricio Ayala-Rincón:
Metaconfluence of Calculi with Explicit Substitutions at a Distance. FSTTCS 2014: 391-402 - [c47]Edward Hermann Haeusler, Mauricio Ayala-Rincón:
On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. LATIN 2014: 202-213 - [c46]Ariane Alves Almeida, Carlos H. Llanos, Janier Arias-Garcia, Mauricio Ayala-Rincón:
Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS. SBCCI 2014: 14:1-14:8 - [c45]Mauricio Ayala-Rincón, Ian Mackie:
Preface. LSFA 2014: 1-2 - [e3]Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie:
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. EPTCS 144, 2014 [contents] - 2013
- [j22]Mauricio Ayala-Rincón, Yuri Santos Rego:
Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model. J. Formaliz. Reason. 6(1): 31-61 (2013) - [c44]Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón:
Hardware-based parallel firefly algorithm for embedded applications. AHS 2013: 39-46 - [c43]José Luis Soncco-Álvarez, Gabriel Marchesan Almeida, Jürgen Becker, Mauricio Ayala-Rincón:
Parallelization and virtualization of genetic algorithms for sorting permutations by reversals. NaBIC 2013: 29-35 - [c42]Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón:
A Compressed Suffix Tree Based Implementation With Low Peak Memory Usage. CLEI Selected Papers 2013: 73-94 - 2012
- [c41]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho:
Elementary Deduction Problem for Locally Stable Theories with Normal Forms. LSFA 2012: 45-60 - [c40]Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón:
Formalizing the Confluence of Orthogonal Rewriting Systems. LSFA 2012: 145-152 - [c39]José Luis Soncco-Álvarez, Mauricio Ayala-Rincón:
Sorting Permutations by Reversals through a Hybrid Genetic Algorithm based on Breakpoint Elimination and Exact Solutions for Signed Permutations. CLEI Selected Papers 2012: 119-133 - 2011
- [j21]Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine:
Preface. Theor. Comput. Sci. 412(37): 4851-4852 (2011) - [c38]Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón:
Opposition-based shuffled PSO with passive congregation applied to FM matching synthesis. IEEE Congress on Evolutionary Computation 2011: 2775-2781 - [c37]Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón:
A Formalization of the Theorem of Existence of First-Order Most General Unifiers. LSFA 2011: 63-78 - 2010
- [j20]André Luiz Galdino, Mauricio Ayala-Rincón:
A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem. J. Autom. Reason. 45(3): 301-325 (2010) - [c36]Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón:
Accelerating the Shuffled Frog Leaping algorithm by parallel implementations in FPGAs. BIC-TA 2010: 1526-1534 - [c35]Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón:
Comparison between two FPGA implementations of the Particle Swarm Optimization algorithm for high-performance embedded applications. BIC-TA 2010: 1637-1645 - [c34]Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón:
Hardware Particle Swarm Optimization Based on the Attractive-Repulsive Scheme for Embedded Applications. ReConFig 2010: 55-60 - [c33]Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón:
Verification of the Completeness of Unification Algorithms à la Robinson. WoLLIC 2010: 110-124 - [c32]Daniele Nantes Sobrinho, Mauricio Ayala-Rincón:
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. WoLLIC 2010: 218-231 - [c31]Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246 - [c30]Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine:
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. LSFA 2010: 41-54
2000 – 2009
- 2009
- [j19]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Preface. Log. J. IGPL 17(5): 487-488 (2009) - [j18]Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
Explicit substitutions calculi with one step Eta-reduction decided explicitly. Log. J. IGPL 17(6): 697-718 (2009) - [c29]Daniel M. Muñoz Arboleda, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón:
Hardware Architecture for Particle Swarm Optimization Using Floating-Point Arithmetic. ISDA 2009: 243-248 - [c28]Diego F. Sánchez, Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón:
Parameterizable floating-point library for arithmetic operations in FPGAs. SBCCI 2009 - [c27]Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices. WRS 2009: 69-82 - [c26]Mauricio Ayala-Rincón, Fairouz Kamareddine:
Preface. LSFA 2009: 1-3 - [e2]Mauricio Ayala-Rincón, Fairouz Kamareddine:
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009. Electronic Notes in Theoretical Computer Science 256, Elsevier 2009 [contents] - 2008
- [j17]André Luiz Galdino, Mauricio Ayala-Rincón:
A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. 11(2) (2008) - [j16]Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els:
Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms. Eng. Appl. Artif. Intell. 21(8): 1309-1320 (2008) - [j15]Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. J. Appl. Log. 6(1): 72-108 (2008) - [j14]André Luiz Galdino, Mauricio Ayala-Rincón:
A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language. J. Formaliz. Reason. 1(1): 39-50 (2008) - [c25]Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578 - [c24]André Luiz Galdino, Mauricio Ayala-Rincón:
A PVS Theory for Term Rewriting Systems. LSFA 2008: 67-83 - [e1]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007. Electronic Notes in Theoretical Computer Science 205, Elsevier 2008 [contents] - 2007
- [j13]Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Edans Flavius de Oliveira Sandes, Mauricio Ayala-Rincón:
An exact parallel algorithm to compare very long biological sequences in clusters of workstations. Clust. Comput. 10(2): 187-202 (2007) - [j12]Mauricio Ayala-Rincón, Bruno T. de Abreu, José de Siqueira:
A variant of the Ford-Johnson algorithm that is more space efficient. Inf. Process. Lett. 102(5): 201-207 (2007) - [j11]Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Maria Emília Telles Walter:
Parallel strategies for the local biological sequence alignment in a cluster of workstations. J. Parallel Distributed Comput. 67(2): 170-185 (2007) - [c23]André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón:
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC 2007: 177-188 - [c22]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Preface. LSFA 2007: 1-3 - 2006
- [j10]Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. J. Appl. Non Class. Logics 16(1-2): 119-150 (2006) - [j9]Mauricio Ayala-Rincón, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein:
Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic. ACM Trans. Design Autom. Electr. Syst. 11(2): 251-281 (2006) - [c21]Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els:
Implementation, Simulation and Validation of Dispatching Algorithms for Elevator Systems. ReConFig 2006: 290-297 - [c20]Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els, Renato P. Almeida:
Implementation of dispatching algorithms for elevator systems using reconfigurable architectures. SBCCI 2006: 32-37 - [c19]Mauricio Ayala-Rincón, Thomas Mailleux Santana:
SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. SBCCI 2006: 125-130 - 2005
- [j8]Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine:
Comparing and implementing calculi of explicit substitutions with eta-reduction. Ann. Pure Appl. Log. 134(1): 5-41 (2005) - [c18]Carlos Morra, Jürgen Becker, Mauricio Ayala-Rincón, Reiner W. Hartenstein:
FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations. FPL 2005: 25-30 - [c17]Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana:
Parallel Strategies for Local Biological Sequence Alignment in a Cluster of Workstations. IPDPS 2005 - [c16]André L. S. Braga, Carlos H. Llanos, Mauricio Ayala-Rincón, Ricardo P. Jacobi:
VANNGen: a flexible CAD tool for hardware implementation of artificial neural networks. ReConFig 2005 - [c15]Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana:
Parallel Smith-Waterman Algorithm for Local DNA Comparison in a Cluster of Workstations. WEA 2005: 464-475 - [c14]Rodrigo de Castro Miranda, Mauricio Ayala-Rincón:
A Modification of the Landau-Vishkin Algorithm Computing Longest Common Extensions via Suffix Arrays. BSB 2005: 210-213 - 2004
- [c13]Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón:
Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448 - [c12]Mauricio Ayala-Rincón, Ricardo P. Jacobi, Luis Gustavo A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein:
Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic. SBCCI 2004: 248-253 - [c11]Ricardo P. Jacobi, Mauricio Ayala-Rincón, Luis Gustavo A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein:
Reconfigurable Systems for Sequence Alignment and for General Dynamic Programming. WOB 2004: 25-32 - 2003
- [j7]Mauricio Ayala-Rincón, Paulo D. Conejo:
A Linear Time Lower Bound on McCreight and General Updating Algorithms for Suffix Trees. Algorithmica 37(3): 233-241 (2003) - [j6]Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón:
On Automating the Extraction of Programs from Termination Proofs. Rev. Colomb. de Computación 4(2) (2003) - [c10]Mauricio Ayala-Rincón, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein:
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. FDL 2003: 492-504 - [c9]Mauricio Ayala-Rincón, Rodrigo Borges Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein:
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic. SBCCI 2003: 205-210 - [c8]Mauricio Ayala-Rincón, Rodrigo Borges Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein:
Efficient Computation of Algebraic Operations over Dynamically Reconfigurable Systems Specified by Rewriting-Logic Environments. SCCC 2003: 60- - 2002
- [j5]Mauricio Ayala-Rincón, Alexsandro F. da Fonseca, Haydée Werneck Poubel, José de Siqueira:
A framework to visualize equivalences between computational models of regular languages. Inf. Process. Lett. 84(1): 5-16 (2002) - [j4]Mauricio Ayala-Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos:
Architectural Specification, Exploration and Simulation Through Rewriting-Logic. Rev. Colomb. de Computación 3(2) (2002) - [c7]Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine:
Comparing Calculi of Explicit Substitutions with Eta-reduction. WoLLIC 2002: 76-95 - [c6]Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein:
Applying ELAN Strategies in Simulating Processors over Simple Architectures. WRS 2002: 84-99 - [c5]Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón:
On automating the extraction of programs from proofs using product types. WoLLIC 2002: 233-253 - 2001
- [j3]Mauricio Ayala-Rincón, Fairouz Kamareddine:
Unification via the lambda se-Style of Explicit Substitutions. Log. J. IGPL 9(4): 489-523 (2001) - [j2]Mauricio Ayala-Rincón, Ivan E. Tavares de Araújo:
Unification Modulo Presburger Arithmetic and Other Decidable Theories. Rev. Colomb. de Computación 2(2) (2001) - [c4]Luiz M. R. Gadelha Jr., Mauricio Ayala-Rincón:
An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups. SCCC 2001: 80-85 - 2000
- [j1]Mauricio Ayala-Rincón, César A. Muñoz:
Explicit Substitions and All That. Rev. Colomb. de Computación 1(1): 47-71 (2000) - [c3]Mauricio Ayala-Rincón, Fairouz Kamareddine:
Unification via se-style of explicit substitution. PPDP 2000: 163-174
1990 – 1999
- 1998
- [c2]Mauricio Ayala-Rincón:
Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises. FroCoS 1998: 17-38 - [c1]Mauricio Ayala-Rincón, Paulo D. Conejo:
A Linear Time Lower Bound on Updating Algorithms for Suffix Trees. SPIRE 1998: 1-6 - 1993
- [b1]Mauricio Ayala-Rincón:
Expressiveness of conditional equational systems with built-in predicates. Kaiserslautern University of Technology, Germany, 1993, pp. 1-154
Coauthor Index
Daniel M. Muñoz Arboleda
aka: Daniel M. Muñoz
aka: Daniel M. Muñoz
Thaynara A. de Lima
aka: Thaynara Arielly de Lima
aka: Thaynara Arielly de Lima
Carlos H. Llanos
aka: Carlos Humberto Llanos Quintero
aka: Carlos Humberto Llanos Quintero
Flávio L. C. de Moura
aka: Flávio Leonardo Cavalcanti de Moura
aka: Flávio Leonardo Cavalcanti de Moura
Lucas A. da Silveira
aka: Lucas Angelo da Silveira
aka: Lucas Angelo da Silveira
Daniele Nantes Sobrinho
aka: Daniele Nantes-Sobrinho
aka: Daniele Nantes-Sobrinho
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
