Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Automatic Benchmark Profiling Through Advanced Trace Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formal Verification of Secure User Mode Device Execution With DMA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

MainTrain: A Serious Game on the Complexities of Rail Maintenance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

On the Centrality of Off-Line E-Cash to Concrete Partial Information Games

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Learning Scene Entries and Exits Using Coherent Motion Regions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Discrete Geometric Model of Concurrent Program Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

GoRRiLA and Hard Reality

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Data-Driven Approach for Event Prediction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Synchronization Based Outlier Detection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Spectral LED-Based Tuneable Light Source for the Reconstruction of CIE Standard Illuminants

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