Como o LaForCE é vinculado ao Grupo de Teoria da Computação da UnB,  nossas linhas de pesquisa estão dispostas no diretório de grupos de pesquisa do CNPq:  GTC - UnB

Publicações 

Rocha-Oliveira, A.C., Galdino, A.L., Ayala-Rincón, M.
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System
(2016) Journal of Automated Reasoning, pp. 1-21. Article in Press. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84976328156&partnerID=40&md5=83f5dc9a53868f2fce6f6d5a3834b2a4

Ayala-Rincón, M., Fernández, M., Nantes-Sobrinho, D.
Nominal narrowing
(2016) Leibniz International Proceedings in Informatics, LIPIcs, 52, art. no. 11, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84977469650&partnerID=40&md5=05c218b9f47fed14a693d39fe435b3d4

da Silveira, L.A., Soncco-Álvarez, J.L., de Lima, T.A., Ayala-Rincón, M.
Memetic and opposition-based learning genetic algorithms for sorting unsigned genomes by translocations
(2016) Advances in Intelligent Systems and Computing, 419, pp. 73-85. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84951869956&partnerID=40&md5=bc1b82d4ce6ed0f02721ea3fe16ab4ed

Da Silveira, L.A., Soncco-Alvarez, J.L., De Lima, T.A., Ayala-Rincon, M.
Computing translocation distance by a genetic algorithm
(2015) Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015, art. no. 7359994, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84961967613&partnerID=40&md5=8965484b7aa047dcebb9b9693a2d0d71

Ayala-Rincón, M., Mackie, I.
Preface
(2015) Electronic Notes in Theoretical Computer Science, 312, pp. 1-2. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84928782113&partnerID=40&md5=b3e942b531d0753ff408a95b651878a1

Almeida, A.A., Arias-Garcia, J., Llanos, C.H., Ayala-Rincon, M.
Verification of hardware implementations through correctness of their recursive definitions in PVS
(2014) SBCCI 2014: Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, art. no. 6994634, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949135718&partnerID=40&md5=72e306fe39ecd7960642e22c1212915c

Nogueira Nunes, D.S., Ayala-Rincón, M.
A compressed suffix tree based implementation with low peak memory usage
(2014) Electronic Notes in Theoretical Computer Science, 302, pp. 73-94. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84894145005&partnerID=40&md5=5edd76a14c05bb092e66cd74483bba90

Muñoz, D.M., Llanos, C.H., Coelho, L.D.S., Ayala-Rincón, M.
Hardware opposition-based PSO applied to mobile robot controllers
(2014) Engineering Applications of Artificial Intelligence, 28, pp. 64-77. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84892858663&partnerID=40&md5=5cc044cfa00f5f251e7cf5689993d6af

Haeusler, E.H., Ayala-Rincón, M.
On the computability of relations on λ-terms and rice's theorem - The case of the expansion problem for explicit substitutions
(2014) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8392 LNCS, pp. 202-213. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84899969220&partnerID=40&md5=8fa05f031421c2649fc0de35114aa2e1

Soncco-Álvarez, J.L., Ayala-Rincón, M.
Memetic algorithm for sorting unsigned permutations by reversals
(2014) Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014, art. no. 6900398, pp. 2770-2777. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84908583716&partnerID=40&md5=e8f66531fb7362286a77da17fd9306a5

De Moura, F.L.C., Kesner, D., Ayala-Rincón, M.
Metaconfluence of calculi with explicit substitutions at a distance
(2014) Leibniz International Proceedings in Informatics, LIPIcs, 29, pp. 391-402. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84921453671&partnerID=40&md5=ea61750a7a759cce0c40c65a3a554fa3

Avelar, A.B., Galdino, A.L., de Moura, F.L.C., Ayala-Rincón, M.
First-order unification in the PVS proof assistant
(2014) Logic Journal of the IGPL, 22 (5), pp. 758-789. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84942314619&partnerID=40&md5=99b7eafb7d91fac816a73d441260f3e6

Ayala-Rincón, M., Bonelli, E., Mackie, I.
Preface
(2014) Electronic Proceedings in Theoretical Computer Science, EPTCS, 144, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84938704565&partnerID=40&md5=d3590927e348197df2202fa92c754dc7

Ventura, D.L., Kamareddine, F., Ayala-Rincón, M.
Explicit substitution calculi with de Bruijn indices and intersection type systems
(2014) Logic Journal of the IGPL, 23 (2), art. no. jzu044, pp. 295-340. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84926467467&partnerID=40&md5=7cd0e60e2af0a4215542acf4aae3971d

Soncco-Álvarez, J.L., Almeida, G.M., Becker, J., Ayala-Rincón, M.
Parallelization and virtualization of genetic algorithms for sorting permutations by reversals
(2013) 2013 World Congress on Nature and Biologically Inspired Computing, NaBIC 2013, art. no. 6617871, pp. 29-35. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84887845959&partnerID=40&md5=ed6ba366f20a9d2faf9aa1200ced1c38

Rêgo, Y.S., Ayala-Rincón, M.
Formalization in pvs of balancing properties necessary for proving security of the dolev-yao cascade protocol model
(2013) Journal of Formalized Reasoning, 6 (1), pp. 31-61. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885730783&partnerID=40&md5=3edecf6e71045d953c2f0af48a93b5f3

Muñoz, D.M., Llanos, C.H., Dos Santos Coelho, L., Ayala-Rincón, M.
Hardware-based parallel firefly algorithm for embedded applications
(2013) Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2013, art. no. 6604224, pp. 39-46. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885399384&partnerID=40&md5=8de1b2b2cf1d4fd123629492cb599a83

Arias-Garcia, J., Braga, A., Llanos, C.H., Ayala-Rincon, M., Pezzuol Jacobi, R., Foltran, A.
FPGA HIL simulation of a linear system block for strongly coupled system applications
(2013) Proceedings of the IEEE International Conference on Industrial Technology, art. no. 6505811, pp. 1017-1022. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84877607670&partnerID=40&md5=00646539e97305c51ea299edd56eac7a

Soncco-Álvarez, J.L., Ayala-Rincón, M.
Sorting permutations by reversals through a hybrid genetic algorithm based on breakpoint elimination and exact solutions for signed permutations
(2013) Electronic Notes in Theoretical Computer Science, 292, pp. 119-133. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84875166887&partnerID=40&md5=ec495fdd9c77f52b85b4e3ec959caf5f

De Lima, T.A., Ayala-Rincón, M.
Complexity of Cayley distance and other general metrics on permutation groups
(2012) 2012 7th Colombian Computing Congress, CCC 2012 - Conference Proceedings, art. no. 6398020, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84873200960&partnerID=40&md5=259e959361aabe38e7672f1c693f73c6

Soncco-Álvarez, J.L., Ayala-Rincón, M.
A genetic approach with a simple fitness function for sorting unsigned permutations by reversals
(2012) 2012 7th Colombian Computing Congress, CCC 2012 - Conference Proceedings, art. no. 6398025, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84873115411&partnerID=40&md5=61a8ae167929778f1147a5006276df11

Arias-García, J., Llanos, C.H., Ayala-Rincón, M., Jacobi, R.P.
FPGA implementation of large-scale matrix inversion using single, double and custom floating-point precision
(2012) SPL 2012 - 8th Southern Programmable Logic Conference, art. no. 6211787, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84863935967&partnerID=40&md5=e82b35c74bb42e0df5eaf83007053abb

Muñoz, D.M., Llanos, C.H., Coelho, L.D.S., Ayala-Rincón, M.
Accelerating the artificial bee colony algorithm by hardware parallel implementations
(2012) 2012 IEEE 3rd Latin American Symposium on Circuits and Systems, LASCAS 2012 - Conference Proceedings, art. no. 6180357, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84860491318&partnerID=40&md5=6e2cccc0275a7bed1542fbd26d5a7b79

Arias-García, J., Llanos, C.H., Ayala-Rincón, M., Jacobi, R.P.
A fast and low cost architecture developed in FPGAs for solving systems of linear equations
(2012) 2012 IEEE 3rd Latin American Symposium on Circuits and Systems, LASCAS 2012 - Conference Proceedings, art. no. 6180336, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84860433129&partnerID=40&md5=5c67926d1913f5c73cf32c33ae2d44e2

Muñoz, D.M., Sánchez, D.F., Llanos, C.H., Ayala-Rincón, M.
Tradeoff of FPGA design of floating-point transcendental functions
(2011) Proceedings - 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009, art. no. 6041365, pp. 239-242. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-80555129443&partnerID=40&md5=38dc6b9d0a90bad33652425668564a0c

Munoz, D.M., Llanos, C.H., Dos S. Coelho, L., Ayala-Rincon, M.
Opposition-based shuffled PSO with passive congregation applied to FM matching synthesis
(2011) 2011 IEEE Congress of Evolutionary Computation, CEC 2011, art. no. 5949966, pp. 2775-2781. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-80051988720&partnerID=40&md5=c21674daed3ef4718a64c6852a23dcc5

Ayala-Rincón, M., Pimentel, E., Kamareddine, F.
Preface
(2011) Theoretical Computer Science, 412 (37), pp. 4851-4852. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79960898391&partnerID=40&md5=ac3ae240bf6218c84f0ecbbe538c7a4a

Muñoz, D.M., Llanos, C.H., Coelho, L.D.S., Ayala-Rincón, M.
Hardware Particle Swarm Optimization with passive congregation for embedded applications
(2011) Proceedings of the 2011 7th Southern Conference on Programmable Logic, SPL 2011, art. no. 5782644, pp. 173-178. Cited 4 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79959311575&partnerID=40&md5=0e00212ed67fec9de25452912d18133b

Arias-García, J., Pezzuol Jacobi, R., Llanos, C.H., Ayala-Rincón, M.
A suitable FPGA implementation of floating-point matrix inversion based on Gauss-Jordan elimination
(2011) Proceedings of the 2011 7th Southern Conference on Programmable Logic, SPL 2011, art. no. 5782659, pp. 263-268. Cited 12 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79959299690&partnerID=40&md5=fd9dbae80ad45f3b790ee7fe80f3309d

De Moura, F.L.C., Barbosa, A.V., Ayala-Rincón, M., Kamareddine, F.
A flexible framework for visualisation of computational properties of general explicit substitutions calculi
(2011) Electronic Notes in Theoretical Computer Science, 269 (1), pp. 41-54. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79955100503&partnerID=40&md5=62a7d1fdd0a75c3c2752fb7efc85d186

Muñoz, D.M., Llanos, C.H., Dos S. Coelho, L., Ayala-Rincón, M.
Accelerating the Shuffled Frog Leaping algorithm by parallel implementations in FPGAs
(2010) Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, art. no. 5645270, pp. 1526-1534. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-78650587076&partnerID=40&md5=a175ebf55a9da45ef03fc1a3a03e1774

Muñoz, D.M., Llanos, C.H., Dos S. Coelho, L., Ayala-Rincón, M.
Comparison between two FPGA implementations of the particle swarm optimization algorithm for high-performance embedded applications
(2010) Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, art. no. 5645256, pp. 1637-1645. Cited 7 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-78650642344&partnerID=40&md5=881949add50d6d2d0fa5dea526f04b49

Muñoz, D.M., Llanos, C.H., Dos S. Coelho, L., Ayala-Rincón, M.
Hardware particle swarm optimization based on the attractive-repulsive scheme for embedded applications
(2010) Proceedings - 2010 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2010, art. no. 5695281, pp. 55-60. Cited 5 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79951745522&partnerID=40&md5=f3707e0605fd4deed6b1ab0016986b6a

Galdino, A.L., Ayala-Rincón, M.
A formalization of the Knuth-Bendix(-Huet) critical pair theorem
(2010) Journal of Automated Reasoning, 45 (3), pp. 301-325. Cited 6 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77956732912&partnerID=40&md5=d29590ad33d8b8d9618bd8fc920c6580

Sobrinho, D.N., Ayala-Rincón, M.
Reduction of the intruder deduction problem into equational elementary deduction for electronic purse protocols with blind signatures
(2010) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6188 LNAI, pp. 218-231. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77955023159&partnerID=40&md5=cccb92f973267522ff468fd2d31dd442

Ventura, D.L., Ayala-Rincón, M., Kamareddine, F.
Intersection type systems and explicit substitutions calculi
(2010) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6188 LNAI, pp. 232-246. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77955020977&partnerID=40&md5=26f7c5684f382140382904fbc3950004

Avelar, A.B., De Moura, F.L.C., Galdino, A.L., Ayala-Rincón, M.
Verification of the completeness of unification algorithms à la Robinson
(2010) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6188 LNAI, pp. 110-124. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77955015119&partnerID=40&md5=f58274ebb09a7b6e9a5dd5239a5fe144

Muñoz, D.M., Sanchez, D.F., Llanos, C.H., Ayala-Rincón, M.
FPGA based floating-point library for CORDIC algorithms
(2010) 6th Southern Programmable Logic Conference, SPL 2010 - Proceedings, art. no. 5483002, pp. 55-60. Cited 7 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954451567&partnerID=40&md5=ad45ec625e49b07953f9e8d6ecfeaaea

Muñoz, D.M., Sanchez, D.F., Llanos, C.H., Ayala-Rincón, M.
Tradeoff of FPGA design of a floating-point library for arithmetic operators
(2010) Journal of Integrated Circuits and Systems, 5 (1), pp. 42-52. Cited 12 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-78149251201&partnerID=40&md5=9b952a4d4b888d906160c633af5bceff

Sánchez, D.F., Muñoz, D.M., Llanos, C.H., Ayala-Rincón, M.
Parameterizable floating-point library for arithmetic operations in FPGAs
(2009) Proceedings of the 22nd Symposium on Integrated Circuits and Systems Design, SBCCI 2009, art. no. 40, . Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-70949100993&partnerID=40&md5=81bc5d7be535d594668ae7bc1e421272

Ayala-Rincón, M., Kamareddine, F.
Preface
(2009) Electronic Notes in Theoretical Computer Science, 256, pp. 1-3. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-71649115233&partnerID=40&md5=a9599413da1f3c8da12445d2e35b3412

Munoz, D.M., Llanos, C.H., Coelho, L.D.S., Ayala-Rincon, M.
Hardware architecture for particle swarm optimization using floating-point arithmetic
(2009) ISDA 2009 - 9th International Conference on Intelligent Systems Design and Applications, art. no. 5364802, pp. 243-248. Cited 11 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77949527524&partnerID=40&md5=18afe9e60933514e7cb413cf7d986665

Ventura, D., Ayala-Rincón, M., Kamareddine, F.
Principal typings in a restricted intersection type system for beta normal forms with de Bruijn indices
(2009) Electronic Notes in Theoretical Computer Science, pp. 69-82. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84890282955&partnerID=40&md5=943501c8a8f91ac2be7e077828ecce80

Ayala-Rincón, M., Haeusler, E.H.
Preface
(2009) Logic Journal of the IGPL, 17 (5 SPEC. ISS.), pp. 437-438. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-70349483985&partnerID=40&md5=c90026ff9b790e0b20da9add674c96b7

Galdino, A.L., Ayala-Rincón, M.
A PVS Theory for Term Rewriting Systems
(2009) Electronic Notes in Theoretical Computer Science, 247, pp. 67-83. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-67949120436&partnerID=40&md5=42c406d673ec48d8283185b8e5264e57

Ventura, D., Ayala-Rincón, M., Kamareddine, F.
Explicit substitutions calculi with one step Eta-reduction decided explicitly
(2009) Logic Journal of the IGPL, 17 (6), art. no. jzp027, pp. 697-718. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-76249100537&partnerID=40&md5=0def7e85d8a722f26a43da01ec2cd7a7

Muñoz, D.M., Llanos, C.H., Ayala-Rincón, M., Van Els, R.H.
FPGA implementation of dispatching algorithms for local control of elevator systems
(2008) IEEE International Symposium on Industrial Electronics, art. no. 4677210, pp. 1997-2002. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-57849148245&partnerID=40&md5=e60adb481e3a204872e21c4a94640698

Muñoz, D.M., Llanos, C.H., Ayala-Rincón, M., van Els, R.H.
Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms
(2008) Engineering Applications of Artificial Intelligence, 21 (8), pp. 1309-1320. Cited 19 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-54049117152&partnerID=40&md5=7fdab1acc5d6b9ad0d274e9528adeb48

Ventura, D.L., Ayala-Rincón, M., Kamareddine, F.
Principal typings for explicit substitutions calculi
(2008) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5028 LNCS, pp. 567-578. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-45849118005&partnerID=40&md5=0f9d783e03233fdccdbae04a2fb2c4eb

Ayala-Rincón, M., Haeusler, E.H.
Preface
(2008) Electronic Notes in Theoretical Computer Science, 205 (C), pp. 1-3. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-41549147711&partnerID=40&md5=ca47560d8c33aa0ae8fe271b5cab426a

de Moura, F.L.C., Ayala-Rincón, M., Kamareddine, F.
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
(2008) Journal of Applied Logic, 6 (1), pp. 72-108. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-38749146471&partnerID=40&md5=e886ef740120f2008e82a0af1d55a76f

Galdino, A.L., Muñoz, C., Ayala-Rincón, M.
Formal verification of an optimal air traffic conflict resolution and recovery algorithm
(2007) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4576 LNCS, pp. 177-188. Cited 11 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-37249028071&partnerID=40&md5=4bc1833ae5e4b85b6ee8fd85cee09ccd

Boukerche, A., de Melo, A.C.M.A., de Oliveira Sandes, E.F., Ayala-Rincon, M.
An exact parallel algorithm to compare very long biological sequences in clusters of workstations
(2007) Cluster Computing, 10 (2), pp. 187-202. Cited 14 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-34248644592&partnerID=40&md5=94c1ab2bc63caf27072980e78c19f46d

Ayala-Rincón, M., de Abreu, B.T., de Siqueira, J.
A variant of the Ford-Johnson algorithm that is more space efficient
(2007) Information Processing Letters, 102 (5), pp. 201-207. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33947536978&partnerID=40&md5=26c2d2c44577783e29b33dcd6503c1aa

Boukerche, A., de Melo, A.C.M.A., Ayala-Rincón, M., Walter, M.E.M.T.
Parallel strategies for the local biological sequence alignment in a cluster of workstations
(2007) Journal of Parallel and Distributed Computing, 67 (2), pp. 170-185. Cited 9 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33845711431&partnerID=40&md5=f1cc718c897baf9f056bdad8816bea19

De Moura, F.L.C., Ayala-Rincón, M., Kamareddine, F.
SUBSEXPL:A tool for simulating and comparing explicit substitutions calculi*
(2006) Journal of Applied Non-Classical Logics, 16 (1-2), pp. 119-150. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-38749110921&partnerID=40&md5=0dbc2a1af7195f0dbd35e4ef38bfa2aa

Muñoz, D.M., Llanos, C.H., Ayala-Rincón, M., Van Els, R.
Implementation, simulation and validation of dispatching algorithms for elevator systems
(2006) Proceedings of the 2006 IEEE International Conference on Reconfigurable Computing and FPGA's, ReConFig 2006, art. no. 4100001, pp. 290-297. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-46449101371&partnerID=40&md5=286796df5df4fc26d516152654d81c59

Ayala-Rincón, M., Sant'Ana, T.M.
SAEPTUM: Verification of ELAN Hardware Specifications using the Proof Assistant PVS
(2006) SBCCI 2006 - 19th Symposium on Integrated Circuits and Systems Design, 2006, pp. 125-130. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33750915975&partnerID=40&md5=6f7d98d6f379a169ded53e5f2f8b8d91

Muñoz, D.M., Llanos, C.H., Ayala-Rincón, M., Van Els, R., Almeida, R.P.
Implementation of dispatching algorithms for elevator systems using reconfigurable architectures
(2006) SBCCI 2006 - 19th Symposium on Integrated Circuits and Systems Design, 2006, pp. 32-37. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33750925339&partnerID=40&md5=32c13694859a1698d237294d9ef89e05

Ayala-Rincón, M., Llanos, C.H., Jacobi, R.P., Hartenstein, R.W.
Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic
(2006) ACM Transactions on Design Automation of Electronic Systems, 11 (2), pp. 251-281. Cited 8 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33746094641&partnerID=40&md5=894489f87ed34efced157de709338185

De Moura, F.L.C., Kamareddine, F., Ayala-Rincón, M.
Second-order matching via explicit substitutions
(2005) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3452 LNAI, pp. 433-448. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-26844490183&partnerID=40&md5=8e94308920650c2d03e13988c86c84b5

Morra, C., Becker, J., Ayala-Rincón, M., Hartenstein, R.
FELIX: Using rewriting-logic for generating functionally equivalent implementations
(2005) Proceedings - 2005 International Conference on Field Programmable Logic and Applications, FPL, 2005, art. no. 1515694, pp. 25-30. Cited 9 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33746044746&partnerID=40&md5=7581dfaaea518f39f332a615c4e50a91

Boukerche, A., De Melo, A.C.M.A., Ayala-Rincón, M., Santana, T.M.
Parallel strategies for local biological sequence alignment in a cluster of workstations
(2005) Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005, 2005, art. no. 1420219, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33746314559&partnerID=40&md5=ff60b92f6309dac38e3a7760d6a438f5

Braga, A.L.S., Llanos, C.H., Ayala-Rincón, M., Jacobi, R.P.
VANNGen: A flexible CAD tool for hardware implementation of artificial neural networks
(2005) Proceedings - ReConFig 2005: 2005 International Conference on Reconfigurable Computing and FPGAs, 2005, art. no. 1592495, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33846988963&partnerID=40&md5=16d70ec16c0acbbe7dc77889ff3057cc

De Castro Miranda, R., Ayala-Rincón, M.
A modification of the Landau-Vishkin algorithm computing longest common extensions via suffix arrays
(2005) Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science), 3594, pp. 210-213. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-26444456981&partnerID=40&md5=1f2d20f9b00bad2455d75b715a2c1266

Boukerche, A., Alves De Melo, A.C.M., Ayala-Rincon, M., Santana, T.M.
Parallel Smith-Waterman algorithm for local DNA comparison in a cluster of workstations
(2005) Lecture Notes in Computer Science, 3503, pp. 464-475. Cited 4 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-24944583988&partnerID=40&md5=434ea9ede4400cd7acc8250c6a25207d

Jacobi, R.P., Ayala-Rincón, M., Carvalho, L.G., Llanos, C.H., Hartenstein, R.W.
Reconfigurable systems for sequence alignment and for general dynamic programming.
(2005) Genetics and molecular research : GMR, 4 (3), pp. 543-552. Cited 14 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33646171808&partnerID=40&md5=f5cb431bf61ca48ea65c38e1792b8a69

Ayala-Rincón, M., Jacobi, R.P., Carvalho, L.G.A., Llanos, C.H., Hartenstein, R.W.
Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic
(2004) Proceedings - 17th Symposium on Integrated Cicuits and Systems Design, SBCCI2004, pp. 248-253. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-14244261893&partnerID=40&md5=d545241a766cc805e45b1a2d8c266b3a

Boukerche, A., Magalhaes, A.C., de Melo, A., de Sandes, E.F.O., Ayala-Rincon, M.
An exact parallel algorithm to compare very long biological sequences in clusters of workstations
(2004) Tertiary Education and Management, 10 (2), pp. 187-202. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84904054200&partnerID=40&md5=11735e056f70b776355aa0d6f438bd24

Ayala-Rincón, M., Conejo, P.D.
A linear time lower bound on McCreight and general updating algorithms for suffix trees
(2003) Algorithmica (New York), 37 (3), pp. 233-241. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0242657899&partnerID=40&md5=a6ff4e76d7182b29f41dee154eb90b4b

Ayala-Rincón, M., Nogueira, R.B., Llanos, C., Jacobi, R.P., Hartenstein, R.W.
Efficient computation of algebraic operations over dynamically reconfigurable systems specified by rewriting-logic environments
(2003) Proceedings - International Conference of the Chilean Computer Science Society, SCCC, 2003-January, art. no. 1245446, pp. 60-69. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84868148410&partnerID=40&md5=db95b74586cbef1ee7a2338e98a20385

Ayala-Rincón, M., Nogueira, R.B., Llanos, C.H., Jacobi, R.P., Hartenstein, R.W.
Modeling a reconfigurable system for computing the FFT in place via rewriting-logic
(2003) Proceedings - 16th Symposium on Integrated Circuits and Systems Design, SBCCI 2003, art. no. 1232830, pp. 205-210. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84945382151&partnerID=40&md5=5fa137969657ec51bc6be706ec29dd58

Ayala-Rincón, M., Neto, R.M., Jacobi, R.P., Llanos, C.H., Hartenstein, R.W.
Applying ELAN strategies in simulating processors over simple architectures
(2002) Electronic Notes in Theoretical Computer Science, 70 (6), pp. 87-102. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-14244267095&partnerID=40&md5=fc9bb75e482454b00e8af89907e208e7

Ayala-Rincón, M., Da Fonseca, A.F., Poubel, H.W., Siqueira, J.
A framework to visualize equivalences between computational models of regular languages
(2002) Information Processing Letters, 84 (1), pp. 5-16. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0037120701&partnerID=40&md5=02d96209d909d4b785f5cb2823c35997

Kamareddine, F., Monin, F., Ayala-Rincón, M.
On automating the extraction of programs from proofs using product types
(2002) Electronic Notes in Theoretical Computer Science, 67, pp. 239-269. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-18944405677&partnerID=40&md5=7c329e5cbd573e2ff390c717f86e79ef

Ayala-Rincón, M., De Moura, F.L.C., Kamareddine, F.
Comparing calculi of explicit substitutions with eta-reduction
(2002) Electronic Notes in Theoretical Computer Science, 67, pp. 79-98. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-18944376437&partnerID=40&md5=2e18344a8d493b58b436b56538f7dd05

Gadelha, L.M.R., Jr., Ayala-Rincón, M.
An efficient strategy for word-cycle completion in finitely presented groups
(2001) Proceedings - International Conference of the Chilean Computer Science Society, SCCC, 2001-January, art. no. 972635, pp. 80-85. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84952918853&partnerID=40&md5=14e838b9aada362a2d8900827ad2e5fa

Ayala-Rincón, M., Kamareddine, F.
Unification via λse-style of explicit substitution
(2000) Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp. 163-174. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0034593109&partnerID=40&md5=5b4048fd442ddbdbcf29a42500eef6c7

Haas, J., Luizard, P., Pelorson, X., Lucero, J.C.
Study of the effect of a moderate asymmetry on a replica of the vocal folds
(2016) Acta Acustica united with Acustica, 102 (2), pp. 230-239. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84961626551&partnerID=40&md5=ff21553863e300ff17b29b0d07096d83

Lucero, J.C., Schoentgen, J.
Smoothness of an equation for the glottal flow rate versus the glottal area (L)
(2015) Journal of the Acoustical Society of America, 137 (5), pp. 2970-2973. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84930221919&partnerID=40&md5=1414e5b9bce71fe1168d802cf0bba754

Lucero, J.C., Schoentgen, J., Haas, J., Luizard, P., Pelorson, X.
Self-entrainment of the right and left vocal fold oscillators
(2015) Journal of the Acoustical Society of America, 137 (4), pp. 2036-2046. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84928691395&partnerID=40&md5=713be038904f7a316cf81edc415a4138

Schoentgen, J., Fraj, S., Lucero, J.C.
Testing the reliability of Grade, Roughness and Breathiness scores by means of synthetic speech stimuli
(2015) Logopedics Phoniatrics Vocology, 40 (1), pp. 5-13. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84924986319&partnerID=40&md5=49445c2f317c9fb5069e2eebb2338708

Englert, M., Madazio, G., Gielow, I., Lucero, J., Behlau, M.
Perceptual Error Identification of Human and Synthesized Voices
(2015) Journal of Voice, . Article in Press. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84940702841&partnerID=40&md5=9e911ca0e62b9e2a01b4656fa1cb6586

Van Hirtum, A., Wu, B., Pelorson, X., Lucero, J.
Influence of glottal cross-section shape on phonation onset
(2014) Journal of the Acoustical Society of America, 136 (2), pp. 853-858. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84905675027&partnerID=40&md5=da2eae2a68b8fc4024201d3c5fa120ee

Schoentgen, J., Lucero, J.C.
Synthesis by rule of disordered voices
(2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7911 LNAI, pp. 120-127. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84888254528&partnerID=40&md5=94d217c1ddb69a497fd4419274ca36c0

Lucero, J.C., Schoentgen, J.
Modeling vocal fold asymmetries with coupled van der Pol oscillators
(2013) Proceedings of Meetings on Acoustics, 19, art. no. 060165, 8 p. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84878977758&partnerID=40&md5=1bfb1cd8e494e3201e43ac9d0639d2ba

Lucero, J.C., Schoentgen, J., Behlau, M.
Physics-based synthesis of disordered voices
(2013) Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH, pp. 587-591. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84906249218&partnerID=40&md5=64cdddc28e49f063fb66c7a7beaaf0f0

Lucero, J.C., Koenig, L.L., Fuchs, S.
Modeling source-tract interaction in speech production: Voicing onset vs. vowel height after a voiceless obstruent
(2012) 13th Annual Conference of the International Speech Communication Association 2012, INTERSPEECH 2012, 3, pp. 2195-2198. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84878618009&partnerID=40&md5=57677594f7d47a7279b443d3f3d0ec7b

Pelorson, X., Delebecque, L., Beautemps, D., Lucero, J.C.
Effect of downstream conditions on the oscillation of the vocal folds during speech
(2012) 19th International Congress on Sound and Vibration 2012, ICSV 2012, 2, pp. 997-1004. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84876236823&partnerID=40&md5=20df1021c60e3faf07cda419efda6ae0

Lucero, J.C., Lourenço, K.G., Hermant, N., Van Hirtum, A., Pelorson, X.
Effect of source-tract acoustical coupling on the oscillation onset of the vocal folds
(2012) Journal of the Acoustical Society of America, 132 (1), pp. 403-411. Cited 5 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84863687498&partnerID=40&md5=ad53a9298c8bdedc4e44d737c89da76c

Howell, P., Anderson, A., Lucero, J.
Speech motor timing and fluency
(2012) Speech Motor Control: New Developments in Basic and Applied Research, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84919683467&partnerID=40&md5=20912914688af64764042f75cf659997

Pelorson, X., Hermant, N., Ruty, N., Lucero, J.C.
A set-up to test vocal-folds biomechanical models
(2011) 18th International Congress on Sound and Vibration 2011, ICSV 2011, 1, pp. 911-918. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84871475871&partnerID=40&md5=d48715cb1164d32f4bab5cb058a25469

Lucero, J.C., Lourenço, K.G., Hermant, N., Van Hirtum, A., Pelorson, X.
Vocal folds vibrations during phonation: Effect of acoustical coupling
(2011) 18th International Congress on Sound and Vibration 2011, ICSV 2011, 1, pp. 895-902. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84871494593&partnerID=40&md5=fb4f22d69c3a8a05900a76e4826efecf

Koenig, L.L., Fuchs, S., Lucero, J.C.
Effects of consonant manner and vowel height on intraoral pressure and articulatory contact at voicing offset and onset for voiceless obstruents
(2011) Journal of the Acoustical Society of America, 129 (5), pp. 3233-3244. Cited 4 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79959574203&partnerID=40&md5=0f1b25c7bcd793aa252e2bde95a64842

Cisonni, J., Van Hirtum, A., Pelorson, X., Lucero, J.
The influence of geometrical and mechanical input parameters on theoretical models of phonation
(2011) Acta Acustica united with Acustica, 97 (2), pp. 291-302. Cited 7 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79952164512&partnerID=40&md5=278f9d2cd1ea20f0a95107e1854a72b3

Lucero, J.C., Koenig, L.L., Loureno, K.G., Ruty, N., Pelorson, X.
A lumped mucosal wave model of the vocal folds revisited: Recent extensions and oscillation hysteresis
(2011) Journal of the Acoustical Society of America, 129 (3), pp. 1568-1579. Cited 9 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79953064365&partnerID=40&md5=18314eae75dccac3611cc6c80278297a

Lucero, J.C., Ruty, N., Pelorson, X.
A mathematical model for frequency jumps in phonation
(2010) 17th International Congress on Sound and Vibration 2010, ICSV 2010, 5, pp. 3451-3458. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84871413278&partnerID=40&md5=c141e1110901e19f08923b30625aa5bd

Lucero, J.C., Van Hirtum, A., Ruty, N., Cisonni, J., Pelorson, X.
Validation of theoretical models of phonation threshold pressure with data from a vocal fold mechanical replica (L)
(2009) Journal of the Acoustical Society of America, 125 (2), pp. 632-635. Cited 7 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-59849090769&partnerID=40&md5=2d1128076ca73c68620c2493347c56c1

Koenig, L.L., Lucero, J.C., Perlman, E.
Speech production variability in fricatives of children and adults: Results of functional data analysis
(2008) Journal of the Acoustical Society of America, 124 (5), pp. 3158-3170. Cited 25 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-56749150001&partnerID=40&md5=81c31430773910fcddb68a0fe85161e5

Koenig, L.L., Lucero, J.C., Mencl, W.E.
Laryngeal and Aerodynamic Adjustments for Voicing Versus Devoicing of /h/: A Within-Speaker Study
(2008) Journal of Voice, 22 (6), pp. 709-720. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-55549131135&partnerID=40&md5=0438a41b2785ce7de81b289526972892

Lucero, J.C., Munhall, K.G.
Analysis of facial motion patterns during speech using a matrix factorization algorithm
(2008) Journal of the Acoustical Society of America, 124 (4), pp. 2283-2290. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-53949106780&partnerID=40&md5=0344c0d27dff17b7764c4f536474a97b

Cataldo, E., Sampaio, R., Lucero, J., Soize, C.
Modeling random uncertainties in voice production using a parametric approach
(2008) Mechanics Research Communications, 35 (7), pp. 454-459. Cited 9 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-50949130126&partnerID=40&md5=bf24952281c587309dccd0b0cb2efc2d

Lucero, J.C.
Advanced-delay differential equation for aeroelastic oscillations in physiology
(2008) Biophysical Reviews and Letters, 3 (1-2), pp. 125-133. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-51349122537&partnerID=40&md5=3160e2a258e3f6bdd3ec8dd7915a0155

Koenig, L.L., Lucero, J.C.
Stop consonant voicing and intraoral pressure contours in women and children
(2008) Journal of the Acoustical Society of America, 123 (2), pp. 1077-1088. Cited 5 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-38849095319&partnerID=40&md5=3edb08a0f8d45c1dce49f082deae090b

Lucero, J.C., Munhall, K.G.
Identification of independent kinematic regions of the face during speech production
(2008) Proceedings of ISSP 2008 - 8th International Seminar on Speech Production, pp. 385-388. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84902359178&partnerID=40&md5=b24a707128194d1a14b1506dbd0a8b6b

Lucero, J.C., Koenig, L.L.
On the relation between the phonation threshold lung pressure and the oscillation frequency of the vocal folds (L)
(2007) Journal of the Acoustical Society of America, 121 (6), pp. 3280-3283. Cited 16 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-34249897505&partnerID=40&md5=b2ed4a1474c7d223262b45611d04cd78

Cataldo, E., Lucero, J.C., Sampaio, R., Nicolato, L.
Comparison of some mechanical models of larynx in the synthesis of voiced sounds
(2006) Journal of the Brazilian Society of Mechanical Sciences and Engineering, 28 (4), pp. 461-466. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33847733104&partnerID=40&md5=5f7d3ed35820d8a0a4a031f693b55c55

Cataldo, E., Leta, F.R., Lucero, J., Nicolato, L.
Synthesis of voiced sounds using low-dimensional models of the vocal cords and time-varying subglottal pressure
(2006) Mechanics Research Communications, 33 (2), pp. 250-260. Cited 9 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-27744543062&partnerID=40&md5=926bda6b47a8fcec034134832785be5a

Lucero, J.C., Baigorri, A.R., Munhall, K.G.
Data-driven facial animation of speech using a QR factorization algorithm
(2006) ISSP 2006 - Proceedings of the 7th International Seminar on Speech Production, pp. 135-142. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84902379269&partnerID=40&md5=ee0419c996453b1f715f7ffd5525446e

Van Hirtum, A., Cisonni, J., Ruty, N., Lucero, J., Pelorson, X.
Theoretical and experimental validation of a non-linear vocal fold model
(2006) ISSP 2006 - Proceedings of the 7th International Seminar on Speech Production, pp. 557-564. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84907000503&partnerID=40&md5=c8d4b97db8afc424b940e1503e1f66c5

Lucero, J.C., Koenig, L.L.
Phonation thresholds as a function of laryngeal size in a two-mass model of the vocal folds (L)
(2005) Journal of the Acoustical Society of America, 118 (5), pp. 2798-2801. Cited 18 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-27744547827&partnerID=40&md5=3854b0904dad16208f52b4dbeea363b7

Koenig, L.L., Mencl, W.E., Lucero, J.C.
Multidimensional analyses of voicing offsets and onsets in female speakers
(2005) Journal of the Acoustical Society of America, 118 (4), pp. 2535-2550. Cited 11 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-26844541460&partnerID=40&md5=a65af525ffd19a1bec0ba393395227d2

Lucero, J.C., Maciel, S.T.R., Johns, D.A., Munhall, K.G.
Empirical modeling of human face kinematics during speech using motion clustering
(2005) Journal of the Acoustical Society of America, 118 (1), pp. 405-409. Cited 6 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-22144434412&partnerID=40&md5=f7208b74f36e7bf286427f09febbf737

Lucero, J.C.
Oscillation hysteresis in a two-mass model of the vocal folds
(2005) Journal of Sound and Vibration, 282 (3-5), pp. 1247-1254. Cited 11 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-14744297332&partnerID=40&md5=a52f9d55969df763d67ec6ec736c2ec0

Lucero, J.C.
Comparison of measures of variability of speech movement trajectories using synthetic records
(2005) Journal of Speech, Language, and Hearing Research, 48 (2), pp. 336-344. Cited 15 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-22944440080&partnerID=40&md5=618e3f5b51186b689d4729e57b02d9a9

Lucero, J.C., Löfqvist, A.
Measures of articulatory variability in VCV sequences
(2005) Acoustic Research Letters Online, 6 (2), pp. 80-84. Cited 13 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-21244495276&partnerID=40&md5=71adebd19c676de400891fdbc770fa5e

Lucero, J.C., Koenig, L.L.
Simulations of temporal patterns of oral airflow in men and women using a two-mass model of the vocal folds under dynamic control
(2005) Journal of the Acoustical Society of America, 117 (3 I), pp. 1362-1372. Cited 24 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-14844341778&partnerID=40&md5=23dbf9b1e5f65d87eba5907033dce90f

Lucero, J.C.
Dynamics of a scaled two-mass model of the vocal folds for men and women
(2004) Acoustical Science and Technology, 25 (6), pp. 478-479. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-11144294694&partnerID=40&md5=e25886d6204d211c83bae32de6b89a98

Lucero, J.C.
Identifying a differential equation for lip motion
(2002) Medical Engineering and Physics, 24 (7-8), pp. 521-528. Cited 6 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0036753109&partnerID=40&md5=62b6bd511a3ee371095293ffb0f0c17d

Lucero, J.C., Koenig, L.L.
Time normalization of voice signals using functional data analysis
(2000) Journal of the Acoustical Society of America, 108 (4), pp. 1408-1420. Cited 28 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0033778815&partnerID=40&md5=71dac4ff7435a6045bd0169a8b90d481

Lucero, J.C., Munhall, K.G.
A model of facial biomechanics for speech production
(1999) Journal of the Acoustical Society of America, 106 (5), pp. 2834-2842. Cited 31 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0032718390&partnerID=40&md5=4f9db8d3685f2076f899b4f838ec82c4

Lucero, J.C.
Computation of the harmonics-to-noise ratio of a voice signal using a functional data analysis algorithm
(1999) Journal of Sound and Vibration, 222 (3), pp. 512-520. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0345914598&partnerID=40&md5=14480172d190de27097c9f7bdd29da22

Lucero, J.C.
A theoretical study of the hysteresis phenomenon at vocal fold oscillation onset-offset
(1999) Journal of the Acoustical Society of America, 105 (1), pp. 423-432. Cited 60 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0032922525&partnerID=40&md5=7b08efcc66b6834ef879e24c87f02249

Lucero, J.C.
Subcritical Hopf bifurcation at phonation onset
(1998) Journal of Sound and Vibration, 218 (2), pp. 344-349. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0032204421&partnerID=40&md5=f1bdd0da98148d8f2b3ca1aeff0398c2

Lucero, J.C.
Optimal glottal configuration for ease of phonation
(1998) Journal of Voice, 12 (2), pp. 151-158. Cited 37 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031802101&partnerID=40&md5=4803bb153860b1fa9fb1fb03a527ae45

Moreira, H.N., Lucero, J.C.
Some stability results for an S → I → R → S epidemic model with nonlinear incidence
(1997) Cybernetica, 40 (3), pp. 217-227. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33751379560&partnerID=40&md5=5d6628600762bfceb907f3b0243b4327

Lucero, J.C., Munhall, K.G., Gracco, V.L., Ramsay, J.O.
On the registration of time and the patterning of speech movements
(1997) Journal of Speech, Language, and Hearing Research, 40 (5), pp. 1111-1117. Cited 36 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0030766768&partnerID=40&md5=79629d8af513b15009fb1e83c9cac32e

Lucero, J.C.
Chest- and falsetto-like oscillations in a two-mass model of the vocal folds
(1996) Journal of the Acoustical Society of America, 100 (5), pp. 3355-3359. Cited 14 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0029907139&partnerID=40&md5=87d6e2fcf3e5dfbddc2f24108c72abb2

Lucero, J.C.
Relation between the phonation threshold pressure and the prephonatory glottal width in a rectangular glottis
(1996) Journal of the Acoustical Society of America, 100 (4), pp. 2551-2554. Cited 19 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0029845758&partnerID=40&md5=8e7105709ad54fb2a5063ff0fd897c89

Lucero, Jorge C.
Bifurcations in a two-mass model of the vocal folds
(1996) Journal of the Acoustical Society of Japan (E) (English translation of Nippon Onkyo Gakkaishi), 17 (4), pp. 211-213. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0030197047&partnerID=40&md5=91538810e493350d830b57dc1420053e

Lucero, J.C.
The minimum lung pressure to sustain vocal fold oscillation
(1995) Journal of the Acoustical Society of America, 98 (2), pp. 779-784. Cited 26 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0029089686&partnerID=40&md5=815dc1d6aac396d1a3d65946e173b18d

Lucero, J.C.
Characteristic recovery time of an erythrocyte from an extensional deformation
(1993) Journal of Biomechanical Engineering, 115 (2), pp. 206-207. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0027592287&partnerID=40&md5=76b07c951e14e3f2030d89a05be67969

Shima, Satoshi, Tatara, Yoichi, Iio, Motohide, Shu, Choken, Lucero, Jorge Calros
Large deformations of a rubber sphere under diametral compression. (Part 2: Experiments on many rubber materials and comparisons of theories with experiments)
(1993) JSME International Journal, Series A: Mechanics and Material Engineering, 36 (2), pp. 197-205. Cited 7 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0027575485&partnerID=40&md5=2a8553723c04d679c126cdfc50be2c51

Lucero, J.C.
The dynamics of the vocal fold oscillation
(1993) Journal of the Acoustical Society of America, 94 (2), p. 1168. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84957226066&partnerID=40&md5=832729dd0e040b64ce772eb25da2ac7f

Tatara, Y., Shima, S., Lucero, J.C.
On compression of rubber elastic sphere over a large range of displacements. Part 2. Comparison of theory and experiment
(1991) Journal of Engineering Materials and Technology, Transactions of the ASME, 113 (3), pp. 292-295. Cited 22 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-0026186063&partnerID=40&md5=c04c43f1ea69b4d19138facd4673fdbf


Nalon, C., Hustadt, U., Dixon, C.
KSP: A resolution-based prover for multimodal K
(2016) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9706, pp. 406-415. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84976618864&partnerID=40&md5=8b2c9bf0f8e24f63e008f72071c3a9ae

Nalon, C., Lopes, B., Dowek, G., Haeusler, E.H.
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics
(2015) Electronic Notes in Theoretical Computer Science, 312, pp. 125-141. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84928820887&partnerID=40&md5=8ad0d92c1da5bb4a3b1b0228265ac908

Nalon, C., Hustadt, U., Dixon, C.
A modal-layered resolution calculus for K
(2015) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9323, pp. 185-200. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84950160119&partnerID=40&md5=28d6820e999ec6a015ed6aa017c00247

Hustadt, U., Gainer, P., Dixon, C., Nalon, C., Zhang, L.
Ordered resolution for coalition logic
(2015) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9323, pp. 169-184. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84950105804&partnerID=40&md5=1aea24e42ddb4d8fbc648a0e19681bde

Nalon, C., Kutz, O.
Towards resolution-based reasoning for connected logics
(2014) Electronic Notes in Theoretical Computer Science, 305, pp. 85-102. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84903986297&partnerID=40&md5=9e474ea0ec0e4eed0207a1c7296a6f57

Nalon, C., Zhang, L., Dixon, C., Hustadt, U.
A resolution prover for coalition logic
(2014) Electronic Proceedings in Theoretical Computer Science, EPTCS, 146, pp. 65-73. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84938564369&partnerID=40&md5=8454e2b69bd021b695c91bc9cdfceeef

Nalon, C., Zhang, L., Dixon, C., Hustadt, U.
A resolution-based calculus for coalition logic
(2014) Journal of Logic and Computation, 24 (4), pp. 883-917. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84905185550&partnerID=40&md5=e890a5d2fe4a754efe396682f2e2356e

Nalon, C., Marcos, J., Dixon, C.
Clausal resolution for modal logics of confluence
(2014) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8562 LNAI, pp. 322-336. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84958523657&partnerID=40&md5=3149053be099f86610b5e08daed08c79

Nalon, C., Dixon, C.
Clausal resolution for normal modal logics
(2007) Journal of Algorithms, 62 (3-4), pp. 117-134. Cited 9 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-35648940715&partnerID=40&md5=15e8a6d824b1822292990d7b9be12ac8

Nalon, C., Dixon, C.
Anti-prenexing and prenexing for modal logics
(2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4160 LNAI, pp. 333-345. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-33750078099&partnerID=40&md5=7ae3ab83036612c0c8ecd3a6c79f3853

Dixon, C., Nalon, C., Fisher, M.
Tableaux for logics of time and knowledge with interactions relating to synchrony
(2004) Journal of Applied Non-Classical Logics, 14 (4), pp. 397-414. Cited 6 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-27944452620&partnerID=40&md5=fbfbb265d30c5c5f5aba8c9f42588cb7

Dixon, C., Nalon, C., Fisher, M.
Tableaux for temporal logics of knowledge: Synchronous systems of perfect recall or no learning
(2003) Proceedings of the International Workshop on Temporal Representation and Reasoning, 2003-January, art. no. 1214881, pp. 62-71. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84944056412&partnerID=40&md5=4e39644c0a88575530f03659cdbb9bb7

Nalon, C., Wainer, J.
Strong conditional logic
(1998) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1515, pp. 209-218. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84956852314&partnerID=40&md5=3e1cc9104c3c61c31b9a44cd64dca426


De Moura, F.L.C., Kesner, D., Ayala-Rincón, M.
Metaconfluence of calculi with explicit substitutions at a distance
(2014) Leibniz International Proceedings in Informatics, LIPIcs, 29, pp. 391-402. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84921453671&partnerID=40&md5=ea61750a7a759cce0c40c65a3a554fa3

Avelar, A.B., Galdino, A.L., de Moura, F.L.C., Ayala-Rincón, M.
First-order unification in the PVS proof assistant
(2014) Logic Journal of the IGPL, 22 (5), pp. 758-789. Cited 1 time.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84942314619&partnerID=40&md5=99b7eafb7d91fac816a73d441260f3e6

Segundo, W.L.R.D.C., De Moura, F.L.C., Ventura, D.L.
Formalizing a named explicit substitutions calculus in Coq
(2014) CEUR Workshop Proceedings, 1186, . 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84924912194&partnerID=40&md5=fa46a360c6ecd794b4a38750ab01d176

De Moura, F.L.C., Barbosa, A.V., Ayala-Rincón, M., Kamareddine, F.
A flexible framework for visualisation of computational properties of general explicit substitutions calculi
(2011) Electronic Notes in Theoretical Computer Science, 269 (1), pp. 41-54. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-79955100503&partnerID=40&md5=62a7d1fdd0a75c3c2752fb7efc85d186

Avelar, A.B., De Moura, F.L.C., Galdino, A.L., Ayala-Rincón, M.
Verification of the completeness of unification algorithms à la Robinson
(2010) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6188 LNAI, pp. 110-124. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77955015119&partnerID=40&md5=f58274ebb09a7b6e9a5dd5239a5fe144

de Moura, F.L.C., Ayala-Rincón, M., Kamareddine, F.
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
(2008) Journal of Applied Logic, 6 (1), pp. 72-108. Cited 3 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-38749146471&partnerID=40&md5=e886ef740120f2008e82a0af1d55a76f

De Moura, F.L.C., Ayala-Rincón, M., Kamareddine, F.
SUBSEXPL:A tool for simulating and comparing explicit substitutions calculi*
(2006) Journal of Applied Non-Classical Logics, 16 (1-2), pp. 119-150. Cited 2 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-38749110921&partnerID=40&md5=0dbc2a1af7195f0dbd35e4ef38bfa2aa

De Moura, F.L.C., Kamareddine, F., Ayala-Rincón, M.
Second-order matching via explicit substitutions
(2005) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3452 LNAI, pp. 433-448. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-26844490183&partnerID=40&md5=8e94308920650c2d03e13988c86c84b5

Ayala-Rinćn, M., de Moura, F.L.C., Kamareddine, F.
Comparing and implementing calculi of explicit substitutions with eta-reduction
(2005) Annals of Pure and Applied Logic, 134 (1 SPEC. ISS.), pp. 5-41. Cited 5 times.
https://www.scopus.com/inward/record.uri?eid=2-s2.0-17044404568&partnerID=40&md5=048ea2939f2166313d8ae795359201e3

Ayala-Rincón, M., De Moura, F.L.C., Kamareddine, F.
Comparing calculi of explicit substitutions with eta-reduction
(2002) Electronic Notes in Theoretical Computer Science, 67, pp. 79-98. 
https://www.scopus.com/inward/record.uri?eid=2-s2.0-18944376437&partnerID=40&md5=2e18344a8d493b58b436b56538f7dd05