Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Simplifying Linearizability Proofs With Reduction and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

OSS: Using Online Scanning Services for Censorship Circumvention

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Studying Cerebral Vasculature Using Structure Proximity and Graph Kernels

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Recovery of Class Hierarchies and Composition Relationships From Machine Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Subject-Specific EMG-Driven Musculoskeletal Model for the Estimation of Moments in Ankle Plantar-Dorsiflexion Movement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Investigating the Semantics of Frame Elements

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Has My Algorithm Succeeded? An Evaluator for Human Pose Estimators

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Automatic Validation of Flowmeter Data in Transport Water Networks: Application to the ATLLc Water Network

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Deformable Registration of Bronchoscopic Video Sequences to CT Volumes With Guaranteed Smooth Output

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Blur-Robust Face Recognition via Transformation Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy