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

35篇 您的检索式：作者名="Bultan"

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

	题名	作者	年代	出处	被引量
1	A fast neural- network algorithm for VLSI cell placement 显示文摘	Aykanat C Bultan T Haritaoglu O	1998	Neural Networks1998，，11：	1
2	A four-parameter atomic decomposition of chirplets显示文摘	Bultan A	1999	IEEE Transactions on Signal Processing1999，47，3：	1
3	Conversation protocols:a formalism for specification and verification of reactive electronic services显示文摘	Fu X Bultan T Su J W	2004	Theoretical Computer Science2004，328，12：	1
4	A four-parameter atomic decomposition of chirplets显示文摘	Bultan A		0，，03：	1
5	Analyzing conversations of Web services 显示文摘	BULTAN T JIANWEN S XIANG F	2006	IEEE Internet Computing2006，10，1：	1
6	Synchronizability of conversations among Web services显示文摘	Fu X Bultan T Su J	2005	IEEE Transactions on Software Engineering2005，31，12：	1
7	Automated verification of XACML policies using a SAT solver显示文摘	HUGHES G BULTAN T	2008	Software Tools for Technology Transfer2008，10，6：	1
8	Model-checking concurrent systems with unbounded integer variables:Symbolic representations,approximations,and experimental results显示文摘	T Bultan R Gerber W Pugh	1999	ACM Transactions on Programming Languages and Systems1999，21，4：	1
9	Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems 显示文摘	Bultan Tevfik	2008	Design Automation for Embedded Systems2008，，7：	1
10	A four-parameter atomic decomposition of Chirplets显示文摘	Bultan A	1999	IEEE Transactions on Signal Process- ing1999，47，3：	1
11	Synchronizability of con- versations among web services显示文摘	Xiang Fu Tevfik Bultan Jianwen Su	2005	Soflware Engineering2005，141，：	1
12	A Four-parameter Atomic Decomposition of Chirplets显示文摘	Bultan A	1999	IEEE Transactions on Signal Processing1999，47，3：	1
13	A fast neural - network algorithm for VLSI cell placement显示文摘	Aykanat C Bultan T Haritaoglu O	1998	Neural Networks1998，，11：	1
14	A new mapping heuristic based on mean field annealing显示文摘	Tevfik Bultan Cevdet Aykanat	1992	Journal of Parallel and Distributed Computing1992，16，4：	1
15	Analyzing conversations of Web services 显示文摘	Bultan T Su J FU X	2006	IEEE Intemet Computing2006，10，1：	1
16	A Four-Parameter Atomic Decomposition of Chirplets 显示文摘	Aykut Bultan	1999	IEEE Transactions on Signal Processing1999，47，3：	1
17	A four-parameter atomic decomposition of chirplets显示文摘	Bultan A	1999	IEEE Transactions on Signal Processing1999，47，3：	1
18	Automated Verification of XACML Po- licies Using a SAT Solver显示文摘	Hughes G Bultan T	2008	International Journal on Software Tools for Technology Transfer2008，10，6：	1
19	A four-parameter atomic decomposition ofchirplets显示文摘	Bultan A	1999	IEEE Transactions on Signal Processing1999，47，3：	1
20	Four parameter atomic decomposition of chirplet显示文摘		1999	IEEE Transaction on Signal Processing (S 1053-587X)1999，47，3：	1

返回顶部每页显示：

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

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

用户提示