Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Computer Aided Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

A Case for Guided Machine Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Polarities, Axiallities and Marketability of Items

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Sparse Bayesian Non-Linear Regression for Multiple Onsets Estimation in Non-Invasive Cardiac Electrophysiology

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Bulk Insertions Into xBR $$^{+}$$ -Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Multi-Core Structural SVM Training

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Reconstructing Provenance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Sensitivity of the Electrocardiography Inverse Solution to the Torso Conductivity Uncertainties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

State Space Reduction in Modeling Checking Parameterized Cache Coherence Protocol by Two-Dimensional Abstraction

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2012English

Type Checking Liveness for Collaborative Processes With Bounded and Unbounded Recursion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy