Auditory neuroscience in fruit flies
- 期刊名称Neuroscience Research
- 作者Kamikouchi, Azusa
- 卷第76卷
- 期第3期
- 印刷ISSN0168-0102
- 文件大小2009.21KB
- 发表时间2013-7
- DOI10.1016/j.neures.2013.04.003
- 页码113-118
Refining Model Checking by Abstract InterpretationPatrick Cousot; Radhia Cousot · 1999
Bi-inductive structural semanticsPatrick Cousot; Radhia Cousot · 2009
Automatic synthesis of optimal invariant assertionsCousot, Patrick; Cousot, Radhia · ACM SIGART Bulletin · 1977
Abstract Interpretation FrameworksCOUSOT, PATRICK; COUSOT, RADHIA · Journal of Logic and Computation · 1992
An abstract interpretation framework for terminationCousot, Patrick; Cousot, Radhia · ACM SIGPLAN Notices · 2012
Abstract interpretation and application to logic programsPatrick Cousot; Radhia Cousot · 1992
Bi-inductive Structural Semantics: (Extended Abstract)Patrick Cousot; Radhia Cousot · 2007
Parsing as abstract interpretation of grammar semanticsPatrick Cousot; Radhia Cousot · 2003