Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Case Study of Participatory Data Transfer for Urban Temperature Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Bridging the Gap Between Formal Languages and Natural Languages With Zippers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Distributed Synthesis for Regular and Contextfree Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Time-Bounded Verification of CTMCs Against Real-Time Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Visual Link Retrieval in a Database of Paintings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Unlearning in the BCM Learning Rule for Plastic Self-Organization in a Multi-Modal Architecture

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Quantified Differential Dynamic Logic for Distributed Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Challenges in Serious Gaming as Emerging Multimedia Technology for Education, Training, Sports and Health

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

StringFuzz: A Fuzzer for String Solvers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy