Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

On the Power of Public-Key Encryption in Secure Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Algorithmic Decision Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Implementing SOS With Active Objects: A Case Study of a Multicore Memory System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Increasing the Power of the Iterated Immediate Snapshot Model With Failure Detectors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Learning Movement Kinematics With a Targeted Sound

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Online Peer Groups as a Persuasive Tool to Combat Digital Addiction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Software for Quantifier Elimination in Propositional Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Short Pairing-Based Non-Interactive Zero-Knowledge Arguments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Exploiting Repetitive Object Patterns for Model Compression and Completion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy