Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Condensed Forms for the Symmetric Eigenvalue Problem on Multi-Threaded Architectures

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

Nested Graphs: A Model to Efficiently Distribute Multi-Agent Systems on HPC Clusters

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

Branching-Time Model Checking Gap-Order Constraint Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2016English

Gangless Cross-Evaluation in DEA: An Application to Stock Selection

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

An Efficient Equivalence-Checking Algorithm for a Model of Programs With Commutative and Absorptive Statements

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2016English

On the Diversity of Asynchronous Communication

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2016English

DNA Tiles, Wang Tiles and Combinators

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

On a Notion of Extensionality for Artifacts

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Arithmetical Analysis of Biomolecular Finite Automaton

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Preface

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy