Sciweavers

ICALP
2010
Springer
13 years 9 months ago
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...
Angelo Montanari, Gabriele Puppis, Pietro Sala
ICALP
2010
Springer
13 years 9 months ago
Metrical Task Systems and the k-Server Problem on HSTs
Abstract. We consider the randomized k-server problem, and give improved results for various metric spaces. In particular, we extend a recent result of Cot
Nikhil Bansal, Niv Buchbinder, Joseph Naor
ICALP
2010
Springer
13 years 9 months ago
Rewriting Measurement-Based Quantum Computations with Generalised Flow
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
Ross Duncan, Simon Perdrix
ICALP
2010
Springer
13 years 10 months ago
Finding Is as Easy as Detecting for Quantum Walks
Hari Krovi, Frédéric Magniez, Maris ...
ICALP
2010
Springer
13 years 10 months ago
Interval Sorting
Rosa M. Jiménez, Conrado Martínez
ICALP
2010
Springer
13 years 11 months ago
Towards a Theory of Time-Bounded Verification
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
Joël Ouaknine, James Worrell
ICALP
2010
Springer
13 years 11 months ago
What Is a Pure Functional?
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
ICALP
2010
Springer
13 years 11 months ago
Data Stream Algorithms for Codeword Testing
Atri Rudra, Steve Uurtamo
ICALP
2010
Springer
14 years 1 months ago
Noetherian Spaces in Verification
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
Jean Goubault-Larrecq