Mauricio Ayala-Rincón

163 papers A 1B 22C 19Journal 60Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Nominal Approach to Equational Problems in Languages with Binders. ACM Trans. Comput. Log. Daniele Nantes-Sobrinho, Maribel Fernández, Deivid Vale, Mauricio Ayala-Rincón
2025	C	`conf`	A PVS Library on the Infinitude of Primes. CICM Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
2025	B	`conf`	Combining Generalization Algorithms in Regular Collapse-Free Theories. FSCD Mauricio Ayala-Rincón, David M. Cerna, Temur Kutsia, Christophe Ringeissen
2025	J	`jnl`	Correction to: Certified First-Order AC-Unification and Applications. J. Autom. Reason. Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2025	C	`conf`	Graded Quantitative Narrowing. CICM Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia
2025	J	`jnl`	Graded Quantitative Narrowing. CoRR Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia
2025	—	`conf`	Verification of an Anti-unification Algorithm in PVS. NFM Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Maria Júlia Dias Lima, Mariano M. Moscato, Temur Kutsia
2024	B	`conf`	A Formalization of the General Theory of Quaternions. ITP Thaynara Arielly de Lima, André Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincón
2024	J	`jnl`	Certified First-Order AC-Unification and Applications. J. Autom. Reason. Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2024	J	`jnl`	Compactness Theorem for Propositional Logic and Combinatorial Applications. Arch. Formal Proofs Fabián Fernando Serrano Suárez, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
2024	—	`conf`	Equational Anti-unification over Absorption Theories. IJCAR (2) Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
2024	—	`conf`	Nominal Equational Rewriting and Narrowing. LSFA Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida
2024	J	`jnl`	On reconfiguring heterogeneous parallel island models. Swarm Evol. Comput. Lucas A. da Silveira, Thaynara A. de Lima, Mauricio Ayala-Rincón
2023	B	`conf`	A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. FMCAD Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón
2023	J	`jnl`	Equational Anti-Unification over Absorption Theories. CoRR Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
2023	J	`jnl`	Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 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
2023	B	`conf`	Formalization of Algebraic Theorems in PVS (Invited Talk). LPAR Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino
2023	—	`conf`	Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. LSFA/HCVS Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón
2023	C	`conf`	Nominal AC-Matching. CICM Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2023	J	`jnl`	On the behavior of parallel island models. Appl. Soft Comput. Lucas A. da Silveira, Thaynara A. de Lima, Jessé Barreto de Barros, José Luis Soncco-Álvarez, Carlos H. Llanos, Mauricio Ayala-Rincón
2022	B	`conf`	A Certified Algorithm for AC-Unification. FSCD Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho
2022	J	`jnl`	Formalization of the Computational Theory of a Turing Complete Functional Language Model. J. Autom. Reason. Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón
2022	J	`jnl`	Grammar Compression by Induced Suffix Sorting. ACM J. Exp. Algorithmics Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro
2022	C	`conf`	Hall's Theorem for Enumerable Families of Finite Sets. CICM Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima
2022	J	`jnl`	Introduction to the special issue: Confluence. Math. Struct. Comput. Sci. Mauricio Ayala-Rincón, Samuel Mimram
2022	—	`ed.`	Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021. LSFA Mauricio Ayala-Rincón, Eduardo Bonelli
2022	—	`conf`	Reconfigurable Heterogeneous Parallel Island Models. SSCI Lucas A. da Silveira, Thaynara A. de Lima, Mauricio Ayala-Rincón
2022	J	`jnl`	Reconfigurable Heterogeneous Parallel Island Models. CoRR Lucas Angelo da Silveira, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
2022	J	`jnl`	The impact of formulation of cost function in Task Mapping Problem on NoCs using bio-inspired based-metaheuristics. Microprocess. Microsystems Jessé Barreto de Barros, Nidhi Anantharajaiah, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero, Jürgen Becker
2021	B	`conf`	Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP 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
2021	J	`jnl`	Formalising nominal C-unification generalised with protected variables. Math. Struct. Comput. Sci. Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
2021	J	`jnl`	Formalization of Ring Theory in PVS. J. Autom. Reason. Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón
2021	—	`conf`	Heterogeneous Parallel Island Models. SSCI Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
2021	B	`conf`	Nominal Equational Problems. FoSSaCS Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2020	—	`conf`	A Study of the Impact of Formulation of Cost Function in Task Mapping Problem on NoCs. NorCAS Jessé Barreto de Barros, Nidhi Anantharajaiah, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero, Jürgen Becker
2020	—	`conf`	An Investigation into General Nominal Equational Problems (Work in progress). UNIF Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2020	B	`conf`	Behavior of Bioinspired Algorithms in Parallel Island Models. CEC Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
2020	J	`jnl`	Formalizing the dependency pair criterion for innermost termination. Sci. Comput. Program. Ariane Alves Almeida, Mauricio Ayala-Rincón
2020	J	`jnl`	Grammar Compression By Induced Suffix Sorting. CoRR Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro
2020	J	`jnl`	Introduction to the special issue: Unification. Math. Struct. Comput. Sci. Mauricio Ayala-Rincón, Philippe Balbiani
2020	J	`jnl`	On Nominal Syntax and Permutation Fixed Points. Log. Methods Comput. Sci. Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2020	—	`conf`	Parallel Social Spider Optimization Algorithms with Island Model for the Clustering Problem. SIMBig Edwin Alvarez-Mamani, Lauro Enciso-Rodas, Mauricio Ayala-Rincón, José Luis Soncco-Álvarez
2020	—	`conf`	Teaching Interactive Proofs to Mathematicians. ThEdu@IJCAR Mauricio Ayala-Rincón, Thaynara Arielly de Lima
2019	C	`conf`	A Certified Functional Nominal C-Unification Algorithm. LOPSTR Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
2019	J	`jnl`	A formalisation of nominal Theor. Comput. Sci. Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira
2019	—	`conf`	Application of an Adaptive Genetic Algorithm for Task Mapping Optimisation on a Wormhole-based Real-time Network-on-Chip. SBESC Jessé Barreto de Barros, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero
2019	J	`jnl`	Formalizing the Dependency Pair Criterion for Innermost Termination. CoRR Ariane Alves Almeida, Mauricio Ayala-Rincón
2019	J	`jnl`	On Nominal Syntax and Permutation Fixed Points. CoRR Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2019	—	`conf`	On Solving Nominal Disunification Constraints. LSFA Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2019	J	`jnl`	Opposition-Based Memetic Algorithm and Hybrid Approach for Sorting Permutations by Reversals. Evol. Comput. José Luis Soncco-Álvarez, Daniel M. Muñoz, Mauricio Ayala-Rincón
2019	B	`conf`	Parallel Island Model Genetic Algorithms applied in NP-Hard problems. CEC Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
2019	J	`jnl`	Selected Extended Papers of ITP 2017 - Preface. J. Autom. Reason. Mauricio Ayala-Rincón, César A. Muñoz
2019	—	`conf`	The Computational Relevance of Formal Logic Through Formal Proofs. FMTea Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón
2019	J	`jnl`	Typed path polymorphism. Theor. Comput. Sci. Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso
2018	—	`conf`	A Formalisation of Nominal C-Matching through Unification with Protected Variables. LSFA Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2018	B	`conf`	A Grammar Compression Algorithm Based on Induced Suffix Sorting. DCC Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro
2018	B	`conf`	Fixed-Point Constraints for Nominal Equational Unification. FSCD Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2018	C	`conf`	Formalization of the Undecidability of the Halting Problem for a Functional Language. WoLLIC Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz
2018	J	`jnl`	Nominal essential intersection types. Theor. Comput. Sci. Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Lima Ventura
2018	J	`jnl`	On the average number of reversals needed to sort signed permutations. Discret. Appl. Math. Thaynara A. de Lima, Mauricio Ayala-Rincón
2018	B	`conf`	Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals. CEC Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
2017	J	`jnl`	A Grammar Compression Algorithm based on Induced Suffix Sorting. CoRR Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro
2017	—	`book`	Applied Logic for Computer Scientists - Computational Deduction and Formal Proofs Mauricio Ayala-Rincón, Flávio L. C. de Moura
2017	J	`jnl`	Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. J. Autom. Reason. Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón
2017	B	`ed.`	Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings ITP Mauricio Ayala-Rincón, César A. Muñoz
2017	J	`jnl`	Intruder deduction problem for locally stable theories with normal forms and inverses. Theor. Comput. Sci. Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2017	J	`jnl`	Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari
2017	C	`conf`	Nominal C-Unification. LOPSTR Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2017	J	`jnl`	Nominal C-Unification. CoRR Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2017	—	`conf`	On Solving Nominal Fixpoint Equations. FroCoS Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2017	B	`conf`	Parallel genetic algorithms with sharing of individuals for sorting unsigned genomes by reversals. CEC Lucas Angelo da Silveira, José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
2017	B	`conf`	Variable neighborhood search for the large phylogeny problem using gene order data. CEC José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
2016	—	`conf`	A Formalisation of Nominal α-equivalence with A and AC Function Symbols. LSFA Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2016	B	`conf`	Nominal Narrowing. FSCD Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2016	B	`conf`	Parallel memetic genetic algorithms for sorting unsigned genomes by translocations. CEC Lucas A. da Silveira, José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
2016	J	`jnl`	Type Soundness for Path Polymorphism. CoRR Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
2015	—	`conf`	A Practical Semi-External Memory Method for Approximate Pattern Matching. WEIT Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón
2015	—	`conf`	Checking Overlaps of Nominal Rewriting Rules. LSFA Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira
2015	—	`conf`	Completeness in PVS of a Nominal Unification Algorithm. LSFA Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira
2015	C	`conf`	Computing translocation distance by a genetic algorithm. CLEI Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
2015	J	`jnl`	Explicit substitution calculi with de Bruijn indices and intersection type systems. Log. J. IGPL Daniel Lima Ventura, Fairouz Kamareddine, Mauricio Ayala-Rincón
2015	—	`conf`	Formalising Confluence in PVS. DCM Mauricio Ayala-Rincón
2015	—	`conf`	Memetic and Opposition-Based Learning Genetic Algorithms for Sorting Unsigned Genomes by Translocations. NaBIC Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
2015	—	`ed.`	Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014 LSFA Mauricio Ayala-Rincón, Ian Mackie
2015	J	`jnl`	Parallelization of genetic algorithms for sorting permutations by reversals over biological data. Int. J. Hybrid Intell. Syst. José Luis Soncco-Álvarez, Gabriel Marchesan Almeida, Jürgen Becker, Mauricio Ayala-Rincón
2015	—	`conf`	Type Soundness for Path Polymorphism. LSFA Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
2014	J	`jnl`	First-order unification in the PVS proof assistant. Log. J. IGPL Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón
2014	J	`jnl`	Hardware opposition-based PSO applied to mobile robot controllers. Eng. Appl. Artif. Intell. Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
2014	B	`conf`	Memetic algorithm for sorting unsigned permutations by reversals. IEEE Congress on Evolutionary Computation José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
2014	—	`conf`	Metaconfluence of Calculi with Explicit Substitutions at a Distance. FSTTCS Flávio L. C. de Moura, Delia Kesner, Mauricio Ayala-Rincón
2014	B	`conf`	On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. LATIN Edward Hermann Haeusler, Mauricio Ayala-Rincón
2014	—	`conf`	Preface. LSFA Mauricio Ayala-Rincón, Ian Mackie
2014	—	`ed.`	Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. DCM Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie
2014	—	`conf`	Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS. SBCCI Ariane Alves Almeida, Carlos H. Llanos, Janier Arias-Garcia, Mauricio Ayala-Rincón
2013	—	`conf`	A Compressed Suffix Tree Based Implementation With Low Peak Memory Usage. CLEI Selected Papers Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón
2013	J	`jnl`	Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model. J. Formaliz. Reason. Mauricio Ayala-Rincón, Yuri Santos Rego
2013	—	`conf`	Hardware-based parallel firefly algorithm for embedded applications. AHS Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
2013	—	`conf`	Parallelization and virtualization of genetic algorithms for sorting permutations by reversals. NaBIC José Luis Soncco-Álvarez, Gabriel Marchesan Almeida, Jürgen Becker, Mauricio Ayala-Rincón
2012	—	`conf`	Elementary Deduction Problem for Locally Stable Theories with Normal Forms LSFA Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho
2012	—	`conf`	Formalizing the Confluence of Orthogonal Rewriting Systems LSFA Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón
2012	—	`conf`	Sorting Permutations by Reversals through a Hybrid Genetic Algorithm based on Breakpoint Elimination and Exact Solutions for Signed Permutations. CLEI Selected Papers José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
2011	—	`conf`	A Formalization of the Theorem of Existence of First-Order Most General Unifiers LSFA Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón
2011	B	`conf`	Opposition-based shuffled PSO with passive congregation applied to FM matching synthesis. IEEE Congress on Evolutionary Computation Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
2011	J	`jnl`	Preface. Theor. Comput. Sci. Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine
2010	—	`conf`	A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. LSFA Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine
2010	J	`jnl`	A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem. J. Autom. Reason. André Luiz Galdino, Mauricio Ayala-Rincón
2010	—	`conf`	Accelerating the Shuffled Frog Leaping algorithm by parallel implementations in FPGAs. BIC-TA Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
2010	—	`conf`	Comparison between two FPGA implementations of the Particle Swarm Optimization algorithm for high-performance embedded applications. BIC-TA Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
2010	—	`conf`	Hardware Particle Swarm Optimization Based on the Attractive-Repulsive Scheme for Embedded Applications. ReConFig Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
2010	C	`conf`	Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2010	C	`conf`	Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. WoLLIC Daniele Nantes Sobrinho, Mauricio Ayala-Rincón
2010	C	`conf`	Verification of the Completeness of Unification Algorithms à la Robinson. WoLLIC Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón
2009	J	`jnl`	Explicit substitutions calculi with one step Eta-reduction decided explicitly. Log. J. IGPL Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2009	C	`conf`	Hardware Architecture for Particle Swarm Optimization Using Floating-Point Arithmetic. ISDA Daniel M. Muñoz Arboleda, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
2009	—	`conf`	Parameterizable floating-point library for arithmetic operations in FPGAs. SBCCI Diego F. Sánchez, Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón
2009	—	`conf`	Preface. LSFA Mauricio Ayala-Rincón, Fairouz Kamareddine
2009	J	`jnl`	Preface. Log. J. IGPL Mauricio Ayala-Rincón, Edward Hermann Haeusler
2009	—	`conf`	Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices WRS Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2009	—	`ed.`	Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009 LSFA Mauricio Ayala-Rincón, Fairouz Kamareddine
2008	J	`jnl`	A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language. J. Formaliz. Reason. André Luiz Galdino, Mauricio Ayala-Rincón
2008	—	`conf`	A PVS Theory for Term Rewriting Systems. LSFA André Luiz Galdino, Mauricio Ayala-Rincón
2008	J	`jnl`	A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. André Luiz Galdino, Mauricio Ayala-Rincón
2008	J	`jnl`	Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms. Eng. Appl. Artif. Intell. Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els
2008	J	`jnl`	Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. J. Appl. Log. Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2008	C	`conf`	Principal Typings for Explicit Substitutions Calculi. CiE Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2008	—	`ed.`	Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007 LSFA Mauricio Ayala-Rincón, Edward Hermann Haeusler
2007	J	`jnl`	A variant of the Ford-Johnson algorithm that is more space efficient. Inf. Process. Lett. Mauricio Ayala-Rincón, Bruno T. de Abreu, José de Siqueira
2007	J	`jnl`	An exact parallel algorithm to compare very long biological sequences in clusters of workstations. Clust. Comput. Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Edans Flavius de Oliveira Sandes, Mauricio Ayala-Rincón
2007	C	`conf`	Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón
2007	J	`jnl`	Parallel strategies for the local biological sequence alignment in a cluster of workstations. J. Parallel Distributed Comput. Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Maria Emília Telles Walter
2007	—	`conf`	Preface. LSFA Mauricio Ayala-Rincón, Edward Hermann Haeusler
2006	—	`conf`	Implementation of dispatching algorithms for elevator systems using reconfigurable architectures. SBCCI Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els, Renato P. Almeida
2006	—	`conf`	Implementation, Simulation and Validation of Dispatching Algorithms for Elevator Systems. ReConFig Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els
2006	J	`jnl`	Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic. ACM Trans. Design Autom. Electr. Syst. Mauricio Ayala-Rincón, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein
2006	—	`conf`	SAEPTUM: verification of SBCCI Mauricio Ayala-Rincón, Thomas Mailleux Santana
2006	J	`jnl`	SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. J. Appl. Non Class. Logics Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2005	—	`conf`	A Modification of the Landau-Vishkin Algorithm Computing Longest Common Extensions via Suffix Arrays. BSB Rodrigo de Castro Miranda, Mauricio Ayala-Rincón
2005	J	`jnl`	Comparing and implementing calculi of explicit substitutions with eta-reduction. Ann. Pure Appl. Log. Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
2005	B	`conf`	FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations. FPL Carlos Morra, Jürgen Becker, Mauricio Ayala-Rincón, Reiner W. Hartenstein
2005	—	`conf`	Parallel Smith-Waterman Algorithm for Local DNA Comparison in a Cluster of Workstations. WEA Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana
2005	A	`conf`	Parallel Strategies for Local Biological Sequence Alignment in a Cluster of Workstations. IPDPS Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana
2005	—	`conf`	VANNGen: a flexible CAD tool for hardware implementation of artificial neural networks. ReConFig André L. S. Braga, Carlos H. Llanos, Mauricio Ayala-Rincón, Ricardo P. Jacobi
2004	—	`conf`	Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic. SBCCI Mauricio Ayala-Rincón, Ricardo P. Jacobi, Luis Gustavo A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein
2004	—	`conf`	Reconfigurable Systems for Sequence Alignment and for General Dynamic Programming. WOB Ricardo P. Jacobi, Mauricio Ayala-Rincón, Luis Gustavo A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein
2004	B	`conf`	Second-Order Matching via Explicit Substitutions. LPAR Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón
2003	J	`jnl`	A Linear Time Lower Bound on McCreight and General Updating Algorithms for Suffix Trees. Algorithmica Mauricio Ayala-Rincón, Paulo D. Conejo
2003	—	`conf`	Efficient Computation of Algebraic Operations over Dynamically Reconfigurable Systems Specified by Rewriting-Logic Environments. SCCC Mauricio Ayala-Rincón, Rodrigo Borges Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein
2003	—	`conf`	Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic. SBCCI Mauricio Ayala-Rincón, Rodrigo Borges Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein
2003	J	`jnl`	On Automating the Extraction of Programs from Termination Proofs. Rev. Colomb. de Computación Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
2003	C	`conf`	Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. FDL Mauricio Ayala-Rincón, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein
2002	J	`jnl`	A framework to visualize equivalences between computational models of regular languages. Inf. Process. Lett. Mauricio Ayala-Rincón, Alexsandro F. da Fonseca, Haydée Werneck Poubel, José de Siqueira
2002	—	`conf`	Applying ELAN Strategies in Simulating Processors over Simple Architectures. WRS Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein
2002	J	`jnl`	Architectural Specification, Exploration and Simulation Through Rewriting-Logic. Rev. Colomb. de Computación Mauricio Ayala-Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos
2002	C	`conf`	Comparing Calculi of Explicit Substitutions with Eta-reduction. WoLLIC Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
2002	C	`conf`	On automating the extraction of programs from proofs using product types. WoLLIC Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
2001	—	`conf`	An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups. SCCC Luiz M. R. Gadelha Jr., Mauricio Ayala-Rincón
2001	J	`jnl`	Unification Modulo Presburger Arithmetic and Other Decidable Theories. Rev. Colomb. de Computación Mauricio Ayala-Rincón, Ivan E. Tavares de Araújo
2001	J	`jnl`	Unification via the lambda s Log. J. IGPL Mauricio Ayala-Rincón, Fairouz Kamareddine
2000	J	`jnl`	Explicit Substitions and All That. Rev. Colomb. de Computación Mauricio Ayala-Rincón, César A. Muñoz
2000	C	`conf`	Unification via PPDP Mauricio Ayala-Rincón, Fairouz Kamareddine
1998	C	`conf`	A Linear Time Lower Bound on Updating Algorithms for Suffix Trees. SPIRE Mauricio Ayala-Rincón, Paulo D. Conejo
1998	—	`conf`	Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises. FroCoS Mauricio Ayala-Rincón
1993	—	`—`	Expressiveness of conditional equational systems with built-in predicates. Mauricio Ayala-Rincón