Ehud Shapiro

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 51

Top Venues

Publications

Daniel Halpern, Ariel D. Procaccia, Ehud Shapiro, Nimrod Talmon
Federated Assemblies. CoRR (2024)
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, Catholijn M. Jonker, Marijn A. Keijzer, Axel Kistner, Martin Lackner, Alexandra Lieben, Anna Mikhaylovskaya, Pradeep K. Murukannaiah, Carlo Proietti, Manon Revel, Élise Rouméas, Ehud Shapiro, Gogulapati Sreedurga, Björn Swierczek, Nimrod Talmon, Paolo Turrini, Zoi Terzopoulou, Frederik Van De Putte
Enabling the Digital Democratic Revival: A Research Program for Digital Democracy. CoRR (2024)
Paulo Sérgio Almeida, Ehud Shapiro
The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type. CoRR (2024)
Ehud Shapiro
A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy. CoRR (2024)
Andrew Lewis-Pye, Oded Naor, Ehud Shapiro
Flash: An Asynchronous Payment System with Good-Case Linear Communication Complexity. CoRR (2023)
Ehud Shapiro
Grassroots Distributed Systems: Concept, Examples, Implementation and Applications. CoRR (2023)
Andrew Lewis-Pye, Oded Naor, Ehud Shapiro
Grassroots Flash: A Payment System for Grassroots Cryptocurrencies. CoRR (2023)
Idit Keidar, Oded Naor, Ouri Poupko, Ehud Shapiro
Cordial Miners: Fast and Efficient Consensus for Every Eventuality. DISC (2023)
Ehud Shapiro
Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications. DISC (2023)
Ehud Shapiro
Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp. CoRR (2023)
Ehud Shapiro
Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp. OASIS@HT (2023)
Ehud Shapiro
Self-Sovereign Personal Cryptocurrencies: Foundations for Grassroots Cryptoeconomy. CoRR (2022)
Idit Keidar, Oded Naor, Ehud Shapiro
Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality. CoRR (2022)
Ariel Rosenfeld, Ehud Shapiro, Nimrod Talmon
Proportional Ranking in Primary Elections: A Case Study. CoRR (2022)
Reshef Meir, Nimrod Talmon, Gal Shahaf, Ehud Shapiro
Sybil-Resilient Social Choice with Low Voter Turnout. EUMAS (2022)
Ouri Poupko, Ehud Shapiro, Nimrod Talmon
Self-Sovereign Digital Agents for a Grassroots Digital Society. ICDCS (2022)
Nimrod Talmon, Ehud Shapiro
Foundations for Grassroots Democratic Metaverse. CoRR (2022)
Ehud Shapiro, Nimrod Talmon
Foundations for Grassroots Democratic Metaverse. AAMAS (2022)
Ben Abramowitz, Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
Democratic Forking: Choosing Sides with Social Choice. ADT (2021)
Ehud Shapiro
Multiagent Transition Systems: Protocol-Stack Mathematics for Distributed Computing. CoRR (2021)
Laurent Bulteau, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation. J. Artif. Intell. Res. 70 (2021)
Ben Abramowitz, Ehud Shapiro, Nimrod Talmon
In the Beginning There Were n Agents: Founding and Amending a Constitution. ADT (2021)
Ben Abramowitz, Ehud Shapiro, Nimrod Talmon
How to Amend a Constitution? Model, Axioms, and Supermajority Rules. AAMAS (2021)
Ben Abramowitz, Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
Democratic Forking: Choosing Sides with Social Choice. CoRR (2021)
Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
United for Change: Deliberative Coalition Formation to Change the Status Quo. AAAI (2021)
Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Building a Sybil-Resilient Digital Community Utilizing Trust-Graph Connectivity. IEEE/ACM Trans. Netw. 29 (5) (2021)
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Egalitarian and Just Digital Currency Networks. AAMAS (2021)
Ben Abramowitz, Ehud Shapiro, Nimrod Talmon
How to Amend a Constitution? Model, Axioms, and Supermajority Rules. CoRR (2020)
Ehud Shapiro, Nimrod Talmon
Electing the Executive Branch. CoRR (2020)
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Growth. SocInfo (2020)
Luca Cardelli, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. CoRR (2020)
Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
Egalitarian Deliberative Decision Making. CoRR (2020)
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Egalitarian and Just Digital Currency Networks. CoRR (2020)
Nimrod Talmon, Ehud Shapiro, Gal Shahaf, Luca Cardelli, Liav Orgad
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. IFDaD (2020)
Reshef Meir, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Sybil-Resilient Social Choice with Partial Participation. CoRR (2020)
Ouri Poupko, Ehud Shapiro, Nimrod Talmon
Fault-Tolerant Distributed Implementation of Digital Social Contracts. CoRR (2020)
Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Sybil-Resilient Conductance-Based Community Growth. CoRR (2019)
Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Sybil-Resilient Conductance-Based Community Growth. CSR (2019)
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Foundation for Genuine Global Identities. CoRR (2019)
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Sybil-Resilient Reality-Aware Social Choice. IJCAI (2019)
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
Reality-aware Sybil-Resilient Voting. CoRR (2018)
Ehud Shapiro, Nimrod Talmon
Incorporating Reality into Social Choice. AAMAS (2018)
Ehud Shapiro, Nimrod Talmon
Integrating Deliberation and Voting in Participatory Drafting of Legislation. CoRR (2018)
Ehud Shapiro
Point: foundations of e-democracy. Commun. ACM 61 (8) (2018)
Ehud Shapiro
Global Cryptodemocracy is Possible and Desirable. CoRR (2018)
Ehud Shapiro, Nimrod Talmon
A Democratically-Optimal Budgeting Algorithm. CoRR (2017)
Ehud Shapiro, Nimrod Talmon
Incorporating Reality into Social Choice. CoRR (2017)
Ehud Shapiro
Foundations of Internet-enabled Democracy. CoRR (2017)
Adam Spiro, Ehud Shapiro
Erratum to: eSTGt: a programming and simulation environment for population dynamics. BMC Bioinform. 17 (2016)
Adam Spiro, Ehud Shapiro
Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and Quantity. PLoS Comput. Biol. 12 (6) (2016)
Adam Spiro, Ehud Shapiro
eSTGt: a programming and simulation environment for population dynamics. BMC Bioinform. 17 (2016)
Adam Spiro, Luca Cardelli, Ehud Shapiro
Lineage grammars: describing, simulating and analyzing population dynamics. BMC Bioinform. 15 (2014)
Noa Chapal-Ilani, Yosef E. Maruvka, Adam Spiro, Yitzhak Reizel, Rivka Adar, Liran I. Shlush, Ehud Shapiro
Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite Mutations. PLoS Comput. Biol. 9 (11) (2013)
Benny Gil, Maya Kahan-Hanum, Natalia Skirtenko, Rivka Adar, Ehud Shapiro
'Doctor in a Cell' - Vision and Accomplishments. ALIFE (2010)
Leehod Baruch, Shalev Itzkovitz, Michal Golan-Mashiach, Ehud Shapiro, Eran Segal
Neurons To Identify Genes That Mediate Synaptic Connectivity. PLoS Comput. Biol. 4 (7) (2008)
Adam Wasserstrom, Dan Frumkin, Rivka Adar, Shalev Itzkovitz, Tomer Stern, Shai Kaplan, Gabi Shefer, Irena Shur, Lior Zangi, Yitzhak Reizel, Alon Harmelin, Yuval Dor, Nava Dekel, Yair Reisner, Dafna Benayahu, Eldad Tzahor, Eran Segal, Ehud Shapiro
Estimating Cell Depth from Somatic Mutations. PLoS Comput. Biol. 4 (5) (2008)
Shai Kaplan, Shalev Itzkovitz, Ehud Shapiro
A Universal Mechanism Ties Genotype to Phenotype in Trinucleotide Diseases. PLoS Comput. Biol. 3 (11) (2007)
Ehud Shapiro
Injecting Life with Computers. ILP (2006)
Dan Frumkin, Adam Wasserstrom, Shai Kaplan, Uriel Feige, Ehud Shapiro
Genomic Variability within an Organism Exposes Its Cell Lineage Tree. PLoS Comput. Biol. 1 (6) (2005)
Rivka Adar, Yaakov Benenson, Gregory Linshiz, Amit Rosner, Naftali Tishby, Ehud Shapiro
Stochastic computing with biomolecular automata. Proc. Natl. Acad. Sci. USA 101 (27) (2004)
Ehud Shapiro
Invited talk: injecting life with computers. PEPM (2004)
Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro
BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325 (1) (2004)
Ehud Shapiro
Invited talk: injecting life with computers. PPDP (2004)
Ehud Shapiro
Injecting Life with Computers. SAS (2004)
Yaakov Benenson, Rivka Adar, Tamar Paz-Elizur, Zvi Livneh, Ehud Shapiro
DNA molecule provides a computing machine with both data and fuel. Proc. Natl. Acad. Sci. USA 100 (5) (2003)
Amitai Regev, Ehud Shapiro
Cells as Computation. CMSB (2003)
Ehud Shapiro
Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems. WABI (2002)
Aviv Regev, William Silverman, Ehud Shapiro
Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. Pacific Symposium on Biocomputing (2001)
Corrado Priami, Aviv Regev, Ehud Shapiro, William Silverman
Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80 (1) (2001)
Bruria Haberman, Zahava Scherz, Ehud Shapiro
Abstract data types as a project development organiser. ITiCSE (1998)
Noa Ragonis, Ehud Shapiro, Mordechai Ben-Ari, Zahava Scherz
Development, implementation and evaluation of a course in expert systems for high-school students (poster). ITiCSE (1998)
Yael Moscowitz, Ehud Shapiro
On the Structural Simplicity of Machines and Languages. Ann. Math. Artif. Intell. 15 (3-4) (1995)
Ehud Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick
The Fifth Generation Project: Personal Perspectives. Commun. ACM 36 (3) (1993)
Yaron Goldberg, Marilyn Safran, Ehud Shapiro
Active Mail - A Framework for Implementing Groupware. CSCW (1992)
Ehud Shapiro
Embeddings Among Concurrent Programming Languages (Preliminary Version). CONCUR (1992)
Yosee Feldman, Ehud Shapiro
Spatial Machines: A More Realistic Approach to Parallel Computation. Commun. ACM 35 (10) (1992)
Yael Moscowitz, Ehud Shapiro
On the Structural Simplicity of Machines and Languages. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Yaron Goldberg, William Silverman, Ehud Shapiro
Logic Programs with Inheritance. FGCS (1992)
Haim Gaifman, Michael J. Maher, Ehud Shapiro
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. PODC (1991)
Ehud Shapiro
Inductive Inference of Theories from Facts. Computational Logic - Essays in Honor of Alan Robinson (1991)
Ehud Shapiro
Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract) STOC (1991)
Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro
Polymorphically Typed Logic Programs. ICLP (1991)
Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro
Communication with Directed Logic Variables. POPL (1991)
Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni
Logic Programs as Types for Logic Programs LICS (1991)
Yael Moscowitz, Ehud Shapiro
Lexical Logic Programs. ICLP (1991)
Ehud Shapiro
Embeddings Among Concurrent Programming Languages (Abstract). PARLE (2) (1991)
Yosee Feldman, Ehud Shapiro
Temporal Debugging and its Visual Animation. ISLP (1991)
Eyal Yardeni, Ehud Shapiro
A Type System for Logic Programs. J. Log. Program. 10 (2) (1991)
Eyal Yardeni, Shmuel Kliger, Ehud Shapiro
The languages FCP(: ) and FCP(: , ?). New Gener. Comput. 7 (2-3) (1990)
Leon Alkalaj, Tomás Lang, Ehud Shapiro
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. NACLP (1990)
Alon Kleinman, Yoram Moses, Ehud Shapiro
Distributed Variable Server for Atomic Unification. PODC (1990)
Koichi Furukawa, Makoto Amamiya, Ehud Shapiro, David H. D. Warren
Guest editors' preface. New Gener. Comput. 7 (2-3) (1990)
Shmuel Kliger, Ehud Shapiro
From Decision Trees to Decision Graphs. NACLP (1990)
Haim Gaifman, Ehud Shapiro
Proof Theory and Semantics of Logic Programs LICS (1989)
Ehud Shapiro
The Family of Concurrent Logic Programming Languages. ACM Comput. Surv. 21 (3) (1989)
Ehud Shapiro
Or-Parallel Prolog in Flat Concurrent Prolog. J. Log. Program. 6 (3) (1989)
Haim Gaifman, Michael J. Maher, Ehud Shapiro
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. NACLP (1989)
Haim Gaifman, Ehud Shapiro
Fully Abstract Compositional Semantics for Logic Programs. POPL (1989)
Ehud Reches, Ehud Gudes, Ehud Shapiro
A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog. FODO (1989)
Avshalom Houri, Ehud Shapiro
A Sequential Abstract Machine for Flat Concurrent Prolog. J. Log. Program. 7 (2) (1989)

Ehud Shapiro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ehud Shapiro