Rede de Colaboração
Diretório de grupos de pesquisa|
Rafael Dueire Lins Rafael Dueire Lins é Engenheiro Eletrônico pela Universidade Federal de Pernambuco 1982. Concluiu o Ph.D. in Computing - University of Kent at Canterbury em 1986. Atualmente é Professor Titular da Universidade Federal de Pernambuco. Publicou 37 artigos em periódicos especializados e mais de uma centena de trabalhos em anais de eventos. Possui 10 livros publicados, dentre eles o best-seller "Garbage Collection: Algorithms for Dynamic Memory Management", publicado pela John Wiley & Sons em 1996 e traduzido para o chinês em 2004. Dentre as suas contribuições destacam-se a Criação do Lambda-cálculo com Substituições Explicitas, a primeira solução geral e eficiente para o problema de Referências Cíclicas e o pioneirismo no tratamento da interferência frente-verso em documentos. Orientou 47 dissertações de mestrado e 7 teses de doutorado nas áreas de Ciência da Computação e Engenharia Elétrica. Foi Professor Honorário da University of Kent de 1986 a 1996. Atua na área de Engenharia da Computação e de Telecomunicações.
Informações adicionais e cópias das publicações podem ser obtidas no endereço: https://sites.google.com/site/rafaeldueirelins/
Última
atualização do currículo em 07/02/2012
Endereço para acessar este CV: http://lattes.cnpq.br/7601016626256808 |
Dados pessoais
| Nome | Rafael Dueire Lins |
| Nome em citações bibliográficas | LINS, Rafael Dueire;Lins, Rafael Dueire |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal de Pernambuco, Centro de Informática. Av. Jornalista Aníbal Fernandes s/n Cidade Universitária 50740-540 - Recife, PE - Brasil Telefone: (81) 21268430 Ramal: 4305 Fax: (81) 21268438 |
Formação acadêmica/Titulação
| 1991 - 1992 | Pós-Doutorado
. University of Kent, U. KENT, Inglaterra. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil . Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação. |
| 1984 - 1986 | Doutorado em Ph D In Computing
.
University of Kent, U. KENT, Inglaterra. Título: On the Efficiency of Categorical Combinators in Applicative Languages, Ano de Obtenção: 1986. Orientador: Simon John Thompson. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Palavras-chave: Linguagens Funcionais; Compiladores; Combinadores. |
| 1978 - 1982 | Graduação em Engenharia Elétrica - Opção Eletrônica
.
Universidade Federal de Pernambuco, UFPE, Brasil. |
Atuação profissional
| Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil. |
| Vínculo institucional |
| 2007 - 2009 | Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho Consultivo |
| Outras informações | Membro do Comitê Engenharias |
| Instituto Presbiteriano Mackenzie, IPM, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Cosultor Ad-hoc |
| Sociedade Brasileira de Telecomunicações, SBRT, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Vice-presidente |
| Fundação de Amparo a Pesquisa do Estado do Amazonas, FAPEAM, Brasil. |
| Vínculo institucional |
| 2005 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Consultor |
| Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. |
| Vínculo institucional |
| 2003 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Consultor Ad-hoc |
| Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. |
| Vínculo institucional |
| 1998 - Atual | Vínculo: Outro, Enquadramento Funcional: Pesquisador I-B, Carga horária: 20 |
| Vínculo institucional |
| 2000 - 2002 | Vínculo: Outro, Enquadramento Funcional: Membro de Comitê Acessor, Carga horária: 4 |
| Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. |
| Vínculo institucional |
| 1995 - 2003 | Vínculo: Colaborador, Enquadramento Funcional: Membro da Comissão de Avaliação Cursos CC |
| Universidade Federal de Pernambuco, UFPE, Brasil. |
| Vínculo institucional |
| 2009 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Coordenador do Prog. Pós-Grad. Eng. Elétrica |
| Vínculo institucional |
| 2008 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado II, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2006 - 2008 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado I, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 1987 - 2006 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto IV, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 1987 - 1991 | Vínculo: Servidor Público, Enquadramento Funcional: Coordenador de Graduação - C. da Computação |
| Atividades |
| 1/2001 - Atual | Pesquisa e desenvolvimento , Centro de Tecnologia, Departamento de Eletrônica e Sistemas. |
|
Linhas de pesquisa Processamento de Imagens Processamento Paralelo e Distribuído Compiladores Otimização de código |
| 1/2001 - Atual | Ensino, Engenharia Elétrica - Opção Eletrônica, Nível: Graduação. |
| Disciplinas ministradas Redes de Computadores |
| 03/1997 - Atual | Ensino, Engenharia Elétrica, Nível: Pós-Graduação. |
| Disciplinas ministradas Processamento Digital de Voz e Imagem Redes de Computadores |
| 07/1987 - Atual | Ensino, Ciências da Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas Algoritmos para Garbage Collection Implementação de Linguagens Funcionais Linguagens de Programação e Estruturas de Dados Processamento de Imagens Teoria das Categorias Teoria da Computação |
| 2010 - 2011 | Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Eletrônica e Sistemas. |
|
Projetos de pesquisa Hewlett-Packard/UFPE Multi-PIC |
| 2009 - 2010 | Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Eletrônica e Sistemas. |
|
Projetos de pesquisa Hewlett-Packard/UFPE TechDoc |
| 2008 - 2008 | Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Eletrônica e Sistemas. |
|
Projetos de pesquisa Hewlett-Packard/UFPE Better Printing |
| 2003 - 2004 | Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Eletrônica e Sistemas. |
|
Projetos de pesquisa Análise da Segurença da Rede de Dados da CEAL - Companhia de Energética de Alagoas |
| 2002 - 2003 | Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Eletrônica e Sistemas. |
|
Projetos de pesquisa Mestrado Profissional em Engenharia Elétrica (ênfase em Telecomunicações) |
| 07/1987 - 1/2001 | Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática. |
|
Linhas de pesquisa Processamento de Linguagens Naturais Gerenciamento de Memória Programação Funcional - Implementação |
| 10/1997 - 12/2000 | Direção e administração, Centro de Ciências Exatas e da Natureza, Departamento de Informática. |
| Cargo ou função Presidente da Comissão de Progressão Horizontal do DI_UFPE. |
| 3/1988 - 12/2000 | Ensino, Engenharia Elétrica - Opção Eletrônica, Nível: Graduação. |
| Disciplinas ministradas Compiladores |
| 01/1998 - 02/2000 | Serviços técnicos especializados , Centro de Ciências Exatas e da Natureza, . |
|
Serviço realizado Presidente da comissão de progressão horizontal do DI-UFPE. |
| 09/1989 - 1/2000 | Direção e administração, . |
| Cargo ou função COORDENADOR DO GRUPO DE USUARIOS DE OCCAME TRANPUTERS PARA A A.L.. |
| 3/1988 - 2/1991 | Direção e administração, Centro de Ciências Exatas e da Natureza, Departamento de Informática. |
| Cargo ou função Coordenador da Graduação em Ciência da Computação. |
| 8/1990 - 12/1990 | Ensino, Engenharia Elétrica - Opção Eletrônica, Nível: Graduação. |
| Disciplinas ministradas Compiladores Projeto em Compiladores Teoria da Computação |
Linhas de Pesquisa
| 1. | Processamento de Linguagens Naturais |
| 2. | Gerenciamento de Memória |
| Objetivos: Estudo de algoritmos e técnicas para o processamento automático e dinâmico de memória em uniprocessadores, arquiteturas fortemente acopladas, redes de computadores em clusters e grids.. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações / Especialidade: Sistemas de Telecomunicações. Setores de atividade: Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática. Palavras-chave: Máquinas Abstratas; Algoritmos; Gerenciamento de Memória; Internet; Java; Máquinas Paralelas. |
| 3. | Programação Funcional - Implementação |
| 4. | Processamento de Imagens |
| 5. | Processamento Paralelo e Distribuído |
| Objetivos: Estudo de algoritmos, segurança e aplicações do processamento paralelo e distribuído.. Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações / Especialidade: Sistemas de Telecomunicações. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Setores de atividade: Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática; Fabricação de Aparelhos e Equipamentos de Telecomunicação; Outros. Palavras-chave: Redes de Computadores; Paralelismo; Gerenciamento de Memória; Arquiteturas de Computador; Voz sobre IP. |
| 6. | Compiladores |
| 7. | Otimização de código |
Projetos de Pesquisa
| 2010 - 2011 | Hewlett-Packard/UFPE Multi-PIC |
| Descrição: Projeto de P&D entre a Hewlett-Packard (USA e Brasil) e DES-UFPE, financiado pelo MCT Lei de Informática. Situação: Em andamento; Natureza: Outra. Integrantes: Daniel Marques Oliveira - Integrante / Ricardo Campello de Souza - Integrante / Valdemar Cardoso da Rocha Jr - Integrante / Cecilio José Lins Pimentel - Integrante / Gabriel Pereira e Silva - Integrante / Jian Fan - Integrante / Marcelo Thielo - Integrante / Rafael Dueire Lins - Coordenador. . |
| 2009 - 2010 | Hewlett-Packard/UFPE TechDoc |
| Descrição: Projeto de P&D com financiamento do MCT - Lei de Informática.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 2) / Doutorado ( 3) . Integrantes: Daniel Marques Oliveira - Integrante / Ricardo Campello de Souza - Integrante / Hélio Magalhães de Oliveira - Integrante / Valdemar Cardoso da Rocha Jr - Integrante / Andrei de Araújo Formiga - Integrante / Cecilio José Lins Pimentel - Integrante / Steven J. Simske - Integrante / Jian Fan - Integrante / Mark Shaw - Integrante / Marcelo Thielo - Integrante / Brenno Miro - Integrante / Serene Banergee - Integrante / Anjaneyulu Kuchibhotla - Integrante / Gabriel Torreão - Integrante / Rafael Dueire Lins - Coordenador. Financiador(es): Ministério da Ciência e Tecnologia - Outra. Número de produções C, T & A: 6. |
| 2008 - 2009 | Hewlett-Packard/UFPE Better Printing |
| Descrição: Neste projeto de P&D desenvolvido em parceria com a Hewlett-Packard (USA/Brasil)e a equipe do DES-UFPE coordenada por Rafael Lins, buscou-se identificar o tipo de documento encaminhado para impressão a partir de características estatísticas das imagens.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 1) . Integrantes: Hélio Magalhães de Oliveira - Integrante / Cecilio José Lins Pimentel - Integrante / Gabriel Pereira e Silva - Integrante / Steven J. Simske - Integrante / Mark Shaw - Integrante / Paulo Sá - Integrante / Marcelo Thielo - Integrante / Rafael Dueire Lins - Coordenador. Financiador(es): Ministério da Ciência e Tecnologia - Outra. Número de produções C, T & A: 2. |
| 2003 - 2004 | Análise da Segurença da Rede de Dados da CEAL - Companhia de Energética de Alagoas |
| Descrição: Contrato No 282/03 FADE/CEAL (Contrato No 155/2003) no período de 10/11/2003 a 11/11/2004.
Financiamento ANEEL.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 2) / Especialização ( 2) . Integrantes: Rafael Dueire Lins - Coordenador. Financiador(es): Companhia Energética de Alagoas - Outra.. |
| 2002 - 2003 | Mestrado Profissional em Engenharia Elétrica (ênfase em Telecomunicações) |
| Descrição: Referente ao Convênio FADE/UFPE No 92/02 (UFPE No 061/02) UTAM.. Situação: Concluído; Natureza: Extensão. Alunos envolvidos: / Mestrado profissionalizante ( 22) . Integrantes: Rafael Dueire Lins - Coordenador. Financiador(es): Instituto de Tecnologia do Amazonas - Outra.Número de orientações: 13. |
Membro de corpo editorial
| 1993 - 1998 | Periódico: Transputer Communications |
| 2007 - 2010 | Periódico: Journal of Communications and Informations Systems |
Revisor de periódico
| 1990 - Atual | Periódico: Journal of Functional Programming |
| 1986 - Atual | Periódico: Information Processing Letters |
| 1997 - Atual | Periódico: Journal of Universal Computer Science |
| 1987 - Atual | Periódico: Software, Practice & Experience |
| 2000 - Atual | Periódico: Concurrency and Computation. Practice & Experience |
| 2007 - Atual | Periódico: Image and Vision Computing |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Software Básico. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Análise de Algoritmos e Complexidade de Computação. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação. |
| 5. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Arquitetura de Sistemas de Computação. |
Idiomas
| Alemão | Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco. |
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Espanhol | Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente. |
| Francês | Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente. |
Prêmios e títulos
| 2006 | Professor Homenageado da Turma de Engenharia Eletrônica 2006.1, Universidade Federal de Pernambuco. |
| 2004 | Professor Homenageado da Turma de Engenharia Eletrônica 2004.2, Universidade Federal de Pernambuco. |
| 1998 | Professor Homenageado da Turma de Bachareis em Ciência da Computação 1998.1, Universidade Federal de Pernambuco. |
| 1989 | HONORARY LECTURER IN COMPUTING, THE UNIVERSITY OF KENT AT CANTERBURY. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  Lins, Rafael Dueire . Nabuco - Two Decades of Processing Historical Documents in Latin America. Journal of Universal Computer Science (Print) , v. 17, p. 151-161, 2011. |
| 2. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . Compositional Specification of Parallel Components Using Circus. Electronic Notes in Theoretical Computer Science, v. 260, p. 47-72, 2010. |
| 3. | Silva, Gabriel de França Pereira e ; LINS, Rafael Dueire ; Miro, Brenno ; Simske, S.J. ; Thielo, Marcelo . Automatically Deciding if a Document was Scanned or Photographed. Journal of Universal Computer Science, v. 15, p. 3364-3366, 2009. |
| 4. | Silva, João Marcelo Monte da ; LINS, Rafael Dueire ; Martins, Fernando Mário Junqueira ; Wachenchauzer, Rosa Graziela . A New and Efficient Algorithm to Binarize Document Images Removing Back-to-Front Interference. Journal of Universal Computer Science, v. 14, p. 299-313, 2008. |
| 5. | LINS, Rafael Dueire ; Silva, João Marcelo Monte da ; Martins, Fernando Mário Junqueira . Detailing a Quantitative Method for Assessing Algorithms to Remove Back-to-Front Interference in Documents. Journal of Universal Computer Science, v. 14, p. 266-283, 2008. |
| 6. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . An Institutional Theory for #-Components. Electronic Notes in Theoretical Computer Science, v. 195, p. 113-132, 2008. |
| 7. | LINS, Rafael Dueire . Cyclic Reference Counting. Information Processing Letters (Print), v. 109, p. 71-78, 2008. |
| 8. | Mattos, Giorgia Gomes de ; Formiga, Andrei de Araújo ; LINS, Rafael Dueire ; de Carvalho-Junior, Francisco Heron ; Martins, Fernando Mário Junqueira . Comparative Aspects between the Cluster and Grid Implementations of BigBatch. Journal of Universal Computer Science, v. 18, p. 3031-3050, 2008. |
| 9. | Formiga, Andrei de Araújo ; LINS, Rafael Dueire . A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems. Journal of Universal Computer Science, v. 2007, p. 817-829, 2007. |
| 10. | LINS, Rafael Dueire ; de Carvalho-Junior, Francisco Heron ; Lins, Zanoni Dueire . Cyclic Reference Counting with Permanent Objects. Journal of Universal Computer Science, v. 2007, p. 830-838, 2007. |
| 11. | LINS, Rafael Dueire ; SILVA,A. R. G. ; SILVA, Gabriel de França Pereira e . Enhancing Document Images Acquired Using Portable Digital Cameras. Lecture Notes in Computer Science, v. 4633, p. 1229-1241, 2007. |
| 12. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire ; Corrêa, Ricardo C ; Araújo, G A . Towards an Architecture for Component-Oriented Parallel Programming. Concurrency and Computation. Practice & Experience, John Wiley & Sons, Inglaterra, v. 19, n. 18, p. 687-719, 2006. |
| 13. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . A Categorical Characterization for the Compositional Features of the Component Model. Software Engineering Notes, New York, v. 31, n. 2, p. 12, 2006. |
| 14. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . Separation of Concerns for Improving the Practice of Parallel Programming. Information (Yamaguchi), Tokio - Japão, v. 8, n. 5, p. 684-696, 2005. |
| 15. | LINS, Rafael Dueire ; Machado, Domingos Sávio Alcântara . A comparative study of file formats for image storage and transmission. Journal of Electronic Imaging (Springfield), v. 13, n. 1, p. 175-183, 2004. |
| 16. | LINS, Rafael Dueire . Partial Categorical Multi-Combinators and Church-Rosser Theorems. Journal of Universal Computer Science, Springer Pub. Co. - Austria, v. 10, n. 7, p. 769-788, 2004. |
| 17. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . Haskell*:Parallel Programming Made Simple and Efficient. Journal of Universal Computer Science, Springer Pub. Co. - Austria, v. 9, n. 8, p. 776-794, 2003. |
| 18. | LINS, Rafael Dueire . Lazy Cyclic Reference Counting. Journal of Universal Computer Science, Springer Pub. Co. - Austria, v. 9, n. 8, p. 813-828, 2003. |
| 19. |  LINS, Rafael Dueire . An efficient algorithm for cyclic reference counting. Information Processing Letters, Holanda, v. 83, n. 3, p. 145-150, 2002. |
| 20. | LINS, Rafael Dueire . Review of Research Directions in Parallel Functional Programming byKevin Hammond and Greg Michaelson (Eds), Springer Verlag, 1999. Journal of Functional Programming, Inglaterra, v. 10, n. 5, p. 504-506, 2000. |
| 21. | de Carvalho-Junior, Francisco Heron ; Moura, Hermano Perrelli de ; Lima, Ricardo Massa Ferreira ; LINS, Rafael Dueire . An Action Semantics to STG.. Brics Newsletter, Aahus, v. 2000, n. 06, p. 98-117, 2000. |
| 22. | Cruz Neto, Genésio Gomes da ; LINS, Rafael Dueire . Are Functional Languages Suitable For Scientific Computing?. REVISTA DE INFORMATICA TEORICA E APLICADA, v. 2, n. 2, p. 133-146, 1996. |
| 23. | Hartel, Pieter ; Feeley, Mark ; LINS, Rafael Dueire . Benchmarking Implementations Of Functional Languages With Pseudoknot, A Float-Intensive Benchmark. Journal of Functional Programming, Inglaterra, v. 6, n. 4, p. 621-655, 1996. |
| 24. | LINS, Rafael Dueire ; Campos, Marcília Andrade ; Correia, Marcia de Barros . Functional Programming And Interval Arithmetic. Reliable Computing, v. 1995, p. 146-150, 1995. |
| 25. | LINS, Rafael Dueire ; Thompson, Simon John ; Peyton Jones, Simon . On The Equivalence Between Cmc And Tim. Journal of Functional Programming, v. 4, n. 1, p. 47-63, 1994. |
| 26. | LINS, Rafael Dueire ; Rosa, Luciano Galdino ; França Neto, Leopoldo Rodrigues ; Guimarães Neto, M. S. . An Environment For Processing Images of Historical Documents. Microprocessing and Microprogramming, v. 40, p. 939-942, 1994. |
| 27. | LINS, Rafael Dueire . Cyclic Reference Counting with Lazy Mark-Scan. Information Processing Letters, v. 44, n. 4, p. 215-220, 1993. |
| 28. | LINS, Rafael Dueire ; Lira, Bruno de Oliveira . Tcmc: Fast Lazy Functional Languages. Microprocessing and Microprogramming, v. 37, n. 1, p. 159-162, 1993. |
| 29. | LINS, Rafael Dueire ; Soares, Patrícia Gomes . Some Performance Figures For The G-Machine And Its Optimisations. Microprocessing and Microprogramming, v. 37, n. 1, p. 163-166, 1993. |
| 30. | LINS, Rafael Dueire . Generational Cyclic Reference Counting. Information Processing Letters, Holanda, v. 46, p. 19-20, 1993. |
| 31. | LINS, Rafael Dueire ; Thompson, Simon John . The Categorical Multi-Combinator Machine Cmcm. THE COMPUTER JOURNAL, v. 35, n. 2, p. 170-176, 1992. |
| 32. | LINS, Rafael Dueire . A Multi-Processor Shared Memory Architecture For Parallel Cyclic Refence Counting. Microprocessing and Microprogramming, v. 44, n. 4, p. 215-220, 1992. |
| 33. | LINS, Rafael Dueire ; Musicante, Martin Alejandro . Gmc: A Graph Multi-Combinator Machine. Microprocessing and Microprogramming, Holland, v. 31, n. 1, p. 81-84, 1991. |
| 34. | LINS, Rafael Dueire . A Shared Memory Architecture For Parallel Cyclic Reference Counting. Microprocessing and Microprogramming, Holanda, v. 32, p. 53-58, 1991. |
| 35. | LINS, Rafael Dueire ; Martinez, Alexandro ; Wachenchauzer, Rosa Graziela . Cyclic Reference Counting With Local Mark-Scan. Information Processing Letters, v. 34, p. 31-35, 1990. |
| 36. | LINS, Rafael Dueire ; Thompson, Simon John . Implementing Sasl Using Categorical Multi-Combinators. Software, Practice & Experience (Print), v. 20, n. 11, p. 1137-1165, 1990. |
| 37. | LINS, Rafael Dueire . On The Efficiency of Categorical Combinators as a Rewriting System. Software, Practice & Experience (Print), v. 17, n. 8, p. 547-559, 1987. |
| Livros publicados/organizados ou edições |
| 1. | Lins, Rafael Dueire ; Barbosa, Douglas Contente ; Nascimento, Victor Carlos de Oliveira . VoIP. 1. ed. Rio de Janeiro: Brasport Livros e Multimídia, 2011. v. 1. 300 p. |
| 2. | Abinader Neto, Jorge Abílio ; LINS, Rafael Dueire . Web Services em Java. 1. ed. Rio de Janeiro: BRASPORT Livros e Multimídia Ltda., 2006. v. 1. 288 p. |
| 3. | Guimarães, Alexandre Augusto Guedes ; LINS, Rafael Dueire ; Oliveira, Raimundo Corrêa de . Segurança em Redes Privadas Virtuais - VPNs. 1. ed. Rio de Janeiro: Brasport Livros e Multimídia Ltda., 2006. v. 1. 232 p. |
| 4. | Jones, Richard ; LINS, Rafael Dueire . Garbage Collection - Algorithms for Dynamic Memory Management. 2a. ed. Pequim: China-Pub, 2004. v. 01. 341 p. |
| 5. | Jones, Richard ; LINS, Rafael Dueire . Garbage Collection: Algorithms For Dynamic Memory Management (Revised Edition). 1.
ed. Inglaterra: John Wiley & Sons Ltd., 1999. 400 p. |
| 6. | Maciel, Paulo Romero Martins ; LINS, Rafael Dueire ; Cunha, Paulo Roberto Freire . Introdução às Redes de Petri e Aplicações. XI ESCOLA DE COMPUTACAO: UNICAMP, 1996. 200 p. |
| 7. | Jones, Richard ; LINS, Rafael Dueire . Garbage Collection: Algorithms For Automatic Dynamic Memory Management. INGLATERRA: JOHN WILEY AND SONS, 1996. 400 p. |
| 8. | Claúdio, Dalcídio de Moraes ; Correia, Marcia de Barros ; Campos, Marcília Andrade ; LINS, Rafael Dueire . Linguagens de Programacao e Computacao Cientifica. JAI'95 - XV CONGRESSO DA SBC: SOCIEDADE BRASILEIRA DE COMPUTACAO, 1995. 60 p. |
| 9. | LINS, Rafael Dueire . O Lambda-Calculo, Computabilidade e Linguagens de Programacao. UNIVERSIDADE DO MINHO: UNIVERSIDADE DO MINHO EM BRAGA - PORTUGAL, 1994. 80 p. |
| 10. | LINS, Rafael Dueire . Qual A Melhor Linguagem de Programacao?. JAI'94 - XIV CONGRESSO DA SBC: SOCIEDADE BRASILEIRA DE COMPUTACAO, 1994. 60 p. |
| 11. | LINS, Rafael Dueire . Consideracoes Sobre A Implementacao de Linguagens Funcionais. JAI'88 - VIII CONGRESSO DA SBC: SOCIEDADE BRASILEIRA DE COMPUTACAO, 1988. 60 p. |
| Trabalhos completos publicados em anais de congressos |
| 1. | Formiga, Andrei de Araújo ; Lins, Rafael Dueire ; Simske, S.J. ; Dispoto, Gary ; Thielo, Marcelo . An Assessment of Data Matrix Barcode Recognition under Scaling, Rotation and Cylindrical Warping. In: ACM Symposium on Applied Computing, 2011, Taiwan. ACM-SAC 2011, 2011. |
| 2. | Oliveira, Daniel Marques ; Lins, Rafael Dueire ; Torreão, Gabriel ; Fan, Jian ; Thielo, Marcelo . A New Algorithm for Segmenting Warped Text-lines in Document Images. In: ACM - Symposium on Applied Computing, 2011, Taiwan. ACM-SAC 2011. New York : ACM Press, 2011. |
| 3. | Kramer, Richard ; Cavalcanti, Arthur ; Cassola, Vagner Ferreira ; Lins, Rafael Dueire ; Oliveira, Carlos Alberto Brayner ; Khoury, Helen J. . CALDose_X online: Cálculos de Monte Carlo em tempo real via Internet para dosimetria em radiodiagnóstico.. In: II Congresso de Proteção contra Radiações dos Países de Língua Portuguesa, 2011, Recife. RADIO 2011, 2011. p. 35-41. |
| 4. | Barboza, Ricardo Silva ; Lins, Rafael Dueire ; Pereira, Victor Matheus . Using Readers Highlighting on Monochromatic Documents for Automatic Text Transcription and Summarization. In: ICDAR 2011 - International Conference on Document Analysis and Recognition, 2011, Pequim. ICDAR 2011. New York : IEEE Press, 2011. p. 100-105. |
| 5. | Silva, Gabriel de França Pereira e ; Lins, Rafael Dueire . An Automatic Method for Enhancing Character Recognition in Degraded Historical Documents. In: ICDAR 2011 - International Conference on Document Analysis and Recognition, 2011, Pequim. ICDAR 2011. New York : IEEE Press, 2011. p. 106-110. |
| 6. | Mariano, Ednardo ; Lins, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Fan, Jian ; Majewicz, Peter ; Thielo, Marcelo . Correcting Specular Noise in Multiple Images of Photographed Documents. In: ICDAR 2011 - International Conference on Document Analysis and Recognition, 2011, Pequim. ICDAR 2011. New York : IEEE Press, 2011. p. 111-116. |
| 7. | Lins, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Simske, S.J. . Automatically Discriminating between Digital and Scanned Photographs. In: ICDAR 2011 - International Conference on Document Analysis and Recognition, 2011, Pequim. ICDAR 2011. New York : IEEE Press, 2011. p. 117-121. |
| 8. | Oliveira, Daniel Marques ; Lins, Rafael Dueire ; Torreão, Gabriel . A Statistical Analysis of Some Typographic Elements in Printed Documents. In: International Workshop on Graphics Recognition, 2011, Seoul. GREC 2011. Seoul : IAPR Press, 2011. p. 200-210. |
| 9. | Oliveira, Daniel Marques ; Lins, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Fan, Jian ; Thielo, Marcelo . Deblurring Textual Document Images. In: International Workshop on Graphics Recognition, 2011, Seoul. GREC 2011. Seoul : IAPR Press, 2011. p. 7-17. |
| 10. | Alves, Neide Ferreira ; Cruz, Maria Lencastre Pinheiro de Menezes e ; Lins, Rafael Dueire . Building Digital Libraries of Proceedings with The LiveMemory Platform. In: International Workshop on Graphics Recognition, 2011, Seoul. GREC 2011. Seoul : IAPR Press, 2011. p. 60-70. |
| 11. | Barboza, Ricardo Silva ; Lins, Rafael Dueire ; Barros, Diego de A ; Lira, Edson da Fonseca de . Statistically Analyzing RGB Histograms to Remove Highlighting in Aged Paper Monochromatic Documents. In: International Workshop on Graphics Recognition, 2011, Seoul. ICDAR 2011. Seoul : IAPR Press, 2011. |
| 12. | Lins, Rafael Dueire ; Espírito Santo, Paulo Hugo ; Silva, Gabriel de França Pereira e . Academus - Generating Digital Libraries of M.Sc. and Ph.D. Thesis. In: International Workshop on Graphics Recognition, 2011, Seoul. ICDAR 2011. Seoul : IAPR Press, 2011. p. 86-95. |
| 13. | Almeida, Alessandra ; Lins, Rafael Dueire ; Silva, Gabriel de França Pereira e . Thanatos - Automatically Retrieving Information from Death Certificates in Brazil. In: International Workshop on Historical Document Imaging and Processing, 2011, Pequim. HIP 2011. New York : ACM Press, 2011. p. 206-215. |
| 14. | Lins, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Formiga, Andrei de Araújo . HistDoc v. 2.0 - Enhancing a Platform to Process Historical Documents. In: International Workshop on Historical Document Imaging and Processing, 2011, Pequim. HIP 2011. New York : ACM Press, 2011. p. 230-239. |
| 15. | Silva, Gabriel de França Pereira e ; LINS, Rafael Dueire ; Silva, João Marcelo Monte da . HistDoc - A Toolbox for Processing Images of Historical Documents. In: ICIAR 2010, 2010, Póvoa do Varzim.
ICIAR 2010. Heidelberg :
Springer verlag, 2010. v. LNCS. p. 409-419. |
| 16. | LINS, Rafael Dueire ; Oliveira, Daniel Marques ; Torreão, Gabriel ; Fan, Jian ; Thielo, Marcelo . Correcting Book Binding Distortion in Scanned Documents. In: ICIAR 2010, 2010, Póvoa do Varzim.
ICIAR 2010. Heidelberg :
Springer Verlag, 2010. v. LNCS. p. 355-365. |
| 17. | Oliveira, Daniel Marques ; LINS, Rafael Dueire ; Torreão, Gabriel ; Fan, Jian ; Thielo, Marcelo . A DeWarping Algorithm to Compensate Volume Binding Distortion in Scanned Documents. In: ACM- Symposium on Applied Computing 2010, 2010, Sierre - Switzerland.
ACM-SAC 2010. New York :
ACM Press, 2010. v. 1. p. 61-62. |
| 18. | LINS, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Banergee, Serene ; Kuchibhotla, Anjaneyulu. ; Thielo, Marcelo . Automatically Detecting and Classifying Noises in Document Images. In: ACM Symposium on Applied Computing, 2010, Sierre - Switzland.
ACM-SAC 2010. New York :
ACM Press, 2010. v. 1. p. 33-39. |
| 19. | Oliveira, Daniel Marques ; LINS, Rafael Dueire ; Torreão, Gabriel ; Fan, Jian ; Thielo, Marcelo . A New Method for Text-line Segmentation for Warped Documents. In: International Conference on Image Analysis and Recognition, 2010, Póvoa do Varzim.
ICIAR 2010. Heidelberg :
Springer Verlag, 2010. v. LNCS. p. 398-408. |
| 20. | LINS, Rafael Dueire ; Torreão, Gabriel ; Silva, Gabriel de França Pereira e . Content Recognition and Indexing in the LiveMemory Platform. In: Graphics Recognition 2009, 2010, La Rochelle.
GREC 2009. Heidelberg :
Springer Verlag, 2010. v. LNCS. p. 220-230. |
| 21. | LINS, Rafael Dueire ; Silva, Gabriel de França Pereira e . Assessing Strategies to Remove Back-to-Front Interference in Color Documents. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 1-6. |
| 22. | Silva, Gabriel de França Pereira e ; LINS, Rafael Dueire . Assessing the OCR Degradation in the Generation of JPEG, PNG, and TIFF files from Adobe PDF. In: IEEE - International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 6-12. |
| 23. | Cavalcante, Dirceu ; LINS, Rafael Dueire . A Comparative Analysis of Vocoders for Communications in Portuguese. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 13-18. |
| 24. | Álvares, Marcelo Hor-Meyll ; LINS, Rafael Dueire . Automatic Assinchronous Video Demultiplexing. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 106-112. |
| 25. | LINS, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Torreão, Gabriel ; Alves, Neide Ferreira . Efficiently Generating Digital Libraries of Proceedings with The LiveMemory Platform. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 119-125. |
| 26. | LINS, Rafael Dueire ; Gomes Netto, Ismael . Removing Back-to-Front Interference in Documents with Mirror Filtering. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 130-135. |
| 27. | Barbosa, Ricardo da Silva ; LINS, Rafael Dueire . Removing Highlighting in Paper Documents. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 181-187. |
| 28. | Cavalcanti, Arthur ; LINS, Rafael Dueire ; Carvalho Filho, Edsom ; Khoury, Helen J. . Analysing on the Quality of Head Tomographic Images with Power Intensity Variation. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 200-205. |
| 29. | Oliveira, Daniel Marques ; LINS, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Fan, Jian ; Thielo, Marcelo . A New Deblurring Algorithm for Textual Document Images. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 230-235. |
| 30. | Sobral, Eurico B. ; LINS, Rafael Dueire ; Lins, Zanoni Dueire . Analyzing the Propagation Features of the Texas eZ430-RF2500 Device. In: IEEE International Telecommunications Symposium, 2010, Manaus. Proceedings of ITS 2010. New York : IEEE Press, 2010. p. 321-327. |
| 31. | Cavalcanti, Arthur ; LINS, Rafael Dueire . On the Influence of the Choice of Channel on the QoS of IEEE 802.11g Networks. In: The Sixth International Conference on Wireless and Mobile Communications, 2010, Valencia. Proceedings of ICWMC 2010. New York : IEEE Press, 2010. p. 1-6. |
| 32. | Giannetti, Fabio ; Dispoto, Gary ; LINS, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Cabeda, Alexis . Better Profiling PDF Files for Accurate Cost Estimation and Efficient On-Demand Book Printing. In: ACM Document Engineering, 2010, Manchester. Proceedings of ACM DocEng 2010. New York : ACM Press, 2010. p. 1-6. |
| 33. | Silva, Gabriel de França Pereira e ; LINS, Rafael Dueire ; Banergee, Serene ; Kuchibhotla, Anjaneyulu. ; Thielo, Marcelo . A Neural Classifier to Filter-out Back-to-Front Interference in Paper Documents. In: 20th International Conference on Pattern Recognition, 2010, Istambul. Proceedings of ICPR 2010. New York : IEEE Press, 2010. p. 1-6. |
| 34. | Oliveira, Daniel Marques ; LINS, Rafael Dueire . Generalizing Tableau to any Color of Teaching Boards. In: 20th International Conference on Pattern Matching, 2010, Istambul. Proceedings of ICPR 2010. New York : IEEE Press, 2010. p. 7-11. |
| 35. | Paredes, Roberto ; Kavallieratou, Ergina ; Lins, Rafael Dueire . ICFHR 2010 Contest: Quantitative Evaluation of Binarization Algorithms. In: International Conference on Frontiers in Handwriting Recognition, 2010. ICFHR 2010. New York : IEEE Press, 2010. |
| 36. | Cavalcanti, Arthur ; Lins, Rafael Dueire . On the Influence of the Choice of Channel on the Quality of Connections of IEEE 802.11g Networks. In: International Conference on Wireless and Mobile Communications, 2010, Valencia.
ICWMC 2010. New York :
IEEE Press, 2010. p. 466-471. |
| 37. | Cavalcanti, Arthur ; Lins, Rafael Dueire . Distance Influence on the Quality of IEEE 802.11G Networks. In: The 13th International Symposium on Wireless Personal Multimedia Communications (WPMC 2010)., 2010, Recife. WPMC 2010. Nova York : IEEE Press, 2010. p. 200-205. |
| 38. | Silva, Gabriel de França Pereira e ; Lins, Rafael Dueire ; Silva, João Marcelo Monte da ; Banergee, Serene ; Kuchibhotla, Anjaneyulu. ; Thielo, Marcelo . Enhancing the Filtering-Out of the Back-to-Front Interference in Color Documents with a Neural Classifier. In: 20th International Conference onPattern Recognition, 2010, Istambul (Turkia).
ICPR 2010. New York :
IEEE Press, 2010. p. 2415-2419. |
| 39. | Oliveira, Daniel Marques ; Lins, Rafael Dueire . Generalizing Tableau to Any Color of Teaching Boards. In: 20th International Conference on Pattern Recognition, 2010, Istambul.
ICPR 2010. New York :
IEEE Press, 2010. p. 2411-2414. |
| 40. | LINS, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Simske, S.J. ; Fan, Jian ; Shaw, Mark ; Sá, Paulo ; Thielo, Marcelo . Image Classification to Improve Printing Quality of Mixed-Type Documents. In: International Conference on Document Analysis and Recognition, 2009, Barcelona.
Proceedings of ICDAR 2009. New York :
IEEE Press, 2009. p. 1106-1110. |
| 41. | Silva, Gabriel de França Pereira e ; LINS, Rafael Dueire ; Miro, Brenno ; Simske, S.J. ; Thielo, Marcelo . Scanned or Photographed?Automatically Deciding How a Document was Digitized. In: International Workshop on Camera-Based Document Analysis and Recognition, 2009, Barcelona. Proceedings of CBDAR 2009. New York : IAPR Press, 2009. p. 1-10. |
| 42. | LINS, Rafael Dueire . A Taxonomy for Noise Detection in Images of Paper Documents - The Physical Noises. In: International Conference on Image Analysis and Recognition, 2009, Halifax (Canada).
Proceedings of ICIAR 2009. Heidelberg :
Springer Verlag, 2009. v. 5627. p. 844-854. |
| 43. | Silva, João Marcelo Monte da ; LINS, Rafael Dueire ; Silva, Gabriel de França Pereira e . Enhancing the Quality of Color Documents with Back-to-Front Interference. In: International Conference on Image Analysis and Recognition, 2009, Halifax (Canada).
Proceedings of ICIAR 2009. Heidelberg :
Springer Verlag, 2009. p. 875-885. |
| 44. | Formiga, Andrei de Araújo ; LINS, Rafael Dueire . Efficient Removal of Noisy Borders of Monochromatic Documents. In: International Conference on Image Analysis and Recognition, 2009, Halifax (Canada).
Proceedings of ICIAR 2009. Heidelberg :
Springer Verlag, 2009. v. 5627. p. 158-167. |
| 45. | Cabral, Leandro ; LINS, Rafael Dueire . An Analysis of the QoS in the Transmission in 802.11g Networks in the Presence of Bluetooth Interference. In: The Fifth International Conference on Wireless and Mobile Communications, 2009, Cannes/La Bocca, France.
Proceedings of ICWMC 2009. New York :
IEEE Press, 2009. p. 1-5. |
| 46. | Oliveira, Daniel Marques ; Lins, Rafael Dueire . A New Method for Shading Removal and Binarization of Documents Acquired with Portable Digital Cameras. In: Camera-Based Document Analysis and Recognition, 2009, Barcelona (Spain).. Proceedings of CBDAR 2009. New York : IAPR Press, 2009. p. 1-10. |
| 47. | Mattos, Giorgia Gomes de ; Formiga, Andrei de Araújo ; LINS, Rafael Dueire ; de Carvalho-Junior, Francisco Heron . A Comparison of Cluster and Grid Configurations Executing Image Processing Tasks in a Local Network. In: ICN08 - 7th International Conference on Computer Networks, 2008, Cancun - México.
Proceedings of ICN2008. New York :
IEEE Press, 2008. p. 408-414. |
| 48. | Mattos, Giorgia Gomes de ; Formiga, Andrei de Araújo ; LINS, Rafael Dueire ; Martins, Fernando Mário Junqueira . BigBatch: a document processing platform for clusters and grids. In: 23rd ACM Symposium on Applied Computing, 2008, Fortaleza.
Proceedings of ACM-SAC 2008. New York :
ACM Press, 2008. v. I. p. 434-441. |
| 49. | Oliveira, Daniel Marques ; LINS, Rafael Dueire . Improving the Border Detection and Image Enhancement Algorithms in Tableau. In: ICIAR 2008 - International Conference on Image Analysis and Recognition, 2008, Póvoa de Varzim - Portugal.
Proceedings of ICIAR´2008 - Lecture Notes in Computer Science. Heidelberg :
Springer Verlag, 2008. v. 5112. p. 1111-1121. |
| 50. | Souza, Rafael Santos de ; LINS, Rafael Dueire . A New Propagation Model for 2.4 GHz Wireless LAN. In: APCC2008 - 14th Asia Pacific Conference on Communications, 2008, Tokyo. Proceedings of APCC2008, 2008. p. 1-7. |
| 51. | Silva, João Marcelo Monte da ; LINS, Rafael Dueire . A fast algorithm to binarize and filter documents with back-to-front interference. In: ACM Symposium on Applied Computing, 2007, Seoul.
Proceedings of ACM-SAC. New York :
ACM Press, 2007. v. 2007. p. 639-640. |
| 52. | LINS, Rafael Dueire ; Silva, João Marcelo Monte da . A quantitative method for assessing algorithms to remove back-to-front interference in documents. In: ACM Symposium on Applied Computing, 2007, Seoul - Korea.
Proceedings of ACM-SAC 2007. New York :
ACM Press, 2007. v. 2007. p. 610-616. |
| 53. | LINS, Rafael Dueire ; Silva, André Ricardson Gomes e ; Silva, Gabriel de França Pereira e . Enhancing Document Images Acquired Using Portable Digital Cameras. In: International Conference on Image Analysis and Recognition, 2007, Montreal (Canadá).
Proceedings of ICIAR 2007. Heidelberg - Alemanha :
Springer Verlag, 2007. v. LNCS. p. 1229-1241. |
| 54. | LINS, Rafael Dueire ; Silva, João Marcelo Monte da . Generating Color Documents from Segmented and Synthetic Elements. In: International Conference on Image Analysis and Recognition, 2007, Montreal (Canadá).
Proceedings of ICIAR 2007. Heidelberg - Alemanha :
Springer Verlag, 2007. v. LNCS. p. 1217-1228. |
| 55. | Silva, João Marcelo Monte da ; LINS, Rafael Dueire . Color Document Synthesis as a Compression Strategy. In: ICDAR - International Conference on Image Analysis and Recognition, 2007, Curitiba.
ICDAR 2007. New York :
IEEE Press, 2007. v. I. p. 466-470. |
| 56. | Silva, André Ricardson Gomes e ; Oliveira, Hélio Magalhães de ; LINS, Rafael Dueire . ConvertingEEG, ECG and other paper legated biomedical maps into digital signals. In: XXV Simpósio Brasileiro de Telecomunicações, 2007, Recife. Anais do SBrT´2007. Rio de Janeiro : SBrT, 2007. |
| 57. | LINS, Rafael Dueire ; Gomes Netto, Ismael . Um Ambiente para Filtrar a Interferência Frente-Verso em Documentos Históricos. In: XXV Simpósio Brasileiro de Telecomunicações, 2007, Recife. SBrT´2007. Rio de Janeiro : SBrT, 2007. |
| 58. | Silva, João Marcelo Monte da ; LINS, Rafael Dueire ; Gomes Netto, Ismael . Um Método de Avaliação Quantitativo para Filtragem da Interferência Frente-Verso. In: XXV Simpósio Brasileiro de Telecomunicações, 2007, Recife. SBrT´2007. Rio de Janeiro : SBrT, 2007. |
| 59. | Silva, João Marcelo Monte da ; LINS, Rafael Dueire . Um Novo Método de Filtragem de Interferência Frente-Verso em Documentos Históricos. In: XXV Simpósio Brasileiro de Telecomunicações, 2007, Recife. SBrT 2007. Rio de Janeiro : SBrT, 2007. |
| 60. | Barbosa, Douglas Contente ; Gondim, Marcos ; LINS, Rafael Dueire ; Souza, Rafael Santos de . Uma Análise Comparativa da QoS do Skype, Yahoo!Messager e Google Talk. In: XXV Simpósio Brasileiro de Telecomunicações, 2007, Recife. SBrT 2007. Rio de Janeiro : SBrT, 2007. v. 2007. p. 01-06. |
| 61. | LINS, Rafael Dueire ; Silva, Gabriel de França Pereira e ; Silva, André Ricardson Gomes e . Assessing and Improving the Quality of Document Images Acquired with Portable Digital Cameras. In: 9th International Conference on Document Analysis and Recognition, 2007, Curitiba.
ICDAR 2007. Los Alamitos, CA :
IEEE Press, 2007. v. II. p. 569-573. |
| 62. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire ; Corrêa, Ricardo C ; Araújo, G A ; Santiago, Chanderlie Freire de . Design and Implementation of an Environment for Component-Based Parallel Programming. In: Vecpar´2006, 2007, Rio de Janeiro.
Proceedings of Vecpar 2006. Hiedelberg :
Springer Verlag, 2006. v. 4395. |
| 63. | Oliveira, Daniel Marques ; LINS, Rafael Dueire . Tableau - Processing Teaching-Board Images Acquired with Portable Digital Cameras. In: Camera-Based Document Analysis and Recognition, 2007, Curitiba (Brazil). Proceedings of CBDAR´2007. New York : IAPR Press, 2007. p. 79-86. |
| 64. | Silva, Gabriel de França Pereira e ; LINS, Rafael Dueire . PhotoDoc: A Toolbox for Processing Document Images Acquired Using Portable Digital Cameras. In: Camera Based Document Analysis and Recognition, 2007, Curitiba (Brazil). Proceedings of CBDAR 2007. New York : IAPR Press, 2007. p. 107-115. |
| 65. | Silva, João Marcelo Monte da ; LINS, Rafael Dueire ; Rocha Jr, Valdemar Cardoso da . Binarizing and Filtering Historical Documents with Back-to-Front Interference. In: ACM Symposium on Applied Computing, 2006, Dijon.
Proceedings of SAC 2006. New York :
ACM Press, 2006. p. 853-858. |
| 66. | LINS, Rafael Dueire ; Rodrigues, Charlana Marjory de Sá . Comparisons of File Formats for Image Transmission through Networks. In: ACM Symposium on Applied Computing, 2006, Dijon.
Proceedings of ACM SAC 2006. New York :
ACM Press, 2006. p. 863-864. |
| 67. | LINS, Rafael Dueire ; Abinader Neto, Jorge Abílio . Tutorial: Web Services em Java. In: Simpósio Brasileiro de Linguagens de Programação, 2006, Itatiaia. Tutotial do SBLP 2006, 2006. v. 1. p. 1-30. |
| 68. | LINS, Rafael Dueire ; Ávila, Bruno Tenório ; Formiga, Andrei de Araújo . BigBatch: An Environment for Processing Monochromatic Documents. In: ICIAR - International Conference on Image Analysis and Recognition, 2006, Póvoa de Varzim.
ICIAR 2006. Heidelberg :
Springer Verlag, 2006. v. 41142. p. 886-896. |
| 69. | LINS, Rafael Dueire ; Silva, João Marcelo Monte da . Assessing Algorithms to Remove Back-to-Front Interference in Documents. In: International Telecommunications Symposium, 2006, Fortaleza.
Proceedings of ITS 2006. New York :
IEEE Press, 2006. p. 868-873. |
| 70. | LINS, Rafael Dueire ; Rodrigues, Charlana Marjory de Sá . Assessing File Formats for Static Image Transmission. In: International Telecommunications Symposium, 2006, Fortaleza.
ITS 2006. New York :
IEEE Press, 2006. p. 592-596. |
| 71. | Silva Jr, Jucimar Maia da ; LINS, Rafael Dueire . Analyzing the QoS of VoIP on SIP in JAVA. In: International Telecommunications Symposium, 2006, Fortaleza.
ITS 2006. New York :
IEEE Press, 2006. |
| 72. | LINS, Rafael Dueire . New Algorithms and Applications of Cyclic Reference Counting. In: International Conference on Graph Tranformation, 2006, Natal.
ICGT 2006. Heidelberg :
Springer Verlag, 2006. v. 4178. p. 15-29. |
| 73. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . The # Model: Separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming.. In: 19th ACM Symposium on Applied Computing, 2005, Santa Fé, New Mexico.
Proceedings of ACM-SAC'2005. New York :
ACM Press, 2005. p. 1357-1364. |
| 74. | LINS, Rafael Dueire ; Alves, Neide Ferreira . A New Technique for Acessing the Performance of OCRs. In: IADIS - International Conference on Computer Applications, 2005, Algarve, 2005. v. 1. p. 51-56. |
| 75. | LINS, Rafael Dueire . Home-banking Security: A case study. In: IADIS - International Conference on Computer Applications, 2005, Algarve, 2005. v. 1. p. 321-328. |
| 76. | LINS, Rafael Dueire ; França, Albanir Silva de . A Scheme for the Consistent Management of Web Pages. In: IADIS - International Conference on Computer Applications, 2005, Algarve, 2005. v. 2. p. 425-428. |
| 77. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . A Component Model for High Level and Efficient Parallel Programming on Distributed Architectures. In: IADIS - International Conference on Computer Applications, 2005, Algarve, 2005. v. 2. p. 173-178. |
| 78. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . The Hash Model for Parallel Programming: From Processes To Components with Insignificant Performance Overheads.. In: 2005 WORKSHOP ON COMPONENT MODELS AND FRAMEWORKS IN HIGH PERFORMANCE COMPUTING, 2005., 2005, Atlanta, Georgia, 2005. |
| 79. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . Using Aspects for Supporting Procedural Modules in Hash Programming.. In: EuroPar 2005, 2005, Lisboa, Portugal.
Lecture Notes in Computer Science. Heidelberg :
Springer Verlag, 2005. v. 3648. p. 370-380. |
| 80. | Silva, André Ricardson Gomes e ; LINS, Rafael Dueire . Background Removal of Document Images Acquired Using Portable Digital Cameras. In: International Conference on Image Analysis and Recognition, 2005, Toronto.
Lecture Notes in Computer Science. Heidelberg :
Springer Verlag, 2005. v. 3656. p. 278-285. |
| 81. | LINS, Rafael Dueire ; Oliveira, Daniel Marques . Automatically Detecting Symmetries in Decorative Tiles. In: International Conference on Image Analysis and Recognition, 2005, Toronto, Canadá.
Lecture Notes in Computer Science. Heidelberg :
Springer Verlag, 2005. v. 3656. p. 310-319. |
| 82. | LINS, Rafael Dueire . A New Multi-Processor Architecture for Parallel Lazy Cyclic Reference Counting. In: SBAC-PAD, 2005, Rio de Janeiro.
Proceedings of SBAC-PAD 2005, 2005. p. 35-43. |
| 83. | Ávila, Bruno Tenório ; LINS, Rafael Dueire . A Fast Orientation and Skew Detection Algorithm for Monochromatic Document Images. In: ACM International Conference on Document Engineering, 2005, Bristol.
ACM Document Engineering 2005. New York :
ACM Press, 2005. p. 118-126. |
| 84. | Barbosa, Ricardo da Silva ; LINS, Rafael Dueire ; Souza, Ricardo Campello de . Análise de Códigos Detectores de Erros Utilizados na Camada de Transporte. In: Congresso da Sociedade Brasileira de Telecomunicações, 2005, Campinas (SP). Anais do SBrT 2005, 2005. |
| 85. | Oliveira, Hélio Magalhães de ; LINS, Rafael Dueire . Taylor Series as Wide-sense Biorthogonal Wavelet Decomposition. In: Congresso da Sociedade Brasileira de Telecomunicações, 2005, Campinas (SP). Anais do SBrT 2005, 2005. |
| 86. | Ávila, Bruno Tenório ; LINS, Rafael Dueire ; Oliveira Neto, Lamberto Augusto de . A Noise-free Rotation Algorithm for Monochromatic Images. In: Congresso da Sociedade Brasileira de Telecomunicações, 2005, Campinas (SP). Anais do SBrT 2005, 2005. |
| 87. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . A Categorical Characterization for the Compositional Features of the Component Model. In: ACM Workshop Specification and Verification of Component-Based Systems, 2005, Lisboa.
Proc. of SAVCBS'05. New York - USA :
ACM Press, 2005. |
| 88. | Ávila, Bruno Tenório ; LINS, Rafael Dueire ; Oliveira Neto, Lamberto Augusto de . A New Rotation Algorithm for Monochromatic Images. In: ACM International Conference on Document Engineering, 2005, Bristol.
Proceedings of ACM-DocEng 2005. New York :
ACM Press, 2005. p. 130-132. |
| 89. | LINS, Rafael Dueire ; Ávila, Bruno Tenório . BigBatch: A toolbox for monochromatic documents. In: ACM International Conference on Document Engineering, 2005, Bristol.
ACM Document Engineering 2005. New York :
ACM Press, 2005. p. 239-240. |
| 90. | LINS, Rafael Dueire . Partial Categorical Multi-Combinators And Church Rosser Theorems. In: SBLP'2004, 2004, Niteroi. Anais do SBLP'2004, 2004. v. 01. p. 61-73. |
| 91. | LINS, Rafael Dueire ; Gonçalves Jr, Paulo . Automatic Language Identification of Written Texts. In: ACM Symposium on Applied Computing, 2004, Nicosia (Cyprus).
Proceeding of ACM-SAC'2004. New York :
ACM Press, 2004. v. 2. p. 1128-1133. |
| 92. | Lima, Ricardo Massa Ferreira ; LINS, Rafael Dueire ; Santos, André Luiz de Medeiros . A Back-end for GHC based on Categorical Multi-Combinators. In: ACM Symposium on Applied Computing, 2004, Nicosia (Cyprus).
Proceedings of ACM-SAC'2004. New York :
ACM Press, 2004. v. 2. p. 1482-1489. |
| 93. | Ávila, Bruno Tenório ; LINS, Rafael Dueire . A New Algorithm for Removing Noisy Borders from Monochromatic Documents. In: ACM Symposium on Applied Computing, 2004, Nicosia (Cyprus).
Proceedings of ACM-SAC. New York :
ACM-Press, 2004. v. 2. p. 1219-1225. |
| 94. | Ávila, Bruno Tenório ; LINS, Rafael Dueire . Efficient Removal of Noisy Borders from Monochromatic Documents. In: International Conference on Image Analysis and Recognition, 2004, Porto.
Proceedings of ICIAR 2004. Berlin :
Springer Verlag, 2004. v. 3212. p. 249-256. |
| 95. | LINS, Rafael Dueire . A New File Format for Decorative Tiles. In: International Conference on Image Analysis and Recognition, 2004, Porto.
Proceedings of ICIAR 2004. Berlin :
Springer Verlag, 2004. v. 3212. p. 175-182. |
| 96. | LINS, Rafael Dueire ; Ávila, Bruno Tenório . A New Algorithm for Skew Detection in Images of Documents. In: International Conference on Image Analysis and Recognition, 2004, Porto (Portugal).
Proceedings of ICIAR 2004. Berlin :
Springer Verlag, 2004. v. 3212. p. 234-240. |
| 97. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire ; Quental, Nívia Cruz ; Lins, Fernando Antonio Aires ; Costa, Marcelo Alves . O Modelo Hash: Uma Alternativa de Alto Nível e Eficiente à Programação Paralela Distribuída . In: IBERIAN LATIN AMERICAN CONGRESS IN COMPUTATIONAL METHODS IN ENGINEERING, 2004, Recife. Proceedings of XXV IBERIAN LATIN AMERICAN CONGRESS IN COMPUTATIONAL METHODS IN ENGINEERING, 2004. |
| 98. | LINS, Rafael Dueire . An Efficient Multi-Processor Parallel Architecture for Parallel Cyclic Reference Counting. In: VECPAR'2002, 2003, Porto.
Proceedings of VECPAR'2002. Heidelberg :
Springer Verlag, 2003. v. 2565. p. 650-663. |
| 99. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire ; Lima, Ricardo Massa Ferreira . Translating Haskell Programs into Petri Nets. In: VECPAR'2002, 2003, Porto.
Proceedings of VECPAR'2002. Heidelberg :
Springer Verlag, 2003. v. 2565. p. 635-649. |
| 100. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . Topological Skeletons in Haskell. In: International Parallel and Distributed Symposium, 2003, Nancy. Proceedings of IPDPS'2003. Washington DC, USA : IEEE Press, 2003. |
| 101. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . Haskell*:Parallel Programming Made Simple and Efficient. In: VII Simpósio Brasileiro de Linguagens de Programação, 2003, Ouro Preto. Anais do SBLP'2003, 2003. p. 92-102. |
| 102. | LINS, Rafael Dueire . Lazy Cyclic Reference Counting. In: VII Simpósio Brasileiro de Linguagens de Programação, 2003, Ouro Preto. Anais do SBLP'2003, 2003. p. 121-134. |
| 103. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire ; Quental, Nívia Cruz . On the Implementation of SPMD Applications Using Haskell. In: Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 2003, São Paulo.
Proceedings of SBAC-PAD. Los Alamos - Texas - USA :
IEEE Press, 2003. p. 55-64. |
| 104. | de Carvalho-Junior, Francisco Heron ; Lima, Ricardo Massa Ferreira ; LINS, Rafael Dueire . Coordinating Functional Processes with Haskell. In: 17th ACM Symposium on Applied Computing, 2002, Madrid.
Proceedings of 17th ACM Symposium on Applied Computing. New York :
ACM Press, 2002. p. 393-400. |
| 105. | Mello, Carlos Alexandre Barros de ; LINS, Rafael Dueire . Generation of Images of Historical Documents by Composition of their Components. In: 15th International Conference on Vision Interface, 2002, Calgary, 27 to 29 May. Proceedings of VI'2002, 2002. p. 45-52. |
| 106. | LINS, Rafael Dueire ; Salzano Filho, José Airton . Optimising the Jump_Stack. In: VI Simpósio Brasileiro de Linguagens de Programação, 2002, Rio de Janeiro. SBLP'2002, 2002. |
| 107. | LINS, Rafael Dueire . Efficient Cyclic Weighted Reference Counting. In: SBAC-PAD, 2002, Vitória.
Proceedings of SBAC-PAD'2002. Los Alamitos - USA :
IEEE Press, 2002. |
| 108. | Mello, Carlos Alexandre Barros de ; LINS, Rafael Dueire . Generation of Images of Historical Documents by Composition. In: ACM International Conference on Document Engineering, 2002, Washington D.C..
Proceedings of ACM DocEng 2002. New York :
ACM Press, 2002. p. 127-133. |
| 109. | de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire ; Lima, Ricardo Massa Ferreira . Parallelising MCP-Haskell for Evaluating Haskell Programming Environment. In: Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto-desempenho, 2001, Pirenópolis. Anais do SBAC-PAD'2001, 2001. p. 1-12. |
| 110. | Mello, Carlos Alexandre Barros de ; LINS, Rafael Dueire . Colourising Paper Texture of Grayscale Historical Documents. In: I Simpósio de Informática da Amazônia, 2001, Manaus. I Congresso de Informática da Amazônia, 2001. v. 1. p. 87-96. |
| 111. | LINS, Rafael Dueire . Segurança na Internet: Estudo de Caso. In: I Simpósio de Informática da Amazônia, 2001, Manaus (AM). I Congresso de Informática da Amazônia, 2001. v. 1. p. 119-134. |
| 112. | Santos Neto, Pedro de Alcântara ; LINS, Rafael Dueire . Evolução das Linguagens de Programação: Uma análise da linguagem JAVA. In: I Simpósio da Informática da Amazônia, 2001, Manaus. I Congresso de Informática da Amazônia, 2001. v. 1. p. 205-216. |
| 113. | Souza, Francisco Viera de ; LINS, Rafael Dueire . Um novo algoritmo para Garbage Collection em Sistemas Fortemente Acoplados Utilizando Contagem de Referências Cíclicas. In: I Simpósio da Informática da Amazônia, 2001, Manaus (AM). I Congresso de Informática da Amazônia, 2001. v. 1. p. 243-258. |
| 114. | Camelo, Hermes de Andrade Lima ; LINS, Rafael Dueire . Regras Léxicas para o Tratamento de Compostos. In: I Simpósio de Informática da Amazônia, 2001, Manaus (AM). I Congresso de Informática da Amazônia, 2001. v. 1. p. 259-270. |
| 115. | Lima, Ricardo Massa Ferreira ; LINS, Rafael Dueire . A Back-end for GHC based on Categorical Multi-Combinators. In: 13th International Workshop on the Implementation of Functional Languages, 2001, Stockholm. Proceedings of IFL'2001, 2001. |
| 116. | LINS, Rafael Dueire . Uma Proposta de Plano Pedagógico para a matéria de Compiladores. In: II Curso de Qualidade de Cursos de Graduação da Área de Computação e Informática, 2000, Curitiba. WEI'2000. Curitiba - PR : Editora Universitária Champagnat, 2000. |
| 117. | Mello, Carlos Alexandre Barros de ; LINS, Rafael Dueire . Generating Paper Texture Using Statistical Moments. In: IEEE Silver Jubilee International Conference on Acoustic, Speech and Signal Processing - ICASSP'2000, 2000, Istambul - Turkey.
Proceedings of ICASSP'2000, 2000. p. 100-105. |
| 118. | Mello, Carlos Alexandre Barros de ; LINS, Rafael Dueire . Image Segmentation of Historical Documents. In: Visual2000, 2000, Cidade do México. Proceedings of Visual2000, 2000. p. 88-96. |
| 119. | Mello, Carlos Alexandre Barros de ; LINS, Rafael Dueire . A New Segmentation Algorithm for True Colour Images of Historical Documents. In: XVIII Simpósio Brasileiro de Telecomunicações, 2000, Gramado, RS. Anais do XVIII Simpósio Brasileiro de Telecomunicações, 2000. p. 80-86. |
| 120. | Camelo, Hermes de Andrade Lima ; LINS, Rafael Dueire . Uma arquitetura proxy para a tradução de páginas da WWW. . In: XVIII Simpósio Brasileiro de Redes de Computadores, 2000, Belo Horizonte. Anais do XVIII Simpósio Brasileiro de Redes de Computadores, 2000. p. 15-20. |
| 121. | Lima, Ricardo Massa Ferreira ; LINS, Rafael Dueire . Translating HCL programs into Petri Nets. In: Simpósio Brasileiro de Linguagens de Programação, 2000, João Pessoa. Anais do SBLP'2000, 2000. p. 40-52. |
| 122. | Lima, Ricardo Massa Ferreira ; de Carvalho-Junior, Francisco Heron ; LINS, Rafael Dueire . Haskell#: A Message Passing Extension To Haskell. In: 3rd Latin American Conference on Functional Programming, 1999, Recife. Proceedings of 3rd Latin American Conference on Functional Programming. Recife - Brazil, 1999. v. 1. p. 85-99. |
| 123. | Souza, Francisco Viera de ; LINS, Rafael Dueire . Analysing The Space Behaviour Of Functional Programs. In: 3rd Latin American Conference on Functional Programming, 1999, Recife. Proceedings of 3rd Latin American Conference on Functional Programming. Recife - Brazil, 1999. v. 1. p. 180-201. |
| 124. | Camelo, Hermes de Andrade Lima ; LINS, Rafael Dueire . Uma Ferramenta de Auxílio à Tradução Inglês-Português. In: IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada, 1999, Évora. Actas do PROPOR'99, 1999. p. 43-52. |
| 125. | LINS, Rafael Dueire ; Camelo, Hermes de Andrade Lima ; Moura, Raimundo Santos . Um SOS para a Língua Portuguesa. In: IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada, 1999, Évora. Actas do PROPOR'99, 1999. p. 129-138. |
| 126. | Rocha, Cynthia Baerlocher ; Camelo, Hermes de Andrade Lima ; LINS, Rafael Dueire . Conjugações Verbais no Português Computacional. In: IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada, 1999, Évora. Actas do PROPOR'99, 1999. p. 219-227. |
| 127. | Mello, Carlos Alexandre Barros de ; LINS, Rafael Dueire . A Comparative Study on Commercial OCR Tools. In: Vision Interface'99, 1999, Québec, 1999. v. 1. p. 224-232. |
| 128. | Mello, Carlos Alexandre Barros de ; LINS, Rafael Dueire . Segmentação de Imagens de Documentos Históricos. In: XVII Simpósio Brasileiro de Telecomunicações, 1999, Vila Velha, 1999. p. 700-704. |
| 129. | Lima, Ricardo Massa Ferreira ; LINS, Rafael Dueire . Haskell#: A Parallel Functional Language. In: Vector and Parallel Processing, 1998, Porto. Proceedins of VECPAR'98, 1998. v. 1573. p. 80-88. |
| 130. | LINS, Rafael Dueire . The Fall And Rise Of Functional Programming Invited Paper. In: II LATIN AMERICAN CONFERENCE ON FUNCTIONAL PROGRAMMING, 1997, La Plata. LA PLATA, ARGENTINA, 1997. p. 240-269. |
| 131. | França Neto, Leopoldo Rodrigues ; LINS, Rafael Dueire . A New Algorithm For Monochromatic Image Compression. In: 23rd EUROMICRO Conference '97 New Frontiers of Information Technology, 1997, Budapest, Hungria.
EUROMICRO'97. Amsterdam, Hollanda :
Elsevier, 1997. p. 308-315. |
| 132. | LINS, Rafael Dueire . Programming Interval Algorithms In Haskell. In: SCAN'97, 1997, Paris. LYON, FRANCA, 1997. p. 0-0. |
| 133. | LINS, Rafael Dueire . Functional Programming And Parallel Processing Invited Paper. In: VECPAR'96, 1997, Porto.
Proceedings of VECPAR'96. London - UK :
Springer Verlag, 1997. v. 1215. p. 429-457. |
| 134. | LINS, Rafael Dueire . Novas Tecnicas de Otimizacao de Codigo Em Tcmc. In: ANAIS DO I SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO, 1996. BELO HORIZONTE (MG), BRASIL. p. 0-0. |
| 135. | LINS, Rafael Dueire ; Lima, Ricardo Massa Ferreira . Translating Basic Lotos Into Occam 2. In: EUROMICRO'96, 1996, Praga. Proceedings of Euromicro'96. USA : IEEE Press, 1996. v. 2. p. 229-235. |
| 136. | LINS, Rafael Dueire ; Lima, Ricardo Massa Ferreira ; Cruz Neto, Genésio Gomes da . Optimising Pseudoknot In Tcmc. In: PROC. OF EUROMICRO'96, 1996, Praga.
Proceedings of Euromicro 1996. USA :
IEEE Press, 1996. p. 120-126. |
| 137. | LINS, Rafael Dueire . Projeto Nabuco: Processamento de Imagens de Documentos Historicos. In: PROC. OF PANEL'95, 1995. CANELA, BRASIL. p. 0-0. |
| 138. | LINS, Rafael Dueire . Implementing and Optimising Tcmc.. In: EUROMICRO'94, 1994, Paris (França).
Proceedings of Euromicro 1994. New York :
IEEE Press, 1994. p. 353-360. |
| 139. | LINS, Rafael Dueire . Um Ambiente de Traducao Ingles-Portugues. In: SEMISH'94, 1994. CAXAMBU (MG), BRASIL. p. 0-0. |
| 140. | LINS, Rafael Dueire . Implementando e Otimizando Tcmc. In: SEMISH'94, 1994, Caxambu (MG). Anais do SBC'94, 1994. p. 0-0. |
| 141. | Dehne, Frank ; LINS, Rafael Dueire . Distributed Cyclic Reference Counting. In: PROC. OF 1994 CANADA-FRANCE CONFERENCE ON PARALLEL COMPUTING, 1994.
Parallel and Distributed Processing. Heidelberg :
Springer Verlag, 1994. v. 805. p. 95-100. |
| 142. | LINS, Rafael Dueire . Cyclic Weighted Reference Counting Without Delay. In: PARLE'93., 1993, França.
Proceedings of PARLE´93. Alemanha :
Springer Verlag, 1993. v. 694. p. 712-715. |
| 143. | LINS, Rafael Dueire . Cyclic Weighted Reference Counting. In: PROC. OF WP&DP'93, 1993, Sófia. Amsterdã : North-Holland, 1993. p. 0-0. |
| 144. | LINS, Rafael Dueire . A Comparative Study Of Algorithms For Cyclic Reference Counting. In: SEMISH'92, 1992. RIO DE JANEIRO, BRASIL. p. 0-0. |
| 145. | LINS, Rafael Dueire . Tcmc: A Novel Way Of Implementing Functional Languages. In: SEMISH'92, 1992. RIO DE JANEIRO, BRASIL. p. 0-0. |
| 146. | LINS, Rafael Dueire . Cm-Cm: A Categorical Multi-Combinators Machine. In: PROC. XVI LATINO AMERICAN CONFERENCE ON INFORMATICS, 1990. ASSUNCAO, PARAGUAI. p. 0-0. |
| 147. | LINS, Rafael Dueire . A Semantica de Acoes de Gmc. In: SEMISH'90, 1990. VITORIA (ES), BRASIL. p. 0-0. |
| 148. | LINS, Rafael Dueire . A Shared Memory Architecture For Parallel Cyclic Reference Counting. In: ANAIS DO SBAC-PAD, 1990. RIO DE JANEIRO, BRASIL. p. 0-0. |
| 149. | LINS, Rafael Dueire . Implementando A Maquina G. In: SEMISH'89, 1989. UBERLANDIA, BRASIL. p. 0-0. |
| 150. | LINS, Rafael Dueire . Gmc: A Graph Multi-Combinator Machine. In: ANAIS DO SEMISH, 1989. UBERLANDIA, BRASIL. p. 0-0. |
| 151. | LINS, Rafael Dueire . Implementing A Categorical Multi-Combinators Machine. In: PROC. XVI LATINO AMERICAN CONFERENCE ON INFORMATICS, 1988, Buenos Aires. BUENOS AIRES, ARGENTINA, 1988. p. 0-0. |
| 152. | LINS, Rafael Dueire . Categorical Multi-Combinators. In: PROC. 3RD INTER. CONF. ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURES, 1987, Portland - Oregon.
Proceedings of FP&CA'87. Alemanha :
Springer Verlag, 1987. v. 274. p. 60-79. |
| 153. | LINS, Rafael Dueire . A New Formula For The Execution Of Categorical Combinators. In: 8TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, 1986, Oxford.
CADE'86. Alemanha :
Springer Verlag, 1986. v. 230. p. 89-98. |
| Artigos aceitos para publicação |
| 1. | Lins, Rafael Dueire . Nabuco - Two Decades of Processing Historical Documents in Latin America. Journal of Universal Computer Science (Print), 2011. |
| Demais tipos de produção bibliográfica |
| 1. | LINS, Rafael Dueire . Compiladores Modernos. Rio de Janeiro: Editora Campus, 2001. (Tradução/Livro). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | Rocha Jr, Valdemar Cardoso da ; LINS, Rafael Dueire . Cryptography: Fundamentals and Applications - by James L. Massey. 2001. |
| 2. | LINS, Rafael Dueire ; Camelo, Hermes de Andrade Lima ; Rocha, Cynthia Baerlocher ; Cruz, Maria Lencastre Pinheiro de Menezes e ; Cruz Neto, Genésio Gomes da ; França Neto, Leopoldo Rodrigues . Vestibular Fácil 2001. 2000. |
| 3. | LINS, Rafael Dueire ; Camelo, Hermes de Andrade Lima ; Cruz, Maria Lencastre Pinheiro de Menezes e ; Cruz Neto, Genésio Gomes da ; Rocha, Cynthia Baerlocher ; Rosa, Luciano Galdino . Vsetibular Fácil 1998. 1998. |
| 4. | LINS, Rafael Dueire ; Camelo, Hermes de Andrade Lima ; Cruz, Maria Lencastre Pinheiro de Menezes e ; Rocha, Cynthia Baerlocher ; França Neto, Leopoldo Rodrigues ; Cruz Neto, Genésio Gomes da . Vestibular Fácil 1996. 1996. |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | LINS, Rafael Dueire; Oliveira, Hélio Magalhães de; B.R.C.Bedregal. Participação em banca de Jinnett Pamela Carrión Cassierra. Implementação de um Sistema Esteganográfico para Inserção de Textos em Sinais de Áudio. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco. |
| 2. | LINS, Rafael Dueire; Alencar, Fernanda Maria Ribeiro de; Salgueiro, Ricardo José Paiva de Britto. Participação em banca de Leonardo Batista de Queiroz. Simulador para Servidor Habilitador de localização em Plataforma LBS. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco. |
| 3. | LINS, Rafael Dueire; Oliveira, Hélio Magalhães de; Bortolozzi, Flávio. Participação em banca de Bruno Tenório Ávila. Algoritmos e Arquiteturas para Processamento de Documentos Digitalizados Monocromáticos. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco. |
| 4. | LINS, Rafael Dueire; Rocha Jr, Valdemar Cardoso da; Alencar, Marcelo Sampaio de; Bernardino Júnior, F. M.. Participação em banca de Victor Vermehren Valenzuela. Proposta de um Esquema de Codificação de Vídeo a Baixas Taxas de Transmissão para Comunicações Móveis Celulares. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco. |
| Teses de doutorado |
| 1. | LINS, Rafael Dueire; Ierusalinsky, Roberto; Amorim, Claúdio; Costa, Victor dos Santos. Participação em banca de Anderson Faustino da Silva. Projeto e Implementação do Compilador YAPc. 2006. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro. |
| 2. | LINS, Rafael Dueire; Rocha Jr, Valdemar Cardoso da; Alencar, Marcelo Sampaio de; Pimentel, Cecílio José Lins; Assis, Francisco Marcos de. Participação em banca de Danielle Paes Barreto de Arruda Camara. Substituição Homofônica: Aspectos Teóricos e Práticos. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | LINS, Rafael Dueire. Concurso Público para Professor Auxíliar. 2009. Instituto Tecnológico de Aeronáutica. |
Eventos
| Participação em eventos |
| 1. | SBLP 2006.SBLP 2006 - Simpósio Brasileiro de Linguagens de Programação. 2006. (Simpósio). |
| Organização de eventos |
| 1. | Lins, Rafael Dueire . ITS 2010 - International Telecommunications Symposium. 2010. (Congresso). |
| 2. | Lins, Rafael Dueire . ACM-SAC Track on Document Engineering 2011. 2010. (Congresso). |
| 3. | LINS, Rafael Dueire . ACM-SAC Track on Document Engineering 2008. 2008. (Congresso). |
| 4. | LINS, Rafael Dueire . ACM-SAC Track on Document Engineering 2007. 2007. (Congresso). |
| 5. | LINS, Rafael Dueire ; Rocha Jr, Valdemar Cardoso da . SBrT 2007 - Simpósio Brasileiro de Telecomunicações. 2007. (Congresso). |
| 6. | LINS, Rafael Dueire . ACM-SAC Track on Document Engineering 2006. 2006. (Congresso). |
| 7. | LINS, Rafael Dueire . ACM-SAC track on Document Engineering 2005. 2005. (Congresso). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | Eduardo Nascimento Arruda. a ser definido. Início: 2010. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco. (Orientador). |
| 2. | Thiago Batista de Oliveira. a ser definido. Início: 2010. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco. (Orientador). |
| Tese de doutorado |
| 1. | Arthur Barreto de Rangel Moreira Cavalcanti. a ser definido. Início: 2010. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador). |
| 2. | Daniel Marques de Oliveira. a ser definido. Início: 2009. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco. (Orientador). |
| 3. |  Jucimar Maia da Silva Júnior. a ser definido.
Início: 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco. (Orientador). |
| 4. | Neide Ferreira Alves. a ser definido.
Início: 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco. (Orientador). |
| 5. | Ricardo da Silva Barbosa. a ser definido. Início: 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco. (Orientador). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | Ednardo Jerônimo Cavalcante Mariano. Um Novo Algoritmo para Remoção de Bordas Ruidosas em Documentos Monocromáticos.
2012.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 2. | Alessandra Bárbara Santos de Almeida. Pré-processamento de Imagens na Plataforma Thanatós.
2011.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 3. | José Mario Alexandre Melo de Oliveira. Análise e Otimização de Roteamento em Backbones OSPF Utilizando MPLS-TE.
2011.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 4. | Paulo Hugo Espírito Santo Lima. Academus - Uma Plataforma para a Geração de Bibliotecas Digitais de Teses e Dissertações.
2011.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 5. | Eurico Moura Bezerra Sobral. Implementação de uma Rede de Sensores de presença Utilizando o Dispositivo Texas EZ430-RF2500.
2010.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 6. | Arthur Barreto de Rangel Moreira Cavalcanti. Uma Análise da Interferência entre Redes 802.11G.
2009.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 7. | Daniel Marques Oliveira. Tableau: Um ambiente para processamento de imagens de quadros didáticos.
2009.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 8. | Marcelo Felipe Maia Hor-Meyll Álvares. Demultiplexação Automática de Vídeo Assíncrono.
2009.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 9. | Brenno José Luna Miro. Análise de Erros de Transcrição em Documentos Fotografados. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 10. | Dirceu Leite Cavalcante. Uma Análise Comparativa dos Codificadores/Decodificadores de Voz para Comunicações Digitais.
2009.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 11. | Gabriel de França Pereira e Silva. PhotoDoc - Um Ambiente para Processamento de Imagens de Documentos Adquiridas por Câmeras Digitais Portáteis.
2009.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 12. | Marcos Antonio Alves Gondim. Análise do Tráfego de Voz em Redes MPLS.
2009.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 13. | Leandro Cabral de Figueiredo. Uma Análise da QoS na Transmissão em redes 802.11g sob a Presença de Interferência Bluetooth.
2008.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 14. | Rafael Santos de Souza. Um Novo Modelo de Propagação em redes WiFi.
2008.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 15. | Douglas Contente Pimentel Barbosa. Análise de Sistemas de Telefonia IP em redes Par-a-Par Sobrepostas.
2008.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 16. | Andrei de Araújo Formiga. Contagem de Referências Cíclicas em Sistemas Multiprocessados.
2006.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 17. | André Ricardson Gomes e Silva. Análise e Melhoria da Qualidade de Documentos Fotografados.
2006.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 18. | Bruno Tenório Ávila. Algoritmos e Arquiteturas para Processamento de Documentos Digitalizados Monocromáticos.
2006.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 19. | João Marcelo Monte da Silva. Um Novo Algoritmo Baseado em Entropia para Filtragem da Interferência Frente/Verso.
2005. 90 f.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 20. | Charlana Marjory de Sá Rodrigues. Uma Analise Comparativa de Formatos para Transmissão de Imagens Estáticas via Redes de Computadores. 2005. 200 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 21. | Alexandre Augusto Guedes Guimarães. Proposta de Modelo de Segurança para VPNs na Interligação de Redes Corporativas. 2004. 200 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 22. | Laura Jane Takahashi Monteiro. Uma Arquitetura de Integração de Metadados Governamentais - Abordagem baseada em CWM. 2004. 180 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 23. | Luciana Souza Silva. Um Ambiente Telemático para Mediar a Investigação em Grupos com Uso de Mapas Conceituais. 2004. 190 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 24. | Albanir Silva de França. Um Algoritmo para Gerenciamento Consistente de Páginas Web.
2004. 185 f.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 25. | Jorge Abílio Abi Nader Neto. Divulgação do Orçamento Público via Web Services em JAVA. 2004. 300 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 26. | João Guilherme de Moraes Silva. Aplicações VoIP Utilizando o Teleporto da Rede Metropolitana da Prefeitura Municipal de Manaus. 2004. 190 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 27. | Neide Ferreira Alves. Estratégias para a Melhoria de OCRs.
2003. 0 f.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 28. | Jucimar Maia da Silva Júnior. Uma Aplicação de Voz sobre IP baseada no Session Inicialization Protocol.
2003. 0 f.
Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 29. | Ricardo da Silva Barboza. Análise de Códigos Detectores de Erros Utilizados na Camada de Transporte. 2003. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 30. | Vivian Lane Souto Pereira. Um ambiente para o apoio ao método JIGSAW de Aprendizagem Cooperativa. 2003. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 31. | Carla Oran Fonseca de Souza. Desenvolvimento de Aplicações ETL como uma Proposta para Redução de Custos em Data Warehouse. 2003. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 32. | Áurea Hiléia da Silva Melo. Uma Estratégia com Interação Híbrida para a Criação de Data Warehouse Geográfico Aplicada ao Monitoramento de Queimadas na Amazônia. 2003. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 33. | Nívea Menezes de Oliveira. Web Services e J2EE: Uma solução para a integração de sistemas em ambientes heterogêneos. 2003. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 34. | José Airton Salzano Filho. Algoritmos para Contagem de Referências Cíclicas.
2002. 0 f.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 35. | Domingos Sávio Alcântara Machado. Aspectos do Desempenho de Algoritmos de Compressão de Imagens.
2001. 0 f.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 36. | Francisco Heron de Carvalho Junior. Haskell#.
2000.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 37. | Pedro de Alcântara Santos Neto. Segurança Em Java.
1999.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 38. | Leopoldo Rodrigues França Neto. Nabuco - Um Ambiente Para Processamento de Documentos Históricos.
1998.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 39. | Hermes de Andrade Lima Camelo. Ambientes de Tradução Inglês-Português e Ferramentas Auxiliares.
1997.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 40. | CARLOS ALEXANDRE BARROS DE MELLO. Um Ambiente Para Compressao de Grandes Acervos de Imagens Estaticas.
1996.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 41. | RAIMUNDO SANTOS MOURA. Sos: Um Sistema Orto-Sintatico Para A Lingua Portuguesa.
1996.
Dissertação - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 42. | FRANCISCO VIEIRA DE SOUZA. Gerenciamento de Memoria Em Tcmc.
1994.
Dissertação - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 43. | LUCIANO GALDINO ROSA. Nabuco: Uma Base de Dados Para Documentos Historicos. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 44. | Ricardo Massa Ferreira Lima. Implementando e Otimizando Tcmc: Parte II.
1994.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 45. | GENESIO GOMES DA CRUZ NETO. Implementando e Otimizando Tcmc: Parte I.
1994.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 46. | MARTIN ALEJANDRO MUSICANTE. Reducao de Grafos Para Multi-Combinadores Categoricos Usando Gmc.
1990.
Dissertação - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 47. | Patrícia Gomes Soares. Analisando o Desempenho da Máquina G. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| Tese de doutorado |
| 1. | Andrei de Araújo Formiga.
Algoritmos para Contagem de Referências Cíclicas em Sistemas Multiprocessados.
2011. Tese
(Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 2. | Giorgia de Oliveira Mattos.
Aspectos de Desempenho da Computação Paralela em Clusters e Grids para o Processamento de Imagens.
2008. Tese
(Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 3. | Francisco Heron de Carvalho Junior.
Um ambiente para programação paralela eficiente.
2003. 0 f. Tese
(Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| 4. | Carlos Alexandre Barros de Mello.
Segmentação e Compressão por Síntese de Documentos Históricos.
2002. 0 f. Tese
(Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 5. | Ricardo Massa Ferreira Lima.
Haskell Uma Linguagem Funcional Paralela - Ambiente de Programação, Implementação e Otimizações..
2000. 0 f. Tese
(Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 6. | Francisco Vieira de Souza.
Aspectos de Eficiência em Algoritmos para o Gerênciamento Automático Dinâmico de Memória.
2000. 0 f. Tese
(Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Dueire Lins. |
| 7. | MARCILIA ANDRADE CAMPOS.
Uma Extensao Intervalar Para A Probabilidade Real..
1997. Tese
(Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Rafael Dueire Lins. |
| Iniciação Científica |
| 1. | Lamberto Augusto de Oliveira Neto. Processamento de Documentos. 2006. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
| 2. | Ismael Gomes Netto. Processamento da Interferência frente-Verso. 2006. Iniciação Científica. (Graduando em Engenharia Elétrica - Opção Eletrônica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Dueire Lins. |
Outras informações relevantes
Web page: http://sites.google.com/site/rafaeldueirelins/.
|
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 2:13:55 |