中国科学院软件研究所机构知识库
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
软件所图书馆 [19]
信息安全国家重点实... [17]
互联网软件技术实验室... [5]
软件工程技术研究开发... [3]
综合信息系统技术国家... [2]
更多...
作者
Content Type
会议论文 [31]
期刊论文 [14]
学位论文 [5]
Issued Date
2016 [2]
Language
英语 [19]
中文 [12]
Source
lecture n... [12]
软件学报 [3]
informatio... [1]
internatio... [1]
jisuanji x... [1]
更多...
Project
Indexed
EI [16]
SCI [6]
其他 [3]
EI,CSCD,WA... [2]
CSCD,CNKI,... [1]
更多...
Spnsorship
acecrypt, ... [1]
acm sigsac [1]
acm sigsim [1]
chinese ac... [1]
chinese cr... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 50)
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
Monitoring Target Through Satellite Images By Using Deep Convolutional Networks
[会议论文]
SERA2016, Towson University, Towson, Maryland, USA, 2016-5
Sui XD(随旭东)
;
Zhang JF(张金芳)
;
Hu XH(胡晓惠)
;
Zhang L(张磊)
  |  
基于Spark的交互式大数据预处理系统的设计与实现
[学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-25
张磊
  |  
Differential analysis of the Extended Generalized Feistel Networks
[期刊论文]
Information Processing Letters, 2014-01-01, 卷号: 114, 期号: 12, 页码: 723-727
Zhang, Lei (1)
;
Wu, Wenling (1)
Probably safe or live
[会议论文]
Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014
Katoen, Joost-Pieter (1)
;
Song, Lei (2)
;
Zhang, Lijun (3)
Bisimulations and logical characterizations on continuous-time markov decision processes
[会议论文]
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1)
;
Zhang, Lijun (2)
;
Godskesen, Jens Chr. (3)
Bridging the gap of network management and anomaly detection through interactive visualization
[会议论文]
2014 7th IEEE Pacific Visualization Symposium, PacificVis 2014, Yokohama, Kanagawa, Japan, March 4, 2014 - March 7, 2014
Zhang, Tao (1)
;
Liao, Qi (1)
;
Shi, Lei (2)
Reflection cryptanalysis of PRINCE-like ciphers
[会议论文]
20th International Workshop on Fast Software Encryption, FSE 2013, Singapore, Singapore, March 11, 2013 - March 13, 2013
Soleimany, Hadi (1)
;
Blondeau, Cé
;
line (1)
;
Yu, Xiaoli (2)
;
Wu, Wenling (2)
;
Nyberg, Kaisa (1)
;
Zhang, Huiling (2)
;
Zhang, Lei (2)
;
Wang, Yanfeng (2)
A FAULT LOCALIZATION FRAMEWORK TO ALLEVIATE THE IMPACT OF EXECUTION SIMILARITY
[期刊论文]
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2013-01-01, 卷号: 23, 期号: 7, 页码: 963-998
Zhao, Lei
;
Zhang, Zhenyu
;
Wang, Lina
;
Yin, Xiaodan
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA
[期刊论文]
LOGICAL METHODS IN COMPUTER SCIENCE, 2013-01-01, 卷号: 9, 期号: 2
Song, Lei
;
Zhang, Lijun
;
Godskesen, Jens Chr.
;
Nielson, Flemming
Revisiting weak simulation for substochastic Markov chains
[会议论文]
10th International Conference on Quantitative Evaluation of Systems, QEST 2013, Buenos Aires, Argentina, August 27, 2013 - August 30, 2013
Jansen, David N. (1)
;
Song, Lei (2)
;
Zhang, Lijun (3)
1
2
3
4
5
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace