| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine |
Preface.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | André Luiz Galdino, Mauricio Ayala-Rincón |
A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Intersection Type Systems and Explicit Substitutions Calculi. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Explicit substitutions calculi with one step Eta-reduction decided explicitly. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Edward Hermann Haeusler |
Preface. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Luiz Galdino, Mauricio Ayala-Rincón |
A PVS Theory for Term Rewriting Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
goldschmidt, FPGA, computer arithmetic, floating-point |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. of AI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | André Luiz Galdino, Mauricio Ayala-Rincón |
A Theory for Abstract Reduction Systems in PVS. |
CLEI Electron. J. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Edward Hermann Haeusler |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Applied Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Principal Typings for Explicit Substitutions Calculi. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus, explicit substitution, principal typings |
| 1 | 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. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Maria Emilia Telles Walter |
Parallel strategies for the local biological sequence alignment in a cluster of workstations. |
J. Parallel Distrib. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Cluster Computing |
2007 |
DBLP DOI BibTeX RDF |
Biological sequence comparison, Parallel algorithm |
| 1 | André Luiz Galdino, César Muñoz, Mauricio Ayala-Rincón |
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. |
Journal of Applied Non-Classical Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
Term Rewriting Systems (TRS), algebraic manipulation, dynamically reconfigurable systems, Fast Fourier Transform (FFT), reconfigurable computing, systolic arrays, rewriting-logic |
| 1 | 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 |
DBLP DOI BibTeX RDF |
elevator group control system, field programmable gate arrays |
| 1 | Mauricio Ayala-Rincón, Thomas Mailleux Santana |
SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. |
SBCCI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Morra, Jürgen Becker, Mauricio Ayala-Rincón, Reiner W. Hartenstein |
FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations. |
FPL |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo de Castro Miranda, Mauricio Ayala-Rincón |
A Modification of the Landau-Vishkin Algorithm Computing Longest Common Extensions via Suffix Arrays. |
BSB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Ricardo P. Jacobi, Luis G. 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 |
DBLP DOI BibTeX RDF |
configware, morphware, reconfigurable systolic arrays, term rewriting systems (TRS), dynamic programming, rewriting-logic |
| 1 | Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón |
Second-Order Matching via Explicit Substitutions. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
Higher-Order Unification, Second-Order Matching, Explicit Substitutions |
| 1 | Ricardo P. Jacobi, Mauricio Ayala-Rincón, Luis G. A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein |
Reconfigurable Systems for Sequence Alignment and for General Dynamic Programming. |
WOB |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Paulo D. Conejo |
A Linear Time Lower Bound on McCreight and General Updating Algorithms for Suffix Trees. |
Algorithmica |
2003 |
DBLP DOI BibTeX RDF |
Suffix trie, Suffix tree, Linear-time algorithm |
| 1 | Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón |
On Automating the Extraction of Programs from Termination Proofs. |
Revista Colombiana de Computación |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Rodrigo B. 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Rodrigo B. 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 |
DBLP DOI BibTeX RDF |
Reconfigurable Systolic Arrays, Fast Fourier Transform, Rewriting-Logic, Term Rewriting Systems |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine |
Comparing Calculi of Explicit Substitutions with Eta-reduction. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón |
On automating the extraction of programs from proofs using product types. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos |
Architectural Specification, Exploration and Simulation Through Rewriting-Logic. |
Revista Colombiana de Computación |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Unification via the lambda se-Style of Explicit Substitutions. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Ivan E. Tavares de Araújo |
Unification Modulo Presburger Arithmetic and Other Decidable Theories. |
Revista Colombiana de Computación |
2001 |
DBLP BibTeX RDF |
|
| 1 | Luiz M. R. Gadelha Jr., Mauricio Ayala-Rincón |
An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups. |
SCCC |
2001 |
DBLP DOI BibTeX RDF |
Knuth-Bendix Completion, Word Problem in Finitely Presented Groups, String-Rewriting Systems |
| 1 | Mauricio Ayala-Rincón, César Muñoz |
Explicit Substitions and All That. |
Revista Colombiana de Computación |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Unification via se-style of explicit substitution. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
higher order unification, lambda-calculus, explicit substitution |
| 1 | Mauricio Ayala-Rincón, Paulo D. Conejo |
A Linear Time Lower Bound on Updating Algorithms for Suffix Trees. |
SPIRE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón |
Expressiveness of conditional equational systems with built-in predicates. |
|
1993 |
RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")