Stop the war!Остановите войну!
for scientists:
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
- 2023
[c86]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- [c85]Mauricio Ayala-Rincón
, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho:
Nominal AC-Matching. CICM 2023: 53-68 - 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)