The Model Inference System. - Ehud Y. Shapiro (IJCAI, 1981)

An Algorithm that Infers Theories from Facts. - Ehud Y. Shapiro (IJCAI, 1981)

PASES: a programming environment for PASCAL. - Ehud Shapiro; Gregg Collins; Lewis Johnson; John Ruttenberg (ACM SIGPLAN Notices, 1981)

Algorithmic Program Diagnosis. - Ehud Y. Shapiro (POPL, 1982)

Methodology of Logic Programming. - Ehud Shapiro (Logic Programming Workshop, 1983)

Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems. - Ehud Y. Shapiro (IJCAI, 1983)

The Fifth Generation Project - Trip Report. - Ehud Y. Shapiro (Commun. ACM, 1983)

Object Oriented Programming in Concurrent Prolog. - Ehud Shapiro; Akikazu Takeuchi (New Gener. Comput., 1983)

Playing mastermind logically. - Ehud Y. Shapiro (SIGART Newsl., 1983)

Systolic Programming: A Paradigm of Parallel Processing. - Ehud Shapiro (FGCS, 1984)

Systems Programming in Concurrent Prolog. - Ehud Shapiro (POPL, 1984)

Alternation and the Computational Complexity of Logic Programs. - Ehud Y. Shapiro (J. Log. Program., 1984)

Guest Editor's Preface. - Ehud Shapiro (New Gener. Comput., 1984)

Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. - Ehud Shapiro; Colin Mierowsky (New Gener. Comput., 1984)

Quadtrees in Concurrent PROLOG. - Shimon Edelman; Ehud Shapiro (ICPP, 1985)

Polymorphic Arrays: An Architecture for a Programmable Systolic Machine. - Amos Fiat; Adi Shamir; Ehud Shapiro (ICPP, 1985)

Fast Multiway Merge Using Destructive Operation. - Ehud Shapiro; Shmuel Safra (ICPP, 1985)

The Art of Prolog - Advanced Programming Techniques - Leon Sterling; Ehud Shapiro (MIT Press, 1986)

A New Approach for Intruducing Prolog to Naive Users. - Oded Maler; Zahava Scherz; Ehud Shapiro (ICLP, 1986)

Meta Interpreters For Real (Invited Paper). - Shmuel Safra; Ehud Shapiro (IFIP Congress, 1986)

Concurrent Prolog: A Progress Report. - Ehud Shapiro (Computer, 1986)

A parallel implementation of Flat Concurrent Prolog. - Stephen Taylor; Shmuel Safra; Ehud Shapiro (Int. J. Parallel Program., 1986)

Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. - Lisa Hellerstein; Ehud Shapiro (J. Log. Program., 1986)

Multiway Merge with Constant Delay in Concurrent Prolog. - Ehud Shapiro; Shmuel Safra (New Gener. Comput., 1986)

An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. - Ehud Shapiro (ICLP, 1987)

Channels: A Generalization of Streams. - Eric Dean Tribble; Mark S. Miller; Kenneth M. Kahn; Daniel G. Bobrow; Curtis Abbott; Ehud Shapiro (ICLP, 1987)

Notes on the Complexity of Systolic Programs. - Stephen Taylor; Lisa Hellerstein; Shmuel Safra; Ehud Shapiro (J. Parallel Distributed Comput., 1987)

Compiling OR-parallelism into AND-parallelism. - Michael Codish; Ehud Shapiro (New Gener. Comput., 1987)

Prolog - fortgeschrittene Programmiertechniken. - Leon Sterling; Ehud Shapiro (Addison-Wesley, 1988)

FCP: a summary of performance results. - Stephen Taylor; R. Shapiro; Ehud Shapiro (C³P, 1988)

The Language FCP(: , ?). - Shmuel Kliger; Eyal Yardeni; Kenneth M. Kahn; Ehud Shapiro (FGCS, 1988)

The Panel on Theory and Practice of Concurrent Systems. - Ehud Shapiro (FGCS, 1988)

An Architectural Model for a Flat Concurrent Prolog Processor. - Leon Alkalaj; Ehud Shapiro (ICLP/SLP, 1988)

A Decision Tree Compilation Algorithm for FCP(!, : , ?). - Shmuel Kliger; Ehud Shapiro (ICLP/SLP, 1988)

Abstract Algorithmic Debugging. - Yossi Lichtenstein; Ehud Shapiro (ICLP/SLP, 1988)

Fully Abstract Denotational Semantics for Flat Concurrent Prolog - Rob Gerth; Michael Codish; Yossi Lichtenstein; Ehud Shapiro (LICS, 1988)

Using Safe Approximations of Fixed Points for Analysis of Logic Programs. - Michael Codish; John P. Gallagher; Ehud Shapiro (META, 1988)

Concurrent Algorithmic Debugging. - Yossi Lichtenstein; Ehud Shapiro (Workshop on Parallel and Distributed Debugging, 1988)

Specialisation of Prolog and FCP Programs Using Abstract Interpretation. - John P. Gallagher; Michael Codish; Ehud Shapiro (New Gener. Comput., 1988)

A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog. - Ehud Reches; Ehud Gudes; Ehud Shapiro (FODO, 1989)

Proof Theory and Semantics of Logic Programs - Haim Gaifman; Ehud Shapiro (LICS, 1989)

Fully Abstract Compositional Semantics for Logic Programs. - Haim Gaifman; Ehud Shapiro (POPL, 1989)

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. - Haim Gaifman; Michael J. Maher; Ehud Shapiro (NACLP, 1989)

The Family of Concurrent Logic Programming Languages. - Ehud Shapiro (ACM Comput. Surv., 1989)

A Sequential Abstract Machine for Flat Concurrent Prolog. - Avshalom Houri; Ehud Shapiro (J. Log. Program., 1989)

Or-Parallel Prolog in Flat Concurrent Prolog. - Ehud Shapiro (J. Log. Program., 1989)

Distributed Variable Server for Atomic Unification. - Alon Kleinman; Yoram Moses; Ehud Shapiro (PODC, 1990)

FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. - Leon Alkalaj; Tomás Lang; Ehud Shapiro (NACLP, 1990)

From Decision Trees to Decision Graphs. - Shmuel Kliger; Ehud Shapiro (NACLP, 1990)

Guest editors' preface. - Koichi Furukawa; Makoto Amamiya; Ehud Shapiro; David H. D. Warren (New Gener. Comput., 1990)

The languages FCP(: ) and FCP(: , ?). - Eyal Yardeni; Shmuel Kliger; Ehud Shapiro (New Gener. Comput., 1990)

Inductive Inference of Theories from Facts. - Ehud Shapiro (Computational Logic - Essays in Honor of Alan Robinson, 1991)

Lexical Logic Programs. - Yael Moscowitz; Ehud Shapiro (ICLP, 1991)

Polymorphically Typed Logic Programs. - Eyal Yardeni; Thom W. Frühwirth; Ehud Shapiro (ICLP, 1991)

Logic Programs as Types for Logic Programs - Thom W. Frühwirth; Ehud Shapiro; Moshe Y. Vardi; Eyal Yardeni (LICS, 1991)

Embeddings Among Concurrent Programming Languages (Abstract). - Ehud Shapiro (PARLE (2), 1991)

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. - Haim Gaifman; Michael J. Maher; Ehud Shapiro (PODC, 1991)

Communication with Directed Logic Variables. - Alon Kleinman; Yael Moscowitz; Amir Pnueli; Ehud Shapiro (POPL, 1991)

Temporal Debugging and its Visual Animation. - Yosee Feldman; Ehud Shapiro (ISLP, 1991)

Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract) - Ehud Shapiro (STOC, 1991)

A Type System for Logic Programs. - Eyal Yardeni; Ehud Shapiro (J. Log. Program., 1991)

Polymorphically Typed Logic Programs. - Eyal Yardeni; Thom W. Frühwirth; Ehud Shapiro (Types in Logic Programming, 1992)

Embeddings Among Concurrent Programming Languages (Preliminary Version). - Ehud Shapiro (CONCUR, 1992)

Active Mail - A Framework for Implementing Groupware. - Yaron Goldberg; Marilyn Safran; Ehud Shapiro (CSCW, 1992)

Logic Programs with Inheritance. - Yaron Goldberg; William Silverman; Ehud Shapiro (FGCS, 1992)

Spatial Machines: A More Realistic Approach to Parallel Computation. - Yosee Feldman; Ehud Shapiro (Commun. ACM, 1992)

The Fifth Generation Project: Personal Perspectives. - Ehud Shapiro; David H. D. Warren; Kazuhiro Fuchi; Robert A. Kowalski; Koichi Furukawa; Kazunori Ueda; Kenneth M. Kahn; Takashi Chikayama; Evan Tick (Commun. ACM, 1993)

The Art of Prolog - Advanced Programming Techniques, 2nd Ed. - Leon Sterling; Ehud Shapiro (MIT Press, 1994)

On the Structural Simplicity of Machines and Languages. - Yael Moscowitz; Ehud Shapiro (Ann. Math. Artif. Intell., 1995)

Abstract data types as a project development organiser. - Bruria Haberman; Zahava Scherz; Ehud Shapiro (ITiCSE, 1998)

Development, implementation and evaluation of a course in expert systems for high-school students (poster). - Noa Ragonis; Ehud Shapiro; Mordechai Ben-Ari; Zahava Scherz (ITiCSE, 1998)

Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. - Aviv Regev; William Silverman; Ehud Shapiro (Pacific Symposium on Biocomputing, 2001)

Application of a stochastic name-passing calculus to representation and simulation of molecular processes. - Corrado Priami; Aviv Regev; Ehud Shapiro; William Silverman (Inf. Process. Lett., 2001)

Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems. - Ehud Shapiro (WABI, 2002)

Cells as Computation. - Amitai Regev; Ehud Shapiro (CMSB, 2003)

DNA molecule provides a computing machine with both data and fuel. - Yaakov Benenson; Rivka Adar; Tamar Paz-Elizur; Zvi Livneh; Ehud Shapiro (Proc. Natl. Acad. Sci. USA, 2003)

Invited talk: injecting life with computers. - Ehud Shapiro (PEPM, 2004)

Injecting Life with Computers. - Ehud Shapiro (SAS, 2004)

Stochastic computing with biomolecular automata. - Rivka Adar; Yaakov Benenson; Gregory Linshiz; Amit Rosner; Naftali Tishby; Ehud Shapiro (Proc. Natl. Acad. Sci. USA, 2004)

BioAmbients: an abstraction for biological compartments. - Aviv Regev; Ekaterina M. Panina; William Silverman; Luca Cardelli; Ehud Shapiro (Theor. Comput. Sci., 2004)

Genomic Variability within an Organism Exposes Its Cell Lineage Tree. - Dan Frumkin; Adam Wasserstrom; Shai Kaplan; Uriel Feige; Ehud Shapiro (PLoS Comput. Biol., 2005)

A Universal Mechanism Ties Genotype to Phenotype in Trinucleotide Diseases. - Shai Kaplan; Shalev Itzkovitz; Ehud Shapiro (PLoS Comput. Biol., 2007)

Using Expression Profiles of Caenorhabditis elegans Neurons To Identify Genes That Mediate Synaptic Connectivity. - Leehod Baruch; Shalev Itzkovitz; Michal Golan-Mashiach; Ehud Shapiro; Eran Segal (PLoS Comput. Biol., 2008)

Estimating Cell Depth from Somatic Mutations. - Adam Wasserstrom; Dan Frumkin; Rivka Adar; Shalev Itzkovitz; Tomer Stern; Shai Kaplan; Gabi Shefer; Irena Shur; Lior Zangi; Yitzhak Reizel; Alon Harmelin; Yuval Dor; et al. (PLoS Comput. Biol., 2008)

'Doctor in a Cell' - Vision and Accomplishments. - Benny Gil; Maya Kahan-Hanum; Natalia Skirtenko; Rivka Adar; Ehud Shapiro (ALIFE, 2010)

Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite Mutations. - Noa Chapal-Ilani; Yosef E. Maruvka; Adam Spiro; Yitzhak Reizel; Rivka Adar; Liran I. Shlush; Ehud Shapiro (PLoS Comput. Biol., 2013)

Lineage grammars: describing, simulating and analyzing population dynamics. - Adam Spiro; Luca Cardelli; Ehud Shapiro (BMC Bioinform., 2014)

eSTGt: a programming and simulation environment for population dynamics. - Adam Spiro; Ehud Shapiro (BMC Bioinform., 2016)

Erratum to: eSTGt: a programming and simulation environment for population dynamics. - Adam Spiro; Ehud Shapiro (BMC Bioinform., 2016)

Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and Quantity. - Adam Spiro; Ehud Shapiro (PLoS Comput. Biol., 2016)

A Democratically-Optimal Budgeting Algorithm. - Ehud Shapiro; Nimrod Talmon (CoRR, 2017)

Foundations of Internet-enabled Democracy. - Ehud Shapiro (CoRR, 2017)

Incorporating Reality into Social Choice. - Ehud Shapiro; Nimrod Talmon (AAMAS, 2018)

Point: foundations of e-democracy. - Ehud Shapiro (Commun. ACM, 2018)

Global Cryptodemocracy is Possible and Desirable. - Ehud Shapiro (CoRR, 2018)

Integrating Deliberation and Voting in Participatory Drafting of Legislation. - Ehud Shapiro; Nimrod Talmon (CoRR, 2018)

Reality-aware Sybil-Resilient Voting. - Gal Shahaf; Ehud Shapiro; Nimrod Talmon (CoRR, 2018)

Sybil-Resilient Conductance-Based Community Growth. - Ouri Poupko; Gal Shahaf; Ehud Shapiro; Nimrod Talmon (CSR, 2019)

Sybil-Resilient Reality-Aware Social Choice. - Gal Shahaf; Ehud Shapiro; Nimrod Talmon (IJCAI, 2019)

Foundation for Genuine Global Identities. - Gal Shahaf; Ehud Shapiro; Nimrod Talmon (CoRR, 2019)

Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. - Nimrod Talmon; Ehud Shapiro; Gal Shahaf; Luca Cardelli; Liav Orgad (IFDaD, 2020)

Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Growth. - Gal Shahaf; Ehud Shapiro; Nimrod Talmon (SocInfo, 2020)

Sybil-Resilient Social Choice with Partial Participation. - Reshef Meir; Gal Shahaf; Ehud Shapiro; Nimrod Talmon (CoRR, 2020)

Egalitarian Deliberative Decision Making. - Edith Elkind; Davide Grossi; Ehud Shapiro; Nimrod Talmon (CoRR, 2020)

Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. - Luca Cardelli; Gal Shahaf; Ehud Shapiro; Nimrod Talmon (CoRR, 2020)

Electing the Executive Branch. - Ehud Shapiro; Nimrod Talmon (CoRR, 2020)

Democratic Forking: Choosing Sides with Social Choice. - Ben Abramowitz; Edith Elkind; Davide Grossi; Ehud Shapiro; Nimrod Talmon (ADT, 2021)

In the Beginning There Were n Agents: Founding and Amending a Constitution. - Ben Abramowitz; Ehud Shapiro; Nimrod Talmon (ADT, 2021)

How to Amend a Constitution? Model, Axioms, and Supermajority Rules. - Ben Abramowitz; Ehud Shapiro; Nimrod Talmon (AAMAS, 2021)

Egalitarian and Just Digital Currency Networks. - Gal Shahaf; Ehud Shapiro; Nimrod Talmon (AAMAS, 2021)

Multiagent Transition Systems: Protocol-Stack Mathematics for Distributed Computing. - Ehud Shapiro (CoRR, 2021)

Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation. - Laurent Bulteau; Gal Shahaf; Ehud Shapiro; Nimrod Talmon (J. Artif. Intell. Res., 2021)

Building a Sybil-Resilient Digital Community Utilizing Trust-Graph Connectivity. - Ouri Poupko; Gal Shahaf; Ehud Shapiro; Nimrod Talmon (IEEE/ACM Trans. Netw., 2021)

Foundations for Grassroots Democratic Metaverse. - Ehud Shapiro; Nimrod Talmon (AAMAS, 2022)

Sybil-Resilient Social Choice with Low Voter Turnout. - Reshef Meir; Nimrod Talmon; Gal Shahaf; Ehud Shapiro (EUMAS, 2022)

Self-Sovereign Digital Agents for a Grassroots Digital Society. - Ouri Poupko; Ehud Shapiro; Nimrod Talmon (ICDCS, 2022)

Proportional Ranking in Primary Elections: A Case Study. - Ariel Rosenfeld; Ehud Shapiro; Nimrod Talmon (CoRR, 2022)

Self-Sovereign Personal Cryptocurrencies: Foundations for Grassroots Cryptoeconomy. - Ehud Shapiro (CoRR, 2022)

Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality. - Idit Keidar; Oded Naor; Ehud Shapiro (CoRR, 2022)

Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp. - Ehud Shapiro (OASIS@HT, 2023)

Cordial Miners: Fast and Efficient Consensus for Every Eventuality. - Idit Keidar; Oded Naor; Ouri Poupko; Ehud Shapiro (DISC, 2023)

Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications. - Ehud Shapiro (DISC, 2023)

Grassroots Distributed Systems: Concept, Examples, Implementation and Applications. - Ehud Shapiro (CoRR, 2023)

Flash: An Asynchronous Payment System with Good-Case Linear Communication Complexity. - Andrew Lewis-Pye; Oded Naor; Ehud Shapiro (CoRR, 2023)

Grassroots Flash: A Payment System for Grassroots Cryptocurrencies. - Andrew Lewis-Pye; Oded Naor; Ehud Shapiro (CoRR, 2023)

Enabling the Digital Democratic Revival: A Research Program for Digital Democracy. - Davide Grossi; Ulrike Hahn; Michael Mäs; Andreas Nitsche; Jan Behrens; Niclas Boehmer; Markus Brill; Ulle Endriss; Umberto Grandi; Adrian Haret; Jobst Heitzig; Nicolien Janssens; et al. (CoRR, 2024)

The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type. - Paulo Sérgio Almeida; Ehud Shapiro (CoRR, 2024)

A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy. - Ehud Shapiro (CoRR, 2024)

United for change: deliberative coalition formation to change the status quo. - Edith Elkind; Davide Grossi; Ehud Shapiro; Nimrod Talmon (Soc. Choice Welf., 2024)

Federated Assemblies. - Daniel Halpern 002; Ariel D. Procaccia; Ehud Shapiro; Nimrod Talmon (AAAI, 2025)

Morpheus Consensus: Excelling on trails and autobahns. - Andrew Lewis-Pye; Ehud Shapiro (CoRR, 2025)

Grassroots Platforms with Atomic Transactions: Social Networks, Cryptocurrencies, and Democratic Federations. - Ehud Shapiro (CoRR, 2025)

Grassroots Federation: Fair Governance of Large-Scale, Decentralized, Sovereign Digital Communities. - Ehud Shapiro; Nimrod Talmon (CoRR, 2025)

Grassroots Consensus. - Idit Keidar; Andrew Lewis-Pye; Ehud Shapiro (CoRR, 2025)

AI-Generated Compromises for Coalition Formation. - Eyal Briman; Ehud Shapiro; Nimrod Talmon (CoRR, 2025)