Search Sciweavers | Sciweavers

4211 search results - page 49 / 843

» Types as Abstract Interpretations

Voted

DAGSTUHL
2008

89views Software Engineering» more DAGSTUHL 2008»

15 years 4 months ago

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...

claim paper

Read More »

click to vote

BIOCOMP
2006

111views Bioinformatics» more BIOCOMP 2006»

15 years 4 months ago

Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samo...

claim paper

Read More »

click to vote

IRMA
2000

130views Information Technology» more IRMA 2000»

15 years 4 months ago

Xavier Franch, Jordi Marco

claim paper

Read More »

Voted

CORR
2010
Springer

47views Education» more CORR 2010»

15 years 3 months ago

José Martinez, Carmelo Malta

claim paper

Read More »

105

ACTA
2006

78views more ACTA 2006»

15 years 3 months ago

Sciweavers