Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Special Issue on Contributions of Computational Intelligence in Designing Complex Information Systems

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

Co-c.e. Spheres and Cells in Computable Metric Spaces

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Methodology Pruning the Search Space of Six Compiler Transformations by Addressing Them Together as One Problem and by Exploiting the Hardware Architecture Details

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

Balls Into Non-Uniform Bins

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

Permission-Based Separation Logic for Multithreaded Java Programs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Efficient Out-Of-Core Sorting Algorithms for the Parallel Disks Model

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

Distributed Network Control for Mobile Multi-Modal Wireless Sensor Networks

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

Extensible Transactional Memory Testbed

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

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems With Applications to Probabilistic State Reachability and Region Stability

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