Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Formal Verification of Memory Preservation of X86-64 Binaries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

On Identifying Phrases Using Collection Statistics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Experience of Using OWL Ontologies for Automated Inference of Routine Pre-Operative Screening Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Exploiting the Semantic Similarity of Contextual Situations for Pre-Filtering Recommendation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Anonymity Online for Everyone: What Is Missing for Zero-Effort Privacy on the Internet?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Fair Subtyping for Multi-Party Session Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Economics of Converged, Internet-Based Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Cross-Lingual Speech-To-Text Summarization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Correction To: A Security Review of Local Government Using NIST CSF: A Case Study

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2019English

Defining the Initial Case-Base for a CBR Operator Support System in Digital Finishing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy