Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Tensor Sparse Coding for Region Covariances

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Exploring the Usage of 3D Virtual Worlds and Kinect Interaction in Exergames With Elderly

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Comparison of Gaze-Based and Gesture-Based Input for a Point-And-Click Task

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Ambient Displays: Influencing Movement Patterns

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Massively Parallel Dense Symmetric Eigensolver With Communication Splitting Multicasting Algorithm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Modelling Human Cognitive Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Combining Ontology Alignment With Model Driven Engineering Techniques for Home Devices Interoperability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Efficient Processing of Top-K Spatial Keyword Queries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Approximation Algorithms Inspired by Kernelization Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy