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

61篇 您的检索式：作者名="SISTLA P"

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

	题名	作者	年代	出处	被引量
1	Updating and Querying Databases That Track Mobile Units显示文摘	Wolfson O Sistla A P Chamberlain S	1999	Distributed and Parallel Databases1999，7，3：	1
2	Comparison of standard-pressure and low-pressure pneumoperitoneum in laparoscopic cholecystectomy : A double blinded randomized controlled study显示文摘	Vijayaraghavan N Sistla S C Kundra P	2014	Surgical Laparoscopy Endoscopy and Percutaneous Techniques2014，24，2：	1
3	Automatic verication of finite-state concurrent systems using temporal logic specifications 显示文摘	CLARKE E M EMERSON E A SISTLA A P	1986	ACM Transactions on Programming Languages and Systems1986，8，2：	1
4	Comparison of standard-pressure and low-pressure pneomoperitoneum in laparo- scopic eholecystectomy: A double blinded randomized controlled study显示文摘	Vijayaraghavan N Sistla SC Kundra P	2014	SurgEndose2014，24，2：	1
5	Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specification显示文摘	Clarke E M Emerson E A Sistla A P	1986	ACM Transactions on Programming Languages and Systems1986，8，2：	1
6	Minimization of oommunication cost through caching in mobile environments 显示文摘	Sistla A P Wolfson O Huang Y	1998	IEEE Transaction on Parallel and Distributed Systems1998，9，4：	1
7	Reasoning about Systems with Many Processes 显示文摘	S German A P Sistla	1992	Journal of the ACM (S0004-5411)1992，39，：	1
8	Automatic verification of finite-state concurrent systems using temporal logic specifications显示文摘	Clarke E M Emerson E A Sistla A P	1986	ACM Transactions on Programming Languages and Systems(TOPLAS)1986，8，：	1
9	A study of pollutant dispersion near hiways, Atmos Environ显示文摘	Sistla G Samson P Keenan M	1979	12: 669 - 6851979，12，：	1
10	Automatic verification of finite-state concurrent systems using temporal logic specification显示文摘	CLARKE E M EMERSON E A SISTLA A P	1986	ACM Transactions on Programming Languages and Systems1986，8，2：	1
11	Automatic Verification of Finite-state Concurrent Systems Using Temporal-logicSpecifications显示文摘	Clarke E M Emerson E A Sistla A P	1986	ACM Transactions on Programming Languages and Systems1986，8，2：	1
12	Automatic verification of finite-state concurrent systems using temporal logic specifications显示文摘	CLARKE E M EMERSON E A SISTLA A P	1986	ACM Transactions on Programming Languages and Systems1986，8，2：	1
13	A study of pollutant dispersion near hiways显示文摘	Sistla G Samson P Keenan M	1979	Atmospheric Environment1979，13，：	1
14	Reasoning about qualitative spatial relationships显示文摘	Sistla A P Yu C	2000	Joumal of Automated Reasoning2000，25，：	1
15	View maintenance in mobile computing显示文摘	Wolfson O Sistla A P Dao S	1995	SIGMOD Record1995，24，4：	1
16	Reasoning About Qualitative Spatial Relationships 显示文摘	Sistla A P Yu C	2000	Journal of Automated Reasoning2000，25，4：	1
17	Updating and Querying Databases That Track Mobile Units显示文摘	Wolfson O Sistla P A Chamberlain S	1999	Distributed and Parallel Databases1999，7，3：	1
18	Querying the uncertain position of moving objects显示文摘	Sistla A P Wolfson O Chamberlain S	1998	Springer-Verlag Lecture Notes in Computer Science1998，1399，：	1
19	Updating and querying databases that track mobile units 显示文摘	Wolfson O Sistla A P Chamberlain S	1999	Distributed and Parallel Databases1999，7，3：	1
20	Databases for tracking mobile units in real time显示文摘	Wolfson O Jiang L Sistla A P	1999	Springer-Verlag Lecture Notes in Computer Science1999，1540，：	1

返回顶部每页显示：

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

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

用户提示