Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Censorship Resistance as a Side-Effect

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Fully Secure Self-Updatable Encryption in Prime Order Bilinear Groups

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Breaking Anonymity of Social Network Accounts by Using Coordinated and Extensible Classifiers Based on Machine Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Shaping Future Service Environments With the Cloud and Internet of Things: Networking Challenges and Service Evolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Unification of Compiled and Interpreter-Based Pattern Matching Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Shelves: A User-Defined Block Management Tool for Visual Programming Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Towards a Framework for Designing Full Model Selection and Optimization Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Practical and Provably Secure Distance-Bounding

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