Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

On Parallel Computation of Blood Flow in Human Arterial Network Based on 1-D Modelling

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

The Omega Rule Is Π11-Complete in the Λβ-Calculus

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Routing and Scheduling I/O Transfers on Wormhole-Routed Mesh Networks

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

A More Precise Rounding Algorithm for Rational Numbers

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

A New Performance Measure for Scheduling Independent Real-Time Tasks

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

A Methodology for Exploiting Concurrency Among Independent Tasks in Partitionable Parallel Processing Systems

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

Normalization of IZF With Replacement

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Editorial: Special Issue on Geometric Modeling (Dagstuhl 2008)

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

Generation of Random Variates Using Asymptotic Expansions

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

A Fast Token-Chasing Mutual Exclusion Algorithm in Arbitrary Network Topologies

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy