Home
Publishers
Board
Content
Pre-Publication
Search
For Authors
For Reviewers
News
Vol.3,No.1,2009
Other Issues:
Vol.4,2010
Vol.3,2009
Vol.2,2008
Vol.1,2007
Special Section on Selected Papers from PRICAI2008
Preface
[
Abstract
]
[
PDF
]
State-Based Regression with Sensing and Knowledge
[
Abstract
]
[
PDF
]
Temporal Data Mining for Educational Applications
[
Abstract
]
[
PDF
]
Propositional Attitudes and Causation
[
Abstract
]
[
PDF
]
Regular Papers
Verification of an Incremental Garbage Collector in Hoare-Style Logic
[
Abstract
]
[
PDF
]
Secure—I
*
: Engineering Secure Software Systems through Social Analysis
[
Abstract
]
[
PDF
]
[2010-8-25]
Call for Papers--Special Issue on Software Modelling
[2010-8-9]
Call for Papers for SERES 2010
[2010-7-6]
Call for Papers for PIC-2010
[2010-6-8]
Good News: IJSI is indexed by DBLP
[2010-6-2]
Call for Papers for ICISE2010
more>>
Visitor:97286
Top Paper
|
FAQ
|
Guest Editors
|
Email Alert
|
Links
|
Copyright
|
Contact Us
© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592
