Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Broken Triangles Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Access Path Based Source Address Validation in Mobile IPv6

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

On the Fixed Parameter Tractability and Approximability of the Minimum Error Correction Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Using Reformulation Trees to Optimize Queries Over Distributed Heterogeneous Sources

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Harnessing First Order Termination Provers Using Higher Order Dependency Pairs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Numeric Kernel for Reasoning About Plans Involving Numeric Fluents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

DEICS: Data Erasure in Concurrent Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

TwigTable: Using Semantics in XML Twig Pattern Query Processing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Interactive Storytelling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy