维普期刊资源整合服务平台（V6.5）

98篇 您的检索式：作者名="Cimatti"

选中清除导出查看参考文献查看引证文献引用追踪共5页首页上一页第1页下一页末页 /5 跳转

	题名	作者	年代	出处	被引量
1	Formal verification of a railway interlocking system using model checking显示文摘	Cimatti A Giunchiglia F Mongardi G	1998	Formal Aspects Comput1998，，10：	2
2	Assessment of metabolic cerebral damage using proton magnetic resonance spectroscopy in mild traumatic brain injury 显示文摘	Cimatti M	2006	J Neurosurg Sci2006，50，4：	1
3	Strong planning under partial observability显示文摘	Piergiorgio Bertoli Alessandro Cimatti Marco Roveri Paolo Traverso	2006	Artificial Intelligence2006，，4：	1
4	Adaptive Time-Interleaved ADC Offset Compensation by Nonwhite Data Chopping 显示文摘	Vitali S Cimatti G Rovatti R	2009	IEEE Trans on Circuits and Systems-Ⅱ: Express Briefs2009，56，11：	1
5	Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking显示文摘	Cimatti A Pistore M Rovveri M	2003	Artificial Intelligence2003，147，12：	1
6	Verification of a safety- critical railway interlocking system with real-time constraints显示文摘	Garmhausen V H Campos S Cimatti A	2000	Elsevier Science of Computer Programming2000，，36：	1
7	Conformant planning via symbolic model checking显示文摘	ROVERI M	2000	Journal of Artificial Intelligence Research2000，13，：	1
8	Weak, strong, and strong cyclic planning via symbolic model eheeking显示文摘	Cimatti A Pistore M Rowed M	2003	Artificial Intelli- gence2003，147，12：	1
9	Conformant Planning via Model Checking and Heuristic Search显示文摘	Cimatti A Roveri M	2004	Artificial Intelligence2004，159，12：	1
10	Conformant planning via symbolic model checking and heuristic search显示文摘	ROVERI M BERTOLI P	2004	Artificial Intelligence2004，159，12：	1
11	Conformant planning via model checking and heuristic search显示文摘	Cimatti A Roved M	2004	Artificial Intelligence2004，159，12：	1
12	Strong Planning Under Partial Observability显示文摘	Bertoli P Cimatti A Roveri M	2006	Artificial Intelligence2006，170，1：	1
13	Strong planning under par- tial observability显示文摘	Bertoli P Cimatti A Roveri M	2006	Artificial Intelligence2006，170，：	1
14	Conformant planning via symbolic model checking显示文摘	Cimatti A Roveri M	2000	Journal of Artificial Intelligence Research2000，13，：	1
15	Pure percutaneous pedicle screw fixation without arthrodesis of 32thoraco-lumbar fractures:clinical and radiological outcome with 36-month followup显示文摘	Cimatti M Forcato S Polli F	2013	Eur Spine J2013，22，6：	1
16	SPACE: the spectroscopic all-sky cosmic explorer显示文摘	A. Cimatti M. Robberto C. Baugh S. V. W. Beckwith R. Content E. Daddi G. Lucia B. Garilli L. Guzzo G. Kauffmann M. Lehnert D. Maccagni A. Martínez-Sansigre F. Pasian I. N. Reid P. Rosati R. Salvaterra M. Stiavelli Y. Wang M. Zapatero Osorio M. Balcells M.	2009	Experimental Astronomy2009，，1：	1
17	Chaos-based Spreading in DS-UWB Sensor Networks Increases Available Bit-rate显示文摘	Cimatti G Rovatti R Setti G	2007	IEEE Transactions on Circuits and Systems-Part I2007，54，6：	1
18	HIV-1 and HCV detection in dried blood spots by SYBR Green multiplex realtime RT-PCR显示文摘	De Crignis E Re M C Cimatti L	2010	J Virol Methods2010，165，1：	1
19	Hyperdynamic Circulation in Acute Liver Failure: Reperfusion Syndrome and Outcome Following Liver Transplantation显示文摘	A. Siniscalchi A. Dante S. Spedicato L. Riganello A. Zanoni M. Cimatti E. Pierucci E. Bernardi Z. Miklosova C. Moretti S. Faenza	2010	Transplantation Proceedings2010，，4：	1
20	Development and implementation of a torque vectoring algorithm for an innovative 4WD driveline for a high-performance vehicle显示文摘	Cheli F Cimatti F Dellacha P		0，，02：	1

返回顶部每页显示：

共5页首页上一页第1页下一页末页 /5 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示