Search Sciweavers | Sciweavers

1359 search results - page 77 / 272

» Probabilistic Points-to Analysis

Voted

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

15 years 9 months ago

Javier Esparza, Antonín Kucera, Richard May...

claim paper

Read More »

click to vote

ASIACRYPT
2004
Springer

103views Cryptology» more ASIACRYPT 2004»

15 years 9 months ago

Eonkyung Lee

claim paper

Read More »

Voted

SP
2003
IEEE

99views Security Privacy» more SP 2003»

15 years 9 months ago

Dakshi Agrawal, Dogan Kesdogan, Stefan Penz

claim paper

Read More »

117

Voted

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

15 years 8 months ago

Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...

claim paper

Read More »

click to vote

IFM
2009
Springer

77views Formal Methods» more IFM 2009»

15 years 8 months ago

Sciweavers