Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Short Proofs of the Kneser-Lovász Coloring Principle

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2018English

Decision Problems of Tree Transducers With Origin

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2018English

Mobile Web Information Systems (MobiWIS 2013)

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

Reachability Analysis of Communicating Pushdown Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Trellis: Portability Across Architectures With a High-Level Framework

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

Generators and Relations for N-Qubit Clifford Operators

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Education Systems in the Digital Age: The Need for Alignment

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

Inferring Learning From Big Data: The Importance of a Transdisciplinary and Multidimensional Approach

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

The Exact Dot Product as Basic Tool for Long Interval Arithmetic

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

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy