dblp.uni-trier.dewww.uni-trier.de

Mauricio Ayala-Rincón Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
36EEDaniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578
35EEAndré Luiz Galdino, Mauricio Ayala-Rincón: A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. 11(2): (2008)
34EEMauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Electr. Notes Theor. Comput. Sci. 205: 1-3 (2008)
33EEFlá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 6(1): 72-108 (2008)
2007
32EEAndré Luiz Galdino, César Muñoz, Mauricio Ayala-Rincón: Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC 2007: 177-188
31EEAzzedine 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 10(2): 187-202 (2007)
30 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)
29EEAzzedine 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. 67(2): 170-185 (2007)
2006
28EEMauricio Ayala-Rincón, Thomas Mailleux Santana: SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. SBCCI 2006: 125-130
27EEDaniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi van Els, Renato P. Almeida: Implementation of dispatching algorithms for elevator systems using reconfigurable architectures. SBCCI 2006: 32-37
26EEMauricio 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)
25 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 16(1-2): 119-150 (2006)
2005
24EERodrigo 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
23 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
22EEAzzedine 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
21EEAzzedine 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
20EEMauricio 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 134(1): 5-41 (2005)
2004
19EEFlávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón: Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448
18EEMauricio 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: 248-253
17 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: 25-32
2003
16EEMauricio 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
15EEMauricio 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: 205-210
14EEMauricio 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: 60-
13EEMauricio 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)
12EEFairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On Automating the Extraction of Programs from Termination Proofs. Revista Comlombiana de Computación 4(2): (2003)
2002
11EEMauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine: Comparing Calculi of Explicit Substitutions with Eta-reduction. Electr. Notes Theor. Comput. Sci. 67: (2002)
10EEFairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On automating the extraction of programs from proofs using product types. Electr. Notes Theor. Comput. Sci. 67: (2002)
9EEMauricio 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. 70(6): (2002)
8EEMauricio 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)
7EEMauricio Ayala-Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos: Architectural Specification, Exploration and Simulation Through Rewriting-Logic. Revista Comlombiana de Computación 3(2): (2002)
2001
6EELuiz M. R. Gadelha Jr., Mauricio Ayala-Rincón: An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups. SCCC 2001: 80-85
5EEMauricio Ayala-Rincón, Fairouz Kamareddine: Unification via the lambda se-Style of Explicit Substitutions. Logic Journal of the IGPL 9(4): (2001)
4EEMauricio Ayala-Rincón, Ivan E. Tavares Araújo: Unification Modulo Presburger Arithmetic and Other Decidable Theories. Revista Comlombiana de Computación 2(2): (2001)
2000
3EEMauricio Ayala-Rincón, Fairouz Kamareddine: Unification via se-style of explicit substitution. PPDP 2000: 163-174
2EEMauricio Ayala-Rincón, César Muñoz: Explicit Substitions and All That. Revista Comlombiana de Computación 1(1): 47-71 (2000)
1998
1 Mauricio Ayala-Rincón, Paulo D. Conejo: A Linear Time Lower Bound on Updating Algorithms for Suffix Trees. SPIRE 1998: 1-6

Coauthor Index

1Bruno T. de Abreu [30]
2Renato P. Almeida [27]
3Ivan E. Tavares Araújo [4]
4Jürgen Becker [23]
5Azzedine Boukerche [21] [22] [29] [31]
6Luis G. A. Carvalho [17] [18]
7Paulo D. Conejo [1] [13]
8Rudi van Els [27]
9Alexsandro F. da Fonseca [8]
10Luiz M. R. Gadelha Jr. [6]
11André Luiz Galdino [32] [35]
12Edward Hermann Haeusler [34]
13Reiner W. Hartenstein [7] [9] [14] [15] [16] [17] [18] [23] [26]
14Ricardo P. Jacobi [7] [9] [14] [15] [16] [17] [18] [26]
15Fairouz Kamareddine [3] [5] [10] [11] [12] [19] [20] [25] [33] [36]
16Carlos H. Llanos [7] [9] [14] [15] [16] [17] [18] [26] [27]
17Alba Cristina Magalhaes Alves de Melo [21] [22] [29] [31]
18Rodrigo de Castro Miranda [24]
19François Monin [10] [12]
20Carlos Morra [23]
21Flávio L. C. de Moura [11] [19] [20] [25] [33]
22César Muñoz [2] [32]
23Daniel M. Muñoz [27]
24Rinaldi Maya Neto [7] [9]
25Rodrigo B. Nogueira [14] [15]
26Haydée Werneck Poubel [8]
27Edans Flavius de Oliveira Sandes [31]
28Thomas Mailleux Santana [21] [22] [28]
29José de Siqueira [8] [30]
30Daniel Lima Ventura [36]
31Maria Emilia Telles Walter (Maria Emilia M. T. Walter) [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)