Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Enforcement of (Timed) Properties With Uncontrollable Events

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

SID Signature Database: A Tunisian Off-Line Handwritten Signature Database

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Immersive Composition for Sensory Rehabilitation: 3D Visualisation, Surround Sound, and Synthesised Music to Provoke Catharsis and Healing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Variable Compression in ProbLog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Model Checking Indistinguishability of Randomized Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Applications of Evolutionary Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Encoding Timed Models as Uniform Labeled Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Roadside Infrastructure Placement for Information Dissemination in Urban ITS Based on a Probabilistic Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Layered Formulation for the Robust Vehicle Routing Problem With Time Windows

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Intersection Graphs of Rays and Grounded Segments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy