中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 12)

Filters    
Items/Page:    Sort:
faulty interaction identification via constraint solving and optimization [会议论文]
15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, Trento, Italy, June 17, 2012 - June 20, 2012
Zhang Jian; Ma Feifei; Zhang Zhiqiang

 
solving generalized optimization problems subject to smt constraints [会议论文]
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Ma Feifei; Yan Jun; Zhang Jian

 
attacking the dimensionality problem of parameterized systems via bounded reachability graphs [会议论文]
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011
Yang Qiusong; Zhang Bei; Zhai Jian; Li Mingshu

 
generic construction of chosen ciphertext secure proxy re-encryption [会议论文]
12th Cryptographers' Track at the RSA Conference, CT-RSA 2012, San Francisco, CA, United states, February 27, 2012 - March 2, 2012
Hanaoka Goichiro; Kawai Yutaka; Kunihiro Noboru; Matsuda Takahiro; Weng Jian; Zhang Rui; Zhao Yunlei

 
searching for doubly self-orthogonal latin squares [会议论文]
17th International Conference on Principles and Practice of Constraint Programming, CP 2011, Perugia, Italy, September
Lu Runming; Liu Sheng; Zhang Jian
  |  
 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
volume computation for boolean combination of linear arithmetic constraints [会议论文]
22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07,
Ma Feifei; Liu Sheng; Zhang Jian

 
computer search for large sets of idempotent quasigroups [会议论文]
8th Asian Symposium on Computer Mathematics, Singapore, SINGAPORE, DEC 15-17,
Ma Feifei; Zhang Jian
  |  
 
finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints [会议论文]
10th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008), Hanoi, VIETNAM, DEC 15-19,
Ma Feifei; Zhang Jian
  |  
 
linkability analysis of some blind signature schemes [会议论文]
International Conference on Computational Intelligence and Security, CIS 2006, Guangzhou, China, 40850
Zhang Jianhong; Mao Jian
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace