Mauricio Ayala-Rincón

	2009
38		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
37		André Luiz Galdino, Mauricio Ayala-Rincón: A PVS Theory for Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 247: 67-83 (2009)
	2008
36		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578
35		André Luiz Galdino, Mauricio Ayala-Rincón: A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. 11(2): (2008)
34		Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Electr. Notes Theor. Comput. Sci. 205: 1-3 (2008)
33		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		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		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		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		Mauricio Ayala-Rincón, Thomas Mailleux Santana: SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. SBCCI 2006: 125-130
27		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		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		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		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		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		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		Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón: Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448
18		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		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
15		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		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		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		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		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		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		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		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		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		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		Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via the lambda se-Style of Explicit Substitutions. Logic Journal of the IGPL 9(4): (2001)
4		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		Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via se-style of explicit substitution. PPDP 2000: 163-174
2		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] [37]
12	Edward Hermann Haeusler	[34]
13	Reiner W. Hartenstein	[7] [9] [14] [15] [16] [17] [18] [23] [26]
14	Ricardo P. Jacobi	[7] [9] [14] [15] [16] [17] [18] [26]
15	Fairouz Kamareddine	[3] [5] [10] [11] [12] [19] [20] [25] [33] [36]
16	Carlos H. Llanos	[7] [9] [14] [15] [16] [17] [18] [26] [27] [38]
17	Alba Cristina Magalhaes Alves de Melo	[21] [22] [29] [31]
18	Rodrigo de Castro Miranda	[24]
19	François Monin	[10] [12]
20	Carlos Morra	[23]
21	Flávio L. C. de Moura	[11] [19] [20] [25] [33]
22	César Muñoz	[2] [32]
23	Daniel M. Muñoz	[27] [38]
24	Rinaldi Maya Neto	[7] [9]
25	Rodrigo B. Nogueira	[14] [15]
26	Haydée Werneck Poubel	[8]
27	Diego F. Sánchez	[38]
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 (Maria Emilia M. T. Walter)	[29]

Colors in the list of coauthors