Ruy J. G. B. de Queiroz

Rodrigo Alves Costa, Ruy J. G. B. de Queiroz, Elmano Ramalho Cavalcanti: A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs. SERE (Companion) 2012: 62-67

C.-H. Luke Ong, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings. Lecture Notes in Computer Science 7456, Springer 2012, isbn 978-3-642-32620-2

Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira: The Functional Interpretation of Direct Computations. Electr. Notes Theor. Comput. Sci. 269: 19-40 (2011)

Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz: Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. Fundam. Inform. 106(2-4): 119-147 (2011)

Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz: Preface. Fundam. Inform. 106(2-4) (2011)

Wagner Medeiros dos Santos, Ruy J. G. B. de Queiroz: Preserving Vote Secrecy in End-to-End Verifiable Voting Systems. SocialCom/PASSAT 2011: 1196-1201

Lev D. Beklemishev, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings. Lecture Notes in Computer Science 6642, Springer 2011, isbn 978-3-642-20919-2

Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira: Propositional equality, identity types, and direct computational paths. CoRR abs/1107.1901 (2011)

Daniel Leivant, Ruy J. G. B. de Queiroz: Logic, language, information and computation. Inf. Comput. 208(5): 395-396 (2010)

Wilfrid Hodges, Ruy J. G. B. de Queiroz: Editors' foreword for JCSS WoLLIC 2008. J. Comput. Syst. Sci. 76(5): 281-282 (2010)

Anderson A. L. Queiroz, Ruy J. G. B. de Queiroz: Breach of internet privacy through the use of cookies. PETRA 2010

Anuj Dawar, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Lecture Notes in Computer Science 6188, Springer 2010, isbn 978-3-642-13823-2

Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation. Inf. Comput. 207(10): 969-970 (2009)

Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz: Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. WoLLIC 2009: 84-98

Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Lecture Notes in Computer Science 5514, Springer 2009, isbn 978-3-642-02260-9

Ruy J. G. B. de Queiroz, Angus Macintyre: Logic, Language, Information and Computation. Ann. Pure Appl. Logic 152(1-3): 1-2 (2008)

Ruy J. G. B. de Queiroz: On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics. Studia Logica 90(2): 211-247 (2008)

Wilfrid Hodges, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings. Lecture Notes in Computer Science 5110, Springer 2008, isbn 978-3-540-69936-1

Daniel Leivant, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4576, Springer 2007, isbn 978-3-540-73443-7

Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt: Preface. Electr. Notes Theor. Comput. Sci. 143: 1-4 (2006)

Grigori Mints, Ruy J. G. B. de Queiroz: Preface. Electr. Notes Theor. Comput. Sci. 165: 1-3 (2006)

Ruy J. G. B. de Queiroz, Dexter Kozen: Logic, Language, Information and Computation. Theor. Comput. Sci. 355(2): 105-107 (2006)

Ruy J. G. B. de Queiroz, Patrick Cégielski: Preface. Theor. Comput. Sci. 364(2): 143-145 (2006)

Steffen Lewitzka, Ruy J. G. B. de Queiroz: On dividing chains in simple theories. Arch. Math. Log. 44(7): 897-911 (2005)

Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov: WoLLIC'2002. Ann. Pure Appl. Logic 134(1): 1-4 (2005)

Ruy J. G. B. de Queiroz, Patrick Cégielski: Preface. Electr. Notes Theor. Comput. Sci. 123: 1-3 (2005)

Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz: A New Basic Set of Transformations between Proofs. We Will Show Them! (2) 2005: 499-528

Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo: Preface. Electr. Notes Theor. Comput. Sci. 84: 229-231 (2003)

Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: Preface: WoLLIC 2002. Electr. Notes Theor. Comput. Sci. 67: 313-314 (2002)

Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: 9th Workshop on Logic, Language, Information and Computation. Logic Journal of the IGPL 10(6): 679-688 (2002)

Ruy J. G. B. de Queiroz: 7th Workshop on Logic, Language, Information and Computation (WoLLIC'99). Logic Journal of the IGPL 9(1): 739-754 (2001)

Ruy J. G. B. de Queiroz: Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. Logic Journal of the IGPL 9(5): 693-734 (2001)

Ruy J. G. B. de Queiroz: 8th Workshop on Logic, Language, Information and Computation. Logic Journal of the IGPL 9(5) (2001)

Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the IGPL 8(5): 603-604 (2000)

Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz: A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction. Logic Journal of the IGPL 7(2): 173-215 (1999)

Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes: Conference Report: Logic, Proofs and Algorithms. Logic Journal of the IGPL 6(4): 656-657 (1998)

Ruy J. G. B. de Queiroz: Conference Report: Logic in Natural Language. Logic Journal of the IGPL 6(4): 657-658 (1998)

Ruy J. G. B. de Queiroz: Conference Report: Logic for Concurrency and Synchronisation (LOCUS). Logic Journal of the IGPL 6(4): 659-663 (1998)

Ruy J. G. B. de Queiroz, Marcelo Finger: Conference Report: Wollic'98. Logic Journal of the IGPL 6(6): 917-918 (1998)

Ruy J. G. B. de Queiroz: Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). Logic Journal of the IGPL 5(6): 859-927 (1997)

Ruy J. G. B. de Queiroz: Second Workshop on Logic, Language, Information and Computation (WoLLIC'95). Logic Journal of the IGPL 4(2): 309-344 (1996)

Ruy J. G. B. de Queiroz: Conferences. Logic Journal of the IGPL 4(3): 473-527 (1996)

Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the IGPL 3(1): 4-6 (1995)

Ruy J. G. B. de Queiroz, Dov M. Gabbay: The Functional Interpretation of the Existential Quantifier. Logic Journal of the IGPL 3(2-3): 243-290 (1995)

Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the IGPL 3(4): 532-533 (1995)

Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz: The Bulletin turned into a Journal. Logic Journal of the IGPL 3(5): 682 (1995)

Nicia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz: Labelled Abduction. SBIA 1995: 91-100

Dov M. Gabbay, Ruy J. G. B. de Queiroz: Speed with Quality. Logic Journal of the IGPL 2(1): 1-2 (1994)

Dov M. Gabbay, Ruy J. G. B. de Queiroz: Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. J. Symb. Log. 57(4): 1319-1365 (1992)