|
Search the dblp DataBase
Sabina Petride:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
Knowledge-Based Synthesis of Distributed Systems Using Event Structures. [Citation Graph (0, 0)][DBLP] LPAR, 2004, pp:449-465 [Conf]
- Joseph Y. Halpern, Sabina Petride
A Knowledge-Based Analysis of Global Function Computation. [Citation Graph (0, 0)][DBLP] DISC, 2006, pp:136-150 [Conf]
- Joseph Y. Halpern, Sabina Petride
Expressing Security Properties Using Selective Interleaving Functions [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
- Joseph Y. Halpern, Sabina Petride
A Knowledge-Based Analysis of Global Function Computation [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
Perfect cryptography, S5 knowledge, and algorithmic knowledge. [Citation Graph (, )][DBLP]
Knowledge-Based Synthesis of Distributed Systems Using Event Structures [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|