Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Automated Inductive Verification of Parameterized Protocols?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Live Social Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Can Out-Of-Order Instruction Execution in Multiprocessors Be Made Sequentially Consistent?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Optimal Ocean Navigation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1976English

Energy Efficient Utilization of IEEE 802.11 Hot Spots in 3G Wireless Packet Data Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Widening Arithmetic Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

PIT: A Library for the Parallelization of Irregular Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Tom Thumb Algorithm and Von Neumann Universal Constructor

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Efficient Algorithms for String-Based Negative Selection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Robust Hiding of Fingerprint-Biometric Data Into Audio Signals

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