| |
| 2007 | ||
|---|---|---|
| 6 | EE | Sabina Petride, Riccardo Pucella: Perfect cryptography, S5 knowledge, and algorithmic knowledge. TARK 2007: 239-247 |
| 5 | EE | Joseph Y. Halpern, Sabina Petride: A Knowledge-Based Analysis of Global Function Computation CoRR abs/0707.3435: (2007) |
| 2006 | ||
| 4 | EE | Joseph Y. Halpern, Sabina Petride: A Knowledge-Based Analysis of Global Function Computation. DISC 2006: 136-150 |
| 3 | EE | Joseph Y. Halpern, Sabina Petride: Expressing Security Properties Using Selective Interleaving Functions CoRR abs/cs/0608022: (2006) |
| 2004 | ||
| 2 | EE | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR 2004: 449-465 |
| 1 | EE | Sabina Petride: Review of "Concurrent and real-time systems: the CSP approach" by Steve Schneider. Wiley 1999. SIGACT News 35(2): 4-12 (2004) |
| 1 | Mark Bickford | [2] |
| 2 | Robert L. Constable | [2] |
| 3 | Joseph Y. Halpern | [2] [3] [4] [5] |
| 4 | Riccardo Pucella | [6] |