Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System
Theoretical Computer Science
Computer Science
Theoretical Computer Science
On Properties of Bond-Free DNA Languages
Theoretical Computer Science
Computer Science
Theoretical Computer Science
On Learning Monotone DNF Under Product Distributions
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Bisimulation Relations for Dynamical, Control, and Hybrid Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Operational and Abstract Semantics of the Query Language G-Log
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability
Theoretical Computer Science
Computer Science
Theoretical Computer Science
1-Optimality of Static BSP Computations: Scheduling Independent Chains as a Case Study
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Computation of Distances for Regular and Context-Free Probabilistic Languages
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Tutorial on Separation Results in Process Calculi via Leader Election Problems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
‹
872
873
874
875
876
877
878
›