Review of "Concurrent and real-time systems: the CSP approach" by Steve Schneider. Wiley 1999. - Sabina Petride (SIGACT News, 2004)

Expressing Security Properties Using Selective Interleaving Functions - Joseph Y. Halpern; Sabina Petride (CoRR, 2006)

Perfect cryptography, S5 knowledge, and algorithmic knowledge. - Sabina Petride; Riccardo Pucella (TARK, 2007)

Aspects of Knowledge and Belief-based Programming. - Sabina Petride (2008)

Binary XML Storage and Query Processing in Oracle 11g. - Ning Zhang 002; Nipun Agarwal; Sivasankaran Chandrasekar; Sam Idicula; Vijay Medi; Sabina Petride; Balasubramanyam Sthanikam (Proc. VLDB Endow., 2009)

A knowledge-based analysis of global function computation. - Joseph Y. Halpern; Sabina Petride (Distributed Comput., 2010)

Knowledge-Based Synthesis of Distributed Systems Using Event Structures - Mark Bickford; Robert L. Constable; Joseph Y. Halpern; Sabina Petride (Log. Methods Comput. Sci., 2011)

Lessons Learned from Efforts to Standardize Streaming In SQL. - Sabina Petride; Dan Sotolongo; Jan Michels; Andrew Witkowski; Cara Haas; Jim Hughes (CoRR, 2023)