Ruy J. G. B. de Queiroz

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 36

Top Venues

CoRR

Log. J. IGPL

J. Comput. Syst. Sci.

LSFA

Publications

Leonardo A. D. S. Ribeiro, José Paulo da Silva Lima, Ruy J. G. B. de Queiroz, Amirton Bezerra Chagas, José R. R. Junior, Jonysberg P. Quintino, Fabio Q. B. da Silva, André L. M. Santos
SABER post-quantum key encapsulation mechanism (KEM): evaluating performance in ARM and x64 architectures. J. Cryptogr. Eng. 14 (1) (2024)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
Towards a homotopy domain theory. Arch. Math. Log. 62 (3) (2023)
Ruy J. G. B. de Queiroz
From Tractatus to Later Writings and Back - New Implications from the Nachlass. CoRR (2023)
Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz, Gustavo P. Bittencourt, Leopoldo Teixeira
Distributed Repository for Software Packages Using Blockchain. IEEE Access 10 (2022)
Ruy J. G. B. de Queiroz
26th Workshop on Logic, Language, Information and Computation - WoLLIC 2019. Inf. Comput. 287 (2022)
André Ramiro, Ruy J. G. B. de Queiroz
Cypherpunk. Internet Policy Rev. 11 (2) (2022)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
∞-Groupoid Generated by an Arbitrary Topological λ-Model. Log. J. IGPL 30 (3) (2022)
Lawrence S. Moss, Ruy J. G. B. de Queiroz
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. J. Log. Lang. Inf. 31 (4) (2022)
Juliette Kennedy, Ruy J. G. B. de Queiroz
24th Workshop on Logic, Language, Information and Computation - WoLLIC 2017. Arch. Math. Log. 60 (5) (2021)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
Solving Homotopy Domain Equations. CoRR (2021)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
The Theory of an Arbitrary Higher λ-Model. CoRR (2021)
Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz
A Blockchain Using Proof-of-Download. Blockchain (2020)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
Towards a Homotopy Domain Theory (HoDT). CoRR (2020)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira
Computational Paths - A Weak Groupoid. CoRR (2020)
Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Propositional intuitionistic multiple-conclusion calculus via proof graphs. Log. J. IGPL 27 (1) (2019)
Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018). Log. J. IGPL 27 (5) (2019)
Jouko Väänänen, Ruy J. G. B. de Queiroz
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. Ann. Pure Appl. Log. 170 (9) (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
An alternative approach to the calculation of fundamental groups based on labeled natural deduction. CoRR (2019)
Daniel Martinez Rivillas, Ruy J. G. B. de Queiroz
An extensional λ-model with ∞-grupoid structure. CoRR (2019)
Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017). Log. J. IGPL 27 (1) (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
A Topological Application of Labelled Natural Deduction. CoRR (2019)
Valeria de Paiva, Ruy J. G. B. de Queiroz
Preface. Math. Struct. Comput. Sci. 29 (6) (2019)
Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. LSFA (2018)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. CoRR (2018)
Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Sequentialization for full N-Graphs via sub-N-Graphs. CoRR (2018)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. CoRR (2018)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the identity type as the type of computational paths. Log. J. IGPL 25 (4) (2017)
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014. Inf. Comput. 255 (2017)
Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz
20th workshop on logic, language, information and computation - WoLLIC 2013. J. Comput. Syst. Sci. 88 (2017)
Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL 25 (2) (2017)
Carlo Marcelo Revoredo da Silva, Ricardo Batista Rodrigues, Ruy J. G. B. de Queiroz, Vinicius C. Garcia, Jose Silva, Daniel Gatti, Leandro M. do Nascimento, Kellyton Brito, Rodrigo Elia Assad
A meta-analysis for security threats over the Web ecosystem. NOMS (2016)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
On the Formalization of Some Results of Context-Free Language Theory. WoLLIC (2016)
Clarice Marinho Martins de Castro, Chris Reed, Ruy J. G. B. de Queiroz
Digital content and cloud-based contracts in Brazil and the European Union. Int. J. Law Inf. Technol. 24 (1) (2016)
Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
Computational Paths and Identity Types. CoRR (2016)
Carlo Marcelo Revoredo da Silva, Ricardo Batista Rodrigues, Ruy J. G. B. de Queiroz, Vinicius C. Garcia, Jose Silva, Daniel Gatti, Rodrigo Elia Assad, Leandro M. do Nascimento, Kellyton Brito, Péricles B. C. de Miranda
Towards a taxonomy for security threats on the web ecosystem. NOMS (2016)
Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). Log. J. IGPL 24 (5) (2016)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
Formalization of closure properties for context-free grammars. CoRR (2015)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
Context-Free Language Theory Formalization. CoRR (2015)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Groupoid Model of Computational Paths. CoRR (2015)
C.-H. Luke Ong, Ruy J. G. B. de Queiroz
Logic, Language, Information and Computation (WoLLIC 2012). Theor. Comput. Sci. 603 (2015)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
Formalization of simplification for context-free grammars. CoRR (2015)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On Computational Paths and the Fundamental Groupoid of a Type. CoRR (2015)
Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Normalization of N-Graphs via Sub-N-Graphs. LSFA (2015)
Marcus V. M. Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
Formalization of context-free language theory. CoRR (2015)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Identity Type as the Type of Computational Paths. CoRR (2015)
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
). Log. J. IGPL 23 (5) (2015)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
Formalization of the pumping lemma for context-free languages. CoRR (2015)
Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Sequentialization for N-Graphs via Sub-N-Graphs. WoLLIC (2014)
Anuj Dawar, Ruy J. G. B. de Queiroz
Editor's foreword: WoLLIC 2010. J. Comput. Syst. Sci. 80 (2) (2014)
Lev D. Beklemishev, Ruy J. G. B. de Queiroz, Andre Scedrov
Editors' foreword. J. Comput. Syst. Sci. 80 (6) (2014)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
Sequences of Rewrites: A Categorical Interpretation. CoRR (2014)
Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva
Intuitionistic N-Graphs. Log. J. IGPL 22 (2) (2014)
Clarice Marinho Martins de Castro, Ruy J. G. B. de Queiroz
Reviewing some clauses of cloud-based Google's Agreements in Brazil. LatinCloud (2013)
Clarice Marinho Martins de Castro, Chris Reed, Ruy J. G. B. de Queiroz
On the Applicability of the Common European Sales Law to some Models of Cloud Computing Services. Eur. J. Law Technol. 4 (3) (2013)
Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. WoLLIC (2013)
Wagner Medeiros dos Santos, Ruy J. G. B. de Queiroz, Carlos E. R. Saraiva, Gleudson P. V. Junior
Toward Coercion-Resistant End-to-End Verifiable Electronic Voting Systems. TrustCom/ISPA/IUCC (2013)
Maria das Gracas da Silva Oliveira, Ruy J. G. B. de Queiroz
Scheme of User Privacy Protection Applied to Online Marketing. TrustCom/ISPA/IUCC (2013)
Rodrigo Alves Costa, Ruy J. G. B. de Queiroz, Elmano Ramalho Cavalcanti
A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs. SERE (Companion) (2012)
Wagner Medeiros dos Santos, Ruy J. G. B. de Queiroz
Preserving Vote Secrecy in End-to-End Verifiable Voting Systems. SocialCom/PASSAT (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. Informaticae 106 (2-4) (2011)
Márcio A. Macêdo, Ruy J. G. B. de Queiroz, Julio Cesar Damasceno
Uma Ferramenta Adaptativa Baseada em Agentes Móveis Inteligentes para Segurança de Aplicações Web. SBSI (2011)
Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
Propositional equality, identity types, and direct computational paths CoRR (2011)
Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz
Preface. Fundam. Informaticae 106 (2-4) (2011)
Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
The Functional Interpretation of Direct Computations. LSFA (2010)
Daniel Leivant, Ruy J. G. B. de Queiroz
Logic, language, information and computation. Inf. Comput. 208 (5) (2010)
Anderson A. L. Queiroz, Ruy J. G. B. de Queiroz
Breach of internet privacy through the use of cookies. PETRA (2010)
Wilfrid Hodges, Ruy J. G. B. de Queiroz
Editors' foreword for JCSS WoLLIC 2008. J. Comput. Syst. Sci. 76 (5) (2010)
Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz
Logic, Language, Information and Computation. Inf. Comput. 207 (10) (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)
Ruy J. G. B. de Queiroz
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics. Stud Logica 90 (2) (2008)
Ruy J. G. B. de Queiroz, Angus Macintyre
Logic, Language, Information and Computation. Ann. Pure Appl. Log. 152 (1-3) (2008)
Grigori Mints, Ruy J. G. B. de Queiroz
Preface. Electron. Notes Theor. Comput. Sci. 165 (2006)
Ruy J. G. B. de Queiroz, Patrick Cégielski
Preface. Theor. Comput. Sci. 364 (2) (2006)
Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt
Preface. Electron. Notes Theor. Comput. Sci. 143 (2006)
Ruy J. G. B. de Queiroz, Dexter Kozen
Logic, Language, Information and Computation. Theor. Comput. Sci. 355 (2) (2006)
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
A New Basic Set of Transformations between Proofs. We Will Show Them! (2) (2005)
Steffen Lewitzka, Ruy J. G. B. de Queiroz
On dividing chains in simple theories. Arch. Math. Log. 44 (7) (2005)
Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov
WoLLIC'2002. Ann. Pure Appl. Log. 134 (1) (2005)
Ruy J. G. B. de Queiroz, Patrick Cégielski
Preface. Electron. Notes Theor. Comput. Sci. 123 (2005)
Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
Preface. Electron. Notes Theor. Comput. Sci. 84 (2003)
Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
Preface: WoLLIC 2002 Electron. Notes Theor. Comput. Sci. 67 (2002)
Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
9th Workshop on Logic, Language, Information and Computation. Log. J. IGPL 10 (6) (2002)
Ruy J. G. B. de Queiroz
8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001). Log. J. IGPL 9 (5) (2001)
Ruy J. G. B. de Queiroz
Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. Log. J. IGPL 9 (5) (2001)
Ruy J. G. B. de Queiroz
7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000). Log. J. IGPL 9 (1) (2001)
Ruy J. G. B. de Queiroz
Editorial. Log. J. IGPL 8 (5) (2000)
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction. Log. J. IGPL 7 (2) (1999)
Peter A. Flach, Antonis C. Kakas, Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes
Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS). Log. J. IGPL 6 (4) (1998)
Ruy J. G. B. de Queiroz, Marcelo Finger
Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98). Log. J. IGPL 6 (6) (1998)
Ruy J. G. B. de Queiroz
Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). Log. J. IGPL 5 (6) (1997)
Ruy J. G. B. de Queiroz
Conferences. Log. J. IGPL 4 (3) (1996)
Ruy J. G. B. de Queiroz
Second Workshop on Logic, Language, Information and Computation (WoLLIC'95). Log. J. IGPL 4 (2) (1996)
Ruy J. G. B. de Queiroz
Editorial. Log. J. IGPL 3 (4) (1995)
Nicia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz
Labelled Abduction. SBIA (1995)
Ruy J. G. B. de Queiroz, Dov M. Gabbay
The Functional Interpretation of the Existential Quantifier. Log. J. IGPL 3 (2-3) (1995)
Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
Editorial. Log. J. IGPL 3 (1) (1995)
Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
The Bulletin turned into a Journal. Log. J. IGPL 3 (5) (1995)
Dov M. Gabbay, Ruy J. G. B. de Queiroz
Speed with Quality. Log. J. IGPL 2 (1) (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) (1992)
Ruy J. G. B. de Queiroz, T. S. E. Maibaum
Abstract Data Types and Type Theory: Theories as Types. Math. Log. Q. 37 (9-12) (1991)

Ruy J. G. B. de Queiroz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ruy J. G. B. de Queiroz