Rede de Colaboração
Diretório de grupos de pesquisa

Ruy José Guerra Barretto de Queiroz

possui graduação em Eng. Eletrônica pela Universidade de Pernambuco (1980), mestrado em Informática pela Univ Federal de Pernambuco (1984) e PhD pelo Imperial Coll, Univ of London (1990). Atualmente é Co-Editor-in-Chief de revista científica - Logic Journal of the IGPL (Oxford Univ Press), membro do corpo editorial do "International Directory of Logicians", e professor associado da Univ Federal de Pernambuco. De 2006 a 2008 foi membro eleito do Council da Association for Symbolic Logic. Criou em 1994 (e mantém desde então) a série WoLLIC (wollic.org) de encontros científicos em lógica pura e aplicada. Em 2006 foi premiado com uma cátedra de "Edward Larocque Tinker Visiting Professor" - Dept Philosophy, Stanford Univ, por indicação de Solomon Feferman e Grigori Mints. Integrou o "advisory group" do "Nominating Committee" para o "Rolf Schock Prize in Logic and Philosophy for 2011" concedido pela Royal Swedish Academy of Sciences, tal qual ocorreu em 2008. Atua na área de Ciência da Computação, com ênfase em teoria da computação, atuando principalmente em temas relacionados a: teoria da prova, teoria da computação, lógica matemática, teoria de modelos, e fundamentos da segurança computacional. É Associate Editor do Journal of Computer and System Sciences. Mantém dois blogs: http://ciberdominiopublico.blogspot.com e http://osventosdaliberdade.blogspot.com
(Texto informado pelo autor)

Última atualização do currículo em 13/03/2010
Endereço para acessar este CV:
http://lattes.cnpq.br/1825502153580661
Dados pessoais
NomeRuy José Guerra Barretto de Queiroz
Nome em citações bibliográficasde QUEIROZ, R. J. G. B.;de Queiroz, Ruy J. G. B.; de Queiroz, Ruy
SexoMasculino
Endereço profissionalUniversidade Federal de Pernambuco, Centro de Informática.
CIn/UFPE, Av Prof Luis Freire, s.n.
Cidade Universitaria
50740-540 - Recife, PE - Brasil - Caixa-Postal: 7851
Telefone: (081) 21268430 Ramal: 4309 Fax: (081) 21268438
URL da Homepage: http://www.cin.ufpe.br/~ruy

Formação acadêmica/Titulação
1990 - 1993Pós-Doutorado .
University of London, UL, Inglaterra.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
1984 - 1990Doutorado em Doutorado em Computação .
Imperial College of Science, Technology and Medicine.
Título: Proof Theory and Computer Programming. The Logical Foundations of Computation, Ano de Obtenção: 1990.
Orientador: Thomas Stewart Edward Maibaum.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
1982 - 1984Mestrado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: UMA METODOLOGIA DE PROGRAMACAO PARA IMPLEMENTACAO DE PROTOCOLOS., Ano de Obtenção: 1984.
Orientador: PAULO ROBERTO FREIRE CUNHA.
Palavras-chave: Meaning; Normalisation; Programacao; Proofs; Protocolos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
1976 - 1980Graduação em Engenharia Eletrica - Modalidade Eletronica .
Universidade de Pernambuco, UPE, Brasil.

Atuação profissional
Oxford University Press, OUP, Inglaterra.
Vínculo institucional
1997 - Atual Vínculo: Sem vínculo empregatício, Enquadramento Funcional: Co-Editor-in-Chief de Revista Científica, Carga horária: 6
Outras informações Co-Editor-in-Chief do "Logic Journal of the Interest Group in Pure and Applied Logics", revista científica em lógica pura e aplicada, com versão impressa e versão eletrônica ambas distribuídas internacionalmente pela Oxford University Press.
Atividades
01/1989 - AtualServiços técnicos especializados .
Serviço realizado
.
Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional
1993 - Atual Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
02/1993 - AtualPesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.
Linhas de pesquisa
Lógica Matemática, Teoria da Computação, e Fundamentos da Segurança Computacional
02/1993 - AtualEnsino, Nível: Graduação.
Disciplinas ministradas
Algoritmos e Estruturas de Dados
Álgebra Aplicada a Computação
Lógica Aplicada a Computação
02/1993 - AtualEnsino, Ciências da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Algoritmos I
Teoria da Prova
Teoria dos Modelos
Computabilidade e Lógica
Lógica Matemática
- AtualDireção e administração, Centro de Ciências Exatas e da Natureza, Departamento de Informática.
Cargo ou função
.
02/1980 - 08/1984Estágios .
Estágio realizado
SUPORTE TECNICO E ALOCACAO DE RECURSOS A COMUNIDADE ACADEMICA.
Stanford University, SU, Estados Unidos.
Vínculo institucional
2006 - 2006 Vínculo: Professor Visitante, Enquadramento Funcional: Edward Larocque Tinker Visiting Professor, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Posicao resultante da premiacao pela Tinker Foundation, por indicacao de Solomon Feferman e Grigori Mints, da catedra de Edward Larocque Tinker Visiting Professor, lotado no Department of Philosophy. Ensino: Set theory: http://www.cin.ufpe.br/~ruy/161/ Recursion theory B: http://www.cin.ufpe.br/~ruy/351B/ (em continuacao a "Recursion theory A", Solomon Feferman)
Vínculo institucional
2006 - 2006 Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Scholar, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Visiting Scholar, no Department of Philosophy, Stanford University, por indicacao de Solomon Feferman e Grigori Mints.
Atividades
07/2006 - 11/2006Pesquisa e desenvolvimento , Department of Philosophy, .
Linhas de pesquisa
Teoria da Prova, Deducao Rotulada, e Teoria do Significado
07/2006 - 07/2006Outras atividades técnico-científicas , Center for the Study of Language and Information, .
Atividade realizada
Organizacao de Evento Cientifico.
04/2006 - 06/2006Ensino, Recursion theory, Nível: Pós-Graduação.
Disciplinas ministradas
Recursion theory B
01/2006 - 04/2006Ensino, BA in Philosophy, Nível: Graduação.
Disciplinas ministradas
Set theory
University of London, UL, Inglaterra.
Vínculo institucional
1989 - 1993 Vínculo: , Enquadramento Funcional: ASSISTENTE DE PESQUISA
Outras informações Projetos MEDLAR I, e MEDLAR II, financiados pelos programas ESPRIT
Vínculo institucional
1988 - 1989 Vínculo: , Enquadramento Funcional: ASSISTENTE DE PESQUISA
Outras informações Projeto GENESIS, financiado pelo programa ESPRIT
Atividades
01/1990 - 02/1993Pesquisa e desenvolvimento , Imperial College London, .
Linhas de pesquisa
Teoria da Prova e os Fundamentos Logicos da Computacao
02/1988 - 11/1989Pesquisa e desenvolvimento , Imperial College London, .
Linhas de pesquisa
PROJETO GENESIS ESPRIT 1222 (1041), COMUNID. ECON. EUROPEIA

Linhas de Pesquisa
1. Lógica Matemática, Teoria da Computação, e Fundamentos da Segurança Computacional
Objetivos: Uma dicotomia em teoria da computacao esta' bastante evidenciada na divisao do "Handbook of Theoretical Computer Science", publicado em 1994 pela Elsevier. O Volume A discute algoritmos e complexidade, enquanto que o Volume B trata de modelos formais e semantica. Um dos objetivos de um projeto recente do "Center for Discrete Mathematics and Theoretical Computer Science" (DIMACS), Rutgers University,com o chamado "Special Year on Logic and Algorithms", foi o de tentar aproximar as duas sub-areas, procurando focalizar nas principais areas fronteiricas,a saber: "Computer-Aided Verification", "Finite Model Theory", e "Proof Complexity". Atuamos nas areas fronteiricas entre "Teoria A" e "Teoria B", em particular: Fundamentos Lógicos da Teoria da Complexidade, Complexidade Descritiva e Teoria de Modelos Finitos, Complexidade Algébrica, Complexidade de Sistemas Dedutivos. .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Setores de atividade: Informática.
Palavras-chave: Teoria da Computacao; Logica Matematica; Teoria da Prova; Teoria de Modelos.
2. PROJETO GENESIS ESPRIT 1222 (1041), COMUNID. ECON. EUROPEIA
3. Teoria da Prova e os Fundamentos Logicos da Computacao

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Setores de atividade: Informática.
Palavras-chave: Deducao Natural; Igualdade Proposicional; Interpretacao de Curry-Howard; Lambda-Calculo; Teoria da Prova; Teoria de Tipos.
4. Teoria da Prova, Deducao Rotulada, e Teoria do Significado

Membro de corpo editorial
1993 - Atual Periódico: Logic Journal of the IGPL
2009 - Atual Periódico: Journal of Computer and System Sciences

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
2. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
3. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.

Idiomas
Alemão Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Inglês Fala Bem, Lê Bem, Escreve Bem.
Esperanto Fala Bem, Lê Bem, Escreve Bem.
Espanhol Fala Bem, Lê Bem, Escreve Pouco.
Francês Fala Bem, Lê Bem, Escreve Bem.
Italiano Fala Bem, Lê Bem, Escreve Pouco.
Holandês Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Prêmios e títulos
2009Paraninfo, Bachalerandos em Ciência da Computação do Centro de Informática da UFPE 2009.1.
2009Professor Homenageado, Bachalerandos em Ciência da Computação do Centro de Informática da UFPE 2008.2.
2009Professor Homenageado, Bachalerandos em Ciência da Computação do Centro de Informática da UFPE 2009.1.
2008Professor Homenageado, Formandos em Ciência da Computação do Centro de Informática da UFPE, 2008.1.
2007Paraninfo, Formandos em Ciência da Computação do Centro de Informática da UFPE, 2007.1.
2007Professor Homenageado, Formandos em Ciência da Computação do Centro de Informática da UFPE, 2007.2.
2006Elected Member of Council, Association for Symbolic Logic.
2006Professor Homenageado, Formandos em Ciência da Computação do Centro de Informática da UFPE, 2006.1.
2005Edward Larocque Tinker Visiting Professorship, Leland Stanford Jr University / Tinker Foundation Incorporated.
2005Professor Homenageado, Formandos em Ciência da Computação do Centro de Informática da UFPE, 2005.1.
1998Professor Homenageado, Formandos em Ciência da Computação do Centro de Informática da UFPE, 1998.1.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   de QUEIROZ, R. J. G. B. . On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics. Studia Logica, v. 90, p. 211-247, 2008.
2. BENATTI, H. G. ; de QUEIROZ, R. J. G. B. . On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs. Bulletin of the Section of Logic, v. 35, p. 195-214, 2006.
3. Pontual, M. B. C. R. A. ; Feitosa, D. ; Vanderlei, I. M. ; Valadares, F. de A. M. ; de QUEIROZ, R. J. G. B. ; Barros, R. S. M. ; Winsborough, W. H. . A framework for private statistics between two participants. Scientia (Unisinos), v. 17, p. 58-66, 2006.
4. LEWITZKA, S. ; de QUEIROZ, R. J. G. B. . On Dividing Chains in Simple Theories. Archive for Mathematical Logic, Bonn, Alemanha, v. 44, n. 7, p. 897-911, 2005.
5. BENATTI, H. G. ; de QUEIROZ, R. J. G. B. . Descriptive Complexity of Modularity Problems on Graphs. Bulletin of the Section of Logic, Lodz, Polônia, v. 34, n. 2, p. 61-76, 2005.
6. de QUEIROZ, R. J. G. B. . Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. Logic Journal of the IGPL, Oxford, Inglaterra, v. 9, n. 5, p. 693-734, 2001.
7. de Oliveira, A. G. ; de QUEIROZ, R. J. G. B. . A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction. Logic Journal of the IGPL, Oxford, Inglaterra, v. 7, n. 2, p. 173-215, 1999.
8. de QUEIROZ, R. J. G. B. ; GABBAY, D. . The Functional Interpretation Of The Existential Quantifier. Logic Journal of the IGPL, SAARBRUECKEN, ALEMANHA, v. 3, n. 2-3, p. 243-290, 1995.
9. de QUEIROZ, R. J. G. B. . Normalisation And Language-Games. Dialectica (Bern), SUICA, v. 48, n. 2, p. 83-123, 1994.
10.   Gabbay, Dov M. ; de QUEIROZ, R. J. G. B. . Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. Journal of Symbolic Logic, ESTADOS UNIDOS DA AMERICA, v. 57, n. 4, p. 1319, 1992.
11. de QUEIROZ, R. J. G. B. ; MAIBAUM, T. S. E. . Abstract Data Types And Type Theory: Theories As Types. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, ALEMANHA, v. 37, p. 149-166, 1991.
12. de QUEIROZ, R. J. G. B. . Meaning As Grammar Plus Consequences. Dialectica (Bern), SUICA, v. 45, n. 1, p. 83-86, 1991.
13. de QUEIROZ, R. J. G. B. ; MAIBAUM, T. S. E. . Proof Theory And Computer Programming. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, ALEMANHA, v. 36, p. 389-414, 1990.
14. de QUEIROZ, R. J. G. B. . A Proof-Theoretic Account Of Programming And The Role Of Reduction Rules.. Dialectica (Bern), v. 42, n. 4, p. 265-282, 1988.
15. de QUEIROZ, R. J. G. B. ; CUNHA, P. R. F. . Uma Analise da Programacao Como Uma Atividade de Expressao do Raciocinio. RBC. Revista Brasileira de Computação, v. 4, n. 3, p. 141-164, 1985.
16. de QUEIROZ, R. J. G. B. ; CUNHA, P. R. F. . Um Modelo de Programacao para Implementacao de Protocolos. RBC. Revista Brasileira de Computação, v. 4, n. 1, p. 37-65, 1984.
Livros publicados/organizados ou edições
1. Leivant, D. (Org.) ; de Queiroz, Ruy J. G. B. (Org.) . Logic, Language, Information and Computation - WoLLIC'07. 1. ed. Amsterdam: Elsevier, 2010. v. 1. 604 p.
2. Ono, H. (Org.) ; Kanazawa, M. (Org.) ; de Queiroz, Ruy J. G. B. (Org.) . Logic, Language, Information and Computation - 16th International Workshop, WoLLIC 2009. 1. ed. Berlin: Springer Verlag, 2009. v. 1. 407 p.
3. Mints, G. (Org.) ; de Paiva, V. (Org.) ; de Queiroz, Ruy J. G. B. (Org.) . Logic, Language, Information and Computation. 1. ed. Amsterdam: Elsevier, 2009. v. 1. 126 p.
4. de QUEIROZ, R. J. G. B. (Org.) ; MACINTYRE, A. (Org.) . 12th Workshop on Logic, Language, Information and Computation - Special issue of Annals of Pure and Applied Logic. 1. ed. Dordrecht: Elsevier, 2008. v. 1. 180 p.
5. HODGES, W. (Org.) ; de QUEIROZ, R. J. G. B. (Org.) . Logic, Language, Information and Computation - 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008. 1. ed. Berlin: Springer Verlag, 2008. v. 1. 312 p.
6. Leivant, D. (Org.) ; de QUEIROZ, R. J. G. B. (Org.) . Logic, Language Information and Computation: 14th International Workshop, WoLLIC 2007. 1. ed. Berlin: Springer, 2007. v. 1. 363 p.
7. de QUEIROZ, R. J. G. B. (Org.) ; MACINTYRE, A. (Org.) ; BITTENCOURT, G. (Org.) . Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC'2005). 1. ed. Amsterdam: Elsevier Science Publishers, 2006. v. 1. 221 p.
8. de QUEIROZ, R. J. G. B. (Org.) ; KOZEN, D. (Org.) . Theoretical Computer Science - WoLLIC 2003 Special Issue. 1. ed. Amsterdam: Elsevier Science Publishers, 2006. v. 1. 155 p.
9. de QUEIROZ, R. J. G. B. (Org.) ; CEGIELSKI, P. (Org.) . Theoretical Computer Science - Special Issue on "Logic, Language, Information and Computation". 1. ed. Amsterdam: Elsevier Science Publishers, 2006. v. 1. 123 p.
10. Mints, G. (Org.) ; de QUEIROZ, R. J. G. B. (Org.) . Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006). 1. ed. Amsterdam: Elsevier Science Publishers, 2006. v. 1. 200 p.
11. de QUEIROZ, R. J. G. B. (Org.) ; CEGIELSKI, P. (Org.) . Proceedings of the 11th Workshop on Logic, Language, Information and Computation. 1. ed. Amsterdam: Elsevier Science Publishers, 2005. v. 1. 240 p.
12. de QUEIROZ, R. J. G. B. (Org.) ; Poizat, B. (Org.) ; ARTEMOV, S. (Org.) . Annals of Pure and Applied Logic - WoLLIC 2002 Special Issue. 1. ed. Amsterdam, Holanda: Elsevier B.V., 2005. v. 1. 93 p.
13. de QUEIROZ, R. J. G. B. (Org.) . Logic for Concurrency and Synchronisation. 1. ed. Dordrecht, Holanda: Kluwer Academic Publishers, 2003. v. 1. 305 p.
14. BALDWIN, J. T. (Org.) ; de QUEIROZ, R. J. G. B. (Org.) ; E. Hermann Haeusler (Org.) . 8th Workshop on Logic, Language, Information and Computation. 1. ed. Rio de Janeiro: Socidade Brasileira de Matemática, 2003. v. 1. 183 p.
15. de QUEIROZ, R. J. G. B. (Org.) ; PIMENTEL, E. (Org.) ; FIGUEIREDO, L. (Org.) . WoLLIC 2003, 10th Workshop on Logic, Language, Information and Computation. 1. ed. Dordrecht: Elsevier Science Publishers, 2003. v. 1. 250 p.
16. de QUEIROZ, R. J. G. B. (Org.) . WoLLIC 2002 9th Workhop on Logic, Language, Information and Computation. 1. ed. Dordrecht: Elsevier Science Pub., 2002. v. 1. 250 p.
17. MANZANO, M. ; de QUEIROZ, R. J. G. B. . Model Theory. 1. ed. Oxford: Oxford University Press, 1999. 257 p.
Capítulos de livros publicados
1. Pontual, M. B. C. R. A. ; de QUEIROZ, R. J. G. B. ; Lins Neto, J. H. . Segurança em Sites desenvolvidos na linguagem PHP. In: Cesar A. C. Teixeira; Clever Ricardo G. de Farias; Jair C. Leite; Raquel O. Prates. (Org.). Tópicos em Sistemas Interativos e Colaborativos. 1 ed. São Carlos: Editora da UFSCar, 2006, v. , p. 213-249.
2. de Oliveira, A. G. ; de QUEIROZ, R. J. G. B. . A New Basic Set of Proof Transformations. In: S. Artemov; H. Barringer; A. Garcez; L. Lamb; J. Woods. (Org.). We Will Show Them: Essays in Honour of Dov Gabbay. Londres: College Publications, 2005, v. 2, p. 499-528.
3. de Oliveira, A. G. ; de QUEIROZ, R. J. G. B. . Geometry of Deduction via Graphs of Proofs. In: Ruy J.G.B. de Queiroz. (Org.). Logic for Concurrency and Synchronisation. 1 ed. Dordrecht, Holanda: Kluwer Academic Publishers, 2003, v. 1, p. 3-88.
4.   de QUEIROZ, R. J. G. B. ; GABBAY, D. M. . Labelled Natural Deduction. In: H.J. Ohlbach ; U. Reyle. (Org.). LOGIC, LANGUAGE AND REASONING: ESSAYS IN HONOR OF DOV GABBAY'S 50TH ANNIVERSARY. 1 ed. Dordrecht: KLUWER ACADEMIC PUBLISHERS, 1999, v. , p. 173-250.
5. de QUEIROZ, R. J. G. B. ; GABBAY, D. M. . The Functional Interpretation Of Modal Necessity. In: Maarten de Rijke. (Org.). ADVANCES IN INTENSIONAL LOGIC. 1 ed. Dordrecht: KLUWER ACADEMIC PUBLISHERS, 1997, v. , p. 61-91.
Textos em jornais de notícias/revistas
1. de Queiroz, Ruy J. G. B. . Centro de Estudos de Internet e Sociedade. Jornal do Commercio (Online), Recife, 20 abr. 2009.
2. de Queiroz, Ruy J. G. B. . Economia do Link. Gazeta Mercantil, São Paulo, 14 abr. 2009.
3. de Queiroz, Ruy J. G. B. . Propriedade Intelectual Digital e o Conceito de Uso Razoável. Jornal do Commercio (Online), Recife, 13 abr. 2009.
4. de Queiroz, Ruy J. G. B. . Anonimidade, Liberdade de Expressão e Responsabilidade. Jornal do Commercio (Online), Recife, 06 abr. 2009.
5. de Queiroz, Ruy J. G. B. . Cidadão versus Grande Corporação: O Caso Comcast e Topolski. Canal GNT (Globosat), Rio de Janeiro, 06 abr. 2009.
6. de Queiroz, Ruy J. G. B. . Jornais e Jornalismo na Era do Tempo Real. Jornal do Commercio (Online), Recife, 30 mar. 2009.
7. de Queiroz, Ruy J. G. B. . Forjando a Interação entre Conhecimento e Empreendimento. Gazeta Mercantil, São Paulo, 30 mar. 2009.
8. de Queiroz, Ruy J. G. B. . O Sistema Nervoso Social. Jornal do Commercio (Online), Recife, 23 mar. 2009.
9. de Queiroz, Ruy J. G. B. . Valores Morais no Ciberespaço. Jornal do Commercio (Online), Recife, 16 mar. 2009.
10. de Queiroz, Ruy J. G. B. . Responsabilidade com a Privacidade do Consumidor é Bom Negócio. Gazeta Mercantil, São Paulo, 14 mar. 2009.
11. de Queiroz, Ruy J. G. B. . Código e Poder na Sociedade da Informação. Jornal do Commercio (Online), Recife, 09 mar. 2009.
12. de Queiroz, Ruy J. G. B. . Investimento, Bolha e Confiança. Gazeta Mercantil, São Paulo, 09 mar. 2009.
13. de Queiroz, Ruy J. G. B. . Abertura e Transparência, com Proteção à Privacidade. Jornal do Commercio (Online), Recife, 02 mar. 2009.
14. de Queiroz, Ruy J. G. B. . Anjos da Inovação e o Tempo Real. Gazeta Mercantil, São Paulo, 25 fev. 2009.
15. de Queiroz, Ruy J. G. B. . Prontuários Cibernéticos e o Dilema entre Privacidade e Saúde. Jornal do Commercio Online, Recife, 23 fev. 2009.
16. de Queiroz, Ruy J. G. B. . Otimismo e o Capital de Aventura. Jornal do Commercio, Recife, 17 fev. 2009.
17. de Queiroz, Ruy J. G. B. . Biblioteca Universal Digital: Um Sonho Iluminista. Jornal do Commercio Online, Recife, 16 fev. 2009.
18. de Queiroz, Ruy J. G. B. . A Libertária Björk e o Capital de Aventura. Diário de Pernambuco, Recife, 14 fev. 2009.
19. de Queiroz, Ruy J. G. B. . Infraestrutura para Inovação: Bandalargando a Economia. Gazeta Mercantil, São Paulo, 13 fev. 2009.
20. de Queiroz, Ruy J. G. B. . Dia da Consciência da Privacidade de Dados. Jornal do Commercio Online, Recife, 10 fev. 2009.
21. de Queiroz, Ruy J. G. B. . O Twitter e a Notícia em Primeira Mão. O Globo Online, Rio de Janeiro, 03 fev. 2009.
22. de Queiroz, Ruy J. G. B. . Privacidade da Leitura. Diário de Pernambuco, Recife, 12 jan. 2009.
23. de Queiroz, Ruy J. G. B. . Dia do Domínio Público. O Globo, Rio de Janeiro, 05 jan. 2009.
24. de Queiroz, Ruy J. G. B. . Por uma 'Magna Carta' cibernética. O Globo, Rio de Janeiro, 17 dez. 2008.
25. de Queiroz, Ruy J. G. B. . O dilema generativo. Diário de Pernambuco, Recife, 09 dez. 2008.
26. de Queiroz, Ruy J. G. B. . Democracia cibernética. O Globo, Rio de Janeiro, 18 nov. 2008.
27. de Queiroz, Ruy J. G. B. . Academia, empreendimento, e inovação tecnológica. Diário de Pernambuco, Recife, 30 out. 2008.
28. de QUEIROZ, R. J. G. B. . Cibersegurança e O Domínio Público. Diário de Pernambuco, Recife, p. 19 - 19, 09 out. 2008.
29. de QUEIROZ, R. J. G. B. . Neutralidade da Rede. Diário de Pernambuco, Recife, 21 set. 2008.
30. de QUEIROZ, R. J. G. B. . A ciência como inspiração. O Globo Online, Rio de Janeiro, 02 set. 2008.
31. de QUEIROZ, R. J. G. B. . ROI é Rei: Anúncio Online. Folha de Pernambuco, Recife, 17 ago. 2008.
32. de QUEIROZ, R. J. G. B. . A economia da vulnerabilidade. O Globo Online, Rio de Janeiro, 28 jul. 2008.
33. de QUEIROZ, R. J. G. B. . Privacidade no Ciberespaço. Jornal do Commercio, 26 jun. 2008.
Trabalhos completos publicados em anais de congressos
1. ALVES, G. V. ; de Oliveira, A. G. ; de Queiroz, Ruy J. G. B. . Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. In: 16th Workshop on Logic, Language, Information and Computation - WoLLIC 2009, 2009, Tokyo. Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009. Berlin : Springer Verlag, 2009. v. 1. p. 84-98.
2. Ribeiro, L. A. D. S. ; de Queiroz, Ruy J. G. B. . Safe Reverse Auctions Protocol - Adding Treatment Against Collusive Shill Bidding and Sniping Attacks. In: International Conference on Security and Cryptography - SECRYPT 2009, 2009, Milão. Proceedings of SECRYPT 2009. Lisboa : Institute for Systems and Technologies of Information, Control and Communication Press, 2009. p. 239-244.
3. de QUEIROZ, R. J. G. B. ; Pontual, M. B. C. R. A. ; Lins Neto, J. H. . Segurança em Sites desenvolvidos na linguagem PHP. In: VII Simpósio sobre Fatores Humanos em Sistemas Computacionais, 2006, Natal, RN. Anais do VII Simpósio sobre Fatores Humanos em Sistemas Computacionais (IHC2006). Porto Alegre, RS : Sociedade Brasileira de Computacao, 2006. p. 1-40.
4. Pontual, M. B. C. R. A. ; Feitosa, D. ; Vanderlei, I. M. ; Valadares, F. de A. M. ; de QUEIROZ, R. J. G. B. ; Barros, R. S. M. . Um Framework para Computação Privada entre dois Participantes para Estatistica Descritiva. In: 8th International Symposium on System and Information Security, 2006, São José dos Campos. 8th International Symposium on System and Information Security - SSI 2006. São José dos Campos : Instituto Tecnológico de Aeronáutica, 2006. v. 1. p. 1-20.
5. Pontual, M. B. C. R. A. ; de QUEIROZ, R. J. G. B. ; Vanderlei, I. M. . Two-Party Secure Computation of Determinants, Eigenvalues, and Eigenvectors Using Computational Indistinguishability. In: I Jornada Científica da Unibratec, 2006, Recife. Anais da I Jornada Científica da Unibratec e do I Simpósio Brasileiro de Testes de Software. Recife : Unibratec, 2006. v. 1. p. 1-14.
6. Pontual, M. B. C. R. A. ; Vanderlei, I. M. ; de QUEIROZ, R. J. G. B. . Introdução à Computação Segura entre Múltiplos Participantes. In: Simpósio de Segurança em Informática - SSI'05, 2005, Sao José dos Campos. Anais do Simpósio de Segurança em Informática - SSI 2005. São José dos Campos : Instituto Tecnologico da Aeronautica, 2005. p. 1-40.
7. MARTINS, A. T. C. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Uma Introdução à Teoria da Prova. In: XXI Congresso da Sociedade Brasileira de Computação, 2001, Porto Alegre. I Jornada de Atualização em Inteligência Artificial. Porto Alegre : Sociedade Brasileira de Computação, 2001. v. 3. p. 89-139.
8. de Oliveira, A. G. ; de QUEIROZ, R. J. G. B. . Transformação entre Provas para a Dedução Natural Rotulada via Reescrita de Termos. In: IX Concurso de Teses e Dissertações, 1996, Recife. XXII Seminário Integrado de Software e Hardware. Porto Alegre : Sociedade Brasileira de Computação, 1996. v. 1. p. 527-535.
9. RICCIO, N. C. R. ; de QUEIROZ, R. J. G. B. . Labelled Abduction. In: BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE (SBIA'95), 1995, Campinas, SP. Lecture Notes in Artificial Intelligence - PROCEEDINGS OF THE BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE. Berlin : Springer, 1995. v. 991. p. 091-100.
10. de QUEIROZ, R. J. G. B. ; GABBAY, D. M. . Equality In Labelled Deductive Systems And The Functional Interpretation Of Propositional Equality. In: 9th Amsterdam Colloquium, 1994, Amsterdam. PROCEEDINGS OF THE 9TH AMSTERDAM COLLOQUIUM, P. Dekker and M. Stockhof (eds). AMSTERDAM : Institute for Logic, Language and Computation, Univ Amsterdam, 1994. p. 547-566.
11. GORENDER, S. ; de QUEIROZ, R. J. G. B. . A Labelled Deductive System For Natural Language. In: CONFERENCIA LATINO-AMERICANA DE INFORMATICA (CLEI'94), 1994. PROCEEDINGS OF CLEI '94. CIDADE DO MEXICO. p. 611-620.
12. GORENDER, S. ; de QUEIROZ, R. J. G. B. . Discourse Representation Using A Labelled Deductive System. In: BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE, 1994. PROCEEDINGS OF THE BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE. FORTALEZA, CEARA'. p. 243-255.
13. QLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Term Rewriting With Labelled Deductive Systems. In: BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE, 1994. PROCEEDINGS OF THE BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE. FORTALEZA, CEARA'. p. 425-439.
14. de QUEIROZ, R. J. G. B. . Meaning, Use, Consequences - Interconnected Concepts. In: Tecnologias da Informacao e Sociedade - Teorias, Usos, Impactos / Information Technology and Society - Theories, Uses, Impacts, 1992, Lisboa. Actas do Simpósio Internacional sobre Comunicação, Significação e Conhecimento face às Tecnologias da Informação. LISBOA - PORTUGAL : Assoc. Portuguesa para o Desenvolvimento das Comunicacoes (APDC) and Soc. Portuguesa de Filosofia, 1992. p. 151-166.
15. GABBAY, D. M. ; de QUEIROZ, R. J. G. B. . Extending the Curry-Howard-Tait Functional Interpretation to Relevance, Linear and Other Logics. In: SNS Logic Colloquium, March 1990, 1990, Tuebingen. Proceedings of the SNS Logic Colloquium, March 1990. Tuebingen, Alemanha : Universitaet Tuebingen, 1990. p. 58-87.
16. de QUEIROZ, R. J. G. B. . The Mathematical Language And Its Semantics: To Show The Consequences Of A Proposition Is To Give Its Meaning. In: THIRTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM, 1988, Kirchberg Am Wechsel. Thirteenth International Wittgenstein Symposium 1988 - Schriftenreihe der Wittgenstein-Gesellschaft. Vienna, AUSTRIA : Holder-Pichler-Tempsky, 1988. v. 18. p. 259-266.
17. de QUEIROZ, R. J. G. B. . Meaning As Use Type Theory And Theories Of Abstract Data Types Specification: Reduction Rules (Equations) Constituting The Semantics Of Use Of The Type. In: SIXTH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, 1988, Berlin. Abstracts of the SIXTH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES. BERLIN, WEST GERMANY, 1988. p. 0-0.
18. de QUEIROZ, R. J. G. B. ; CUNHA, P. R. F. . Composição de Camadas de Protocolos. In: II SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 1984, CAMPINA GRANDE, PB. ANAIS DO II SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES. CAMPINA GRANDE, PB, BRASIL : Sociedade Brasileira de Computação, 1984. p. 0-0.
19. de QUEIROZ, R. J. G. B. ; CUNHA, P. R. F. . Implementacao de Arquiteturas Hierarquicas de Protocolos. In: IV CONF INTERNACIONAL DE CIENCIAS DE LA COMPUTACION, 1984, Santiago, Chile. ANAIS DA IV CONF INTERNACIONAL DE CIENCIAS DE LA COMPUTACION. SANTIAGO, CHILE, 1984. p. 0-0.
20. de QUEIROZ, R. J. G. B. ; CUNHA, P. R. F. . Implementando Protocolos Atraves de Programas Abstratos. In: CONGRESSO NACIONAL DE INFORMATICA, 1984, Rio de Janeiro. ANAIS DO CONGRESSO NACIONAL DE INFORMATICA. RIO DE JANEIRO, RJ, BRASIL, 1984. p. 0-0.
Resumos expandidos publicados em anais de congressos
1. da Silva, E.F.L. ; BIANCONI, R. ; de QUEIROZ, R. J. G. B. . Polynomial Space Computable Arithmetic. In: XIV SLALM 14th Latin-American Symposium on Mathematical Logic, 2008, Paraty. Proceedings of CLE 30/ XV EBL / XIV SLALM. Campinas : Centre for Logic, Epistemology and the History of Science - UNICAMP, 2008. p. 1-6.
2. de QUEIROZ, R. J. G. B. . Note On Freges Notions Of Definition And The Relationship Proof Theory Vs. Recursion Theory. In: 8th International Congress on Logic, Methodology and Philosophy of Science, 1987, Moscou. ABSTRACTS OF THE 8TH INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE. MOSCOU, USSR, 1987. p. 0-0.
Resumos publicados em anais de congressos
1. de QUEIROZ, R. J. G. B. . Natural Deduction for Equality. In: Natural Deduction - Rio 2001, 2001, Rio de Janeiro. Natural Deduction - Rio 2001. Rio de Janeiro : Pontificia Univ Catolica do Rio de Janeiro, 2001.
2. de QUEIROZ, R. J. G. B. ; OLIVEIRA, A. G. . Soundness in Multiple-Conclusion Logic. In: Natural Deduction - Rio 2001, 2001, Rio de Janeiro. Natural Deduction - Rio 2001. Rio de Janeiro : Pontificia Universidade Catolica do Rio de Janeiro, 2001. p. 1-3.
3. OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . A New Basic Set Of Proof Transformations. In: LOGIC COLLOQUIUM '95, 1997. THE BULLETIN OF SYMBOLIC LOGIC. HAIFA, ISRAEL. v. 3. p. 124-126.
4. OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction. In: 2ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'95), 1996, Recife, PE. JOURNAL OF THE INTEREST GROUP IN PURE AND APPLIED LOGICS. Oxford, UK : Oxford University Press, 1996. v. 4. p. 330-332.
5. OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction. In: 2ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'95), 1996, Recife, PE. Journal of the Interest Group in Pure and Applied Logic. Saarbrücken, Alemanha : Max Planck Institute fuer Informatik, 1996. v. 4. p. 330-332.
6. DURAN, A. A. ; de QUEIROZ, R. J. G. B. . Games For Labelled Deduction. In: 10TH INTERNATIONAL CONGRESS FOR LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 1995. ABSTRACTS OF THE 10TH INTERNATIONAL CONGRESS FOR LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE. FLORENCA, ITALIA. p. 104-105.
7. de QUEIROZ, R. J. G. B. ; GABBAY, D. M. . The Functional Interpretation Of The Existential Quantifier. In: LOGIC COLLOQUIUM '91, 1993, Uppsala, Suecia. JOURNAL OF SYMBOLIC LOGIC. Poughkeepsie, NY : Association for Symbolic Logic, 1993. v. 58. p. 753-754.
8. de QUEIROZ, R. J. G. B. . Grundgesetze Alongside Begriffsschrift. In: FIFTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM, 1992, Kirchberg Am Wechsel. ABSTRACTS OF FIFTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM. KIRCHBERG AM WECHSEL, AUSTRIA : Austrian Ludwig Wittgenstein Society, 1992. p. 15-16.
9. de QUEIROZ, R. J. G. B. ; GABBAY, D. M. . Extending The Curry-Howard-Tait Intepretation To Linear,Relevant And Other Resource Logics. In: LOGIC COLLOQUIUM '90, 1991, Helsinki. JOURNAL OF SYMBOLIC LOGIC. HELSINKI, FINLANDIA : Association for Symbolic Logic, 1991. v. 56. p. 1139-1140.
10. de QUEIROZ, R. J. G. B. . Normalisation And The Semantics Of Use. In: LOGIC COLLOQUIUM '88, 1990, Padova, Italy. JOURNAL OF SYMBOLIC LOGIC. Poughkeepsie, NY : Association for Symbolic Logic, 1990. v. 55. p. 425-425.
11. de QUEIROZ, R. J. G. B. ; SMYTH, M. B. . Induction Rules For Non-Inductive Types In Type Theory. In: FIFTH BRITISH COLLOQUIUM ON THEORETICAL COMPUTER SCIENCE, 1989, EGHAM, Surrey. EATCS Bulletin, 39, October 1989. EGHAM, SURREY, U.K. : European Association for Theoretical Computer Science, 1989. v. 39. p. 220-220.
12. de QUEIROZ, R. J. G. B. . Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. In: FOURTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM, 1989, Kirchberg Am Wechsel. Abstracts of the Fourteenth International Wittgenstein Symposium. KIRCHBERG/WESCHSEL, AUSTRIA : Austrian Ludwig Wittgenstein Society, 1989. p. 20-20.
13. de QUEIROZ, R. J. G. B. . Normalisation And The Semantics Of Use. In: LOGIC COLLOQUIUM '88, UNIVERSIDADE DE PADUA, ITALIA, 1988. JOURNAL OF SYMBOLIC LOGIC. Poughkeepsie, NY : Association for Symbolic Logic. v. 55. p. 425-425.
14. de QUEIROZ, R. J. G. B. . A Word On Rules And Meaning. In: ASL/LSA CONFERENCE ON LOGIC AND LINGUISTICS, STANFORD, 1987, Stanford, USA. Abstracts of the ASL/LSA CONFERENCE ON LOGIC AND LINGUISTICS, STANFORD. STANFORD, CA, USA, 1987. p. 0-0.
Resumos publicados em anais de congressos(artigos)
1. ALVES, G. V. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Towards Normalization for Proof-Graphs. Bulletin of Symbolic Logic, Poughkeepsie, USA, v. 11, n. 2, p. 302-303, 2005.
Artigos aceitos para publicação
1. ALVES, G. V. ; de Oliveira, A. G. ; de Queiroz, Ruy J. G. B. . Proof-graphs: a thorough cycle treatment, normalization and subformula property. Fundamenta Informaticae, 2010.
2. BATISTA, E. M. ; de QUEIROZ, R. J. G. B. ; de Oliveira, A. G. . ASAT: A Statistical Tool for New Malware Detection. Journal in Computer Virology, 2009.
Apresentações de Trabalho
1. de QUEIROZ, R. J. G. B. ; GABBAY, D. . Extending the Curry-Howard-Tait Functional Interpretation to Relevance, Linear and Other Logics. 1990. (Apresentação de Trabalho/Seminário).
Demais tipos de produção bibliográfica
1. Ono, H. ; Kanazawa, M. ; de Queiroz, Ruy J. G. B. . 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan, July 21 24, 2009. Poughkeepsie, NY: Association for Symbolic Logic, 2010 (Conference Report).
2. Ono, H. ; Kanazawa, M. ; de Queiroz, Ruy J. G. B. . 16th Workshop on Logic, Language, Information and Computation. Oxford: Oxford University Press, 2009 (Conference Report).
3. Mints, G. ; de Paiva, V. ; de Queiroz, Ruy J. G. B. . Logic, Language, Information and Computation. Amsterdam, 2009. (Prefácio, Pósfacio/Prefácio).
4. HODGES, W. ; de Queiroz, Ruy J. G. B. . Editors' foreword for JCSS WoLLIC 2008. Dordrecht, 2009. (Prefácio, Pósfacio/Prefácio).
5. Leivant, D. ; de Queiroz, Ruy J. G. B. . Logic, Language, Information and Computation - WoLLIC'07. Dordrecht, 2009. (Prefácio, Pósfacio/Prefácio).
6. Leivant, D. ; de QUEIROZ, R. J. G. B. . WoLLIC 2007 1-page Conference Report. Poughkeepsie, NY: Association for Symbolic Logic, 2008 (Conference Report).
7. de QUEIROZ, R. J. G. B. ; Leivant, D. . WoLLIC 2007 Conference Report. Oxford, UK: Oxford University Press, 2008 (Conference Report).
8. HODGES, W. ; Kamareddine, F. ; de QUEIROZ, R. J. G. B. . 15th Workshop on Logic, Language, Information and Computation. Oxford: Oxford University Press, 2008 (Conference Report).
9. HODGES, W. ; de Queiroz, Ruy J. G. B. ; Kamareddine, F. . WoLLIC 2008 1-page Conference Report. Poughkeepsie, NY: Association for Symbolic Logic, 2008 (Conference Report).
10. de QUEIROZ, R. J. G. B. ; MACINTYRE, A. . Logic, Language, Information and Computation - WoLLIC 2005. Dordrecht, 2008. (Prefácio, Pósfacio/Prefácio).
11. de QUEIROZ, R. J. G. B. . WoLLIC'2006 1-page Conference Report. Champaign, IL: Association for Symbolic Logic, 2007 (Conference Report).
12. Leivant, D. ; de QUEIROZ, R. J. G. B. . Logic, Language Information and Computation. Berlin, 2007. (Prefácio, Pósfacio/Prefácio).
13. de QUEIROZ, R. J. G. B. . Introdução à Teoria da Computação. Boston, MA: Thomson Course Technology, 2007. (Tradução/Livro).
14. de QUEIROZ, R. J. G. B. . WoLLIC'2006 Conference Report. Oxford: Oxford University Press, 2006 (Conference Report).
15. de QUEIROZ, R. J. G. B. ; MACINTYRE, A. ; BITTENCOURT, G. . Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC'2005). Amsterdam, 2006. (Prefácio, Pósfacio/Prefácio).
16. de QUEIROZ, R. J. G. B. ; KOZEN, D. . Logic, Language, Information and Computation. Amsterdam, 2006. (Prefácio, Pósfacio/Prefácio).
17. de QUEIROZ, R. J. G. B. ; CEGIELSKI, P. . Logic, Language, Information and Computation. Amsterdam, 2006. (Prefácio, Pósfacio/Prefácio).
18. Mints, G. ; de QUEIROZ, R. J. G. B. . Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006). Amsterdam, 2006. (Prefácio, Pósfacio/Prefácio).
19. de QUEIROZ, R. J. G. B. . Matematica Discreta. Berlin: Springer, 2006. (Tradução/Livro).
20. de QUEIROZ, R. J. G. B. . WoLLIC´2004 1-page Conference Report. Champaign, IL, USA: Association for Symbolic Logic, 2005 (Conference Report).
21. de QUEIROZ, R. J. G. B. . WoLLIC'2005 1-page Conference Report. Champaign, IL, USA: Association for Symbolic Logic, 2005 (Conference Report).
22. de QUEIROZ, R. J. G. B. . WoLLIC´2005 Conference Report. Oxford, Inglaterra: Oxford University Press, 2005 (Conference Report).
23. de QUEIROZ, R. J. G. B. ; Poizat, B. ; ARTEMOV, S. . WoLLIC'2002. Amsterdam, 2005. (Prefácio, Pósfacio/Prefácio).
24. de QUEIROZ, R. J. G. B. ; CEGIELSKI, P. . Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC'2004). Dordrecht, 2005. (Prefácio, Pósfacio/Prefácio).
25. de QUEIROZ, R. J. G. B. . WoLLIC'2004 Conference Report. Oxford: Oxford University Press, 2004 (Relatório de Conferência).
26. de QUEIROZ, R. J. G. B. . WoLLIC'2003 1-page Conference Report. Champaign, IL, USA: Association for Symbolic Logic, 2004 (Conference Report).
27. de QUEIROZ, R. J. G. B. . WoLLIC'2002 1-page Conference Report. Urbana-Champaign, IL: Association for Symbolic Logic, 2003 (Relatorio de Conferencia).
28. de QUEIROZ, R. J. G. B. ; PIMENTEL, E. ; FIGUEIREDO, L. . WoLLIC'2003 Conference Report. Oxford, Inglaterra: Oxford University Press, 2003 (Relatório de Conferência).
29. de QUEIROZ, R. J. G. B. ; PIMENTEL, E. ; FIGUEIREDO, L. . WoLLIC'2003, 10th Workshop on Logic, Language, Information and Computation. Dordrecht, 2003. (Prefácio, Pósfacio/Prefácio).
30. BALDWIN, J. T. ; de QUEIROZ, R. J. G. B. ; E. Hermann Haeusler . 8th Workhop on Logic, Language, Information and Computation. Rio de Janeiro, 2003. (Prefácio, Pósfacio/Prefácio).
31. de QUEIROZ, R. J. G. B. . WoLLIC'2001 1-page Conference Report. Chicago, IL: Association for Symbolic Logic, 2002 (Relatorio de Conferencia).
32. de QUEIROZ, R. J. G. B. . 9th Workshop on Logic, Language, Information and Computation. Oxford, Inglaterra: Oxford University Press, 2002 (Relatório de Conferência).
33. de QUEIROZ, R. J. G. B. ; PEREIRA, L. C. ; E. Hermann Haeusler . Proceedings of the 9th Workshop on Logic, Language, Information and Computation. Dordrecht, 2002. (Prefácio, Pósfacio/Prefácio).
34. de QUEIROZ, R. J. G. B. . WoLLIC'2000 Conference Report. Oxford: Oxford University Press, 2001 (Relatório de Conferência).
35. de QUEIROZ, R. J. G. B. . WoLLIC'2000 1-page Conference Report. Champaign, IL: Association for Symbolic Logic, 2001 (Relatório de Conferência).
36. de QUEIROZ, R. J. G. B. . WoLLIC'2001 Conference Report. Oxford, Inglaterra: Oxford University Press, 2001 (Relatorio de Conferencia).
37. de QUEIROZ, R. J. G. B. . Logic for Concurrency and Synchronisation '98 (2) - Conference Report. Oxford: Oxford University Press, 1999 (Relatório de Conferência).
38. de QUEIROZ, R. J. G. B. . WoLLIC'99 1-page Conference Report. Urbana: Association for Symbolic Logic, 1999 (Relatório de Conferência).
39. de QUEIROZ, R. J. G. B. . WoLLIC'98 1-page Conference Report. Urbana: Association for Symbolic Logic, 1999 (Relatório de Conferência).
40. de QUEIROZ, R. J. G. B. . WoLLIC'97 1-page Conference Report. Urbana: Association for Symbolic Logic, 1998 (Relatório de Conferência).
41. de QUEIROZ, R. J. G. B. . Logic for Concurrency and Synchronisation '98 - Conference Report. Oxford: Oxford University Press, 1998 (Relatório de Conferência).
42. de QUEIROZ, R. J. G. B. . Logic in Natural Language '98 - Conference Report. Oxford: Oxford University Press, 1998 (Relatório de Conferência).
43. de QUEIROZ, R. J. G. B. . Logic, Proofs and Algorithms '98 - Conference Report. Oxford: Oxford University Press, 1998 (Relatório de Conferência).
44. de QUEIROZ, R. J. G. B. . WoLLIC'98 Conference Report. Oxford: Oxford University Press, 1998 (Relatório de Conferência).
45. de QUEIROZ, R. J. G. B. . WoLLIC'97 Conference Report. Oxford: Oxford University Press, 1997 (Relatório de Conferência).
46. de QUEIROZ, R. J. G. B. . WoLLIC'95 Conference Report. Saarbrücken: Max Planck Institut für Informatik, 1996 (Relatório de Conferência).
47. de QUEIROZ, R. J. G. B. . WoLLIC'96 Conference Report. Saarbrücken: Max Planck Institut für Informatik, 1996 (Relatório de Conferência).
48. de QUEIROZ, R. J. G. B. . WoLLIC'96 1-page Conference Report. Chicago: Association for Symbolic Logic, 1996 (Relatório de Conferência).
49. de QUEIROZ, R. J. G. B. . WoLLIC'94 Conference Report. Saarbrücken: Max Planck Institut für Informatik, 1995 (Relatório de Conferência).
Demais trabalhos
1. RUY, J. G. B. ; de QUEIROZ, R. J. G. B. ; GUIMARAES, Q. K. S. . Conference Report: Logic, Proofs And Algorithms. 1998 (RELATORIO DE CONFERENCIA).
2. RUY, J. G. B. ; de QUEIROZ, R. J. G. B. . Conference Report: Logic In Natural Language. 1998 (RELATORIO DE CONFERENCIA).
3. RUY, J. G. B. ; de QUEIROZ, R. J. G. B. . Conference Report: Logic For Concurrency And Synchronisation. 1998 (RELATORIO DE CONFERENCIA).
4. RUY, J. G. B. ; de QUEIROZ, R. J. G. B. . Wollic'97 Conference Report. 1997 (RELATORIO DE CONFERENCIA).
5. RUY, J. G. B. ; de QUEIROZ, R. J. G. B. . Wollic'96 1-Page Conference Report. 1996 (RELATORIO DE CONFERENCIA).
6. RUY, J. G. B. ; de QUEIROZ, R. J. G. B. . Wollic'96 Conference Report. 1996 (RELATORIO DE CONFERENCIA).
7. RUY, J. G. B. ; de QUEIROZ, R. J. G. B. . Wollic'95 Conference Report. 1996 (RELATORIO DE CONFERENCIA).
8. RUY, J. G. B. ; de QUEIROZ, R. J. G. B. . Wollic'94 Conference Report. 1995 (RELATORIO DE CONFERENCIA).

Bancas
Participação em bancas examinadoras
Dissertações
1. Dahab, R.; de Queiroz, Ruy J. G. B.; López-Hernández, J.C.. Participação em banca de Fábio Rogério Piva. Verificação Formal de Protocolos de Trocas Justas Utilizando o Método de Espaços de Fitas. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
2. de Queiroz, Ruy J. G. B.; Rosa, N. S.; Ribeiro, A. de R. L.. Participação em banca de Luiz Henrique A. de Freitas. Middleware Seguro Para Redes de Sensores Sem-Fio. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
3. FERRAZ, C. A. G.; de Queiroz, Ruy J. G. B.; DINIZ, J. R. B.. Participação em banca de Allyson James Amaral da Costa. Um Estudo sobre o Controle de Acesso a Redes sem Fio Baseado em Áreas Geográficas. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
4. SOUZA, R. M. C.; SALGADO, L. R. B.; de Queiroz, Ruy J. G. B.. Participação em banca de Leonardo Augusto Severo Domingues Ribeiro. Protocolo Seguro para Leilões Eletrônicos Reversos Adicionando Tratamento para Ataques do Tipo Collusive Shill Bidding e Sniping. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
5. Melo, S.B.; Cribari Neto, F.; de QUEIROZ, R. J. G. B.. Participação em banca de Eduardo Mazza Batista. ASAT: Uma Ferramenta para Detecção de Novos Vírus. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
6. Dahab, R.; López-Hernández, J.C.; de Queiroz, Ruy J. G. B.. Participação em banca de Rafael Dantas de Castro. Assinaturas de Chave Pública sem Certificados. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
7. de Souza, Ricardo M. Campello; QLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.. Participação em banca de Marcelo Gama da Silva. Grupos Pseudo-Livres, Primos Seguros e Criptografia RSA. 2007. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
8. K. S. Guimaraes; Luicz Carlos Pereira; de QUEIROZ, R. J. G. B.. Participação em banca de Gleifer Vaz Alves. Normalizacao para N-Grafos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
9. K. S. Guimaraes; LONGO, R. L.; de QUEIROZ, R. J. G. B.. Participação em banca de Erico Souza Teixeira. Estudo de Processos para Modelagem, Avaliacao, Alteracao e Selecao da Estrutura de Proteinas. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
10. SOUZA, R. M. C.; de QUEIROZ, R. J. G. B.. Participação em banca de Murillo de Barros Costa Rêgo Amazonas Pontual. Preservando a Privacidade em Protocolos entre dois Participantes aplicados à Álgebra Linear e Estatística. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
11. MARTINS, A. T. C.; PEQUENO, M. C.; de QUEIROZ, R. J. G. B.. Participação em banca de Felipe Ferreira de Moraes Neto. Teoremas de Normalizacao para a Logica da Inconsistencia Epistemica. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.
12. K. S. Guimaraes; MORAIS JUNIOR, M. A.; de QUEIROZ, R. J. G. B.. Participação em banca de Catia Mesquita Brasil Khouri. Modelos Escondidos de Markov para Classificacao de Proteinas. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
13. ACIOLY, B. M.; CAMPOS, M. A.; de QUEIROZ, R. J. G. B.. Participação em banca de Roque Mendes Prado Trindade. Uma Analise Intervalar de Scott. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
14. ACIOLY, B. M.; SANTIAGO, R. H. N.; de QUEIROZ, R. J. G. B.. Participação em banca de Sergio da Silva Aguiar. Uma Logica Intuicionista Bidimensional com Semanticas Categoricas. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
15. ACIOLY, B. M.; SANTIAGO, R. H. N.; de QUEIROZ, R. J. G. B.. Participação em banca de Alzira Ferreira da Silva. Sobre a Igualdade Local nos Dominios Intervalos. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
16. Finger, M.; da Silva, C. F.; de QUEIROZ, R. J. G. B.. Participação em banca de Mauricio Pereira de Oliveira. Um Estudo Axiomatico Comparativo entre Modelos. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
17. AYALA-RINCON, M.; de QUEIROZ, R. J. G. B.. Participação em banca de Vaston Goncalves da Costa. Criterios de Confluencia de Sistemas de Reescrita de Termos, Lineares-Esquerdo, Nao-Terminantes. 1998. Dissertação (Mestrado em Matemática) - Universidade de Brasília.
18. Kohayakawa, Y.; de QUEIROZ, R. J. G. B.. Participação em banca de Armando Ramos Gouveia. Provas Holograficas de Tamanho Quase-Linear. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
19. BENEVIDES, M.; de QUEIROZ, R. J. G. B.. Participação em banca de Marcelo Sihman. Deteccao Automatica de Deadlock em Especificacoes Algebricas de Sistemas Distribuidos. 1998. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
20. K. S. Guimaraes; de QUEIROZ, R. J. G. B.. Participação em banca de Liliane Rose Benning Salgado. Algoritmos de Aproximacao. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
21. ACIOLY, B. M.; de QUEIROZ, R. J. G. B.. Participação em banca de Thalles Cerqueira de Mello. Tipos para Teoria de Conjuntos Local. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
22. E. Hermann Haeusler; de QUEIROZ, R. J. G. B.. Participação em banca de Adolfo Gustavo Serra Seca Neto. Usando Logica para Concorrencia: Um Estudo Critico. 1996. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
23. Lopes, M. A.; Ferneda, E.; de QUEIROZ, R. J. G. B.. Participação em banca de Nicia Cristina Rocha Riccio. Sobre a Questao da Formalizacao do Raciocinio Abdutivo via Sistemas Dedutivos Rotulados. 1995. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
24. BENEVIDES, M.; de QUEIROZ, R. J. G. B.. Participação em banca de Adolfo Almeida Duran. Semantica via Jogos para a Deducao Natural. 1995. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
25. A. C. da Rocha Costa; ACIOLY, B. M.; de QUEIROZ, R. J. G. B.. Participação em banca de Anjolina Grisi de Oliveira. Transformacao entre Provas para a Deducao Natural Rotulada via Reescrita de Termos. 1995. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
26. ACIOLY, B. M.; Viccari, R.; de QUEIROZ, R. J. G. B.. Participação em banca de Sergio Gorender. Sobre a Representacao de Linguagem Natural usando Deducao Rotulada. 1995. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Teses de doutorado
1. MARTINS, A. T. C.; PEREIRA, L. C.; BENEVIDES, M.; de Queiroz, Ruy J. G. B.; PEQUENO, M. C.. Participação em banca de Alexandre Silva Cavalcante. Sistemas Esquemáticos de Dedução Natural. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.
2. BENEVIDES, M.; E. Hermann Haeusler; VELOSO, S.; PROTTI, F.; de QUEIROZ, R. J. G. B.. Participação em banca de Vera Lúcia Prudência dos Santos. Concorrência e Sincronização para Lógica Dinâmica de Processos. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
3. BIANCONI, R.; MARTIN, P. A.; DOTTAVIANO, I. M. L.; CONIGLIO, M.; de QUEIROZ, R. J. G. B.. Participação em banca de Leonardo Prieto Sanabria. Teoria de Modelos de Corpos p-adicos com Funcoes Analiticas. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.
4. E. Hermann Haeusler; Luicz Carlos Pereira; SILVA, M. C.; BENEVIDES, M.; P. A. S. Veloso; de QUEIROZ, R. J. G. B.. Participação em banca de Christian Jacques Renteria. Uma abordagem geral para quantificadores. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
5. BIANCONI, R.; F. Miraglia; DOTTAVIANO, I. M. L.; CARNIELLI, W.; de QUEIROZ, R. J. G. B.. Participação em banca de Claus Akira Matsushigue. Inducao de Indemonstrabilidades e Independencias em Complexidade Computacional. 2003. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
6. CARNIELLI, W.; DOTTAVIANO, I. M. L.; CONIGLIO, M.; de QUEIROZ, R. J. G. B.. Participação em banca de Daniel Durante Pereira Alves. Normalizacao Forte via Ordinal Natural. 1999. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
7. DAMAS, L.; V. Vasconcelos; de QUEIROZ, R. J. G. B.. Participação em banca de Antonio Mario da Silva Marcos Florido. Sistemas de Tipos para Linguagens Declarativas. 1998. Tese (Doutorado em Doutoramento em Ciencia dos Computadores) - Faculdade de Ciências da Universidade do Porto.
8. E. Hermann Haeusler; BENEVIDES, M.; Veloso, P. A. S.; de QUEIROZ, R. J. G. B.. Participação em banca de Marcelo da Silva Correa. Categorias e Sequencialidade. 1997. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
9. F. Miraglia; BIANCONI, R.; CARNIELLI, W.; DOTTAVIANO, I. M. L.; de QUEIROZ, R. J. G. B.. Participação em banca de Marcelo Esteban Coniglio. A Logica dos Feixes sobre Quantais Right-Sided e Idempotentes. 1997. Tese (Doutorado em Matemática) - Universidade de São Paulo.
10. ACIOLY, B. M.; de QUEIROZ, R. J. G. B.. Participação em banca de Benjamin Callejas Bedregal. Dominios Intervalares. 1996. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Trabalhos de Conclusão de Curso de graduação
1. Sadok, D.; de Queiroz, Ruy J. G. B.. Participação em banca de Leonardo Henrique Vilaça Silva. Sistema de Detecção de Anomalias Baseado em Episódios. 2009. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.
2. Sadok, D.; de Queiroz, Ruy J. G. B.. Participação em banca de Armando Gonçalves da Silva Junior. Cross-Site Scripting: Uma Análise Prática. 2009. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.
Participação em bancas de comissões julgadoras
Concurso público
1. F. U. Coelho; M. A. Teixeira; de QUEIROZ, R. J. G. B.. Processo Seletivo para Contratacao de Docentes para O IME-USP. 1997. Universidade de São Paulo.
2. S. Sidki; de QUEIROZ, R. J. G. B.. Concurso Publico para Professor Adjunto. 1994. Universidade de Brasília.
Outras participações
1. Luicz Carlos Pereira; C. Massi; I. D'Ottaviano; F. Miraglia; de QUEIROZ, R. J. G. B.. Tese de Doutorado de Daniel Durante Pereira Alves. 1999. Universidade Estadual de Campinas.
2. K. S. Guimaraes; A. C. da Rocha Costa; J. D. dos Santos; de QUEIROZ, R. J. G. B.. Tese de Doutorado de Regivan Hugo Nunes Santiago. 1999. Universidade Federal de Pernambuco.
3. V. Vasconcelos; de QUEIROZ, R. J. G. B.. Tese de Doutoramento de Antonio Mario da Silva Florido. 1998. Universidade do Porto.
4. E. Hermann Haeusler; P. A. S. Veloso; P. Blauth Menezes; de QUEIROZ, R. J. G. B.. Tese de Doutorado de Marcelo da Silva Correa. 1997. Pontifícia Universidade Católica do Rio de Janeiro.
5. F. Miraglia; I. D'Ottaviano; Luicz Carlos Pereira; de QUEIROZ, R. J. G. B.. Tese de Doutorado de Marcelo Esteban Coniglio. 1997. Universidade de São Paulo.
6. J. D. dos Santos; K. S. Guimaraes; de QUEIROZ, R. J. G. B.. Tese de Doutorado de Benjamin Callejas Bedregal. 1996. Universidade Federal de Pernambuco.

Eventos
Participação em eventos
1. Congresso Brasileiro de Tecnologia da Informação e Comunicação.Forjando a Relação entre Conhecimento e Empreendimento: O Caso do Vale de Silício. 2009. (Congresso).
2. 4o. Congresso de Direito de Informática e Telecomunicações (TELECON).Privacidade na Área Médica e da Saúde. 2009. (Congresso).
3. VII Simpósio de Informática do IFPI.Cibersegurança e Privacidade. 2009. (Simpósio).
4. O Direito na Sociedade Informacional (Escola da Magistratura Federal - 5a. Região).Proteção da Privacidade na Rede Mundial de Computadores. 2009. (Outra).
5. 3o. Congresso de Direito de Informática e Telecomunicações.Neutralidade da Rede. 2008. (Congresso).
6. VIII Encontro Regional de Matemática Aplicada e Computacional - ERMAC 2008.Matemática para a Segurança Digital. 2008. (Encontro).
7. 3º Encontro de Tecnologia do Vale do São Francisco (TECVale).Ciberespaço, Cibersegurança, e O Domínio Público. 2008. (Encontro).
8. Encontro Regional de Matemática Aplicada e Computacional (ERMAC).Matemática Aplicada à Segurança Computacional. 2007. (Encontro).
9. Encontro Regional de Matemática Aplicada e Computacional (ERMAC).Uma reflexão sobre a semântica prova-teórica. 2005. (Encontro).
10. Natural Deduction, Rio-2001.Natural Deduction for Equality. 2001. (Simpósio).
11. Natural Deduction, Rio-2001.Soundness in Multiple-Conclusion Logic. 2001. (Simpósio).
12. II ENCONTRO DE MATEMÁTICA APLICADA E COMPUTACIONAL.Teoria dos Modelos Finitos e Complexidade Descritiva. 2001. (Encontro).
13. First International Congress on Tools for Teaching Logic.Tools for Teaching Logic - What will the future bring?. 2000. (Congresso).
14. 9th Amsterdam Colloquium.Equality in Labelled Deductive Systems and the Functional Interpretation of Propositional Equality. 1993. (Simpósio).
15. Workshop on Proof Theory of Modal Logic.The functional interpretation of modal connectives. 1993. (Encontro).
16. Tecnologias da Informacao e Sociedade - Teorias, Usos, Impactos / Information Technology and Society - Theories, Uses, Impacts.Meaning, Use, Consequences - Interconnected Concepts. 1992. (Simpósio).
17. Summer School on Logic and Artificial Intelligence.Introduction to Labelled Natural Deduction. 1992. (Outra).
18. Logic Colloquium 91.The Functional Interpretation of the Existential Quantifier. 1991. (Congresso).
19. Logic Colloquium 90.Extending The Curry-Howard-Tait Intepretation To Linear,Relevant And Other Resource Logics. 1990. (Congresso).
20. Informal Logic Colloquium.Extending the Curry-Howard-Tait Functional Interpretation to Relevance, Linear and Other Logics. 1990. (Simpósio).
21. SNS Logic Colloquium, March 1990.Extending the Curry-Howard-Tait Functional Interpretation to Relevance, Linear and Other Logics. 1990. (Simpósio).
22. FOURTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM.Fourteenth International Wittgenstein Symposium (Centenary Celebration). 1989. (Simpósio).
23. Fifth British Colloquium in Theoretical Computer Science.Induction Rules For Non-Inductive Types In Type Theory. 1989. (Simpósio).
24. Logic Colloquium 88.Normalisation And The Semantics Of Use. 1988. (Congresso).
25. Thirteenth International Wittgenstein Symposium 1988.The mathematical language and its semantics: to show the consequences of a proposition is to give its meaning. 1988. (Simpósio).
26. 8th International Congress on Logic, Methodology and Philosophy of Science.A Note on Frege's Notions of Definition and the Relationship between Proof Theory and Recursion Theory. 1987. (Congresso).
27. ASL/LSA Conference on Logic and Linguistics.A Word on Rules and Meaning. 1987. (Congresso).
Organização de eventos
1. de Queiroz, Ruy J. G. B. ; AYALA-RINCON, M. ; Dawar, A. . Seventeenth Workshop on Logic, Language, Information and Computation - WoLLIC 2010. 2010. (Congresso).
2. Beklemishev, L. ; Scedrov, A. ; de Queiroz, Ruy J. G. B. . Eighteenth Workshop on Logic, Language, Information and Computation (WoLLIC 2011). 2010. (Congresso).
3. de QUEIROZ, R. J. G. B. ; Ono, H. ; Kanazawa, M. . Sixteenth Workshop on Logic, Language, Information and Computation (WoLLIC 2009). 2009. (Congresso).
4. Kamareddine, F. ; de QUEIROZ, R. J. G. B. ; HODGES, W. . Fifteenth Workshop on Logic, Language, Information and Computation - WoLLIC 2008. 2008. (Congresso).
5. de QUEIROZ, R. J. G. B. ; Leivant, D. . Fourteenth Workshop on Logic, Language, Information and Computation - WoLLIC'2007. 2007. (Congresso).
6. de QUEIROZ, R. J. G. B. ; Mints, G. . Thirteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2006). 2006. (Congresso).
7. de QUEIROZ, R. J. G. B. ; BITTENCOURT, G. . Twelfth Workshop on Logic, Language, Information and Computation (WoLLIC'2005). 2005. (Congresso).
8. de QUEIROZ, R. J. G. B. ; CEGIELSKI, P. . Eleventh Workshop on Logic, Language, Information and Computation (WoLLIC'2004). 2004. (Congresso).
9. de QUEIROZ, R. J. G. B. ; PIMENTEL, E. ; FIGUEIREDO, L. . Tenth Workshop on Logic, Language, Information and Computation (WoLLIC'2003). 2003. (Congresso).
10. de QUEIROZ, R. J. G. B. ; E. Hermann Haeusler ; PEREIRA, L. C. . Ninth Workshop on Logic, Language, Information and Computation (WoLLIC'2002). 2002. (Congresso).
11. de QUEIROZ, R. J. G. B. ; AYALA-RINCON, M. . Eighth Workshop on Logic, Language, Information and Computation (WoLLIC'2001). 2001. (Congresso).
12. de QUEIROZ, R. J. G. B. . Seventh Workshop on Logic, Language, Information and Computation (WoLLIC'2000). 2000. (Congresso).
13. de QUEIROZ, R. J. G. B. . Sixth Workshop on Logic, Language, Information and Computation (WoLLIC'99). 1999. (Congresso).
14. de QUEIROZ, R. J. G. B. . Logic in Natural Language '98. 1998. (Congresso).
15. de QUEIROZ, R. J. G. B. ; Finger, M. . Fifth Workshop on Logic, Language, Information and Computation - WoLLIC'98. 1998. (Congresso).
16. de QUEIROZ, R. J. G. B. . Logic in Natural Language. 1997. (Congresso).
17. de QUEIROZ, R. J. G. B. ; PEQUENO, M. C. ; MARTINS, A. T. C. . 4th Workshop on Logic, Language, Information and Computation (WoLLIC'97). 1997. (Congresso).
18. de QUEIROZ, R. J. G. B. . Logic, Proofs and Algorithms -- Finite Model Theory and Complexity Theory. 1996. (Congresso).
19. de QUEIROZ, R. J. G. B. . Logic, Proofs and Algorithms -- Complexity of Proofs in Formal Systems. 1996. (Congresso).
20. de QUEIROZ, R. J. G. B. . Categorical Logic and Concurrency Theory. 1996. (Congresso).
21. de QUEIROZ, R. J. G. B. . 3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96). 1996. (Congresso).
22. de QUEIROZ, R. J. G. B. . 2nd Workshohp on Logic, Language, Information and Computation (WoLLIC'95). 1995. (Congresso).
23. de QUEIROZ, R. J. G. B. . Workshop on Logic, Language, Information and Computation (WoLLIC'94). 1994. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Felipe Zimmerle da Nóbrega Costa. Encriptação Espaço-Eficiente Baseada em Identidade. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
2. Márcio Almeida de Macêdo. Defesa contra click fraud usando CAPTCHAs clicáveis. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
3. Dimmy Karson Soares magalhães. Esquemas criptográficos para numerário eletrônico. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
4. Paulo Henrique Padovan. Arcabouço Conceitual para Discussões sobre Privacidade, Propriedade Intelectual e O Domínio Público. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
5. Carlos Eduardo Rodrigues Saraiva. Esquemas criptográficos para compartilhamento de senhas visuais. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
6. Patrícia Lustosa Ventura Ribeiro. Encriptação Espaço-Eficiente Baseada em Identidade. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
7. Gledson Felipe Carvalho. Defesa contra click fraud usando CAPTCHAs clicáveis. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
8. Wagner Medeiros dos Santos. Verificabilidade Fim-a-Fim com o Sistema HELIOS. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
9. Anisio André Santos Júnior. Análise de Segurança de Sistemas de Votação Eletrônica Baseados em Mixnets. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
10. Thiago Maia de França. Criptografia Visual e CAPTCHAS Clicáveis. Início: 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
11. Anderson Apolônio Lira Queiroz. Arcabouço Conceitual para Discussões sobre Privacidade, Propriedade Intelectual e O Domínio Público. Início: 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
12. Frederico Tiago Tavares Madeira. Segurança para Protocolos de Voz sobre IP. Início: 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
13. Gliner Dias Alencar. Uma análise das ameaças internas (insider threat). Início: 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
14. Rodrigo Alves Costa. Defesa contra fraudes de clique. Início: 2008. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).
15. Everton Guerra Marques. Provas como Processos: Uma Abordagem via Grafos de Prova. Início: 2008. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).
Tese de doutorado
1. Clarice Marinho Martins de Castro. Sistemas de Gerenciamento de Direitos Digitais e a Problemática dos Direitos Autorais Digitais. Início: 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
2. Maria das Graças da Silva Oliveira. Esquemas de Encriptação Espaço-Eficientes Baseados em Identidade. Início: 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
3. Evandro Curvelo Hora. Estratégias formais em segurança da informação. Início: 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
4. Igor Medeiros Vanderlei. Protocolos para Segurança e Privacidade em Prontuário Médico Eletrônico. Início: 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
5. Marcelo Gama da Silva. Criptografia Baseada em Reticulados. Início: 2008. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco. (Orientador).
6. Eudes Naziazeno Galvão. As Conjecturas de Pop e de Poonen via Lógica. Início: 2007. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
Iniciação científica
1. Victor Campos Silveira. Semântica Prova-Teórica, Regras de Redução, e Dedução Rotulada. Início: 2008. Iniciação científica (Graduando em Filosofia) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Leonardo Augusto Domingues Severo Ribeiro. Protocolo Seguro para Leilões Eletrônicos Reversos Adicionando Tratamento para Ataques do Tipo Collusive Shill Bidding e Sniping. 2009. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Ruy José Guerra Barretto de Queiroz.
2. Marcela Quispe Cruz. Em direção aos N-Grafos Intuicionistas. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Co-Orientador: Ruy José Guerra Barretto de Queiroz.
3. Eduardo Mazza Batista. ASAT: Uma Ferramenta para Detecção de Novos Vírus. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.
4. Marcelo Gama da Silva. Grupos Pseudo-Livres, Primos Seguros e Criptografia RSA. 2007. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Ruy José Guerra Barretto de Queiroz.
5. Igor Medeiros Vanderlei. Casamento de Padrao em Strings Privados, com Aplicacao em Consultas Seguras a Banco de Dados. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Ruy José Guerra Barretto de Queiroz.
6. Gleifer Vaz Alves. Normalizacao para N-Grafos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Ruy José Guerra Barretto de Queiroz.
7. Murillo de Barros Costa Rêgo Amazonas Pontual. Preservando a Privacidade em Protocolos entre dois Participantes aplicados à Álgebra Linear e Estatística. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Ruy José Guerra Barretto de Queiroz.
8. Edson Holanda Cavalcante Junior. Sobre os Criterios de Corretude para Grafos de Prova. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.
9. ADOLFO GUSTAVO SERRA SECA NETO. Usando Logica Para Concorrencia: Um Estudo Critico. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.
10. NICIA CRISTINA ROCHA RICCIO. Sobre A Questao da Formalizacao do Raciocinio Abdutivo Via Sistemas Dedutivos Rotulados. 1995. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.
11. ADOLFO ALMEIDA DURAN. Semantica Via Jogos Para A Deducao Rotulada. 1995. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.
12. SERGIO GORENDER. Sobre A Representacao de Linguagem Natural Usando Deducao Natural Rotulada. 1995. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.
13. ANJOLINA GRISI DE OLIVEIRA. Transformacao Entre Provas Para A Deducao Natural Rotulada Via Reescrita de Termos. 1995. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.
Tese de doutorado
1. Gleifer Vaz Alves. Transformations for Proof-graphs with Cycle Treatment Augmented via Geometric Perspective Techniques. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Co-Orientador: Ruy José Guerra Barretto de Queiroz.
2. Sergio da Silva Aguiar. Uma Análise de Auto-Referência Baseada em Fluxos Semânticos. 2008. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Ruy José Guerra Barretto de Queiroz.
3. Emmanuel Felix Lopes da Silva. Caracterização Aritmética em Primeira Ordem de Funções Computáveis em Espaço Polinomial. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Ruy José Guerra Barretto de Queiroz.
4. Steffen Lewitzka. Contributions to the investigations of Lascar strong types in simple theories. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.
5. Anjolina Grisi de Oliveira. Proofs from a Geometric Perspective. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Ruy José Guerra Barretto de Queiroz.
6. Haroldo Goncalves Benatti. Complexidade Descritiva de Problemas em Grafos. 2000. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Ruy José Guerra Barretto de Queiroz.
7. Ana Teresa de Castro Martins. A Syntactical and Semantical Uniform Treatment for the IDL and LEI Nonmonotonic System. 1998. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Ruy José Guerra Barretto de Queiroz.
Trabalho de conclusão de curso de graduação
1. Patrícia Lustosa Ventura Ribeiro. Encriptação Espaço-Eficiente Baseada em Identidade. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Ruy José Guerra Barretto de Queiroz.
2. Felipe Ribeiro Machado. Segurança da Informação numa perspectiva mais humana. Falhas internas e procedimentos de prevenção e defesa da rede. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Ruy José Guerra Barretto de Queiroz.
3. Paulo Henrique Padovan. Implementação do Esquema de Identificação Visual de Naor & Pinkas. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Ruy José Guerra Barretto de Queiroz.
4. Armando Gonçalves da Silva Júnior. Cross-Site Scripting: Uma Análise Prática. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Ruy José Guerra Barretto de Queiroz.
5. Marcos Antonio Costa Corrêa Júnior. Evolução da Segurança em Redes Sem Fio. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Ruy José Guerra Barretto de Queiroz.
6. Francisco de Assis Mesquita Valadares. Uma Avalicao Critica aos Ataques as Funcoes MD5 e SHA-1. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Ruy José Guerra Barretto de Queiroz.
7. Igor Medeiros Vanderlei. Esquema de Assinaturas Digitais Tolerante a Falhas Utilizando Criptografia de Limiar. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Ruy José Guerra Barretto de Queiroz.
Iniciação Científica
1. Sérgio Farias de Souza Filho. Filosofia da Matemática no Segundo Wittgenstein: Aproximações e Divergências com o Construtivismo Matemático de Brouwer. 2008. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Ruy José Guerra Barretto de Queiroz.
2. Sérgio Farias de Souza Filho. Objetos Arbitrários via Dedução Rotulada. 2007. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ruy José Guerra Barretto de Queiroz.

Outras informações relevantes 
Foi recentemente convidado a integrar o "advisory group" do "Nominating Committee" para o "Rolf Schock Prize in Logic and Philosophy for 2011" concedido pela "Royal Swedish Academy of Sciences". (O mesmo já havia ocorrido em 2007, quando então atuou como membro do "advisory group" para o "Rolf Schock Prize in Logic and Philosophy for 2008".).
Página gerada pelo Sistema Currículo Lattes em 18/03/2010 às 8:34:24