 [12-13]Data-driven display advertising in USA and China
|
2011-12-08 |
| [12-8]Specification Theories of Modal Transition Systems
|
2011-12-06 |
| [12-5]The MSO Theory of Connectedly Communicating Processes
|
2011-12-02 |
| [12-1]Symbolically Bounding the Drift in Time-Constrained Message-Sequence-Chart Graphs
|
2011-11-15 |
| [11-29]Language Theoretic CEGAR
|
2011-11-28 |
| [11-17]SKLCS seminar:Mornitor-Based statsstical Model checking for Weighted Metric Temporal Logic
|
2011-11-09 |
| [11-11] SKLCS Seminar: Comlexity Issues of Ternary Boolean Diagrams
|
2011-11-09 |
| [11-3]On the origin of events: maximal confluent processes
|
2011-11-01 |
| [10-28]Software and System developments using Formal Models, Refinements, and Proofs with Event-B
|
2011-10-08 |
| [10-20]Recent advances in program synthesis
|
2011-10-09 |
| [10-18]Game Solving for Industrial Automation and Control - Models, Algorithms, and Tools
|
2011-10-09 |
| [10-12]Real Time Edit Propagation by Efficient Sampling
|
2011-10-09 |
| CALL FOR PAPERS----The Second International Workshop on Accelerators and Hybrid Exascale Systems (ASHES 2012)
|
2011-09-20 |
| CALL FOR PAPERS--Eighth IEEE Workshop on High-Performance, Power-Aware Computing (HP-PAC)
|
2011-09-20 |
| [9-1]Security and privacy implications of the multi-component nature of Software-as-a-Service
|
2011-08-30 |
