Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

CPAlien: Shape Analyzer for CPAChecker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Degree and Principal Eigenvectors in Complex Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Collaborative Wind Power Forecast

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Panoramic View of 3G Data/Control-Plane Traffic: Mobile Device Perspective

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Precise Cost Analysis via Local Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Abnormal Object Detection by Canonical Scene-Based Contextual Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Massive Multiplayer Human Computation for Fun, Money, and Survival

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Improving Spatial Indexing and Searching for Location-Based DNS Queries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Privacy Bubbles: User-Centered Privacy Control for Mobile Content Sharing Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy