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

Search Results

Help

Item hits: (Results 1-10 of 12)

Filters    
Items/Page:    Sort:
computational complexity of holant problems [期刊论文]
SIAM Journal on Computing, 2011-01-01, 卷号: 40, 期号: 4, 页码: 1101-1132
Cai Jin-Yi; Lu Pinyan; Xia Mingji

 
genetic design of drugs without side-effects [期刊论文]
SIAM JOURNAL ON COMPUTING, 2003-01-01, 卷号: 32, 期号: 4, 页码: 1073-1090
Deng X; Li G; Li Z; Ma B; Wang LS
  |  
 
Multiple NonInteractive Zero Knowledge Proofs Under General Assumptions [期刊论文]
SIAM Journal on Computing, 2000-01-01, 卷号: 29, 期号: 1, 页码: 1-28
Uriel Feige; Dror Lapidot; Adi Shamir
  |  
 
On the Composition of Zero-Knowledge Proof Systems [期刊论文]
SIAM Journal on Computing, 1996-01-01, 卷号: 25, 期号: 1, 页码: 169 - 192
Oded Goldreich; Hugo Krawczyk
  |  
 
Computing the Degree of Determinants via Combinatorial Relaxation [期刊论文]
SIAM Journal on Computing, 1995-01-01, 卷号: 24, 期号: 4, 页码: 765 - 796
Kazuo Murota
  |  
 
Applying coding theory to sparse interpolation [期刊论文]
SIAM Journal on Computing, 1993-01-01, 卷号: 22, 期号: 4, 页码: 695 - 704
A. Dür; J. Grabmeier
  |  
 
Noninteractive Zero-Knowledge [期刊论文]
SIAM Journal on Computing, 1991-01-01, 卷号: 20, 期号: 6, 页码: 1084-1118
Manuel Blum; Alfredo De Santis; Silvio Micali; Giuseppe Persiano
  |  
 
Interpolation and Approximation of Sparse Multivariate Polynomials over $GF(2)$ [期刊论文]
SIAM Journal on Computing, 1991-01-01, 卷号: 20, 期号: 2, 页码: 291-314
Ron M. Roth; Gyora M. Benedek
  |  
 
The complexity of file transfer scheduling with forwarding [期刊论文]
SIAM Journal on Computing, 1990-01-01, 卷号: 19, 期号: 2, 页码: 222 - 245
Jennifer Whitehead
  |  
 
The knowledge complexity of interactive proof systems [期刊论文]
SIAM Journal on Computing, 1989-01-01, 卷号: 18, 期号: 1, 页码: 186 - 208
S. Goldwasser; S. Micali; C. Rackoff
  |  
 

1 2 next

 

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