Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Relational Parametricity for Computational Effects

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Distributed Memory Algorithm for Lexicon Building

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
1997English

Evaluation of a Competitive-Update Cache Coherence Protocol With Migratory Data Detection

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
1996English

Quantifying Contention and Balancing Memory Load on Hardware DSM Multiprocessors

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2003English

Hybrid Next-Fit Algorithm for the Two-Dimensional Rectangle Bin-Packing Problem

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
1987English

Calculating Lower Bounds for Caching Problems

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
2007English

Coarse-Grained Parallel Geometric Search

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
1999English

Resource Usage Analysis for the Π-Calculus

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Mobile Groups Approach for the Coordination of Mobile Agents

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2005English

Split-2 Bisimilarity Has a Finite Axiomatization Over CCS With Hennessy's Merge

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy