Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Estimating Key Sizes for High Dimensional Lattice-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Inter-Subject Connectivity-Based Parcellation of a Patch of Cerebral Cortex

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Parametrized Stock-Recruitment Relationship Derived From a Slow-Fast Population Dynamic Model

Mathematics and Computers in Simulation
Numerical AnalysisApplied MathematicsSimulationComputer ScienceModelingTheoretical Computer Science
2018English

A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Guard Games on Graphs: Keep the Intruder Out!

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Semantic Web Search Based on Ontological Conjunctive Queries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Quantitative Timed Analysis of Interactive Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Improving and Assessing the Efficiency of the Mc4cslta Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Resilient Virtual Network Design for End-To-End Cloud Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Dissecting 3G Uplink Delay by Measuring in an Operational HSPA Network

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