Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Theoretical Perspective of Coinductive Logic Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Daniel Kroening and Ofer Strichman: Decision Procedures

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

Issue Information

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

Issue Information

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2018English

Computing on Many Cores

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2017English

Issue Information

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

Governmental Subsidy Policies and Supply Chain Decisions With Carbon Emission Limit and Consumer's Environmental Awareness

RAIRO - Operations Research
Management ScienceComputer Science ApplicationsOperations ResearchTheoretical Computer Science
2019English

Power-Aware Provisioning of Virtual Machines for Real-Time Cloud Services

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2011English

Algorithms and Applications Towards the Convergence of High-End Data-Intensive and Computing Systems

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2017English

On Instability Analysis of Linear Feedback Systems

Computation
ModelingApplied MathematicsTheoretical Computer ScienceComputer ScienceSimulation
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy