Sabina Petride

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 1

Top Topics

Database Processing

Real Time Streaming

Relational Dbms

Top Venues

Publications

Sabina Petride, Dan Sotolongo, Jan Michels, Andrew Witkowski, Cara Haas, Jim Hughes
Lessons Learned from Efforts to Standardize Streaming In SQL. CoRR (2023)
Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
Knowledge-Based Synthesis of Distributed Systems Using Event Structures Log. Methods Comput. Sci. 7 (2) (2011)
Joseph Y. Halpern, Sabina Petride
A knowledge-based analysis of global function computation. Distributed Comput. 23 (3) (2010)
Ning Zhang, Nipun Agarwal, Sivasankaran Chandrasekar, Sam Idicula, Vijay Medi, Sabina Petride, Balasubramanyam Sthanikam
Binary XML Storage and Query Processing in Oracle 11g. Proc. VLDB Endow. 2 (2) (2009)
Joseph Y. Halpern, Sabina Petride
A Knowledge-Based Analysis of Global Function Computation CoRR (2007)
Sabina Petride, Riccardo Pucella
Perfect cryptography, S5 knowledge, and algorithmic knowledge. TARK (2007)
Joseph Y. Halpern, Sabina Petride
Expressing Security Properties Using Selective Interleaving Functions CoRR (2006)
Joseph Y. Halpern, Sabina Petride
A Knowledge-Based Analysis of Global Function Computation. DISC (2006)
Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR (2004)
Sabina Petride
Review of "Concurrent and real-time systems: the CSP approach" by Steve Schneider. Wiley 1999. SIGACT News 35 (2) (2004)