Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

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

Verifying Timed BPMN Processes Using Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Comparison of User Performance in Mixed 2d-3d Multi-Display Environments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy