now163
- 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
- Constant-Approximation for Minimum Connected Dominating Set with Small Routing Cost in Wireless Sensor Networks2011-06-24
- Logic, Co-induction and Infinite Computation2011-06-21
- A new style of theorem proving for program checking2011-06-09
- Specification in PDL with Recursion2011-05-26
- A journey into the semantics of programming languages2011-05-24
- Analyzing Semilinear and Upward-closed Sets of Petri Nets2011-05-19
- Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models2011-05-12
- Relational Reasoning about Concurrent Program Transformation2011-04-29