Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Self-Modification and Mortality in Artificial Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Semantically Aware Contention Management for Distributed Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The IMAP Hybrid Method for Learning Gaussian Bayes Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Mining (Soft-) Skypatterns Using Dynamic CSP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

2nd Workshop on Game Development and Model-Driven Software Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Mining Concept Similarities for Heterogeneous Ontologies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Joint Prediction and Classification of Brain Image Evolution Trajectories From Baseline Brain Image With Application to Early Dementia

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Distractor Quality Evaluation in Multiple Choice Questions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy