Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Predicting Concurrency Failures in the Generalized Execution Traces of X86 Executables

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Dynamic Logic With Binders and Its Application to the Development of Reactive Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Efficient Structure From Motion by Graph Optimization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Pretty Good Formatting Pipeline

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Self-Healing of Byzantine Faults

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Argumentation Theory for Decision Support in Health-Care: A Comparison With Machine Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Efficient Two-Move Blind Signatures in the Common Reference String Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Linked Data Perspective for Effective Exploration of Web APIs Repositories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Who Am I? Secure Identity Registration on Distributed Ledgers

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