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

137篇 您的检索式：作者名="Henzinger"

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

	题名	作者	年代	出处	被引量
1	Symbolic model checking for real-time systems显示文摘	Henzinger T A Nicollin X Sifakis J	1994	Journal of Information and Computation1994，111，2：	1
2	Alternating-time temporal logic显示文摘	Alur R Henzinger T A Kupferman O	2002	Journal of the ACM(JACM)2002，49，5：	1
3	The software model checker Blast显示文摘	Beyer D Henzinger T A Jhala R	2007	STTT2007，9，56：	1
4	Interface automata显示文摘	Alfaro Ld Henzinger T A		0，，05：	1
5	Discrete abstractions of hybrid systems显示文摘	Alur R Henzinger T A Lafferriere G	2000	Proceedings of the IEEE2000，88，7：	1
6	The benefits of relaxing punctuality显示文摘	Alur R Feder T Henzinger T A	1996	Journal of the ACM1996，43，1：	1
7	A really temporal logic显示文摘	Alur R Henzinger T A	1994	Journal of the ACM1994，41，1：	1
8	A comprehensive study of features and algorithms for URL-based topic classifi- cation显示文摘	Baykan E Henzinger M Marian L	2011	ACM Transactions on the Web (TWEB)2011，5，3：	1
9	What's decidable about hybrid automata?显示文摘	Henzinger T A Kopke P W Puri A	1998	Journal of Computer System Science1998，57，：	1
10	Analysis of a very large Web search engine query log显示文摘	Silverstein G Henzinger G Marais H		0，，01：	1
11	Finding related pages in the WorldWide Web显示文摘	Dean J Henzinger M R	1999	Computer Networks1999，31，1116：	1
12	A really temporal logic显示文摘	Alur R Henzinger TA	1994	Journal of the ACM1994，41，1：	1
13	Extracting knowledge from the World Wide Web显示文摘	Lawrence S Henzinger M	2004	Proceedings of the National Academy of Sciences of the United States of America2004，101，1：	1
14	The software model check- er BLAST显示文摘	Beyer D Henzinger T A Jhala R	2007	International Journal on Software Tools for Technolo- gy Transfer2007，，9：	1
15	Hyperlink analysis for the Web 显示文摘	Henzinger MR	2001	Internet Computing2001，5，1：	1
16	The software model checker blast显示文摘	Beyer D Henzinger A Jhala R	2007	Journal of STTT2007，9，56：	1
17	A Comprehensive Study of Features and Algorithms for URL-based Topic Classification显示文摘	Baykan E Henzinger M Marian L	2011	ACM Transactions on the Web2011，5，3：	1
18	Analysis of a Very Large Web Search Engine Query Log 显示文摘	Silverstein C Henzinger M Marais H	1998	ACM SIGIR Forum1998，33，1：	1
19	Analysis of a very large web search engine query log显示文摘	Craig Silverstein Hannes Marais Monika Henzinger Michael Moricz	1999	ACM SIGIR Forum1999，，1：	1
20	Stochastic limitaverage games are in exptime显示文摘	Chatterjee K Majumadar R Henzinge A T		0，，02：	1

返回顶部每页显示：

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

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

用户提示