Electronic Notes in Theoretical Computer Science

Powerdomains and zero finding
pp. 1-12(12)
Author: Martin K.

As Time Goes By II - More Automatic Complexity Analysis of Concurrent Rule Programs
pp. 1-22(22)
Author: Fruhwirth T.

Linear Embedding for a Quantitative Comparison of Language Expressiveness
pp. 1-31(31)
Authors: Brogi A.; Di Pierro A.; Wiklicky H.

Quantitative Analysis of the Leakage of Confidential Data
pp. 1-14(14)
Authors: Clark D.; Hunt S.; Malacaria P.