Ruy J. G. B. de Queiroz

According to our database, Ruy J. G. B. de Queiroz authored at least 106 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Towards a homotopy domain theory.

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

Arch. Math. Log., May, 2023

From Tractatus to Later Writings and Back - New Implications from the Nachlass.

Ruy J. G. B. de Queiroz

CoRR, 2023

2022

25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018.

Lawrence S. Moss, Ruy J. G. B. de Queiroz

J. Log. Lang. Inf., 2022

Cypherpunk.

André Ramiro, Ruy J. G. B. de Queiroz

Internet Policy Rev., 2022

∞-Groupoid Generated by an Arbitrary Topological λ-Model.

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2022

26th Workshop on Logic, Language, Information and Computation - WoLLIC 2019.

Ruy J. G. B. de Queiroz

Inf. Comput., 2022

Distributed Repository for Software Packages Using Blockchain.

Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz, Gustavo P. Bittencourt, Leopoldo Teixeira

IEEE Access, 2022

2021

The Theory of an Arbitrary Higher λ-Model.

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

CoRR, 2021

Solving Homotopy Domain Equations.

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

CoRR, 2021

24th Workshop on Logic, Language, Information and Computation - WoLLIC 2017.

Juliette Kennedy, Ruy J. G. B. de Queiroz

Arch. Math. Log., 2021

2020

Towards a Homotopy Domain Theory (HoDT).

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

CoRR, 2020

Computational Paths - A Weak Groupoid.

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira

CoRR, 2020

A Blockchain Using Proof-of-Download.

Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz

Proceedings of the IEEE International Conference on Blockchain, 2020

2019

Preface.

Valeria de Paiva, Ruy J. G. B. de Queiroz

Math. Struct. Comput. Sci., 2019

25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).

Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2019

24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017).

Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh

Log. J. IGPL, 2019

Propositional intuitionistic multiple-conclusion calculus via proof graphs.

Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2019

Capivara: A decentralized package version control using Blockchain.

Felipe Zimmerle da N. Costa, Ruy José Guerra Barretto de Queiroz

CoRR, 2019

An alternative approach to the calculation of fundamental groups based on labeled natural deduction.

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2019

A Topological Application of Labelled Natural Deduction.

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2019

An extensional λ-model with ∞-grupoid structure.

Daniel Martinez Rivillas, Ruy J. G. B. de Queiroz

CoRR, 2019

23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016.

Jouko Väänänen, Ruy J. G. B. de Queiroz

Ann. Pure Appl. Log., 2019

2018

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

Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths.

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2018

On the Use of Computational Paths in Path Spaces of Homotopy Type Theory.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras

CoRR, 2018

Sequentialization for full N-Graphs via sub-N-Graphs.

Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

CoRR, 2018

An Initial Analysis of the Research on Interest and Introductory Programming : A Systematic Review of this Literature.

Pasqueline Dantas Scaico, Alexandre Scaico, Ruy José Guerra Barretto de Queiroz

Proceedings of the IEEE Frontiers in Education Conference, 2018

2017

20th workshop on logic, language, information and computation - WoLLIC 2013.

Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz

J. Comput. Syst. Sci., 2017

23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016).

Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez

Log. J. IGPL, 2017

On the identity type as the type of computational paths.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

Log. J. IGPL, 2017

21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014.

Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz

Inf. Comput., 2017

Analyzing How Interest in Learning Programming Changes During a CS0 Course: A Qualitative Study with Brazilian Undergraduates.

Pasqueline Dantas Scaico, Ruy José Guerra Barretto de Queiroz, José Jorge Lima Dias Jr.

Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

Studying the phenomenon of developing interest in learning how to code what happens to the interest of Brazilian undergraduates over an introductory experience.

Pasqueline D. Scaico, Ruy José Guerra Barretto de Queiroz, José Jorge Lima Dias Jr., Alexandre Scaico

Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

2016

Formalization of the pumping lemma for context-free languages.

Marcus Vinícius Midena Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz

J. Formaliz. Reason., 2016

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

Clarice Marinho Martins de Castro, Chris Reed, Ruy J. G. B. de Queiroz

Int. J. Law Inf. Technol., 2016

22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015).

Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2016

Computational Paths and Identity Types.

Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2016

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

Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida

Proceedings of the Logic, Language, Information, and Computation, 2016

A meta-analysis for security threats over the Web ecosystem.

Carlo Marcelo Revoredo da Silva, Ricardo Batista Rodrigues, Ruy J. G. B. de Queiroz, Vinicius C. Garcia, José Silva, Daniel Gatti, Leandro M. do Nascimento, Kellyton Brito, Rodrigo Elia Assad

Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

Towards a taxonomy for security threats on the web ecosystem.

Carlo Marcelo Revoredo da Silva, Ricardo Batista Rodrigues, Ruy J. G. B. de Queiroz, Vinicius C. Garcia, José Silva, Daniel Gatti, Rodrigo Elia Assad, Leandro M. do Nascimento, Kellyton Brito, Péricles B. C. de Miranda

Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

2015

Logic, Language, Information and Computation (WoLLIC 2012).

C.-H. Luke Ong, Ruy J. G. B. de Queiroz

Theor. Comput. Sci., 2015

21st Workshop on Logic, Language, Information and Computation (<i>WoLLIC 2014</i>).

Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2015

Normalization of N-Graphs via Sub-N-Graphs.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

On Computational Paths and the Fundamental Groupoid of a Type.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2015

On the Groupoid Model of Computational Paths.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2015

Formalization of context-free language theory.

Marcus V. M. Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida

CoRR, 2015

Formalization of simplification for context-free grammars.

Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz

CoRR, 2015

Formalization of closure properties for context-free grammars.

Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz

CoRR, 2015

Context-Free Language Theory Formalization.

Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz

CoRR, 2015

2014

Editor's foreword: WoLLIC 2010.

Anuj Dawar, Ruy J. G. B. de Queiroz

J. Comput. Syst. Sci., 2014

Editors' foreword.

Lev D. Beklemishev, Ruy J. G. B. de Queiroz, Andre Scedrov

J. Comput. Syst. Sci., 2014

Intuitionistic N-Graphs.

Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva

Log. J. IGPL, 2014

Sequences of Rewrites: A Categorical Interpretation.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2014

Sequentialization for N-Graphs via Sub-N-Graphs.

Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2014

How Youth Construct Learning Trajectories in the Digital Age?.

Pasqueline Dantas Scaico, Ruy José Guerra Barretto de Queiroz

Proceedings of the CSEDU 2014, 2014

2013

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

Clarice Marinho Martins de Castro, Chris Reed, Ruy J. G. B. de Queiroz

Eur. J. Law Technol., 2013

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

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2013

Toward Coercion-Resistant End-to-End Verifiable Electronic Voting Systems.

Wagner Medeiros dos Santos, Ruy J. G. B. de Queiroz, Carlos E. R. Saraiva, Gleudson P. V. Junior

Proceedings of the 12th IEEE International Conference on Trust, 2013

Scheme of User Privacy Protection Applied to Online Marketing.

Maria das Gracas da Silva Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the 12th IEEE International Conference on Trust, 2013

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

Gliner Dias Alencar, Anderson A. L. Queiroz, Ruy José Guerra Barretto de Queiroz

Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

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

Clarice Marinho Martins de Castro, Ruy J. G. B. de Queiroz

Proceedings of the 2nd IEEE Latin American Conference on Cloud Computing and Communications, 2013

2012

A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs.

Rodrigo Alves Costa, Ruy J. G. B. de Queiroz, Elmano Ramalho Cavalcanti

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2011

The Functional Interpretation of Logical Deduction

Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Dov M. Gabbay

Advances in Logic 5, World Scientific, ISBN: 978-981-4458-36-8, 2011

Preface.

Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz

Fundam. Informaticae, 2011

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

Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Fundam. Informaticae, 2011

Propositional equality, identity types, and direct computational paths

Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2011

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

Wagner Medeiros dos Santos, Ruy J. G. B. de Queiroz

Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

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

Márcio A. Macêdo, Ruy J. G. B. de Queiroz, Julio Cesar Damasceno

Proceedings of the 7th Brazilian Symposium on Information Systems, 2011

2010

Editors' foreword for JCSS WoLLIC 2008.

Wilfrid Hodges, Ruy J. G. B. de Queiroz

J. Comput. Syst. Sci., 2010

Logic, language, information and computation.

Daniel Leivant, Ruy J. G. B. de Queiroz

Inf. Comput., 2010

The Functional Interpretation of Direct Computations.

Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

Breach of internet privacy through the use of cookies.

Anderson A. L. Queiroz, Ruy J. G. B. de Queiroz

Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, 2010

2009

Logic, Language, Information and Computation.

Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz

Inf. Comput., 2009

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.

Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, 2009

2008

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

Ruy J. G. B. de Queiroz

Stud Logica, 2008

Logic, Language, Information and Computation.

Ruy J. G. B. de Queiroz, Angus Macintyre

Ann. Pure Appl. Log., 2008

2006

Logic, Language, Information and Computation.

Ruy J. G. B. de Queiroz, Dexter Kozen

Theor. Comput. Sci., 2006

Preface.

Grigori Mints, Ruy J. G. B. de Queiroz

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

Preface.

Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

WoLLIC'2002.

Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov

Ann. Pure Appl. Log., 2005

On dividing chains in simple theories.

Steffen Lewitzka, Ruy J. G. B. de Queiroz

Arch. Math. Log., 2005

A New Basic Set of Transformations between Proofs.

Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

Preface.

Ruy J. G. B. de Queiroz, Patrick Cégielski

Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

2003

Preface.

Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

Geometry of Deduction Via Graphs of Proofs.

Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic for Concurrency and Synchronisation, 2003

2002

9th Workshop on Logic, Language, Information and Computation.

Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler

Log. J. IGPL, 2002

Preface: WoLLIC 2002

Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

2001

8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001).

Ruy J. G. B. de Queiroz

Log. J. IGPL, 2001

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

Ruy J. G. B. de Queiroz

Log. J. IGPL, 2001

7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000).

Ruy J. G. B. de Queiroz

Log. J. IGPL, 2001

2000

Editorial.

Ruy J. G. B. de Queiroz

Log. J. IGPL, 2000

1999

A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction.

Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Log. J. IGPL, 1999

1998

Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS).

Peter A. Flach, Antonis C. Kakas, Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes

Log. J. IGPL, 1998

Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98).

Ruy J. G. B. de Queiroz, Marcelo Finger

Log. J. IGPL, 1998

1997

Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97).

Ruy J. G. B. de Queiroz

Log. J. IGPL, 1997

1996

Conferences.

Ruy J. G. B. de Queiroz

Log. J. IGPL, 1996

Second Workshop on Logic, Language, Information and Computation (WoLLIC'95).

Ruy J. G. B. de Queiroz

Log. J. IGPL, 1996

1995

The Functional Interpretation of the Existential Quantifier.

Ruy J. G. B. de Queiroz, Dov M. Gabbay

Log. J. IGPL, 1995

Editorial.

Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz

Log. J. IGPL, 1995

The Bulletin turned into a Journal.

Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz

Log. J. IGPL, 1995

Labelled Abduction.

Nícia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz

Proceedings of the Advances in Artificial Intelligence, 1995

1994

Speed with Quality.

Dov M. Gabbay, Ruy J. G. B. de Queiroz

Log. J. IGPL, 1994

1992

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

Dov M. Gabbay, Ruy J. G. B. de Queiroz

J. Symb. Log., 1992

1991

Abstract Data Types and Type Theory: Theories as Types.

Ruy J. G. B. de Queiroz, T. S. E. Maibaum

Math. Log. Q., 1991

1990

Proof theory and computer programming: the logical foundations of computing.

Ruy José Guerra Barretto de Queiroz

PhD thesis, 1990

Proof theory and computer programming.

Ruy J. G. B. de Queiroz, T. S. E. Maibaum

Math. Log. Q., 1990