Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Computational Models of the Human Body for Medical Image Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Towards Agent-Mediated Knowledge Management

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Using Face Quality Ratings to Improve Real-Time Face Recognition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

On the Logical Characterisation of Performability Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Parameterized Complexity of Generalized Vertex Cover Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Some Requirements for Autonomic Routing in Self-Organizing Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A New Algorithm for Switching From Arithmetic to Boolean Masking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Computer Aided Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Structured ElGamal-Type Multisignature Scheme

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy