Research
*Themes
*Projects
*Publications

Academic Activities
*Seminars
*Conferences

People
*Academic Staff
*Visitors
*Postdoctors
*Postgraduates

Facilities
*Computer Servers
*Clusters

Position

 

 

 

 

 

 


       

The Laboratory for Computer Science (LCS) was founded in 1993 as a department of Institute of Software, upgraded to a Key Laboratory of Chinese Academy of Sciences in 1994, and further upgraded to a State Key Laboratory in 2007.

1  
2  
3  
4  
 
  <<more   <<more
     

2007.8.20 An Introduction to Core-sets and Discrete Frechet Distance   ATVA 2006
2007.8.15 Controller Synthesis for Real-Time Systems   QSIC 2003
2007.7.26 On the limitations of finite state models as sources of tests for access control and authentication    
2007.6.27 Compositional Verification of Timed Systems    
2007.6.26 Modelling and Refinement of Component-based Software Systems: A Coalgebraic Perspective    
       
  <<more   <<more