Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Checking Traces for Regulatory Conformance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Tool Suite for Multi-Paradigm Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Empirical Methodologies for Web Engineering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Hidden Identity-Based Signatures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Using XCAP to Certify Realistic Systems Code: Machine Context Management

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Low–Level Communication Library for Java HPC

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Design of a Multimodal Input Interface for a Dialogue System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Applying Model-Based Testing to HTML Rendering Engines – A Case Study

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Deduction in the Verification Support Environment (VSE)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

The Polynomial Hierarchy and Intuitionistic Bounded Arithmetic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1986English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy