Verification of Value-Passing Systems. - Zvi Schreiber (NAPAW, 1992)

Implementing Process Calculi in C. - Zvi Schreiber (Theory and Formal Methods, 1993)

Applying the Semantic Web Vision to Enterprise Data Management: A Case Study. - Zvi Schreiber (WWW (Alternate Paper Tracks), 2003)

Semantic Information Management. - David G. Schwartz; Zvi Schreiber (Encyclopedia of Database Technologies and Applications, 2005)

k-root-n: An efficient O(√n) algorithm for avoiding short term double spending in Distributed Ledger Technologies such as Blockchain. - Zvi Schreiber (IACR Cryptol. ePrint Arch., 2019)

k-Root-n: An Efficient Algorithm for Avoiding Short Term Double-Spending Alongside Distributed Ledger Technologies such as Blockchain. - Zvi Schreiber (Inf., 2020)

Epi-constructivism: Decidable sets of computable numbers as foundational objects for mathematics. - Zvi Schreiber (CoRR, 2022)