Ruy J. G. B. de Queiroz

Affiliations:
  • Federal University of Pernambuco, Recife, Brazil


According to our database1, Ruy J. G. B. de Queiroz authored at least 107 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SABER post-quantum key encapsulation mechanism (KEM): evaluating performance in ARM and x64 architectures.
J. Cryptogr. Eng., April, 2024

2023
Towards a homotopy domain theory.
Arch. Math. Log., May, 2023

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

2022
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018.
J. Log. Lang. Inf., 2022

Cypherpunk.
Internet Policy Rev., 2022

∞-Groupoid Generated by an Arbitrary Topological λ-Model.
Log. J. IGPL, 2022

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

Distributed Repository for Software Packages Using Blockchain.
IEEE Access, 2022

2021
The Theory of an Arbitrary Higher λ-Model.
CoRR, 2021

Solving Homotopy Domain Equations.
CoRR, 2021

24th Workshop on Logic, Language, Information and Computation - WoLLIC 2017.
Arch. Math. Log., 2021

2020
Towards a Homotopy Domain Theory (HoDT).
CoRR, 2020

Computational Paths - A Weak Groupoid.
CoRR, 2020

A Blockchain Using Proof-of-Download.
Proceedings of the IEEE International Conference on Blockchain, 2020

2019
Preface.
Math. Struct. Comput. Sci., 2019

25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).
Log. J. IGPL, 2019

24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017).
Log. J. IGPL, 2019

Propositional intuitionistic multiple-conclusion calculus via proof graphs.
Log. J. IGPL, 2019

Capivara: A decentralized package version control using Blockchain.
CoRR, 2019

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

A Topological Application of Labelled Natural Deduction.
CoRR, 2019

An extensional λ-model with ∞-grupoid structure.
CoRR, 2019

23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016.
Ann. Pure Appl. Log., 2019

2018
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages.
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.
CoRR, 2018

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

Sequentialization for full N-Graphs via sub-N-Graphs.
CoRR, 2018

An Initial Analysis of the Research on Interest and Introductory Programming : A Systematic Review of this Literature.
Proceedings of the IEEE Frontiers in Education Conference, 2018

2017
20th workshop on logic, language, information and computation - WoLLIC 2013.
J. Comput. Syst. Sci., 2017

23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016).
Log. J. IGPL, 2017

On the identity type as the type of computational paths.
Log. J. IGPL, 2017

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

Analyzing How Interest in Learning Programming Changes During a CS0 Course: A Qualitative Study with Brazilian Undergraduates.
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.
Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

2016
Formalization of the pumping lemma for context-free languages.
J. Formaliz. Reason., 2016

Digital content and cloud-based contracts in Brazil and the European Union.
Int. J. Law Inf. Technol., 2016

22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015).
Log. J. IGPL, 2016

Computational Paths and Identity Types.
CoRR, 2016

On the Formalization of Some Results of Context-Free Language Theory.
Proceedings of the Logic, Language, Information, and Computation, 2016

A meta-analysis for security threats over the Web ecosystem.
Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

Towards a taxonomy for security threats on the web ecosystem.
Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

2015
Logic, Language, Information and Computation (WoLLIC 2012).
Theor. Comput. Sci., 2015

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

Normalization of N-Graphs via Sub-N-Graphs.
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

On Computational Paths and the Fundamental Groupoid of a Type.
CoRR, 2015

On the Groupoid Model of Computational Paths.
CoRR, 2015

Formalization of context-free language theory.
CoRR, 2015

Formalization of simplification for context-free grammars.
CoRR, 2015

Formalization of closure properties for context-free grammars.
CoRR, 2015

Context-Free Language Theory Formalization.
CoRR, 2015

2014
Editor's foreword: WoLLIC 2010.
J. Comput. Syst. Sci., 2014

Editors' foreword.
J. Comput. Syst. Sci., 2014

Intuitionistic N-Graphs.
Log. J. IGPL, 2014

Sequences of Rewrites: A Categorical Interpretation.
CoRR, 2014

Sequentialization for N-Graphs via Sub-N-Graphs.
Proceedings of the Logic, Language, Information, and Computation, 2014

How Youth Construct Learning Trajectories in the Digital Age?.
Proceedings of the CSEDU 2014, 2014

2013
On the Applicability of the Common European Sales Law to some Models of Cloud Computing Services.
Eur. J. Law Technol., 2013

Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.
Proceedings of the Logic, Language, Information, and Computation, 2013

Toward Coercion-Resistant End-to-End Verifiable Electronic Voting Systems.
Proceedings of the 12th IEEE International Conference on Trust, 2013

Scheme of User Privacy Protection Applied to Online Marketing.
Proceedings of the 12th IEEE International Conference on Trust, 2013

Insiders: Um Fator Ativo na Segurança da Informação.
Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

Reviewing some clauses of cloud-based Google's Agreements in Brazil.
Proceedings of the 2nd IEEE Latin American Conference on Cloud Computing and Communications, 2013

2012
A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2011
The Functional Interpretation of Logical Deduction
Advances in Logic 5, World Scientific, ISBN: 978-981-4458-36-8, 2011

Preface.
Fundam. Informaticae, 2011

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

Propositional equality, identity types, and direct computational paths
CoRR, 2011

Preserving Vote Secrecy in End-to-End Verifiable Voting Systems.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Uma Ferramenta Adaptativa Baseada em Agentes Móveis Inteligentes para Segurança de Aplicações Web.
Proceedings of the 7th Brazilian Symposium on Information Systems, 2011

2010
Editors' foreword for JCSS WoLLIC 2008.
J. Comput. Syst. Sci., 2010

Logic, language, information and computation.
Inf. Comput., 2010

The Functional Interpretation of Direct Computations.
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

Breach of internet privacy through the use of cookies.
Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, 2010

2009
Logic, Language, Information and Computation.
Inf. Comput., 2009

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.
Proceedings of the Logic, 2009

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

Logic, Language, Information and Computation.
Ann. Pure Appl. Log., 2008

2006
Logic, Language, Information and Computation.
Theor. Comput. Sci., 2006

Preface.
Theor. Comput. Sci., 2006

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

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

WoLLIC'2002.
Ann. Pure Appl. Log., 2005

On dividing chains in simple theories.
Arch. Math. Log., 2005

A New Basic Set of Transformations between Proofs.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

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

Geometry of Deduction Via Graphs of Proofs.
Proceedings of the Logic for Concurrency and Synchronisation, 2003

2002
9th Workshop on Logic, Language, Information and Computation.
Log. J. IGPL, 2002

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

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

Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts.
Log. J. IGPL, 2001

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

2000
Editorial.
Log. J. IGPL, 2000

1999
A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction.
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).
Log. J. IGPL, 1998

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

1997
Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97).
Log. J. IGPL, 1997

1996
Conferences.
Log. J. IGPL, 1996

Second Workshop on Logic, Language, Information and Computation (WoLLIC'95).
Log. J. IGPL, 1996

1995
The Functional Interpretation of the Existential Quantifier.
Log. J. IGPL, 1995

Editorial.
Log. J. IGPL, 1995

The Bulletin turned into a Journal.
Log. J. IGPL, 1995

Labelled Abduction.
Proceedings of the Advances in Artificial Intelligence, 1995

1994
Speed with Quality.
Log. J. IGPL, 1994

1992
Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics.
J. Symb. Log., 1992

1991
Abstract Data Types and Type Theory: Theories as Types.
Math. Log. Q., 1991

1990
Proof theory and computer programming: the logical foundations of computing.
PhD thesis, 1990

Proof theory and computer programming.
Math. Log. Q., 1990


  Loading...