Ehud Shapiro
Orcid: 0009-0002-8266-3125Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on viaf.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on isni.org
On csauthors.net:
Bibliography
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
CoRR, 2024
2023
Flash: An Asynchronous Payment System with Good-Case Linear Communication Complexity.
CoRR, 2023
CoRR, 2023
Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications.
Proceedings of the 37th International Symposium on Distributed Computing, 2023
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
CoRR, 2022
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022
Proceedings of the Multi-Agent Systems - 19th European Conference, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
2021
IEEE/ACM Trans. Netw., 2021
Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation.
J. Artif. Intell. Res., 2021
CoRR, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
Proceedings of the Algorithmic Decision Theory - 7th International Conference, 2021
Proceedings of the Algorithmic Decision Theory - 7th International Conference, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
CoRR, 2020
Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Growth.
Proceedings of the Social Informatics - 12th International Conference, 2020
Proceedings of the First International Forum on Digital and Democracy. Towards A Sustainable Evolution 2020, 2020
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Computer Science - Theory and Applications, 2019
2018
CoRR, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
2016
Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and Quantity.
PLoS Comput. Biol., 2016
BMC Bioinform., 2016
BMC Bioinform., 2016
2014
BMC Bioinform., 2014
2013
Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite Mutations.
PLoS Comput. Biol., 2013
2010
Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010
2008
Using Expression Profiles of <i>Caenorhabditis elegans</i> Neurons To Identify Genes That Mediate Synaptic Connectivity.
PLoS Comput. Biol., 2008
2007
PLoS Comput. Biol., 2007
2005
PLoS Comput. Biol., 2005
2004
Proceedings of the Static Analysis, 11th International Symposium, 2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
2003
Proc. Natl. Acad. Sci. USA, 2003
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
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
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
Commun. ACM, 1992
Logic Programs with Inheritance.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
Proceedings of the CSCW '92, Proceedings of the Conference on Computer Supported Cooperative Work, Toronto, Canada, October 31, 1992
Proceedings of the CONCUR '92, 1992
Polymorphically Typed Logic Programs.
Proceedings of the Types in Logic Programming., 1992
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
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
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991
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
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
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990
1989
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.
Proceedings of the Logic Programming, 1989
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
Proceedings of the Foundations of Data Organization and Algorithms, 1989
1988
New Gener. Comput., 1988
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
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
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
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
J. Log. Program., 1986
Meta Interpreters For Real (Invited Paper).
Proceedings of the Information Processing 86, 1986
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
J. Log. Program., 1984
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
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982
1981
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