Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Reasoning About Loops Using Vampire in KeY

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Computational Complexity of Input/Output Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Bitcoin Security With Post Quantum Cryptography

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Blockcipher-Based Double-Length Hash Functions for Pseudorandom Oracles

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Efficient Design of Compact Unstructured RNA Libraries Covering All K-Mers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

On the Sample Complexity of Cancer Pathways Identification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Efficient Multihop Broadcast With Distributed Protocol Evolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Global and Regional Production Networks: A Theoretical and Practical Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Nuprl as Logical Framework for Automating Proofs in Category Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Analyzing BGP Instances in Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy