Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Advances in Communication Networking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Augmented Reality in the Control Tower: A Rendering Pipeline for Multiple Head-Tracked Head-Up Displays

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Benchmarking Close-Range Structure From Motion 3D Reconstruction Software Under Varying Capturing Conditions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Inter-Point Procrustes: Identifying Regional and Large Differences in 3D Anatomical Shapes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Closer Look at Adaptive Regret

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On the Space Complexity of Parameterized Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Decision Theoretic Approach to Motion Saliency in Computer Animations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Introducing the Vienna Platform for Elastic Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy