Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Exact Discretization of 3-Speed Rational Signal Machines Into Cellular Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Deque Languages, Automata and Planar Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Security SLAs – An Idea Whose Time Has Come?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Quality Assessment, Provenance, and the Web of Linked Sensor Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Efficient Non-Interactive Secure Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Quantitative Approach for Detecting Symmetries and Complexity in 2D Plane

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Changepoint Analysis for Efficient Variant Calling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Transformation of the Common Information Model to OWL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

HHVSF: A Framework to Accelerate Drug-Based High-Throughput Virtual Screening on High-Performance Computers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

COST Action IC1402 Runtime Verification Beyond Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy