中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [10]
计算机科学国家重点实... [6]
基础软件国家工程研究... [2]
作者
Content Type
期刊论文 [14]
会议论文 [4]
Issued Date
2015 [1]
Language
英语 [9]
中文 [5]
Source
frontiers ... [2]
软件学报 [2]
ieice tran... [1]
internatio... [1]
internatio... [1]
更多...
Project
Indexed
SCI [7]
EI [4]
CSCD [3]
CPCI [1]
EI,SCI [1]
更多...
Spnsorship
acm sig em... [1]
china comp... [1]
中国科学院计算技术研... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 18)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
两类广义Feistel结构的零和区分器构造
[期刊论文]
密码学报, 2015-01-01, 卷号: 2, 期号: 5, 页码: 439-448
董乐
;
吴文玲
;
李艳俊
;
邹剑
;
杜蛟
  |  
Known-key distinguishers on type-1 Feistel scheme and near-collision attacks on its hashing modes
[期刊论文]
Frontiers of Computer Science, 2014-01-01, 卷号: 8, 期号: 3, 页码: 513-525
Dong, Le (1)
;
Wu, Wenling (2)
;
Wu, Shuang (2)
;
Zou, Jian (2)
基于高阶差分的type-1广义Feistel-SP结构与Feistel-SPSP结构比较研究
[期刊论文]
通信学报, 2014-01-01, 卷号: 35, 期号: 7, 页码: 1-9
董乐
;
杜蛟
;
吴文玲
改进的流不敏感的类型限定词推断
[期刊论文]
计算机科学, 2014-01-01, 卷号: 41, 期号: 9, 页码: 178-184
李慧松
;
许智武
;
陈海明
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation
[会议论文]
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1)
;
Nguyen, Kim (2)
;
Xu, Zhiwu (1)
;
Im, Hyeonseung (2)
;
Lenglet, Sergueï
;
(4)
;
Padovani, Luca (5)
An Approach of Filtering Wrong-Type Entities for Entity Ranking
[期刊论文]
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013-01-01, 卷号: E96D, 期号: 1, 页码: 163-167
Zhang, Junsan
;
Qu, Youli
;
Gong, Shu
;
Tian, Shengfeng
;
Sun, Haoliang
A graph-based generic type system for object-oriented programs
[期刊论文]
FRONTIERS OF COMPUTER SCIENCE, 2013-01-01, 卷号: 7, 期号: 1, 页码: 109-134
Ke, Wei
;
Liu, Zhiming
;
Wang, Shuling
;
Zhao, Liang
Analyzing impact rules of different change types to support change impact analysis
[期刊论文]
International Journal of Software Engineering and Knowledge Engineering, 2013-01-01, 卷号: 23, 期号: 3, 页码: 259-288
Sun, Xiaobing (1)
;
Li, Bixin (1)
;
Wen, Wanzhi (1)
;
Zhang, Sai (4)
Cryptanalysis and Improvement of a Multi-User Quantum Communication Network Using chi-Type Entangled States
[期刊论文]
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2013-01-01, 卷号: 52, 期号: 4, 页码: 1354-1361
Huang, Wei
;
Zuo, Hui-Juan
;
Li, Yan-Bing
正规树文法的产生式相交判定
[期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇
;
陈海明
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace