Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(14)
Zhiqiu Huang
6
Jun-Hua Zhang
4
Fangxiong Xiao
3
Chun-Yi Shi
1
Jing Chen
1
Conferences
(22)
CLIMA
2
ICISE
2
ICWS
1
APLAS
1
ASIAN
1
Journals
(2)
JCST
2
CORR
1
Keywords
(53)
Embed
Subscribe
Academic
Authors
Zining Cao
Edit
Zining Cao
Nanjing University of Aeronautics & Astronautics
Publications: 29
|
Citations: 32
|
G-Index: 4
|
H-Index: 3
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Artificial Intelligence
,
Engineering
View FAQ about top research area and research interests
Collaborated with
14 co-authors
from 2003 to 2010
; Cited by
54 authors
Bing
Cumulative
Annual
Order by:
Publications
(29)
BibTeX
|
RIS
|
RefWorks
Download
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications
Yi Zhu
,
Zhiqiu Huang
,
Zining Cao
,
Hang Zhou
,
Min Yuan
Conference:
International Conference on Quality Software - QSIC
, pp. 373-376, 2010
A transmitting knowledge of calculus of processes
Qian Zhongmin
,
Cao Zining
,
Wang Jiandong
Conference:
International Conference on Information Science and Engineering - ICISE
, 2010
Reducing Higher Order Pi-Calculus to Spatial Logics
Zining Cao
,
P. R. China
Journal:
Computing Research Repository - CORR
, vol. abs/1011.2, 2010
Refinement Checking for Interface Automata with Z Notation
Zining Cao
Conference:
Software Engineering and Knowledge Engineering - SEKE
, pp. 399-404, 2010
Bisimulations for Open Processes in Higher Order p-Calculus
Zining Cao
Conference:
Theoretical Aspects of Software Engineering - TASE
, 2010
Order by:
Citations
(32 times by 25 publications)
Environmental bisimulations for higher-order languages
Davide Sangiorgi
,
Naoki Kobayashi
,
Eijiro Sumii
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 1, pp. 1-69, 2011
Synchronizing Diachronic Uncertainty
Alistair Isaac
,
Tomohiro Hoshi
Journal:
Journal of Logic, Language and Information - JOLLI
, vol. 20, no. 2, pp. 137-159, 2011
Counterexample generation and representation in model checking for probabilistic timed automata
Jianfeng Wu
,
Jing Wang
,
Mei Rong
,
Guangquan Zhang
,
Jihan Zhu
Conference:
International Conference on Computer Science & Education - ICCSE
, 2011
Characterizing Contextual Equivalence in Calculi with Passivation
(
Citations: 1
)
Alan Schmitt
,
Jean-Bernard Stefani
Published in 2010.
MAFSE: A Model-Based Framework for Software Verification
Tho T. Quan
,
D. L. N. Hoang
,
B. T. Nguyen
,
A. N. Nguyen
,
Q. D. Tran
,
P. H. Nguyen
,
T. H. Bui
,
A. T. Do
,
L. V. Huynh
,
N. T. Doan
,
N. T. Huynh
,
T. D. Nguyen
http://academic.research.microsoft.com/io.ashx?type=5&id=50918412&selfId1=3460088&selfId2=0&maxNumber=12&query=
Conference:
International Conference on Secure Software Integration and Reliability Improvement Companion - SSIRI-C
, 2010
Comments