Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Automated Error-Detection and Repair for Compositional Software Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Outsmarting Proctors With Smartwatches: A Case Study on Wearable Computing Security

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Modular Architecture for Adaptable Signature-Creation Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Oracle Coached Decision Trees and Lists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

How Real Is Unreal?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Improving Particle Segmentation From Process Images With Wiener Filtering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Three-Level Sieve Algorithm for the Shortest Vector Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Effective Entailment Checking for Separation Logic With Inductive Definitions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Cost-Aware Automatic Program Repair

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