Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Using Higher-Order Contracts to Model Session Types (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

High-Speed Fully Homomorphic Encryption Over the Integers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

ResilientStore: A Heuristic-Based Data Format Selector for Intermediate Results

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

An Unified Transition Detection Based on Bipartite Graph Matching Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Predicting the Understandability of OWL Inferences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Ground Truth Estimation by Maximizing Topological Agreements in Electron Microscopy Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Explanations for Regular Expressions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Designing Playful Games and Applications to Support Science Centers Learning Activities

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Wisdom-Aware Computing: On the Interactive Recommendation of Composition Knowledge

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Effective Reproducible Research With Org-Mode and Git

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