Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Appearance Sharing for Collective Human Pose Estimation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Relations as Executable Specifications: Taming Partiality and Non-Determinism Using Invariants

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Pairing Computation on Edwards Curves With High-Degree Twists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Transformation-Based Parallelization of Request-Processing Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A 4D Statistical Shape Model for Automated Segmentation of Lungs With Large Tumors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Representation and Querying of Valid Time of Triples in Linked Geospatial Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Dynamic Deployment of Sensing Experiments in the Wild Using Smartphones

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automatic Inference of Heap Properties Exploiting Value Domains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

M-Learning Interface Design Based on Emotional Aspect Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Enhancing OLAP Analysis With Web Cubes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy