共 50 条
- [41] Adaptable Processes (Extended Abstract) FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 90 - 105
- [42] Caching in networks (Extended abstract) PROCEEDINGS OF THE ELEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2000, : 430 - 439
- [43] When to Transplant MDS, and What to Do When Transplant Fails Current Hematologic Malignancy Reports, 2013, 8 : 379 - 385
- [45] Handling Heterogeneous Disagreements Through Abstract Argumentation (Extended Abstract) PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2017), 2017, 10621 : 3 - 11
- [46] A fully abstract encoding of the π-calculus with data terms (Extended abstract) AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2005, 3580 : 1202 - 1213
- [47] Learning from Failure [Extended Abstract] PROCEEDINGS OF THE 6TH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTIONS (HRI 2011), 2011, : 145 - 146
- [49] Liveness of Communicating Transactions (Extended Abstract) PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 392 - 407
- [50] Conditionally verifiable signature - (Extended abstract) PROGRESS IN CRYPTOLOGY - INDOCRYPT 2006, PROCEEDINGS, 2006, 4329 : 206 - +