| 2026 | ICDCN | Grassroots Platforms with Atomic Transactions: Social Graphs, Cryptocurrencies, and Democratic Federations. | Ehud Shapiro |
| 2025 | AAAI | Federated Assemblies. | Daniel Halpern, Ariel D. Procaccia, Ehud Shapiro, Nimrod Talmon |
| 2025 | OPODIS | Morpheus Consensus: Excelling on Trails and Autobahns. | Andrew Lewis-Pye, Ehud Shapiro |
| 2022 | EUMAS | Sybil-Resilient Social Choice with Low Voter Turnout. | Reshef Meir, Nimrod Talmon, Gal Shahaf, Ehud Shapiro |
| 2022 | ICDCS | Self-Sovereign Digital Agents for a Grassroots Digital Society. | Ouri Poupko, Ehud Shapiro, Nimrod Talmon |
| 2021 | AAAI | United for Change: Deliberative Coalition Formation to Change the Status Quo. | Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon |
| 2019 | CSR | Sybil-Resilient Conductance-Based Community Growth. | Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon |
| 2019 | IJCAI | Sybil-Resilient Reality-Aware Social Choice. | Gal Shahaf, Ehud Shapiro, Nimrod Talmon |
| 2010 | ALIFE | 'Doctor in a Cell' - Vision and Accomplishments. | Benny Gil, Maya Kahan-Hanum, Natalia Skirtenko, Rivka Adar, Ehud Shapiro |
| 2006 | ILP | Injecting Life with Computers. | Ehud Shapiro |
| 2004 | PEPM | Invited talk: injecting life with computers. | Ehud Shapiro |
| 2004 | PPDP | Invited talk: injecting life with computers. | Ehud Shapiro |
| 2004 | SAS | Injecting Life with Computers. | Ehud Shapiro |
| 2002 | WABI | Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems. | Ehud Shapiro |
| 2001 | PSB | Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. | Aviv Regev, William Silverman, Ehud Shapiro |
| 1998 | ITiCSE | Abstract data types as a project development organiser. | Bruria Haberman, Zahava Scherz, Ehud Shapiro |
| 1998 | ITiCSE | Development, implementation and evaluation of a course in expert systems for high-school students (poster). | Noa Ragonis, Ehud Shapiro, Mordechai Ben-Ari, Zahava Scherz |
| 1992 | CONCUR | Embeddings Among Concurrent Programming Languages (Preliminary Version). | Ehud Shapiro |
| 1992 | CSCW | Active Mail - A Framework for Implementing Groupware. | Yaron Goldberg, Marilyn Safran, Ehud Shapiro |
| 1992 | ICLP | On the Structural Simplicity of Machines and Languages. | Yael Moscowitz, Ehud Shapiro |
| 1991 | ICLP | Lexical Logic Programs. | Yael Moscowitz, Ehud Shapiro |
| 1991 | ICLP | Polymorphically Typed Logic Programs. | Eyal Yardeni, Thom W. Frhwirth, Ehud Shapiro |
| 1991 | LICS | Logic Programs as Types for Logic Programs | Thom W. Frhwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni |
| 1991 | PODC | Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. | Haim Gaifman, Michael J. Maher, Ehud Shapiro |
| 1991 | POPL | Communication with Directed Logic Variables. | Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro |
| 1991 | STOC | Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract) | Ehud Shapiro |
| 1990 | PODC | Distributed Variable Server for Atomic Unification. | Alon Kleinman, Yoram Moses, Ehud Shapiro |
| 1989 | LICS | Proof Theory and Semantics of Logic Programs | Haim Gaifman, Ehud Shapiro |
| 1989 | POPL | Fully Abstract Compositional Semantics for Logic Programs. | Haim Gaifman, Ehud Shapiro |
| 1988 | ICLP | An Architectural Model for a Flat Concurrent Prolog Processor. | Leon Alkalaj, Ehud Shapiro |
| 1988 | ICLP | A Decision Tree Compilation Algorithm for FCP(!, : , ?). | Shmuel Kliger, Ehud Shapiro |
| 1988 | ICLP | Abstract Algorithmic Debugging. | Yossi Lichtenstein, Ehud Shapiro |
| 1988 | LICS | Fully Abstract Denotational Semantics for Flat Concurrent Prolog | Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro |
| 1987 | ICLP | An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. | Ehud Shapiro |
| 1987 | ICLP | Channels: A Generalization of Streams. | Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro |
| 1986 | ICLP | Compiling OR-parallelism into AND-parallelism. | Michael Codish, Ehud Shapiro |
| 1986 | ICLP | A New Approach for Intruducing Prolog to Naive Users. | Oded Maler, Zahava Scherz, Ehud Shapiro |
| 1985 | ICPP | Quadtrees in Concurrent PROLOG. | Shimon Edelman, Ehud Shapiro |
| 1985 | ICPP | Polymorphic Arrays: An Architecture for a Programmable Systolic Machine. | Amos Fiat, Adi Shamir, Ehud Shapiro |
| 1985 | ICPP | Fast Multiway Merge Using Destructive Operation. | Ehud Shapiro, Shmuel Safra |
| 1984 | POPL | Systems Programming in Concurrent Prolog. | Ehud Shapiro |
| 1983 | ICLP | Methodology of Logic Programming. | Ehud Shapiro |