Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Compact Difference Bound Matrices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Deliberation Towards Transitivity With Unshared Features

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Applying Search in an Automatic Contract-Based Testing Tool

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automatic Abstraction for Congruences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Partial and Conditional Expectations in Markov Decision Processes With Integer Weights

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Branching-Time Model Checking of Parametric One-Counter Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

The Price of Anarchy for Minsum Related Machine Scheduling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

The Compass That Steered Robotics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On Lazy Representations and Sturmian Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Time Complexity of Distributed Topological Self-Stabilization: The Case of Graph Linearization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy