default search action
Ehud Shapiro
Ehud Y. Shapiro – אהוד שפירא
Person information
- unicode name: אהוד שפירא
- affiliation: Weizmann Institute of Science, Department of Computer Science and Applied Math, Rehovot, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [i28]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 abs/2401.16863 (2024) - [i27]Paulo Sérgio Almeida, Ehud Shapiro:
The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type. CoRR abs/2402.08068 (2024) - [i26]Ehud Shapiro:
A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy. CoRR abs/2404.13468 (2024) - [i25]Daniel Halpern, Ariel D. Procaccia, Ehud Shapiro, Nimrod Talmon:
Federated Assemblies. CoRR abs/2405.19129 (2024) - 2023
- [c74]Ehud Shapiro:
Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp. OASIS@HT 2023: 14-21 - [c73]Idit Keidar, Oded Naor, Ouri Poupko, Ehud Shapiro:
Cordial Miners: Fast and Efficient Consensus for Every Eventuality. DISC 2023: 26:1-26:22 - [c72]Ehud Shapiro:
Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications. DISC 2023: 47:1-47:7 - [i24]Ehud Shapiro:
Grassroots Distributed Systems: Concept, Examples, Implementation and Applications. CoRR abs/2301.04391 (2023) - [i23]Andrew Lewis-Pye, Oded Naor, Ehud Shapiro:
Flash: An Asynchronous Payment System with Good-Case Linear Communication Complexity. CoRR abs/2305.03567 (2023) - [i22]Ehud Shapiro:
Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp. CoRR abs/2306.13941 (2023) - [i21]Andrew Lewis-Pye, Oded Naor, Ehud Shapiro:
Grassroots Flash: A Payment System for Grassroots Cryptocurrencies. CoRR abs/2309.13191 (2023) - 2022
- [c71]Ehud Shapiro, Nimrod Talmon:
Foundations for Grassroots Democratic Metaverse. AAMAS 2022: 1814-1818 - [c70]Reshef Meir, Nimrod Talmon, Gal Shahaf, Ehud Shapiro:
Sybil-Resilient Social Choice with Low Voter Turnout. EUMAS 2022: 257-274 - [c69]Ouri Poupko, Ehud Shapiro, Nimrod Talmon:
Self-Sovereign Digital Agents for a Grassroots Digital Society. ICDCS 2022: 202-212 - [i20]Ariel Rosenfeld, Ehud Shapiro, Nimrod Talmon:
Proportional Ranking in Primary Elections: A Case Study. CoRR abs/2201.07305 (2022) - [i19]Ehud Shapiro:
Self-Sovereign Personal Cryptocurrencies: Foundations for Grassroots Cryptoeconomy. CoRR abs/2202.05619 (2022) - [i18]Nimrod Talmon, Ehud Shapiro:
Foundations for Grassroots Democratic Metaverse. CoRR abs/2203.04090 (2022) - [i17]Idit Keidar, Oded Naor, Ehud Shapiro:
Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality. CoRR abs/2205.09174 (2022) - 2021
- [j39]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: 1413-1439 (2021) - [j38]Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Building a Sybil-Resilient Digital Community Utilizing Trust-Graph Connectivity. IEEE/ACM Trans. Netw. 29(5): 2215-2227 (2021) - [c68]Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon:
United for Change: Deliberative Coalition Formation to Change the Status Quo. AAAI 2021: 5339-5346 - [c67]Ben Abramowitz, Ehud Shapiro, Nimrod Talmon:
In the Beginning There Were n Agents: Founding and Amending a Constitution. ADT 2021: 119-131 - [c66]Ben Abramowitz, Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon:
Democratic Forking: Choosing Sides with Social Choice. ADT 2021: 341-356 - [c65]Ben Abramowitz, Ehud Shapiro, Nimrod Talmon:
How to Amend a Constitution? Model, Axioms, and Supermajority Rules. AAMAS 2021: 1443-1445 - [c64]Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Egalitarian and Just Digital Currency Networks. AAMAS 2021: 1649-1651 - [i16]Ben Abramowitz, Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon:
Democratic Forking: Choosing Sides with Social Choice. CoRR abs/2103.03652 (2021) - [i15]Ehud Shapiro:
Multiagent Transition Systems: Protocol-Stack Mathematics for Distributed Computing. CoRR abs/2112.13650 (2021) - 2020
- [c63]Nimrod Talmon, Ehud Shapiro, Gal Shahaf, Luca Cardelli, Liav Orgad:
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. IFDaD 2020: 51-60 - [c62]Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Growth. SocInfo 2020: 320-332 - [i14]Reshef Meir, Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Sybil-Resilient Social Choice with Partial Participation. CoRR abs/2001.05271 (2020) - [i13]Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon:
Egalitarian Deliberative Decision Making. CoRR abs/2001.08031 (2020) - [i12]Luca Cardelli, Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. CoRR abs/2005.06261 (2020) - [i11]Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Egalitarian and Just Digital Currency Networks. CoRR abs/2005.14631 (2020) - [i10]Ehud Shapiro, Nimrod Talmon:
Electing the Executive Branch. CoRR abs/2009.09734 (2020) - [i9]Ben Abramowitz, Ehud Shapiro, Nimrod Talmon:
How to Amend a Constitution? Model, Axioms, and Supermajority Rules. CoRR abs/2011.03111 (2020)
2010 – 2019
- 2019
- [c61]Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Sybil-Resilient Conductance-Based Community Growth. CSR 2019: 359-371 - [c60]Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Sybil-Resilient Reality-Aware Social Choice. IJCAI 2019: 572-579 - [i8]Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Sybil-Resilient Conductance-Based Community Growth. CoRR abs/1901.00752 (2019) - [i7]Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Foundation for Genuine Global Identities. CoRR abs/1904.09630 (2019) - 2018
- [j37]Ehud Shapiro:
Point: foundations of e-democracy. Commun. ACM 61(8): 31-34 (2018) - [c59]Ehud Shapiro, Nimrod Talmon:
Incorporating Reality into Social Choice. AAMAS 2018: 1188-1192 - [i6]Ehud Shapiro:
Global Cryptodemocracy is Possible and Desirable. CoRR abs/1804.02049 (2018) - [i5]Ehud Shapiro, Nimrod Talmon:
Integrating Deliberation and Voting in Participatory Drafting of Legislation. CoRR abs/1806.06277 (2018) - [i4]Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Reality-aware Sybil-Resilient Voting. CoRR abs/1807.11105 (2018) - 2017
- [i3]Ehud Shapiro, Nimrod Talmon:
A Democratically-Optimal Budgeting Algorithm. CoRR abs/1709.05839 (2017) - [i2]Ehud Shapiro:
Foundations of Internet-enabled Democracy. CoRR abs/1710.02873 (2017) - [i1]Ehud Shapiro, Nimrod Talmon:
Incorporating Reality into Social Choice. CoRR abs/1710.10117 (2017) - 2016
- [j36]Adam Spiro, Ehud Shapiro:
eSTGt: a programming and simulation environment for population dynamics. BMC Bioinform. 17: 187 (2016) - [j35]Adam Spiro, Ehud Shapiro:
Erratum to: eSTGt: a programming and simulation environment for population dynamics. BMC Bioinform. 17: 303 (2016) - [j34]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) - 2014
- [j33]Adam Spiro, Luca Cardelli, Ehud Shapiro:
Lineage grammars: describing, simulating and analyzing population dynamics. BMC Bioinform. 15: 249 (2014) - 2013
- [j32]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) - 2010
- [c58]Benny Gil, Maya Kahan-Hanum, Natalia Skirtenko, Rivka Adar, Ehud Shapiro:
'Doctor in a Cell' - Vision and Accomplishments. ALIFE 2010: 165
2000 – 2009
- 2008
- [j31]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) - [j30]Leehod Baruch, Shalev Itzkovitz, Michal Golan-Mashiach, Ehud Shapiro, Eran Segal:
Using Expression Profiles of Caenorhabditis elegans Neurons To Identify Genes That Mediate Synaptic Connectivity. PLoS Comput. Biol. 4(7) (2008) - 2007
- [j29]Shai Kaplan, Shalev Itzkovitz, Ehud Shapiro:
A Universal Mechanism Ties Genotype to Phenotype in Trinucleotide Diseases. PLoS Comput. Biol. 3(11) (2007) - 2006
- [c57]Ehud Shapiro:
Injecting Life with Computers. ILP 2006: 26 - 2005
- [j28]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) - 2004
- [j27]Rivka Adar, Yaakov Benenson, Gregory Linshiz, Amit Rosner, Naftali Tishby, Ehud Shapiro:
Stochastic computing with biomolecular automata. Proc. Natl. Acad. Sci. USA 101(27): 9960-9965 (2004) - [j26]Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro:
BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325(1): 141-167 (2004) - [c56]Ehud Shapiro:
Invited talk: injecting life with computers. PEPM 2004: 200 - [c55]Ehud Shapiro:
Invited talk: injecting life with computers. PPDP 2004: 6 - [c54]Ehud Shapiro:
Injecting Life with Computers. SAS 2004: 1 - 2003
- [j25]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): 2191-2196 (2003) - [c53]Amitai Regev, Ehud Shapiro:
Cells as Computation. CMSB 2003: 1-3 - 2002
- [c52]Ehud Shapiro:
Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems. WABI 2002: 418 - 2001
- [j24]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): 25-31 (2001) - [c51]Aviv Regev, William Silverman, Ehud Shapiro:
Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. Pacific Symposium on Biocomputing 2001: 459-470
1990 – 1999
- 1998
- [c50]Bruria Haberman, Zahava Scherz, Ehud Shapiro:
Abstract data types as a project development organiser. ITiCSE 1998: 102-104 - [c49]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: 300 - 1995
- [j23]Yael Moscowitz, Ehud Shapiro:
On the Structural Simplicity of Machines and Languages. Ann. Math. Artif. Intell. 15(3-4): 379-405 (1995) - 1994
- [b3]Leon Sterling, Ehud Shapiro:
The Art of Prolog - Advanced Programming Techniques, 2nd Ed. MIT Press 1994 - 1993
- [j22]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): 46-103 (1993) - 1992
- [j21]Yosee Feldman, Ehud Shapiro:
Spatial Machines: A More Realistic Approach to Parallel Computation. Commun. ACM 35(10): 60-73 (1992) - [c48]Ehud Shapiro:
Embeddings Among Concurrent Programming Languages (Preliminary Version). CONCUR 1992: 486-503 - [c47]Yaron Goldberg, Marilyn Safran, Ehud Shapiro:
Active Mail - A Framework for Implementing Groupware. CSCW 1992: 75-83 - [c46]Yaron Goldberg, William Silverman, Ehud Shapiro:
Logic Programs with Inheritance. FGCS 1992: 951-960 - [c45]Yael Moscowitz, Ehud Shapiro:
On the Structural Simplicity of Machines and Languages. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 103-120 - [p1]Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro:
Polymorphically Typed Logic Programs. Types in Logic Programming 1992: 63-90 - 1991
- [j20]Eyal Yardeni, Ehud Shapiro:
A Type System for Logic Programs. J. Log. Program. 10(2): 125-153 (1991) - [c44]Ehud Shapiro:
Inductive Inference of Theories from Facts. Computational Logic - Essays in Honor of Alan Robinson 1991: 199-254 - [c43]Yael Moscowitz, Ehud Shapiro:
Lexical Logic Programs. ICLP 1991: 349-363 - [c42]Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro:
Polymorphically Typed Logic Programs. ICLP 1991: 379-393 - [c41]Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni:
Logic Programs as Types for Logic Programs. LICS 1991: 300-309 - [c40]Ehud Shapiro:
Embeddings Among Concurrent Programming Languages (Abstract). PARLE (2) 1991: 58 - [c39]Haim Gaifman, Michael J. Maher, Ehud Shapiro:
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. PODC 1991: 241-255 - [c38]Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro:
Communication with Directed Logic Variables. POPL 1991: 221-232 - [c37]Yosee Feldman, Ehud Shapiro:
Temporal Debugging and its Visual Animation. ISLP 1991: 3-17 - [c36]Ehud Shapiro:
Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract). STOC 1991: 198-208 - 1990
- [j19]Koichi Furukawa, Makoto Amamiya, Ehud Shapiro, David H. D. Warren:
Guest editors' preface. New Gener. Comput. 7(2-3): 85-87 (1990) - [j18]Eyal Yardeni, Shmuel Kliger, Ehud Shapiro:
The languages FCP(: ) and FCP(: , ?). New Gener. Comput. 7(2-3): 89-107 (1990) - [c35]Alon Kleinman, Yoram Moses, Ehud Shapiro:
Distributed Variable Server for Atomic Unification. PODC 1990: 59-74 - [c34]Shmuel Kliger, Ehud Shapiro:
From Decision Trees to Decision Graphs. NACLP 1990: 97-116 - [c33]Leon Alkalaj, Tomás Lang, Ehud Shapiro:
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. NACLP 1990: 321-339
1980 – 1989
- 1989
- [j17]Ehud Shapiro:
The Family of Concurrent Logic Programming Languages. ACM Comput. Surv. 21(3): 413-510 (1989) - [j16]Ehud Shapiro:
Or-Parallel Prolog in Flat Concurrent Prolog. J. Log. Program. 6(3): 243-267 (1989) - [j15]Avshalom Houri, Ehud Shapiro:
A Sequential Abstract Machine for Flat Concurrent Prolog. J. Log. Program. 7(2): 85-123 (1989) - [c32]Ehud Reches, Ehud Gudes, Ehud Shapiro:
A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog. FODO 1989: 304-320 - [c31]Haim Gaifman, Ehud Shapiro:
Proof Theory and Semantics of Logic Programs. LICS 1989: 50-62 - [c30]Haim Gaifman, Ehud Shapiro:
Fully Abstract Compositional Semantics for Logic Programs. POPL 1989: 134-142 - [c29]Haim Gaifman, Michael J. Maher, Ehud Shapiro:
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. NACLP 1989: 553-569 - 1988
- [b2]Leon Sterling, Ehud Shapiro:
Prolog - fortgeschrittene Programmiertechniken. Addison-Wesley 1988, ISBN 978-3-925118-84-5, pp. I-XVIII, 1-468 - [j14]John P. Gallagher, Michael Codish, Ehud Shapiro:
Specialisation of Prolog and FCP Programs Using Abstract Interpretation. New Gener. Comput. 6(2&3): 159-186 (1988) - [c28]Stephen Taylor, R. Shapiro, Ehud Shapiro:
FCP: a summary of performance results. C³P 1988: 1364-1373 - [c27]Ehud Shapiro:
The Panel on Theory and Practice of Concurrent Systems. FGCS 1988: 152-153 - [c26]Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Shapiro:
The Language FCP(: , ?). FGCS 1988: 763-773 - [c25]Yossi Lichtenstein, Ehud Shapiro:
Abstract Algorithmic Debugging. ICLP/SLP 1988: 512-531 - [c24]Leon Alkalaj, Ehud Shapiro:
An Architectural Model for a Flat Concurrent Prolog Processor. ICLP/SLP 1988: 1277-1297 - [c23]Shmuel Kliger, Ehud Shapiro:
A Decision Tree Compilation Algorithm for FCP(!, : , ?). ICLP/SLP 1988: 1315-1336 - [c22]Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro:
Fully Abstract Denotational Semantics for Flat Concurrent Prolog. LICS 1988: 320-335 - [c21]Michael Codish, John P. Gallagher, Ehud Shapiro:
Using Safe Approximations of Fixed Points for Analysis of Logic Programs. META 1988: 233-261 - [c20]Yossi Lichtenstein, Ehud Shapiro:
Concurrent Algorithmic Debugging. Workshop on Parallel and Distributed Debugging 1988: 248-260 - 1987
- [j13]Stephen Taylor, Lisa Hellerstein, Shmuel Safra, Ehud Shapiro:
Notes on the Complexity of Systolic Programs. J. Parallel Distributed Comput. 4(3): 250-265 (1987) - [j12]Michael Codish, Ehud Shapiro:
Compiling OR-parallelism into AND-parallelism. New Gener. Comput. 5(1): 45-61 (1987) - [c19]Ehud Shapiro:
An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. ICLP 1987: 311-337 - [c18]Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro:
Channels: A Generalization of Streams. ICLP 1987: 839-857 - 1986
- [b1]Leon Sterling, Ehud Shapiro:
The Art of Prolog - Advanced Programming Techniques. MIT Press 1986, ISBN 0-262-19250-0 - [j11]Ehud Shapiro:
Concurrent Prolog: A Progress Report. Computer 19(8): 44-58 (1986) - [j10]Stephen Taylor, Shmuel Safra, Ehud Shapiro:
A parallel implementation of Flat Concurrent Prolog. Int. J. Parallel Program. 15(3): 245-275 (1986) - [j9]Lisa Hellerstein, Ehud Shapiro:
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. J. Log. Program. 3(2): 157-184 (1986) - [j8]Ehud Shapiro, Shmuel Safra:
Multiway Merge with Constant Delay in Concurrent Prolog. New Gener. Comput. 4(2): 211-216 (1986) - [c17]Michael Codish, Ehud Shapiro:
Compiling OR-parallelism into AND-parallelism. ICLP 1986: 283-297 - [c16]Oded Maler, Zahava Scherz, Ehud Shapiro:
A New Approach for Intruducing Prolog to Naive Users. ICLP 1986: 544-551 - [c15]Shmuel Safra, Ehud Shapiro:
Meta Interpreters For Real (Invited Paper).