Sciweavers

812 search results - page 4 / 163

» corr 2007

23

CORR
2007
Springer

97views Education» more CORR 2007»

A Few Graph-Based Relational Numerical Abstract Domains

13 years 9 months ago

A Few Graph-Based Relational Numerical Abstract Domains

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

8

CORR
2007
Springer

84views Education» more CORR 2007»

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

13 years 9 months ago

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

11

CORR
2007
Springer

100views Education» more CORR 2007»

The Octagon Abstract Domain

13 years 9 months ago

The Octagon Abstract Domain

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

8

CORR
2007
Springer

70views Education» more CORR 2007»

Open Access Scientometrics and the UK Research Assessment Exercise

13 years 9 months ago

Open Access Scientometrics and the UK Research Assessment Exercise

Download eprints.ecs.soton.ac.uk

Stevan Harnad

claim paper

Read More »

11

CORR
2007
Springer

70views Education» more CORR 2007»

Constructive Conjugate Codes for Quantum Error Correction and Cryptography

13 years 9 months ago

Constructive Conjugate Codes for Quantum Error Correction and Cryptography

Download www.jst.go.jp

Mitsuru Hamada

claim paper

Read More »

« Prev « First page 4 / 163 Last » Next »