Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Grid-Based Virtual Reactor: Parallel Performance and Adaptive Load Balancing

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

Elgot Algebras

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Design of the Munin Distributed Shared Memory System

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

Utilizing Global Simulation Information in Conservative Parallel Simulation on Shared Memory Multiprocessors

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

Multilevelk-Way Partitioning Scheme for Irregular Graphs

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

A Normalizing Intuitionistic Set Theory With Inaccessible Sets

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Lindström Theorems for Fragments of First-Order Logic

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Deadlock Models and a General Algorithm for Distributed Deadlock Detection

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

Berichtigung Zu Algorithmus 10

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

Compactly Accessible Categories and Quantum Key Distribution

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy