Mauricio Ayala-Rincón

	2011
56		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
55		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
54		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. 269: 41-54 (2011)
53		Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine: Preface. Theor. Comput. Sci. 412(37): 4851-4852 (2011)
	2010
52		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
51		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
50		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
49		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
48		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
47		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246
46		André Luiz Galdino, Mauricio Ayala-Rincón: A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem. J. Autom. Reasoning 45(3): 301-325 (2010)
	2009
45		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
44		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
43		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
42		André Luiz Galdino, Mauricio Ayala-Rincón: A PVS Theory for Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 247: 67-83 (2009)
41		Mauricio Ayala-Rincón, Fairouz Kamareddine: Preface. Electr. Notes Theor. Comput. Sci. 256: 1-3 (2009)
40		Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Logic Journal of the IGPL 17(5): 487-488 (2009)
39		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Explicit substitutions calculi with one step Eta-reduction decided explicitly. Logic Journal of the IGPL 17(6): 697-718 (2009)
	2008
38		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578
37		André Luiz Galdino, Mauricio Ayala-Rincón: A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. 11(2): (2008)
36		Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Electr. Notes Theor. Comput. Sci. 205: 1-3 (2008)
35		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 21(8): 1309-1320 (2008)
34		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
33		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
32		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)
31		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)
30		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
29		Mauricio Ayala-Rincón, Thomas Mailleux Santana: SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. SBCCI 2006: 125-130
28		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
27		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)
26		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
25		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
24		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
23		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
22		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
21		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
20		Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón: Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448
19		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
18		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
17		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
16		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
15		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-
14		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)
13		Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On Automating the Extraction of Programs from Termination Proofs. Revista Colombiana de Computación 4(2): (2003)
	2002
12		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: 233-253 (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: 76-95 (2002)
10		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): 84-99 (2002)
9		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)
8		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 3(2): (2002)
	2001
7		Luiz M. R. Gadelha Jr., Mauricio Ayala-Rincón: An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups. SCCC 2001: 80-85
6		Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via the lambda se-Style of Explicit Substitutions. Logic Journal of the IGPL 9(4): 489-523 (2001)
5		Mauricio Ayala-Rincón, Ivan E. Tavares de Araújo: Unification Modulo Presburger Arithmetic and Other Decidable Theories. Revista Colombiana de Computación 2(2): (2001)
	2000
4		Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via se-style of explicit substitution. PPDP 2000: 163-174
3		Mauricio Ayala-Rincón, César Muñoz: Explicit Substitions and All That. Revista Colombiana de Computación 1(1): 47-71 (2000)
	1998
2		Mauricio Ayala-Rincón, Paulo D. Conejo: A Linear Time Lower Bound on Updating Algorithms for Suffix Trees. SPIRE 1998: 1-6
	1993
1		Mauricio Ayala-Rincón: Expressiveness of conditional equational systems with built-in predicates. Universität Kaiserslautern 1993: 1-154

Coauthor Index

1	Bruno T. de Abreu	[31]
2	Renato P. Almeida	[28]
3	Ivan E. Tavares de Araújo	[5]
4	Daniel M. Muñoz Arboleda (Daniel M. Muñoz)	[28] [35] [44] [45] [50] [51] [52] [56]
5	Andréia B. Avelar	[49] [55]
6	A. V. Barbosa	[54]
7	Jürgen Becker	[24]
8	Azzedine Boukerche	[22] [23] [30] [32]
9	Luis G. A. Carvalho	[18] [19]
10	Leandro dos Santos Coelho	[45] [50] [51] [52] [56]
11	Paulo D. Conejo	[2] [14]
12	Rudi H. van Els	[28] [35]
13	Alexsandro F. da Fonseca	[9]
14	Luiz M. R. Gadelha Jr.	[7]
15	André Luiz Galdino	[33] [37] [42] [46] [49] [55]
16	Edward Hermann Haeusler	[36] [40]
17	Reiner W. Hartenstein	[8] [10] [15] [16] [17] [18] [19] [24] [27]
18	Ricardo Pezzuol Jacobi (Ricardo P. Jacobi)	[8] [10] [15] [16] [17] [18] [19] [27]
19	Fairouz Kamareddine	[4] [6] [11] [12] [13] [20] [21] [26] [34] [38] [39] [41] [43] [47] [53] [54]
20	Carlos H. Llanos (Carlos Humberto Llanos Quintero)	[8] [10] [15] [16] [17] [18] [19] [27] [28] [35] [44] [45] [50] [51] [52] [56]
21	Alba Cristina Magalhaes Alves de Melo	[22] [23] [30] [32]
22	Rodrigo de Castro Miranda	[25]
23	François Monin	[12] [13]
24	Carlos Morra	[24]
25	Flávio L. C. de Moura	[11] [20] [21] [26] [34] [49] [54] [55]
26	César Muñoz	[3] [33]
27	Rinaldi Maya Neto	[8] [10]
28	Rodrigo B. Nogueira	[15] [16]
29	Elaine Pimentel	[53]
30	Haydée Werneck Poubel	[9]
31	Diego F. Sánchez	[44]
32	Edans Flavius de Oliveira Sandes	[32]
33	Thomas Mailleux Santana	[22] [23] [29]
34	José de Siqueira	[9] [31]
35	Daniele Nantes Sobrinho	[48]
36	Daniel Lima Ventura	[38] [39] [43] [47]
37	Maria Emilia Telles Walter (Maria Emilia M. T. Walter)	[30]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page