Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Communicating B Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Experience-Based Trust: Enabling Effective Resource Selection in a Grid Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Reusing Integer Homology Information of Binary Digital Images

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Model Based Testing of an Embedded Session and Transport Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

TOCTOU, Traps, and Trusted Computing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Secure and Efficient Key Escrow Protocol for Mobile Communications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Mathematical Foundations of Computer Science 1988

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

Physical Unclonable Functions and Secure Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Wireless System for Real-Time Environmental and Structural Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Chapter IV: The Confluence Property and the Church-Rosser Property

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1977English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy