Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Audio-Haptic Simulation of Walking on Virtual Ground Surfaces to Enhance Realism

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Labelled Superposition for PLTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Biclique Cryptanalysis of TWINE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Strength of Relationship Between Multi-Labeled Data and Labels

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Debugging the Missing Is-A Structure of Networked Ontologies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Space Efficient Data Structures for Nearest Larger Neighbor

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Models of Stochastic Gene Expression and Weyl Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Supporting Secure Provenance Update by Keeping “Provenance” of the Provenance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Batch Computations Revisited: Combining Key Computations and Batch Verifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy