![]() | ![]() |
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] |