Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Issue Information

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

An Innovative Four-Layer Heuristic for Scheduling Multi-Mode Projects Under Multiple Resource Constrains

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

On Mechanistic Modeling of Gene Content Evolution: Birth-Death Models and Mechanisms of Gene Birth and Gene Retention

Computation
ModelingApplied MathematicsTheoretical Computer ScienceComputer ScienceSimulation
2014English

Inventory and Pricing Decisions for Imperfect Quality Items With Inspection Errors, Sales Returns, and Partial Backorders Under Inflation

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

Verifying Traits: An Incremental Proof System for Fine-Grained Reuse

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2013English

Faithful Performance Prediction of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures

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

Numerical Solution of Fractional Diffusion Wave Equation and Fractional Klein–Gordon Equation via Two-Dimensional Genocchi Polynomials With a Ritz–Galerkin Method

Computation
ModelingApplied MathematicsTheoretical Computer ScienceComputer ScienceSimulation
2018English

Greedy Systems of Linear Inequalities and Lexicographically Optimal Solutions

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

HPC-GAP: Engineering a 21st-Century High-Performance Computer Algebra System

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

A Formal Approach to Adaptive Software: Continuous Assurance of Non-Functional Requirements

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy