Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Cutting Down the Energy Consumed by Domestic Robots: Insights From Robotic Vacuum Cleaners

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Use of a Structure Aware Discretisation Algorithm for Bayesian Networks Applied to Water Quality Predictions

Mathematics and Computers in Simulation
Numerical AnalysisApplied MathematicsSimulationComputer ScienceModelingTheoretical Computer Science
2019English

FESA: Fold- And Expand-Based Shape Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automatic Completion of Distributed Protocols With Symmetry

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Quantitative Analysis of Software: Challenges and Recent Advances

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Privacy Through Anonymisation in Large-Scale Socio-Technical Systems: Multi-Lingual Contact Centres Across the EU

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Semantic Representation of Multimedia Content

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Permutation Testing Improves Bayesian Network Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Verifying Security Property of Peer-To-Peer Systems Using CSP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Motion Silhouette-Based Real Time Action Recognition

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