Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

On Objective Measures of Rule Surprisingness

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Planning and Patching Proof

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Texture Description by Independent Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Embedding Complete Binary Trees in Product Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

When Are Two Rewrite Systems More Than None?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Iconic Feature Registration With Sparse Wavelet Coefficients

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Public-Key Traitor Tracing Scheme With Revocation Using Dynamic Shares

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy