 | 2009 |
|---|
| 8 |       | Mark Bickford,
Robert L. Constable,
Joseph Y. Halpern,
Sabina Petride:
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
CoRR abs/0906.4315: (2009) |
| 7 | | Ning Zhang,
Nipun Agarwal,
Sivasankaran Chandrasekar,
Sam Idicula,
Vijay Medi,
Sabina Petride,
Balasubramanyam Sthanikam:
Binary XML Storage and Query Processing in Oracle 11g.
PVLDB 2(2): 1354-1365 (2009) |
| 2007 |
|---|
| 6 | | Sabina Petride,
Riccardo Pucella:
Perfect cryptography, S5 knowledge, and algorithmic knowledge.
TARK 2007: 239-247 |
| 5 | | Joseph Y. Halpern,
Sabina Petride:
A Knowledge-Based Analysis of Global Function Computation
CoRR abs/0707.3435: (2007) |
| 2006 |
|---|
| 4 | | Joseph Y. Halpern,
Sabina Petride:
A Knowledge-Based Analysis of Global Function Computation.
DISC 2006: 136-150 |
| 3 | | Joseph Y. Halpern,
Sabina Petride:
Expressing Security Properties Using Selective Interleaving Functions
CoRR abs/cs/0608022: (2006) |
| 2004 |
|---|
| 2 | | Mark Bickford,
Robert L. Constable,
Joseph Y. Halpern,
Sabina Petride:
Knowledge-Based Synthesis of Distributed Systems Using Event Structures.
LPAR 2004: 449-465 |
| 1 | | Sabina Petride:
Review of "Concurrent and real-time systems: the CSP approach" by Steve Schneider. Wiley 1999.
SIGACT News 35(2): 4-12 (2004) |
