2011 CAV award announcement
- 期刊名称Formal Methods in System Design
- 作者Vardi, Moshe Y.; Henzinger, Thomas A.; Alur, Rajeev; Kwiatkowska, Marta
- 卷第41卷
- 期第1期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小132.40KB
- 发表时间2012-08
- DOI10.1007/s10703-012-0154-4
- 页码1-2
Neurogenic Galactorrhea-Amenorrhea*BOYD, A. E.; SPARE, STEPHEN; BOWER, BRUCE; REICHLIN, SEYMOUR · The Journal of Clinical Endocrinology & Metabolism · 1978
ADSORPTION OF SUBSTITUTED PHENOLS BY SOILBOYD, STEPHEN A. · Soil Science · 1982
Quantum Nonlocal Aberration CancellationBlack, A. Nicholas; Giese, Enno; Braverman, Boris; Zollo, Nicholas; Barnett, Stephen M.; Boyd, Robert W. · Physical Review Letters · 2019
Pentachlorophenol Sorption by Organo-Clays1Boyd, Stephen A. · Clays and Clay Minerals · 1988
Microbial reductive dechlorination of PCBsJames M. Tiedje; John F. Quensen; Joann Chee-Sanford; Joshua P. Schimel; Stephen A. Boyd · 1993-1994
Analytical Foundations of Volterra SeriesBOYD, STEPHEN; CHUA, L. O.; DESOER, C. A. · IMA Journal of Mathematical Control and Information · 1984
Digital Circuit Optimization via Geometric ProgrammingStephen P. Boyd, Seung-Jean Kim, Dinesh D. Patil and Mark A. Horowitz · Operations Research · 2005
Surface enthalpy of goethiteMazeina, Lena; Navrotsky, Alexandra · clays and clay minerals · 2005
Kaolinite intercalation precursorsLi, Yanfeng; Sun, Dewen; Pan, Xiaobing; Zhang, Bo · Clays and Clay Minerals · 2009
CorrigendaClays and Clay Minerals · 2007
Medicinal clay and spiritual healingFerrell, Ray E. · Clays and Clay Minerals · 2008
Forthcoming papersClays and Clay Minerals · 2002
Benzene Displacement on ImogoliteWilson, Michael A.; Lee, Garry S. H.; Taylor, Renee C. · Clays and Clay Minerals · 2002
Forthcoming papersclays and clay minerals · 2005
Forthcoming PapersClays and Clay Minerals · 2002