Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Formal C Semantics: CompCert and the C Standard

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Toward Topology Dualism: Improving the Accuracy of AS Annotations for Routers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Combined Attacks and Countermeasures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

One-Shot Learning of Object Categories Using Dependent Gaussian Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

wayOU – Linked Data-Based Social Location Tracking in a Large, Distributed Organisation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Understanding Adaptivity: Random Systems Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Identifying Verbal Collocations in Wikipedia Articles

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Interoperability Description of Web Services Based Application Servers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Strategy-Proof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

InKS: A Programming Model to Decouple Algorithm From Optimization in HPC Codes

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy