Sciweavers

2 search results - page 1 / 1
» Varieties of Static Analyzers: A Comparison with ASTREE
Sort
View
TASE
2007
IEEE
14 years 5 months ago
Varieties of Static Analyzers: A Comparison with ASTREE
Patrick Cousot, Radhia Cousot, Jérôme...
JCB
2006
144views more  JCB 2006»
13 years 11 months ago
Modeling Virus Self-Assembly Pathways: Avoiding Dynamics Using Geometric Constraint Decomposition
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
Meera Sitharam, Mavis Agbandje-Mckenna