Sabina Petride

According to our database, Sabina Petride authored at least 8 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Lessons Learned from Efforts to Standardize Streaming In SQL.

Sabina Petride, Dan Sotolongo, Jan Michels, Andrew Witkowski, Cara Haas, Jim Hughes

CoRR, 2023

2011

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride

Log. Methods Comput. Sci., 2011

2010

A knowledge-based analysis of global function computation.

Joseph Y. Halpern, Sabina Petride

Distributed Comput., 2010

2009

Binary XML Storage and Query Processing in Oracle 11g.

Ning Zhang, Nipun Agarwal, Sivasankaran Chandrasekar, Sam Idicula, Vijay Medi, Sabina Petride, Balasubramanyam Sthanikam

Proc. VLDB Endow., 2009

2008

Aspects of Knowledge and Belief-based Programming.

Sabina Petride

PhD thesis, 2008

2007

Perfect cryptography, S5 knowledge, and algorithmic knowledge.

Sabina Petride, Riccardo Pucella

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

2006

Expressing Security Properties Using Selective Interleaving Functions

Joseph Y. Halpern, Sabina Petride

CoRR, 2006

2004

Review of "Concurrent and real-time systems: the CSP approach" by Steve Schneider. Wiley 1999.

Sabina Petride

SIGACT News, 2004