


Остановите войну!
for scientists:
Mauricio 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
- 2022
- [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
- [j44]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) - [j43]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) - [c76]Mauricio Ayala-Rincón
, Maribel Fernández
, Daniele Nantes-Sobrinho
, Deivid Vale
:
Nominal Equational Problems. FoSSaCS 2021: 22-41 - [c75]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 - [c74]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
- [j42]Mauricio Ayala-Rincón
, Maribel Fernández
, Daniele Nantes-Sobrinho:
On Nominal Syntax and Permutation Fixed Points. Log. Methods Comput. Sci. 16(1) (2020) - [j41]Mauricio Ayala-Rincón
, Philippe Balbiani
:
Introduction to the special issue: Unification. Math. Struct. Comput. Sci. 30(6): 570-571 (2020) - [j40]Ariane Alves Almeida, Mauricio Ayala-Rincón
:
Formalizing the dependency pair criterion for innermost termination. Sci. Comput. Program. 195: 102474 (2020) - [c73]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 - [c72]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 - [c71]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 - [c70]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
- [j39]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) - [j38]Mauricio Ayala-Rincón
, César A. Muñoz:
Selected Extended Papers of ITP 2017 - Preface. J. Autom. Reason. 63(2): 319-321 (2019) - [j37]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) - [j36]Mauricio Ayala-Rincón
, Eduardo Bonelli, Juan Edi, Andrés Viso
:
Typed path polymorphism. Theor. Comput. Sci. 781: 111-130 (2019) - [c69]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 - [c68]Mauricio Ayala-Rincón
, Maribel Fernández
, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
:
A Certified Functional Nominal C-Unification Algorithm. LOPSTR 2019: 123-138 - [c67]Mauricio Ayala-Rincón
, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
:
On Solving Nominal Disunification Constraints. LSFA 2019: 3-22 - [c66]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 - [c65]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
- [j35]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) - [j34]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) - [c64]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 - [c63]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 - [c62]Mauricio Ayala-Rincón
, Maribel Fernández, Daniele Nantes-Sobrinho
:
Fixed-Point Constraints for Nominal Equational Unification. FSCD 2018: 7:1-7:16 - [c61]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 - [c60]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 - [j33]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) - [j32]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) - [j31]Mauricio Ayala-Rincón
, Ian Mackie, Ugo Montanari:
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 685: 1-2 (2017) - [c59]José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
:
Variable neighborhood search for the large phylogeny problem using gene order data. CEC 2017: 59-66 - [c58]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 - [c57]Mauricio Ayala-Rincón
, Washington de Carvalho Segundo
, Maribel Fernández, Daniele Nantes-Sobrinho
:
On Solving Nominal Fixpoint Equations. FroCoS 2017: 209-226 - [c56]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
- [j30]Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón
:
A Practical Semi-External Memory Method for Approximate Pattern Matching. Electron. Notes Theor. Comput. Sci. 324: 107-122 (2016) - [c55]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 - [c54]Mauricio Ayala-Rincón
, Maribel Fernández
, Daniele Nantes-Sobrinho
:
Nominal Narrowing. FSCD 2016: 11:1-11:17 - [c53]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
- [j29]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) - [j28]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) - [c52]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 - [c51]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 - [c50]Mauricio Ayala-Rincón
:
Formalising Confluence in PVS. DCM 2015: 11-17 - [c49]Mauricio Ayala-Rincón
, Maribel Fernández
, Murdoch James Gabbay
, Ana Cristina Rocha Oliveira:
Checking Overlaps of Nominal Rewriting Rules. LSFA 2015: 39-56 - [c48]Mauricio Ayala-Rincón
, Maribel Fernández
, Ana Cristina Rocha Oliveira:
Completeness in PVS of a Nominal Unification Algorithm. LSFA 2015: 57-74 - [c47]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
- [j27]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) - [j26]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) - [c46]José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
:
Memetic algorithm for sorting unsigned permutations by reversals. IEEE Congress on Evolutionary Computation 2014: 2770-2777 - [c45]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 - [c44]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 - [c43]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 - [c42]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
- [j25]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) - [c41]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 - [c40]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 - [c39]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
- [c38]Mauricio Ayala-Rincón
, Maribel Fernández, Daniele Nantes Sobrinho:
Elementary Deduction Problem for Locally Stable Theories with Normal Forms. LSFA 2012: 45-60 - [c37]Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón
:
Formalizing the Confluence of Orthogonal Rewriting Systems. LSFA 2012: 145-152 - [c36]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
- [j24]Mauricio Ayala-Rincón
, Elaine Pimentel
, Fairouz Kamareddine:
Preface. Theor. Comput. Sci. 412(37): 4851-4852 (2011) - [c35]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 - [c34]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
- [j23]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) - [c33]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 - [c32]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 - [c31]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 - [c30]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 - [c29]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 - [c28]Daniel Lima Ventura
, Mauricio Ayala-Rincón
, Fairouz Kamareddine:
Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246 - [c27]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
- [j22]Mauricio Ayala-Rincón
, Edward Hermann Haeusler:
Preface. Log. J. IGPL 17(5): 487-488 (2009) - [j21]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) - [c26]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 - [c25]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 - [c24]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 - [c23]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
- [j20]André Luiz Galdino, Mauricio Ayala-Rincón:
A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. 11(2) (2008) - [j19]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) - [j18]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) - [j17]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) - [c22]Daniel Lima Ventura
, Mauricio Ayala-Rincón
, Fairouz Kamareddine:
Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578 - [c21]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
- [j16]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) - [j15]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) - [j14]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) - [c20]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 - [c19]Mauricio Ayala-Rincón
, Edward Hermann Haeusler:
Preface. LSFA 2007: 1-3 - 2006
- [j13]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) - [j12]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) - [c18]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 - [c17]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 - [c16]Mauricio Ayala-Rincón, Thomas Mailleux Santana:
SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. SBCCI 2006: 125-130 - 2005
- [j11]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) - [c15]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 - [c14]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 - [c13]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 - [c12]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 - [c11]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
- [c10]Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón:
Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448 - [c9]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 - [c8]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
- [j10]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) - [j9]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) - [c7]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 - [c6]