Sciweavers

37 search results - page 2 / 8

» fsttcs 2007

8

FSTTCS
2007
Springer

92views Software Engineering» more FSTTCS 2007»

The Complexity of Zero Knowledge

13 years 8 months ago

The Complexity of Zero Knowledge

Download theinf1.informatik.uni-jena.de

Salil P. Vadhan

claim paper

Read More »

8

FSTTCS
2007
Springer

121views Software Engineering» more FSTTCS 2007»

Acceleration in Convex Data-Flow Analysis

13 years 11 months ago

Acceleration in Convex Data-Flow Analysis

Download www.labri.fr

Jérôme Leroux, Grégoire Sutre

claim paper

Read More »

8

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

13 years 11 months ago

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

Download www.infsec.ethz.ch

Matthias Schmalz, Hagen Völzer, Daniele Varac...

claim paper

Read More »

8

FSTTCS
2007
Springer

111views Software Engineering» more FSTTCS 2007»

Symbolic Bisimulation for the Applied Pi Calculus

13 years 11 months ago

Symbolic Bisimulation for the Applied Pi Calculus

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Mark Ryan

claim paper

Read More »

8

FSTTCS
2007
Springer

79views Software Engineering» more FSTTCS 2007»

Compressed Dynamic Tries with Applications to LZ-Compression in Sublinear Time and Space

13 years 11 months ago

Compressed Dynamic Tries with Applications to LZ-Compression in Sublinear Time and Space

Download www.df.lth.se

Jesper Jansson, Kunihiko Sadakane, Wing-Kin Sung

claim paper

Read More »

« Prev « First page 2 / 8 Last » Next »