Ehud Shapiro

Orcid: 0009-0002-8266-3125

Affiliations:
  • Weizmann Institute of Science, Department of Computer Science and Applied Math, Rehovot, Israel


According to our database1, Ehud Shapiro authored at least 130 papers between 1981 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Federated Assemblies.
CoRR, 2024

A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy.
CoRR, 2024

The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type.
CoRR, 2024

Enabling the Digital Democratic Revival: A Research Program for Digital Democracy.
CoRR, 2024

2023
Grassroots Flash: A Payment System for Grassroots Cryptocurrencies.
CoRR, 2023

Flash: An Asynchronous Payment System with Good-Case Linear Communication Complexity.
CoRR, 2023

Grassroots Distributed Systems: Concept, Examples, Implementation and Applications.
CoRR, 2023

Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications.
Proceedings of the 37th International Symposium on Distributed Computing, 2023

Cordial Miners: Fast and Efficient Consensus for Every Eventuality.
Proceedings of the 37th International Symposium on Distributed Computing, 2023

Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp.
Proceedings of the 3rd International Workshop on Open Challenges in Online Social Networks, 2023

2022
Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality.
CoRR, 2022

Self-Sovereign Personal Cryptocurrencies: Foundations for Grassroots Cryptoeconomy.
CoRR, 2022

Proportional Ranking in Primary Elections: A Case Study.
CoRR, 2022

Self-Sovereign Digital Agents for a Grassroots Digital Society.
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Sybil-Resilient Social Choice with Low Voter Turnout.
Proceedings of the Multi-Agent Systems - 19th European Conference, 2022

Foundations for Grassroots Democratic Metaverse.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021
Building a Sybil-Resilient Digital Community Utilizing Trust-Graph Connectivity.
IEEE/ACM Trans. Netw., 2021

Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation.
J. Artif. Intell. Res., 2021

Multiagent Transition Systems: Protocol-Stack Mathematics for Distributed Computing.
CoRR, 2021

Egalitarian and Just Digital Currency Networks.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

How to Amend a Constitution? Model, Axioms, and Supermajority Rules.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

In the Beginning There Were n Agents: Founding and Amending a Constitution.
Proceedings of the Algorithmic Decision Theory - 7th International Conference, 2021

Democratic Forking: Choosing Sides with Social Choice.
Proceedings of the Algorithmic Decision Theory - 7th International Conference, 2021

United for Change: Deliberative Coalition Formation to Change the Status Quo.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Electing the Executive Branch.
CoRR, 2020

Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society.
CoRR, 2020

Egalitarian Deliberative Decision Making.
CoRR, 2020

Sybil-Resilient Social Choice with Partial Participation.
CoRR, 2020

Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Growth.
Proceedings of the Social Informatics - 12th International Conference, 2020

Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society.
Proceedings of the First International Forum on Digital and Democracy. Towards A Sustainable Evolution 2020, 2020

2019
Foundation for Genuine Global Identities.
CoRR, 2019

Sybil-Resilient Reality-Aware Social Choice.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Sybil-Resilient Conductance-Based Community Growth.
Proceedings of the Computer Science - Theory and Applications, 2019

2018
Reality-aware Sybil-Resilient Voting.
CoRR, 2018

Integrating Deliberation and Voting in Participatory Drafting of Legislation.
CoRR, 2018

Global Cryptodemocracy is Possible and Desirable.
CoRR, 2018

Point: foundations of e-democracy.
Commun. ACM, 2018

Incorporating Reality into Social Choice.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Foundations of Internet-enabled Democracy.
CoRR, 2017

A Democratically-Optimal Budgeting Algorithm.
CoRR, 2017

2016
Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and Quantity.
PLoS Comput. Biol., 2016

Erratum to: eSTGt: a programming and simulation environment for population dynamics.
BMC Bioinform., 2016

eSTGt: a programming and simulation environment for population dynamics.
BMC Bioinform., 2016

2014
Lineage grammars: describing, simulating and analyzing population dynamics.
BMC Bioinform., 2014

2013
Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite Mutations.
PLoS Comput. Biol., 2013

2010
'Doctor in a Cell' - Vision and Accomplishments.
Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

2008
Estimating Cell Depth from Somatic Mutations.
PLoS Comput. Biol., 2008

Using Expression Profiles of <i>Caenorhabditis elegans</i> Neurons To Identify Genes That Mediate Synaptic Connectivity.
PLoS Comput. Biol., 2008

2007
A Universal Mechanism Ties Genotype to Phenotype in Trinucleotide Diseases.
PLoS Comput. Biol., 2007

2005
Genomic Variability within an Organism Exposes Its Cell Lineage Tree.
PLoS Comput. Biol., 2005

2004
BioAmbients: an abstraction for biological compartments.
Theor. Comput. Sci., 2004

Stochastic computing with biomolecular automata.
Proc. Natl. Acad. Sci. USA, 2004

Injecting Life with Computers.
Proceedings of the Static Analysis, 11th International Symposium, 2004

Invited talk: injecting life with computers.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003
DNA molecule provides a computing machine with both data and fuel.
Proc. Natl. Acad. Sci. USA, 2003

Cells as Computation.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002
Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems.
Proceedings of the Algorithms in Bioinformatics, Second International Workshop, 2002

2001
Application of a stochastic name-passing calculus to representation and simulation of molecular processes.
Inf. Process. Lett., 2001

Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra.
Proceedings of the 6th Pacific Symposium on Biocomputing, 2001

1998
Development, implementation and evaluation of a course in expert systems for high-school students (poster).
Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

Abstract data types as a project development organiser.
Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

1995
On the Structural Simplicity of Machines and Languages.
Ann. Math. Artif. Intell., 1995

1994
The Art of Prolog - Advanced Programming Techniques, 2nd Ed.
MIT Press, 1994

1993
The Fifth Generation Project: Personal Perspectives.
Commun. ACM, 1993

1992
Spatial Machines: A More Realistic Approach to Parallel Computation.
Commun. ACM, 1992

Logic Programs with Inheritance.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Active Mail - A Framework for Implementing Groupware.
Proceedings of the CSCW '92, Proceedings of the Conference on Computer Supported Cooperative Work, Toronto, Canada, October 31, 1992

Embeddings Among Concurrent Programming Languages (Preliminary Version).
Proceedings of the CONCUR '92, 1992

Polymorphically Typed Logic Programs.
Proceedings of the Types in Logic Programming., 1992

1991
A Type System for Logic Programs.
J. Log. Program., 1991

Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract)
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

Temporal Debugging and its Visual Animation.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Communication with Directed Logic Variables.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Embeddings Among Concurrent Programming Languages (Abstract).
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Logic Programs as Types for Logic Programs
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Polymorphically Typed Logic Programs.
Proceedings of the Logic Programming, 1991

Lexical Logic Programs.
Proceedings of the Logic Programming, 1991

Inductive Inference of Theories from Facts.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990
The languages FCP(: ) and FCP(: , ?).
New Gener. Comput., 1990

Guest editors' preface.
New Gener. Comput., 1990

From Decision Trees to Decision Graphs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

FCP Sequential Abstract Machine Characteristics for the Systems Development Workload.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Distributed Variable Server for Atomic Unification.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

1989
Or-Parallel Prolog in Flat Concurrent Prolog.
J. Log. Program., 1989

A Sequential Abstract Machine for Flat Concurrent Prolog.
J. Log. Program., 1989

The Family of Concurrent Logic Programming Languages.
ACM Comput. Surv., 1989

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.
Proceedings of the Logic Programming, 1989

Fully Abstract Compositional Semantics for Logic Programs.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Proof Theory and Semantics of Logic Programs
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog.
Proceedings of the Foundations of Data Organization and Algorithms, 1989

1988
Specialisation of Prolog and FCP Programs Using Abstract Interpretation.
New Gener. Comput., 1988

Concurrent Algorithmic Debugging.
Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

Using Safe Approximations of Fixed Points for Analysis of Logic Programs.
Proceedings of the Meta-Programming in Logic Programming, 1988

Fully Abstract Denotational Semantics for Flat Concurrent Prolog
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Abstract Algorithmic Debugging.
Proceedings of the Logic Programming, 1988

A Decision Tree Compilation Algorithm for FCP(!, : , ?).
Proceedings of the Logic Programming, 1988

An Architectural Model for a Flat Concurrent Prolog Processor.
Proceedings of the Logic Programming, 1988

The Panel on Theory and Practice of Concurrent Systems.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

The Language FCP(: , ?).
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

FCP: a summary of performance results.
Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

Prolog - fortgeschrittene Programmiertechniken.
Addison-Wesley, ISBN: 978-3-925118-84-5, 1988

1987
Compiling OR-parallelism into AND-parallelism.
New Gener. Comput., 1987

Notes on the Complexity of Systolic Programs.
J. Parallel Distributed Comput., 1987

Channels: A Generalization of Streams.
Proceedings of the Logic Programming, 1987

An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation.
Proceedings of the Logic Programming, 1987

1986
Multiway Merge with Constant Delay in Concurrent Prolog.
New Gener. Comput., 1986

Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience.
J. Log. Program., 1986

A parallel implementation of Flat Concurrent Prolog.
Int. J. Parallel Program., 1986

Concurrent Prolog: A Progress Report.
Computer, 1986

Meta Interpreters For Real (Invited Paper).
Proceedings of the Information Processing 86, 1986

A New Approach for Intruducing Prolog to Naive Users.
Proceedings of the Third International Conference on Logic Programming, 1986

The Art of Prolog - Advanced Programming Techniques
MIT Press, ISBN: 0-262-19250-0, 1986

1985
Fast Multiway Merge Using Destructive Operation.
Proceedings of the International Conference on Parallel Processing, 1985

Polymorphic Arrays: An Architecture for a Programmable Systolic Machine.
Proceedings of the International Conference on Parallel Processing, 1985

Quadtrees in Concurrent PROLOG.
Proceedings of the International Conference on Parallel Processing, 1985

1984
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.
New Gener. Comput., 1984

Guest Editor's Preface.
New Gener. Comput., 1984

Alternation and the Computational Complexity of Logic Programs.
J. Log. Program., 1984

Systems Programming in Concurrent Prolog.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Systolic Programming: A Paradigm of Parallel Processing.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983
Playing mastermind logically.
SIGART Newsl., 1983

Object Oriented Programming in Concurrent Prolog.
New Gener. Comput., 1983

The Fifth Generation Project - Trip Report.
Commun. ACM, 1983

Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Methodology of Logic Programming.
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982
Algorithmic Program Diagnosis.
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981
PASES: a programming environment for PASCAL.
ACM SIGPLAN Notices, 1981

An Algorithm that Infers Theories from Facts.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

The Model Inference System.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981


  Loading...