[IEEE 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2015.9.12-2015.9.14)] 2015 International Symposium on Theoretical Aspects of Software Engineering - On Various Abstract Understandings of Abstract Interpretation
- 作者Cousot, Patrick
- 文件大小116.87KB
- 发表时间2015
- DOI10.1109/tase.2015.29
- 页码2-3
Perturbation Sensitivity of Magnetothermal InstabilityTakala, E.; Bordini, B.; Rossi, L. · IEEE Transactions on Applied Superconductivity · 2012
Transport Properties of YBCO NanowiresNawaz, Shahid; Bauch, Thilo; Lombardi, Floriana · IEEE Transactions on Applied Superconductivity · 2011
Incoming EditorialPlourde, Britton · IEEE Transactions on Applied Superconductivity · 2013
Outgoing EditorialSchwartz, Justin · IEEE Transactions on Applied Superconductivity · 2013
Superconductive Traveling-Wave PhotodetectorsGhamsari, Behnood G.; Majedi, A. Hamed · IEEE Transactions on Applied Superconductivity · 2009
Maxwell's Equations in SuperconductorsCampbell, A. M. · IEEE Transactions on Applied Superconductivity · 2007
Beyond the Helium ConundrumGlowacki, B. A.; Nuttall, W. J.; Clarke, R. H. · IEEE Transactions on Applied Superconductivity · 2013
Front coverIEEE Transactions on Applied Superconductivity · 2013