Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Generic Heuristic Approach to General Game Playing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Permutation Structure in 0-1 Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Small World Asynchronous Parallel Model for Genome Assembly

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Comfusy: A Tool for Complete Functional Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Compositionality and Refinement in Model-Driven Engineering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Enhancing Privacy With Quantum Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Business Process Compliance Through Reusable Units of Compliant Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Latent Model for Ad Hoc Table Retrieval

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2020English

Finding Old Answers to New Math Questions: The ARQMath Lab at CLEF 2020

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy