Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Design and Prototype of a Train-To-Wayside Communication Architecture

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Swarmic Paintings and Colour Attention

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

MECCA: A Robust Low-Overhead PUF Using Embedded Memory Array

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Mixed Strategy for a Competitive Game in Delay Tolerant Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On-The-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A GPU-Based Enhanced Genetic Algorithm for Power-Aware Task Scheduling Problem in HPC Cloud

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Extending Coq With Imperative Features and Its Application to SAT Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Encryption Schemes Secure Against Chosen-Ciphertext Selective Opening Attacks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Using State-Of-The-Art Sparse Matrix Optimizations for Accelerating the Performance of Multiphysics Simulations

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