now163
- Data-driven display advertising in USA and China2011-12-08
- Specification Theories of Modal Transition Systems2011-12-06
- The MSO Theory of Connectedly Communicating Processes2011-12-05
- 2012年开放课题申请工作正式开始2011-12-02
- Symbolically Bounding the Drift in Time-Constrained Message-Sequence-Chart Graphs2011-12-01
- Language Theoretic CEGAR2011-11-29
- Monitor-Based Statistical Model checking for Weighted Metric Temporal Logic2011-11-17
- Complexity Issues of Ternary Boolean Diagrams2011-11-11
- On the origin of events: maximal confluent processes2011-11-03
- Software and System developments using Formal Models, Refinements, and Proofs with Event-B2011-10-28
- Recent advances in program synthesis2011-10-20
- Game Solving for Industrial Automation and Control – Models,Algorithms, and Tools2011-10-18
- Real Time Edit Propagation by Efficient Sampling2011-10-12
- 实验室广播操队参加中科院第五届暨京区第十三届职工田径运动会取得佳绩2011-09-24
- Making big steps in trajectories2011-09-08
- Security and privacy implications of the multi-component nature of Software-as-a-Service2011-09-01
- ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)2011-08-08
- Towards a Coalgebraic Interpretation of Propositional Dynamic Logic2011-07-27
- Model-Checking Algorithms for CTMDPS2011-07-27
- Formal validation and requirements management based on the Jackson’s reference model2011-07-14