Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Resource Sharing via Capability-Based Multiparty Session Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Autonomous Data-Driven Decision-Making in Smart Electricity Markets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Lattice-Based Zero-Knowledge Arguments for Integer Relations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Searchable Encrypted Relational Databases: Risks and Countermeasures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Fully Leakage-Resilient Signatures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Strategy-Proof Mechanisms for Facility Location Games With Many Facilities

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Modeling for Policy Formulation: Causal Mapping, Scenario Generation, and Decision Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Similarity Based Cross-Section Segmentation in Rough Log End Images

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Foundations for Decision Problems in Separation Logic With General Inductive Predicates

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