Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Children With Special Needs: Comparing Tactile and Tangible Interaction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Cut-Free Cyclic Proof System for Kleene Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Estimation of 3D Geometry of Microtubules Using Multi-Angle Total Internal Reflection Fluorescence Microscopy

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Pinaka: Symbolic Execution Meets Incremental Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Do Usability Professionals Think About User Experience in the Same Way as Users and Developers Do?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Learning Parameters in Deep Belief Networks Through Firefly Algorithm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Klaim-Db: A Modeling Language for Distributed Database Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Real-Time Dynamic Lighting Control of an AR Model Based on a Data-Glove With Accelerometers and NI-DAQ

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Why Realization Mismatches Expectations of E-Government Project Benefits? Towards Benefit Realization Planning

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