Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Robust Route Maintenance Scheme for Wireless Ad-Hoc Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Fuzzy Modeling and Evaluation of the Spatial Relation “Along”

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

From Tests to Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Minimising Perceived Latency in Audio-Conferencing Systems Over Application-Level Multicast

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Canonical Sets of Horn Clauses

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Visual Verification of Reactive Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

On Learning Languages From Positive Data and a Limited Number of Short Counterexamples

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Minimum Multicolored Subgraph Problem in Multiplex PCR Primer Set Selection and Population Haplotyping

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Flow Grammars — A Flow Analysis Methodology

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Attack and Improvement of a Secure S-Box Calculation Based on the Fourier Transform

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy