Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Structural Analysis of Narratives With the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Specification-Based Program Repair Using SAT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Extracting Hierarchies of Closed Partially-Ordered Patterns Using Relational Concept Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Efficient Management of Virtualized Information-Centric Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

GreenBST: Energy-Efficient Concurrent Search Tree

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A System for Large Vocabulary Sign Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Aggregating Independent and Dependent Models to Learn Multi-Label Classifiers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Clustering and Classification of Music by Interval Categories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

The Maintenance Function in the Context of Corporate Sustainability: A Theoretical-Analytical Reflexion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

ClaimsKG: A Knowledge Graph of Fact-Checked Claims

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy