Mauricio Ayala-Rincón

2008
36	EE	Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578
35	EE	André Luiz Galdino, Mauricio Ayala-Rincón: A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. 11(2): (2008)
34	EE	Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Electr. Notes Theor. Comput. Sci. 205: 1-3 (2008)
33	EE	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 6(1): 72-108 (2008)
2007
32	EE	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: 177-188
31	EE	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 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)
29	EE	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. 67(2): 170-185 (2007)
2006
28	EE	Mauricio Ayala-Rincón, Thomas Mailleux Santana: SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. SBCCI 2006: 125-130
27	EE	Daniel 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
26	EE	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)
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
24	EE	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
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
22	EE	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
21	EE	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
20	EE	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 134(1): 5-41 (2005)
2004
19	EE	Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón: Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448
18	EE	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: 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
16	EE	Mauricio Ayala-Rincón, R. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein: Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. FDL 2003: 492-504
15	EE	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: 205-210
14	EE	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: 60-
13	EE	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)
12	EE	Fairouz 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
11	EE	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. 67: (2002)
10	EE	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. 67: (2002)
9	EE	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. 70(6): (2002)
8	EE	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. 84(1): 5-16 (2002)
7	EE	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 Comlombiana de Computación 3(2): (2002)
2001
6	EE	Luiz M. R. Gadelha Jr., Mauricio Ayala-Rincón: An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups. SCCC 2001: 80-85
5	EE	Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via the lambda se-Style of Explicit Substitutions. Logic Journal of the IGPL 9(4): (2001)
4	EE	Mauricio 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
3	EE	Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via se-style of explicit substitution. PPDP 2000: 163-174
2	EE	Mauricio 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

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

Colors in the list of coauthors