Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Randomness vs Time: Derandomization Under a Uniform Assumption

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2001English

Efficient Algorithms for Counting Parameterized List H-Colorings

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2008English

Sparse Hard Sets for P: Resolution of a Conjecture of Hartmanis

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1999English

Probabilistic -Calculus and Quantitative Program Analysis

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2005English

Linear Deductive Planning

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1996English

Event Calculus Reasoning Through Satisfiability

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

Errata

International Journal of Systems Science
ControlSystems EngineeringComputer Science ApplicationsTheoretical Computer Science
1974English

Vehicle Routing With Stochastic Time-Dependent Travel Times

4OR
MathematicsManagement ScienceManagement Information SystemsComputational TheoryOperations ResearchTheoretical Computer Science
2009English

Controllability, Optimal Control and Receding Horizon Control of Distributed Multipass Processes

International Journal of Systems Science
ControlSystems EngineeringComputer Science ApplicationsTheoretical Computer Science
1982English

Expressive Power and Complexity in Algebraic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy