Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Erlang Behaviours: Programming With Process Design Patterns

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Shape Analysis of Vestibular Systems in Adolescent Idiopathic Scoliosis Using Geodesic Spectra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Efficient Multiplication Over Extension Fields

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Reducing Relative Termination to Dependency Pair Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Robust Randomness Amplifiers: Upper and Lower Bounds

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Parametric Verification of Address Space Separation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On the Cross-Combined Measure of Families of Binary Lattices and Sequences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Privacy-Preserving Top-K Query Processing in Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

A Bio-Inspired Autonomous Navigation Controller for Differential Mobile Robots Based on Crowd Dynamics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy