Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Proof Complexity of Propositional Default Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Towards QoC-Aware Location-Based Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Faster Algorithms for RNA-Folding Using the Four-Russians Method

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Trigger-Based Middleware Cache for ORMs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

The AORTA Architecture: Integrating Organizational Reasoning in Jason

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Unified Proof System for QBF Preprocessing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Improving Efficiency of Data Assimilation Procedure for a Biomechanical Heart Model by Representing Surfaces as Currents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Provable De-Anonymization of Large Datasets With Sparse Dimensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Discrete Circular Mapping for Computation of Zernike Moments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

ASAP : Towards Accurate, Stable and Accelerative Penetrating-Rank Estimation on Large Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy