Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Using the NIST Reference Model for Refining Logical Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Explicit and Semi-Implicit Complex-Diffusion Schemes for Optical Coherence Tomography Despeckling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Regular Symmetry Patterns

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Local Descriptors Encoded by Fisher Vectors for Person Re-Identification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Probabilistic Cost Enforcement of Security Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Toward Better Simulation of MPI Applications on Ethernet/TCP Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

People Detection Using Color and Depth Images

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Enhance Multi-Bit Spectral Analysis on Hiding in Temporal Dimension

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