Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Hybrid Multi-Core CPU and GPU-based B&B Approaches for the Blocking Job Shop Scheduling Problem

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

Indexed Induction and Coinduction, Fibrationally

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Guest Editorial

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

Width and Size of Regular Resolution Proofs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Solving Finite-Domain Linear Constraints in Presence of the Alldifferent

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Dropping Out or Dropping In? A Connectivist Approach to Understanding Participants’ Strategies in an E-Learning MOOC Pilot

Technology, Knowledge and Learning
Human-Computer InteractionEngineeringComputer Science ApplicationsMathematicsComputational TheoryEducationTheoretical Computer Science
2017English

Reliability and Performance Optimization of Pipelined Real-Time Systems

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

Service-Oriented Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Computability of Probability Distributions and Characteristic Functions

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Fault Tolerant Decentralised -Means Clustering for Asynchronous Large-Scale Networks

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy