2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2026

Formal Verification of an Explicit Counterexample to the Jacobian Conjecture

RAMOS, ARTHUR F.; HULAK, D. B.; de Queiroz, Ruy José Guerra Barretto
Archive of Formal Proofs
2026

The K∞ homotopy λ-model

MARTÍNEZ-RIVILLAS, DANIEL O.; de Queiroz, Ruy J.G.B.
LOGIC JOURNAL OF THE IGPL
2026

Erdos-Ginzburg-Ziv

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

A Reusable Isabelle/HOL Framework for Propositional Labelled Natural Deduction

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Vosper's Theorem and the Cauchy?Davenport Theorem via the Polynomial Method

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Nagata Factoriality

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy J.G.B.
Archive of Formal Proofs
2026

The Classical Seifert?van Kampen Theorem

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Autenticação Baseada em Tokens e Provas de Conhecimento Zero

CRIÔLO, YASMIN M. S.; QUEIROZ, Ruy J. G. B. de
Encontro de Teoria da Computação
2026

Andrew's Monotone Chain Convex Hull Algorithm

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

The Busy Beaver Function

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

The Chevalley-Warning Theorem

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy J.G.B.
Archive of Formal Proofs
2026

The Mostowski Collapse Theorem

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

The Wallace-Simson Line Theorem in Isabelle/HOL

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy José Guerra Barretto
Archive of Formal Proofs
2026

Checking Equality-Saturation Merge and Extraction Certificates

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy J.G.B.
Archive of Formal Proofs
2026

The Banach?Tarski Paradox in Isabelle/HOL

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Aho-Corasick String Matching

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy José Guerra Barretto
Archive of Formal Proofs
2026

Nash Equilibria for Finite Games in Isabelle/HOL

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Alon?s Combinatorial Nullstellensatz

RAMOS, A. F.; DE QUEIROZ, RUY J G B; HULAK, D. B.
Archive of Formal Proofs
2025

Meaning as Use, Application, Employment, Purpose, Usefulness

QUEIROZ, Ruy J. G. B. de
SATS
2025

From the Notebooks to the Investigations and Beyond

QUEIROZ, Ruy J. G. B. de
SATS Northern European Journal of Philosophy
2023

SABER post-quantum key encapsulation mechanism (KEM): evaluating performance in ARM and x64 architectures

Ribeiro, L. A. D. S.; Lima, J. P. da Silva; de Queiroz, Ruy; CHAGAS, A. B.; R. JUNIOR, J. R.; QUINTINO, J. P.; SILVA, F. Q. B.; Santos, A. L. de M.
JOURNAL OF CRYPTOGRAPHIC ENGINEERING
2023

Computational paths - a weak groupoid

VERAS, T. M. L.; RAMOS, A. F.; de Queiroz, Ruy J.G.B.; de Oliveira, A. G.
JOURNAL OF LOGIC AND COMPUTATION
2023

The Theory of an Arbitrary Higher (lambda)-Model

Martinez-Rivillas, D. O.; DE QUEIROZ, RUY J G B
University of Lodz. Department of Logic. Bulletin of the Section of Logic
2023

From Tractatus to Later Writings and Back - New Implications from Wittgenstein?s

DE QUEIROZ, RUY J. G. B.
SATS
2022

Cypherpunk

RAMIRO, ANDRÉ; de Queiroz, Ruy
Internet Policy Review
2022

Towards a homotopy domain theory

MARTÍNEZ-RIVILLAS, DANIEL O.; de Queiroz, Ruy José Guerra Barretto
ARCHIVE FOR MATHEMATICAL LOGIC
2022

Distributed Repository for Software Packages Using Blockchain

COSTA, FELIPE Z. DA N.; de Queiroz, Ruy J. G. B.; BITTENCOURT, GUSTAVO P.; TEIXEIRA, LEOPOLDO
IEEE Access
2021

Calculation of Fundamental Groups via Computational Paths

VERAS, T. M. L. DE; RAMOS, A. F.; Queiroz, R. J. G. B. de; OLIVEIRA, A. G. DE
Encontro de Teoria da Computação
2021

Rumo a uma Teoria de Domínios da Homotopia

MARTÍNEZ-RIVILLAS, DANIEL O.; QUEIROZ, Ruy J. G. B. de
Encontro de Teoria da Computação
2021

Conversão de Termos, Homotopia, e Estrutura de Grupóide

RAMOS, ARTHUR F.; QUEIROZ, Ruy J. G. B. de; OLIVEIRA, ANJOLINA G. DE
Workshop Brasileiro de Lógica
2021

The infinity-groupoid generated by an arbitrary topological lambda-model

Martinez-Rivillas, D. O.; de Queiroz, Ruy J.G.B.
LOGIC JOURNAL OF THE IGPL
2021

Computational Paths and the Fundamental Groupoid of a Type

RAMOS, ARTHUR F.; QUEIROZ, Ruy J. G. B. de; OLIVEIRA, ANJOLINA G. DE
Encontro de Teoria da Computação
2020

A Blockchain Using Proof-of-Download

DA N. COSTA, FELIPE ZIMMERLE; de Queiroz, Ruy J. G. B.
2020 IEEE International Conference on Blockchain (Blockchain)
2019

Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages

RAMOS, MARCUS V.M.; BACELAR ALMEIDA, JOSÉ CARLOS; MOREIRA, NELMA; de Queiroz, Ruy J.G.B.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
2018

Explicit Computational Paths

RAMOS, A. F.; de Queiroz, Ruy J.G.B.; de Oliveira, A. G.; VERAS, T. M. L.
SOUTH AMERICAN JOURNAL OF LOGIC
2018

Propositional intuitionistic multiple-conclusion calculus via proof graphs

CARVALHO, RUAN V B; DE OLIVEIRA, ANJOLINA G; DE QUEIROZ, RUY J G B
LOGIC JOURNAL OF THE IGPL
2017

Analyzing How Interest in Learning Programming Changes During a CS0 Course

DANTAS SCAICO, PASQUELINE; G.B. de Queiroz, Ruy José; LIMA DIAS, JOSÉ JORGE
the 2017 ACM Conference
2017

Computational paths, transport and the univalence axiom

RAMOS, ARTHUR F.; de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
18th Brazilian Logic Conference
2017

On the identity type as the type of computational paths

RAMOS, ARTHUR F.; de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
LOGIC JOURNAL OF THE IGPL
2017

Os jogos e a educação do futuro: o que estes universos têm a ver?

Scaico, P. D.; de Queiroz, Ruy J. G. B.
Revista ELO
2016

Formalization of the pumping lemma for context-free languages

Ramos, M. V. M.; Almeida, J. C. B.; Moreira, N.; de Queiroz, Ruy J. G. B.
JOURNAL OF FORMALIZED REASONING
2016

Normalization of N-Graphs via Sub-N-Graphs

ANDRADE, LAÍS; CARVALHO, RUAN; DE OLIVEIRA, ANJOLINA; de Queiroz, Ruy
Electronic Notes in Theoretical Computer Science
2016

Digital content and cloud-based contracts in Brazil and the European Union

DE CASTRO, CLARICE MARINHO MARTINS; REED, CHRIS; de Queiroz, Ruy
International Journal of Law and Information Technology
2016

On the Formalization of Some Results of Context-Free Language Theory

Ramos, M. V. M.; Moreira, N.; Almeida, J. C. B.; de Queiroz, Ruy J. G. B.
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)
2016

Propositional Equality, Identity Types, and Computational Paths

de Queiroz, Ruy J.G.B.; OLIVEIRA, A. G.; RAMOS, A. F.
SOUTH AMERICAN JOURNAL OF LOGIC
2015

Formalization of simplification for context-free grammars

RAMOS, MARCUS V.M.; de Queiroz, Ruy J. G. B.
Tenth Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2015
2015

Normalization of N-Graphs via Sub-N-Graphs

ANDRADE, L. S.; CARVALHO, R. V. B.; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.
Tenth Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2015
2015

A systematic mapping on security threats in mobile devices

LACERDA, ANSELMO; de Queiroz, Ruy; BARBOSA, MARCIO
[ITA] 2015 Internet Technologies and Applications (ITA)
2015

Forense em Solid State Drive: entendendo os mecanismos internos que podem inviabilizar a recuperação de dados

Corrêa Jr, M. A. C.; de Queiroz, Ruy J. G. B.
XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais
2015

Reviewing Frege?s techniques for formalising functions as rules

de QUEIROZ, R. J. G. B.
III Latin American Analytic Philosophy Conference & III Conference of the Brazilian Society for Analytic Philosophy
2015

Apos um processo de formatação, é possível recuperar dados em um SSD?

Corrêa Jr, M. A. C.; de Queiroz, Ruy J. G. B.
XV Simpósio Brasileiro de Segurançaa da Informação e de Sistemas Computacionais
2015

Computational paths, identity type, and the groupoid model

RAMOS, ARTHUR F.; de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
Tenth Workshop on Logical and Semantic Frameworks, with Applications- LSFA 2015
2014

O conceito big data na educação

Scaico, P. D.; de Queiroz, Ruy J. G. B.; Scaico, A.
XX Workshop de Informática na Educação, 2014
2014

How Youth Construct Learning Trajectories in the Digital Age?

Scaico, P. D.; de Queiroz, Ruy J. G. B.
6th International Conference on Computer Supported Education
2014

Sequentialization for N-Graphs via Sub-N-Graphs

CARVALHO, R. V. B.; ANDRADE, L. S.; de Oliveira, A. G.; de Queiroz, Ruy J. G. B.
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014
2014

Ludis Doctrina: Grupo de Pesquisa em Aprendizagem Conectada e Jogos

de Queiroz, Ruy J. G. B.; DANTAS SCAICO, PASQUELINE; Silva, L. A. R.; dos Santos, I. H. B.
III Congresso Brasileiro de Informática na Educação
2014

Aegis: A Lightweight Tool for Prevent Frauds in Web Browsers

SILVA, C. M. R.; SILVA, J. L. C.; Assad, R. E.; de Queiroz, Ruy J. G. B.; Garcia, V. C.
2014 IEEE Joint Intelligence and Security Informatics Conference
2014

Intuitionistic N-Graphs

OLIVEIRA, A. G.; QUISPE-CRUZ, M.; de QUEIROZ, R. J. G. B.; de Paiva, V.
Logic Journal of the IGPL (Online)
2013

Reviewing some clauses of cloud-based Google's Agreements in Brazil

Castro, C. M. C.; de Queiroz, Ruy J. G. B.
2nd IEEE Latin American Conference on Cloud Computing and Communications (LatinCloud)
2013

Toward coercion-resistant end-to-end verifiable electronic voting systems

Santos, W. M.; de Queiroz, Ruy J. G. B.; Saraiva, C. E. R.; Varejão Júnior, G. P.
The 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-13)
2013

Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach

ANDRADE, L. S.; CARVALHO, R. V. B.; de Oliveira, A. G.; de Queiroz, Ruy J. G. B.
20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013)
2013

Scheme of User Privacy Protection Applied to Online Marketing

Oliveira, M. G. da S.; de Queiroz, Ruy J. G. B.
12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications - TrustCom2013
2013

On the Applicability of Common European Sales Law to Some Models of Cloud Computing Services

Castro, C. M. C.; Reed, C.; de Queiroz, Ruy J. G. B.
European Journal of Law and Technology
2013

THE SONG OF THE SIRENS

Castro, C. M. C.; de Queiroz, Ruy J. G. B.
Information, Communication & Society
2013

Insiders: Um Fator Ativo na Segurança da Informação

ALENCAR, G. D.; Queiroz, A. A. L.; de Queiroz, Ruy J. G. B.
[SBSI] IX Simpósio Brasileiro de Sistemas de Informação
2013

Insiders: Análise e Possibilidades de Mitigação de Ameaças Internas

ALENCAR, G. D.; Queiroz, A. A. L.; de Queiroz, Ruy J. G. B.
RESI : Revista Eletrônica de Sistemas de Informação
2013

UM ESTUDO SOBRE A FRAUDE DE CLIQUE: CASOS CONHECIDOS E IMPACTO NO DIREITO BRASILEIRO

de Queiroz, Ruy J. G. B.; COSTA, R. A.
Novos Estudos Jurídicos (Online)
2013

A educação do futuro: uma reflexão sobre aprendizagem na era digital

de Queiroz, Ruy José Guerra Barretto; Scaico, P. D.
[SBIE] XXIV Simpósio Brasileiro de Informática na Educação (SBIE 2013)
2013

On The Applicability of the Consumer Protection Code to Cloud Computing Transactions in Brazil

Castro, C. M. C.; Reed, C.; de Queiroz, Ruy J. G. B.
SCRIPTed
2012

A impressora 3D e o impacto na Propriedade Intelectual

Saraiva, R. L.; Fonseca, V. R. A.; de Queiroz, Ruy J.G.B.
V Encontro Acadêmico de Propriedade Intelectual, Inovação e Desenvolvimento
2012

Insiders: Análise e Possibilidades de Mitigação

ALENCAR, G. D.; Queiroz, A. A. L.; de Queiroz, Ruy J. G. B.
I Escola Regional de Informática de Pernambuco
2012

A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs

Costa, Rodrigo Alves; de Queiroz, Ruy J.G.B.; Cavalcanti, Elmano Ramalho
2012 International Conference on Software Security and Reliability Companion
2012

Proposta Interativa de Proteção da Privacidade por Meio dos Cookies

Queiroz, A. A. L.; ALENCAR, G. D.; de Queiroz, Ruy J.G.B.
I Escola Regional de Informática de Pernambuco
2011

Intuitionistic N-Graphs

Cruz, M. Q.; de Oliveira, A. G.; de Paiva, V.; de Queiroz, Ruy J. G. B.
6th Workshop on Logical and Semantic Frameworks, with Applications
2011

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property

ALVES, G. V.; de Oliveira, A. G.; de Queiroz, Ruy J. G. B.
Fundamenta Informaticae
2011

Preserving Vote Secrecy in End-to-End Verifiable Voting Systems

Santos, W. M.; de Queiroz, Ruy J. G. B.
Third IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT'11)
2011

Google Book Settlement and Copyright

Castro, C. M. C.; de Queiroz, Ruy J. G. B.
A Decade in Internet Time - Symposium on the Dynamics of the Internet and Society
2011

Computação em nuvem e seus desafios nos contratos eletrônicos

Castro, C. M. C.; de Queiroz, Ruy J. G. B.; Jardim, N. P.
In-Pactum
2011

The Functional Interpretation of Direct Computations

de Queiroz, Ruy J. G. B.; de Oliveira, A. G.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
2011

Forensic as a Service

Didoné, D.; de Queiroz, Ruy J. G. B.
The Sixth International Conference on Forensic Computer Science ? ICoFCS 2011
2011

Uma Ferramenta Adaptativa Baseada em Agentes Móveis Inteligentes para Segurança de Aplicações Web

Macêdo, M. A.; de Queiroz, Ruy J. G. B.; Damasceno, J. C.
[SBSI] VII Simpósio Brasileiro de Sistemas de Informação
2010

Breach of internet privacy through the use of cookies

Queiroz, A. A. L.; de Queiroz, Ruy J. G. B.
3rd International Conference on PErvasive Technologies Related to Assistive Environments
2010

jShield ? Uma Solução OpenSource para Segurança de Aplicações Web

Macêdo, M. A.; de Queiroz, Ruy J. G. B.; Damasceno, J. C.
[SBSI] VI Simpósio Brasileiro de Sistemas de Informação (SBSI 2010)
2009

Safe Reverse Auctions Protocol - Adding Treatment Against Collusive Shill Bidding and Sniping Attacks

Ribeiro, L. A. D. S.; de Queiroz, Ruy J. G. B.
[SECRYPT] International Conference on Security and Cryptography - SECRYPT 2009
2009

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization

ALVES, G. V.; de Oliveira, A. G.; de Queiroz, Ruy J. G. B.
16th Workshop on Logic, Language, Information and Computation - WoLLIC 2009
2008

Polynomial Space Computable Arithmetic

da Silva, E.F.L.; BIANCONI, R.; de QUEIROZ, R. J. G. B.
XIV SLALM ? 14th Latin-American Symposium on Mathematical Logic
2008

On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics

de QUEIROZ, R. J. G. B.
Studia Logica
2006

Um Framework para Computação Privada entre dois Participantes para Estatistica Descritiva

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.
8th International Symposium on System and Information Security
2006

On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs

BENATTI, H. G.; de QUEIROZ, R. J. G. B.
Bulletin of the Section of Logic
2006

Two-Party Secure Computation of Determinants, Eigenvalues, and Eigenvectors Using Computational Indistinguishability

Pontual, M. B. C. R. A.; de QUEIROZ, R. J. G. B.; Vanderlei, I. M.
I Jornada Científica da Unibratec
2006

Segurança em Sites desenvolvidos na linguagem PHP

de QUEIROZ, R. J. G. B.; Pontual, M. B. C. R. A.; Lins Neto, J. H.
VII Simpósio sobre Fatores Humanos em Sistemas Computacionais
2006

A framework for private statistics between two participants

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.
Scientia (Unisinos)
2005

Towards Normalization for Proof-Graphs

ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logic Colloquium 2004
2005

Introdução à Computação Segura entre Múltiplos Participantes

Pontual, M. B. C. R. A.; Vanderlei, I. M.; de QUEIROZ, R. J. G. B.
Simpósio de Segurança em Informática - SSI'05
2005

Descriptive Complexity of Modularity Problems on Graphs

BENATTI, H. G.; de QUEIROZ, R. J. G. B.
Bulletin of the Section of Logic
2005

On Dividing Chains in Simple Theories

LEWITZKA, S.; de QUEIROZ, R. J. G. B.
Archive for Mathematical Logic
2001

Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts

de QUEIROZ, R. J. G. B.
Logic Journal of the IGPL
2001

Soundness in Multiple-Conclusion Logic

de QUEIROZ, R. J. G. B.; OLIVEIRA, A. G.
Natural Deduction - Rio 2001
2001

Uma Introdução à Teoria da Prova

MARTINS, A. T. C.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
XXI Congresso da Sociedade Brasileira de Computação
2001

Natural Deduction for Equality

de QUEIROZ, R. J. G. B.
Natural Deduction - Rio 2001
1999

A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction

de Oliveira, A. G.; de QUEIROZ, R. J. G. B.
Logic Journal of the IGPL
1997

A New Basic Set Of Proof Transformations

OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
LOGIC COLLOQUIUM '95
1996

A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction

OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
2ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'95)
1996

A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction

OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
2ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'95)
1996

Transformação entre Provas para a Dedução Natural Rotulada via Reescrita de Termos

de Oliveira, A. G.; de QUEIROZ, R. J. G. B.
IX Concurso de Teses e Dissertações
1995

Games For Labelled Deduction

DURAN, A. A.; de QUEIROZ, R. J. G. B.
10TH INTERNATIONAL CONGRESS FOR LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE
1995

Labelled Abduction

RICCIO, N. C. R.; de QUEIROZ, R. J. G. B.
BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE (SBIA'95)
1995

The Functional Interpretation Of The Existential Quantifier

de QUEIROZ, R. J. G. B.; GABBAY, D.
Logic Journal of the IGPL
1994

Equality In Labelled Deductive Systems And The Functional Interpretation Of Propositional Equality

de QUEIROZ, R. J. G. B.; GABBAY, D. M.
9th Amsterdam Colloquium
1994

Normalisation and Language-Games1

de Queiroz, Ruy J. G. B.
Dialectica (Bern)
1994

Term Rewriting With Labelled Deductive Systems

QLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE
1994

Discourse Representation Using A Labelled Deductive System

GORENDER, S.; de QUEIROZ, R. J. G. B.
BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE
1994

A Labelled Deductive System For Natural Language

GORENDER, S.; de QUEIROZ, R. J. G. B.
[CLEI] CONFERENCIA LATINO-AMERICANA DE INFORMATICA (CLEI'94)
1993

The Functional Interpretation Of The Existential Quantifier

de QUEIROZ, R. J. G. B.; GABBAY, D. M.
LOGIC COLLOQUIUM '91
1992

Meaning, Use, Consequences - Interconnected Concepts

de QUEIROZ, R. J. G. B.
Tecnologias da Informacao e Sociedade - Teorias, Usos, Impactos / Information Technology and Society - Theories, Uses, Impacts
1992

Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics

Gabbay, Dov M.; de QUEIROZ, R. J. G. B.
The Journal of Symbolic Logic
1992

Grundgesetze Alongside Begriffsschrift

de QUEIROZ, R. J. G. B.
FIFTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM
1991

Abstract Data Types And Type Theory: Theories As Types

de QUEIROZ, R. J. G. B.; MAIBAUM, T. S. E.
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1991

Extending The Curry-Howard-Tait Intepretation To Linear,Relevant And Other Resource Logics

de QUEIROZ, R. J. G. B.; GABBAY, D. M.
LOGIC COLLOQUIUM '90
1991

Meaning As Grammar Plus Consequences

de QUEIROZ, R. J. G. B.
Dialectica (Bern)
1990

Extending the Curry-Howard-Tait Functional Interpretation to Relevance, Linear and Other Logics

GABBAY, D. M.; de QUEIROZ, R. J. G. B.
SNS Logic Colloquium, March 1990
1990

Proof Theory And Computer Programming

de QUEIROZ, R. J. G. B.; MAIBAUM, T. S. E.
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1989

Induction Rules For Non-Inductive Types In Type Theory

de QUEIROZ, R. J. G. B.; SMYTH, M. B.
FIFTH BRITISH COLLOQUIUM ON THEORETICAL COMPUTER SCIENCE
1989

Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts

de QUEIROZ, R. J. G. B.
FOURTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM
1988

Meaning As Use Type Theory And Theories Of Abstract Data Types Specification: Reduction Rules (Equations) Constituting The Semantics Of Use Of The Type

de QUEIROZ, R. J. G. B.
SIXTH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES
1988

The Two Wittgensteins And The Language Of Mathematics: Any Points Which Might Go Beyong Phases?

de QUEIROZ, R. J. G. B.
1988

The Mathematical Language And Its Semantics: To Show The Consequences Of A Proposition Is To Give Its Meaning

de QUEIROZ, R. J. G. B.
THIRTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM
1988

Normalisation And The Semantics Of Use

de QUEIROZ, R. J. G. B.
LOGIC COLLOQUIUM '88, UNIVERSIDADE DE PADUA, ITALIA
1988

A Proof-Theoretic Account Of Programming And The Role Of Reduction Rules.

de QUEIROZ, R. J. G. B.
Dialectica (Bern)
1987

Note On Freges Notions Of Definition And The Relationship Proof Theory Vs. Recursion Theory

de QUEIROZ, R. J. G. B.
8th International Congress on Logic, Methodology and Philosophy of Science
1987

A Word On Rules And Meaning

de QUEIROZ, R. J. G. B.
ASL/LSA CONFERENCE ON LOGIC AND LINGUISTICS, STANFORD
1985

Uma Analise da Programacao Como Uma Atividade de Expressao do Raciocinio

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
RBC. Revista Brasileira de Computação
1984

Implementando Protocolos Atraves de Programas Abstratos

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
CONGRESSO NACIONAL DE INFORMATICA
1984

Composição de Camadas de Protocolos

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
II SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES
1984

Um Modelo de Programacao para Implementacao de Protocolos

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
RBC. Revista Brasileira de Computação
1984

Implementacao de Arquiteturas Hierarquicas de Protocolos

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
[IV] IV CONF INTERNACIONAL DE CIENCIAS DE LA COMPUTACION
1983

Especificacao e Confiabilidade de Software.

de QUEIROZ, R. J. G. B.

Publicações

2026

Formal Verification of an Explicit Counterexample to the Jacobian Conjecture

RAMOS, ARTHUR F.; HULAK, D. B.; de Queiroz, Ruy José Guerra Barretto
Archive of Formal Proofs
2026

The K∞ homotopy λ-model

MARTÍNEZ-RIVILLAS, DANIEL O.; de Queiroz, Ruy J.G.B.
LOGIC JOURNAL OF THE IGPL
2026

Erdos-Ginzburg-Ziv

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

A Reusable Isabelle/HOL Framework for Propositional Labelled Natural Deduction

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Vosper's Theorem and the Cauchy?Davenport Theorem via the Polynomial Method

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Nagata Factoriality

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy J.G.B.
Archive of Formal Proofs
2026

The Classical Seifert?van Kampen Theorem

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Autenticação Baseada em Tokens e Provas de Conhecimento Zero

CRIÔLO, YASMIN M. S.; QUEIROZ, Ruy J. G. B. de
Encontro de Teoria da Computação
2026

Andrew's Monotone Chain Convex Hull Algorithm

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

The Busy Beaver Function

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

The Chevalley-Warning Theorem

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy J.G.B.
Archive of Formal Proofs
2026

The Mostowski Collapse Theorem

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

The Wallace-Simson Line Theorem in Isabelle/HOL

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy José Guerra Barretto
Archive of Formal Proofs
2026

Checking Equality-Saturation Merge and Extraction Certificates

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy J.G.B.
Archive of Formal Proofs
2026

The Banach?Tarski Paradox in Isabelle/HOL

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Aho-Corasick String Matching

RAMOS, A. F.; HULAK, D. B.; de Queiroz, Ruy José Guerra Barretto
Archive of Formal Proofs
2026

Nash Equilibria for Finite Games in Isabelle/HOL

RAMOS, A. F.; HULAK, D. B.; DE QUEIROZ, RUY J G B
Archive of Formal Proofs
2026

Alon?s Combinatorial Nullstellensatz

RAMOS, A. F.; DE QUEIROZ, RUY J G B; HULAK, D. B.
Archive of Formal Proofs
2025

Meaning as Use, Application, Employment, Purpose, Usefulness

QUEIROZ, Ruy J. G. B. de
SATS
2025

From the Notebooks to the Investigations and Beyond

QUEIROZ, Ruy J. G. B. de
SATS Northern European Journal of Philosophy
2023

SABER post-quantum key encapsulation mechanism (KEM): evaluating performance in ARM and x64 architectures

Ribeiro, L. A. D. S.; Lima, J. P. da Silva; de Queiroz, Ruy; CHAGAS, A. B.; R. JUNIOR, J. R.; QUINTINO, J. P.; SILVA, F. Q. B.; Santos, A. L. de M.
JOURNAL OF CRYPTOGRAPHIC ENGINEERING
2023

Computational paths - a weak groupoid

VERAS, T. M. L.; RAMOS, A. F.; de Queiroz, Ruy J.G.B.; de Oliveira, A. G.
JOURNAL OF LOGIC AND COMPUTATION
2023

The Theory of an Arbitrary Higher (lambda)-Model

Martinez-Rivillas, D. O.; DE QUEIROZ, RUY J G B
University of Lodz. Department of Logic. Bulletin of the Section of Logic
2023

From Tractatus to Later Writings and Back - New Implications from Wittgenstein?s

DE QUEIROZ, RUY J. G. B.
SATS
2022

Cypherpunk

RAMIRO, ANDRÉ; de Queiroz, Ruy
Internet Policy Review
2022

Towards a homotopy domain theory

MARTÍNEZ-RIVILLAS, DANIEL O.; de Queiroz, Ruy José Guerra Barretto
ARCHIVE FOR MATHEMATICAL LOGIC
2022

Distributed Repository for Software Packages Using Blockchain

COSTA, FELIPE Z. DA N.; de Queiroz, Ruy J. G. B.; BITTENCOURT, GUSTAVO P.; TEIXEIRA, LEOPOLDO
IEEE Access
2021

Calculation of Fundamental Groups via Computational Paths

VERAS, T. M. L. DE; RAMOS, A. F.; Queiroz, R. J. G. B. de; OLIVEIRA, A. G. DE
Encontro de Teoria da Computação
2021

Rumo a uma Teoria de Domínios da Homotopia

MARTÍNEZ-RIVILLAS, DANIEL O.; QUEIROZ, Ruy J. G. B. de
Encontro de Teoria da Computação
2021

Conversão de Termos, Homotopia, e Estrutura de Grupóide

RAMOS, ARTHUR F.; QUEIROZ, Ruy J. G. B. de; OLIVEIRA, ANJOLINA G. DE
Workshop Brasileiro de Lógica
2021

The infinity-groupoid generated by an arbitrary topological lambda-model

Martinez-Rivillas, D. O.; de Queiroz, Ruy J.G.B.
LOGIC JOURNAL OF THE IGPL
2021

Computational Paths and the Fundamental Groupoid of a Type

RAMOS, ARTHUR F.; QUEIROZ, Ruy J. G. B. de; OLIVEIRA, ANJOLINA G. DE
Encontro de Teoria da Computação
2020

A Blockchain Using Proof-of-Download

DA N. COSTA, FELIPE ZIMMERLE; de Queiroz, Ruy J. G. B.
2020 IEEE International Conference on Blockchain (Blockchain)
2019

Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages

RAMOS, MARCUS V.M.; BACELAR ALMEIDA, JOSÉ CARLOS; MOREIRA, NELMA; de Queiroz, Ruy J.G.B.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
2018

Explicit Computational Paths

RAMOS, A. F.; de Queiroz, Ruy J.G.B.; de Oliveira, A. G.; VERAS, T. M. L.
SOUTH AMERICAN JOURNAL OF LOGIC
2018

Propositional intuitionistic multiple-conclusion calculus via proof graphs

CARVALHO, RUAN V B; DE OLIVEIRA, ANJOLINA G; DE QUEIROZ, RUY J G B
LOGIC JOURNAL OF THE IGPL
2017

Analyzing How Interest in Learning Programming Changes During a CS0 Course

DANTAS SCAICO, PASQUELINE; G.B. de Queiroz, Ruy José; LIMA DIAS, JOSÉ JORGE
the 2017 ACM Conference
2017

Computational paths, transport and the univalence axiom

RAMOS, ARTHUR F.; de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
18th Brazilian Logic Conference
2017

On the identity type as the type of computational paths

RAMOS, ARTHUR F.; de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
LOGIC JOURNAL OF THE IGPL
2017

Os jogos e a educação do futuro: o que estes universos têm a ver?

Scaico, P. D.; de Queiroz, Ruy J. G. B.
Revista ELO
2016

Formalization of the pumping lemma for context-free languages

Ramos, M. V. M.; Almeida, J. C. B.; Moreira, N.; de Queiroz, Ruy J. G. B.
JOURNAL OF FORMALIZED REASONING
2016

Normalization of N-Graphs via Sub-N-Graphs

ANDRADE, LAÍS; CARVALHO, RUAN; DE OLIVEIRA, ANJOLINA; de Queiroz, Ruy
Electronic Notes in Theoretical Computer Science
2016

Digital content and cloud-based contracts in Brazil and the European Union

DE CASTRO, CLARICE MARINHO MARTINS; REED, CHRIS; de Queiroz, Ruy
International Journal of Law and Information Technology
2016

On the Formalization of Some Results of Context-Free Language Theory

Ramos, M. V. M.; Moreira, N.; Almeida, J. C. B.; de Queiroz, Ruy J. G. B.
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)
2016

Propositional Equality, Identity Types, and Computational Paths

de Queiroz, Ruy J.G.B.; OLIVEIRA, A. G.; RAMOS, A. F.
SOUTH AMERICAN JOURNAL OF LOGIC
2015

Formalization of simplification for context-free grammars

RAMOS, MARCUS V.M.; de Queiroz, Ruy J. G. B.
Tenth Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2015
2015

Normalization of N-Graphs via Sub-N-Graphs

ANDRADE, L. S.; CARVALHO, R. V. B.; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.
Tenth Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2015
2015

A systematic mapping on security threats in mobile devices

LACERDA, ANSELMO; de Queiroz, Ruy; BARBOSA, MARCIO
[ITA] 2015 Internet Technologies and Applications (ITA)
2015

Forense em Solid State Drive: entendendo os mecanismos internos que podem inviabilizar a recuperação de dados

Corrêa Jr, M. A. C.; de Queiroz, Ruy J. G. B.
XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais
2015

Reviewing Frege?s techniques for formalising functions as rules

de QUEIROZ, R. J. G. B.
III Latin American Analytic Philosophy Conference & III Conference of the Brazilian Society for Analytic Philosophy
2015

Apos um processo de formatação, é possível recuperar dados em um SSD?

Corrêa Jr, M. A. C.; de Queiroz, Ruy J. G. B.
XV Simpósio Brasileiro de Segurançaa da Informação e de Sistemas Computacionais
2015

Computational paths, identity type, and the groupoid model

RAMOS, ARTHUR F.; de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
Tenth Workshop on Logical and Semantic Frameworks, with Applications- LSFA 2015
2014

O conceito big data na educação

Scaico, P. D.; de Queiroz, Ruy J. G. B.; Scaico, A.
XX Workshop de Informática na Educação, 2014
2014

How Youth Construct Learning Trajectories in the Digital Age?

Scaico, P. D.; de Queiroz, Ruy J. G. B.
6th International Conference on Computer Supported Education
2014

Sequentialization for N-Graphs via Sub-N-Graphs

CARVALHO, R. V. B.; ANDRADE, L. S.; de Oliveira, A. G.; de Queiroz, Ruy J. G. B.
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014
2014

Ludis Doctrina: Grupo de Pesquisa em Aprendizagem Conectada e Jogos

de Queiroz, Ruy J. G. B.; DANTAS SCAICO, PASQUELINE; Silva, L. A. R.; dos Santos, I. H. B.
III Congresso Brasileiro de Informática na Educação
2014

Aegis: A Lightweight Tool for Prevent Frauds in Web Browsers

SILVA, C. M. R.; SILVA, J. L. C.; Assad, R. E.; de Queiroz, Ruy J. G. B.; Garcia, V. C.
2014 IEEE Joint Intelligence and Security Informatics Conference
2014

Intuitionistic N-Graphs

OLIVEIRA, A. G.; QUISPE-CRUZ, M.; de QUEIROZ, R. J. G. B.; de Paiva, V.
Logic Journal of the IGPL (Online)
2013

Reviewing some clauses of cloud-based Google's Agreements in Brazil

Castro, C. M. C.; de Queiroz, Ruy J. G. B.
2nd IEEE Latin American Conference on Cloud Computing and Communications (LatinCloud)
2013

Toward coercion-resistant end-to-end verifiable electronic voting systems

Santos, W. M.; de Queiroz, Ruy J. G. B.; Saraiva, C. E. R.; Varejão Júnior, G. P.
The 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-13)
2013

Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach

ANDRADE, L. S.; CARVALHO, R. V. B.; de Oliveira, A. G.; de Queiroz, Ruy J. G. B.
20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013)
2013

Scheme of User Privacy Protection Applied to Online Marketing

Oliveira, M. G. da S.; de Queiroz, Ruy J. G. B.
12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications - TrustCom2013
2013

On the Applicability of Common European Sales Law to Some Models of Cloud Computing Services

Castro, C. M. C.; Reed, C.; de Queiroz, Ruy J. G. B.
European Journal of Law and Technology
2013

THE SONG OF THE SIRENS

Castro, C. M. C.; de Queiroz, Ruy J. G. B.
Information, Communication & Society
2013

Insiders: Um Fator Ativo na Segurança da Informação

ALENCAR, G. D.; Queiroz, A. A. L.; de Queiroz, Ruy J. G. B.
[SBSI] IX Simpósio Brasileiro de Sistemas de Informação
2013

Insiders: Análise e Possibilidades de Mitigação de Ameaças Internas

ALENCAR, G. D.; Queiroz, A. A. L.; de Queiroz, Ruy J. G. B.
RESI : Revista Eletrônica de Sistemas de Informação
2013

UM ESTUDO SOBRE A FRAUDE DE CLIQUE: CASOS CONHECIDOS E IMPACTO NO DIREITO BRASILEIRO

de Queiroz, Ruy J. G. B.; COSTA, R. A.
Novos Estudos Jurídicos (Online)
2013

A educação do futuro: uma reflexão sobre aprendizagem na era digital

de Queiroz, Ruy José Guerra Barretto; Scaico, P. D.
[SBIE] XXIV Simpósio Brasileiro de Informática na Educação (SBIE 2013)
2013

On The Applicability of the Consumer Protection Code to Cloud Computing Transactions in Brazil

Castro, C. M. C.; Reed, C.; de Queiroz, Ruy J. G. B.
SCRIPTed
2012

A impressora 3D e o impacto na Propriedade Intelectual

Saraiva, R. L.; Fonseca, V. R. A.; de Queiroz, Ruy J.G.B.
V Encontro Acadêmico de Propriedade Intelectual, Inovação e Desenvolvimento
2012

Insiders: Análise e Possibilidades de Mitigação

ALENCAR, G. D.; Queiroz, A. A. L.; de Queiroz, Ruy J. G. B.
I Escola Regional de Informática de Pernambuco
2012

A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs

Costa, Rodrigo Alves; de Queiroz, Ruy J.G.B.; Cavalcanti, Elmano Ramalho
2012 International Conference on Software Security and Reliability Companion
2012

Proposta Interativa de Proteção da Privacidade por Meio dos Cookies

Queiroz, A. A. L.; ALENCAR, G. D.; de Queiroz, Ruy J.G.B.
I Escola Regional de Informática de Pernambuco
2011

Intuitionistic N-Graphs

Cruz, M. Q.; de Oliveira, A. G.; de Paiva, V.; de Queiroz, Ruy J. G. B.
6th Workshop on Logical and Semantic Frameworks, with Applications
2011

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property

ALVES, G. V.; de Oliveira, A. G.; de Queiroz, Ruy J. G. B.
Fundamenta Informaticae
2011

Preserving Vote Secrecy in End-to-End Verifiable Voting Systems

Santos, W. M.; de Queiroz, Ruy J. G. B.
Third IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT'11)
2011

Google Book Settlement and Copyright

Castro, C. M. C.; de Queiroz, Ruy J. G. B.
A Decade in Internet Time - Symposium on the Dynamics of the Internet and Society
2011

Computação em nuvem e seus desafios nos contratos eletrônicos

Castro, C. M. C.; de Queiroz, Ruy J. G. B.; Jardim, N. P.
In-Pactum
2011

The Functional Interpretation of Direct Computations

de Queiroz, Ruy J. G. B.; de Oliveira, A. G.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
2011

Forensic as a Service

Didoné, D.; de Queiroz, Ruy J. G. B.
The Sixth International Conference on Forensic Computer Science ? ICoFCS 2011
2011

Uma Ferramenta Adaptativa Baseada em Agentes Móveis Inteligentes para Segurança de Aplicações Web

Macêdo, M. A.; de Queiroz, Ruy J. G. B.; Damasceno, J. C.
[SBSI] VII Simpósio Brasileiro de Sistemas de Informação
2010

Breach of internet privacy through the use of cookies

Queiroz, A. A. L.; de Queiroz, Ruy J. G. B.
3rd International Conference on PErvasive Technologies Related to Assistive Environments
2010

jShield ? Uma Solução OpenSource para Segurança de Aplicações Web

Macêdo, M. A.; de Queiroz, Ruy J. G. B.; Damasceno, J. C.
[SBSI] VI Simpósio Brasileiro de Sistemas de Informação (SBSI 2010)
2009

Safe Reverse Auctions Protocol - Adding Treatment Against Collusive Shill Bidding and Sniping Attacks

Ribeiro, L. A. D. S.; de Queiroz, Ruy J. G. B.
[SECRYPT] International Conference on Security and Cryptography - SECRYPT 2009
2009

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization

ALVES, G. V.; de Oliveira, A. G.; de Queiroz, Ruy J. G. B.
16th Workshop on Logic, Language, Information and Computation - WoLLIC 2009
2008

Polynomial Space Computable Arithmetic

da Silva, E.F.L.; BIANCONI, R.; de QUEIROZ, R. J. G. B.
XIV SLALM ? 14th Latin-American Symposium on Mathematical Logic
2008

On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics

de QUEIROZ, R. J. G. B.
Studia Logica
2006

Um Framework para Computação Privada entre dois Participantes para Estatistica Descritiva

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.
8th International Symposium on System and Information Security
2006

On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs

BENATTI, H. G.; de QUEIROZ, R. J. G. B.
Bulletin of the Section of Logic
2006

Two-Party Secure Computation of Determinants, Eigenvalues, and Eigenvectors Using Computational Indistinguishability

Pontual, M. B. C. R. A.; de QUEIROZ, R. J. G. B.; Vanderlei, I. M.
I Jornada Científica da Unibratec
2006

Segurança em Sites desenvolvidos na linguagem PHP

de QUEIROZ, R. J. G. B.; Pontual, M. B. C. R. A.; Lins Neto, J. H.
VII Simpósio sobre Fatores Humanos em Sistemas Computacionais
2006

A framework for private statistics between two participants

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.
Scientia (Unisinos)
2005

Towards Normalization for Proof-Graphs

ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logic Colloquium 2004
2005

Introdução à Computação Segura entre Múltiplos Participantes

Pontual, M. B. C. R. A.; Vanderlei, I. M.; de QUEIROZ, R. J. G. B.
Simpósio de Segurança em Informática - SSI'05
2005

Descriptive Complexity of Modularity Problems on Graphs

BENATTI, H. G.; de QUEIROZ, R. J. G. B.
Bulletin of the Section of Logic
2005

On Dividing Chains in Simple Theories

LEWITZKA, S.; de QUEIROZ, R. J. G. B.
Archive for Mathematical Logic
2001

Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts

de QUEIROZ, R. J. G. B.
Logic Journal of the IGPL
2001

Soundness in Multiple-Conclusion Logic

de QUEIROZ, R. J. G. B.; OLIVEIRA, A. G.
Natural Deduction - Rio 2001
2001

Uma Introdução à Teoria da Prova

MARTINS, A. T. C.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
XXI Congresso da Sociedade Brasileira de Computação
2001

Natural Deduction for Equality

de QUEIROZ, R. J. G. B.
Natural Deduction - Rio 2001
1999

A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction

de Oliveira, A. G.; de QUEIROZ, R. J. G. B.
Logic Journal of the IGPL
1997

A New Basic Set Of Proof Transformations

OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
LOGIC COLLOQUIUM '95
1996

A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction

OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
2ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'95)
1996

A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction

OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
2ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'95)
1996

Transformação entre Provas para a Dedução Natural Rotulada via Reescrita de Termos

de Oliveira, A. G.; de QUEIROZ, R. J. G. B.
IX Concurso de Teses e Dissertações
1995

Games For Labelled Deduction

DURAN, A. A.; de QUEIROZ, R. J. G. B.
10TH INTERNATIONAL CONGRESS FOR LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE
1995

Labelled Abduction

RICCIO, N. C. R.; de QUEIROZ, R. J. G. B.
BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE (SBIA'95)
1995

The Functional Interpretation Of The Existential Quantifier

de QUEIROZ, R. J. G. B.; GABBAY, D.
Logic Journal of the IGPL
1994

Equality In Labelled Deductive Systems And The Functional Interpretation Of Propositional Equality

de QUEIROZ, R. J. G. B.; GABBAY, D. M.
9th Amsterdam Colloquium
1994

Normalisation and Language-Games1

de Queiroz, Ruy J. G. B.
Dialectica (Bern)
1994

Term Rewriting With Labelled Deductive Systems

QLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE
1994

Discourse Representation Using A Labelled Deductive System

GORENDER, S.; de QUEIROZ, R. J. G. B.
BRAZILIAN SYMPOSIUM OF ARTIFICIAL INTELLIGENCE
1994

A Labelled Deductive System For Natural Language

GORENDER, S.; de QUEIROZ, R. J. G. B.
[CLEI] CONFERENCIA LATINO-AMERICANA DE INFORMATICA (CLEI'94)
1993

The Functional Interpretation Of The Existential Quantifier

de QUEIROZ, R. J. G. B.; GABBAY, D. M.
LOGIC COLLOQUIUM '91
1992

Meaning, Use, Consequences - Interconnected Concepts

de QUEIROZ, R. J. G. B.
Tecnologias da Informacao e Sociedade - Teorias, Usos, Impactos / Information Technology and Society - Theories, Uses, Impacts
1992

Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics

Gabbay, Dov M.; de QUEIROZ, R. J. G. B.
The Journal of Symbolic Logic
1992

Grundgesetze Alongside Begriffsschrift

de QUEIROZ, R. J. G. B.
FIFTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM
1991

Abstract Data Types And Type Theory: Theories As Types

de QUEIROZ, R. J. G. B.; MAIBAUM, T. S. E.
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1991

Extending The Curry-Howard-Tait Intepretation To Linear,Relevant And Other Resource Logics

de QUEIROZ, R. J. G. B.; GABBAY, D. M.
LOGIC COLLOQUIUM '90
1991

Meaning As Grammar Plus Consequences

de QUEIROZ, R. J. G. B.
Dialectica (Bern)
1990

Extending the Curry-Howard-Tait Functional Interpretation to Relevance, Linear and Other Logics

GABBAY, D. M.; de QUEIROZ, R. J. G. B.
SNS Logic Colloquium, March 1990
1990

Proof Theory And Computer Programming

de QUEIROZ, R. J. G. B.; MAIBAUM, T. S. E.
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1989

Induction Rules For Non-Inductive Types In Type Theory

de QUEIROZ, R. J. G. B.; SMYTH, M. B.
FIFTH BRITISH COLLOQUIUM ON THEORETICAL COMPUTER SCIENCE
1989

Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts

de QUEIROZ, R. J. G. B.
FOURTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM
1988

Meaning As Use Type Theory And Theories Of Abstract Data Types Specification: Reduction Rules (Equations) Constituting The Semantics Of Use Of The Type

de QUEIROZ, R. J. G. B.
SIXTH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES
1988

The Two Wittgensteins And The Language Of Mathematics: Any Points Which Might Go Beyong Phases?

de QUEIROZ, R. J. G. B.
1988

The Mathematical Language And Its Semantics: To Show The Consequences Of A Proposition Is To Give Its Meaning

de QUEIROZ, R. J. G. B.
THIRTEENTH INTERNATIONAL WITTGENSTEIN SYMPOSIUM
1988

Normalisation And The Semantics Of Use

de QUEIROZ, R. J. G. B.
LOGIC COLLOQUIUM '88, UNIVERSIDADE DE PADUA, ITALIA
1988

A Proof-Theoretic Account Of Programming And The Role Of Reduction Rules.

de QUEIROZ, R. J. G. B.
Dialectica (Bern)
1987

Note On Freges Notions Of Definition And The Relationship Proof Theory Vs. Recursion Theory

de QUEIROZ, R. J. G. B.
8th International Congress on Logic, Methodology and Philosophy of Science
1987

A Word On Rules And Meaning

de QUEIROZ, R. J. G. B.
ASL/LSA CONFERENCE ON LOGIC AND LINGUISTICS, STANFORD
1985

Uma Analise da Programacao Como Uma Atividade de Expressao do Raciocinio

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
RBC. Revista Brasileira de Computação
1984

Implementando Protocolos Atraves de Programas Abstratos

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
CONGRESSO NACIONAL DE INFORMATICA
1984

Composição de Camadas de Protocolos

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
II SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES
1984

Um Modelo de Programacao para Implementacao de Protocolos

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
RBC. Revista Brasileira de Computação
1984

Implementacao de Arquiteturas Hierarquicas de Protocolos

de QUEIROZ, R. J. G. B.; CUNHA, P. R. F.
[IV] IV CONF INTERNACIONAL DE CIENCIAS DE LA COMPUTACION
1983

Especificacao e Confiabilidade de Software.

de QUEIROZ, R. J. G. B.
ruy

Ruy José Guerra Barretto de Queiroz

Professor Titular

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Ruy José Guerra Barretto de Queiroz
Link para o perfil do lattes de Ruy José Guerra Barretto de Queiroz
Link para o perfil do LinkedIn de Ruy José Guerra Barretto de Queiroz
Link para o perfil do DBLP de Ruy José Guerra Barretto de Queiroz
Link para o perfil do ORCID de Ruy José Guerra Barretto de Queiroz
Link para o perfil do Scholar de Ruy José Guerra Barretto de Queiroz
Link para o perfil do sigaa de Ruy José Guerra Barretto de Queiroz
E-mail
ruy@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4309
Sala
B208
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações
ruy

Ruy José Guerra Barretto de Queiroz

Professor Titular

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Ruy José Guerra Barretto de Queiroz
Link para o perfil do lattes de Ruy José Guerra Barretto de Queiroz
Link para o perfil do LinkedIn de Ruy José Guerra Barretto de Queiroz
Link para o perfil do DBLP de Ruy José Guerra Barretto de Queiroz
Link para o perfil do ORCID de Ruy José Guerra Barretto de Queiroz
Link para o perfil do Scholar de Ruy José Guerra Barretto de Queiroz
Link para o perfil do sigaa de Ruy José Guerra Barretto de Queiroz
E-mail
ruy@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4309
Sala
B208
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações