Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Investigating the Potential of Computer Environments for the Teaching and Learning of Functions: A Double Analysis From Two Research Traditions

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

On Personalized Cloud Service Provisioning for Mobile Users Using Adaptive and Context-Aware Service Composition

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

Computational Models of Certain Hyperspaces of Quasi-Metric Spaces

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

On the Relative Proof Complexity of Deep Inference via Atomic Flows

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Locality Optimized Unstructured Mesh Algorithms on GPUs

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

Extreme Distributed Systems: From Large Scale to Complexity

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

A Sorted Semantic Framework for Applied Process Calculi

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Literature Review on the Factors Affecting Primary Teachers’ Use of Digital Technology

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

Editorial Note

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy