Ehud Shapiro
Israeli computer scientist
Ehud Shapiro's AcademicInfluence.com Rankings
Download Badge
Computer Science
Ehud Shapiro's Degrees
- Bachelors Mathematics and Computer Science Tel Aviv University
- Masters Computer Science Weizmann Institute of Science
- PhD Computer Science Weizmann Institute of Science
Similar Degrees You Can Earn
Why Is Ehud Shapiro Influential?
(Suggest an Edit or Addition)According to Wikipedia, Ehud Shapiro is an Israeli scientist, artist, and entrepreneur, who is Professor of Computer Science and Biology at the Weizmann Institute of Science. With international reputation, he made fundamental contributions to many scientific disciplines, laying in each a long-term research agenda by asking a novel basic question and offering a first step towards answering it, including how to computerize the process of scientific discovery, by providing an algorithmic interpretation to Karl Popper's methodology of conjectures and refutations; how to automate program debugging, by algorithms for fault localization; how to unify parallel, distributed, and systems programming with a high-level logic-based programming language; how to use the metaverse as a foundation for social networking; how to devise molecular computers that can function as smart programmable drugs; how to uncover the human cell lineage tree, via single-cell genomics; how to support digital democracy, by devising an alternative architecture to the digital realm.
Ehud Shapiro's Published Works
Published Works
- The Art of Prolog (1987) (1588)
- Algorithmic Program Debugging (1983) (1289)
- The Human Cell Atlas (2017) (1285)
- Single-cell sequencing-based technologies will revolutionize whole-organism science (2013) (996)
- An autonomous molecular computer for logical control of gene expression (2004) (791)
- The Art of Prolog - Advanced Programming Techniques (1986) (647)
- The family of concurrent logic programming languages (1989) (575)
- BioAmbients: an abstraction for biological compartments (2004) (547)
- Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra (2000) (519)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes (2001) (514)
- Programmable and autonomous computing machine made of biomolecules (2001) (417)
- A subset of Concurrent Prolog and its interpreter (1988) (347)
- Cellular abstractions: Cells as computation (2002) (296)
- Inductive Inference of Theories from Facts (1991) (258)
- DNA molecule provides a computing machine with both data and fuel (2003) (254)
- Concurrent Prolog: A Progress Report (1985) (213)
- Third International Conference on Logic Programming (1986) (198)
- Concurrent PROLOG: Collected Papers (1987) (189)
- Logic programs as types for logic programs (1991) (180)
- A Type System for Logic Programs (1988) (153)
- Cells as Computation (2003) (152)
- Genomic Variability within an Organism Exposes Its Cell Lineage Tree (2005) (138)
- The art of Prolog (2nd ed.): advanced programming techniques (1994) (136)
- Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems (1983) (134)
- Fully abstract compositional semantics for logic programs (1989) (106)
- Stochastic computing with biomolecular automata (2004) (104)
- An Algorithm that Infers Theories from Facts (1981) (92)
- The π-calculus as an Abstraction for Biomolecular Systems (2004) (92)
- Bringing DNA computers to life (2006) (87)
- Algorithmic program diagnosis (1982) (83)
- Meta interpreters for real (1988) (81)
- Towards molecular computers that operate in a biological environment (2008) (80)
- Molecular implementation of simple logic programs. (2009) (80)
- Amplification of multiple genomic loci from single cells isolated by laser micro-dissection of tissues (2008) (77)
- Cell lineage analysis of acute leukemia relapse uncovers the role of replication-rate heterogeneity and microsatellite instability. (2012) (76)
- Alternation and the Computational Complexity of Logic Programs (1984) (72)
- A synthetic biology approach for evaluating the functional contribution of designer cellulosome components to deconstruction of cellulosic substrates (2013) (72)
- Cell Lineage Analysis of the Mammalian Female Germline (2012) (69)
- Cell lineage analysis of a mouse tumor. (2008) (68)
- Active mail—a framework for implementing groupware (1992) (66)
- Systolic Programming: A Paradigm of Parallel Processing (1988) (65)
- Identification of CTCF as a master regulator of the clustered protocadherin genes (2011) (60)
- Recursive construction of perfect DNA molecules from imperfect oligonucleotides (2008) (60)
- Colon Stem Cell and Crypt Dynamics Exposed by Cell Lineage Reconstruction (2011) (56)
- The Human Cell Atlas White Paper (2018) (55)
- Systems programming in concurrent prolog (1984) (55)
- Reconstruction of Cell Lineage Trees in Mice (2008) (55)
- A library of programmable DNAzymes that operate in a cellular environment (2013) (52)
- Spatial machines: a more realistic approach to parallel computation (1992) (51)
- A Universal Mechanism Ties Genotype to Phenotype in Trinucleotide Diseases (2007) (50)
- The Art of Prolog - Advanced Programming Techniques, 2nd Ed (1986) (50)
- Personal perspectives (1993) (47)
- Biotechnology: logic goes in vitro. (2007) (43)
- Polymorphically Typed Logic Programs (1991) (43)
- Concurrent Prolog (1988) (42)
- Separating concurrent languages with categories of language embeddings (1991) (41)
- Detection of multiple disease indicators by an autonomous biomolecular computer. (2011) (39)
- Estimating Cell Depth from Somatic Mutations (2008) (38)
- From Decision Trees to Decision Graphs (1990) (37)
- Rationally designed, heterologous S. cerevisiae transcripts expose novel expression determinants (2015) (37)
- A Sequential Abstract Machine for Flat Concurrent Prolog (1988) (36)
- RNA Computing in a Living Cell (2008) (33)
- Object oriented programming in Concurrent Prolog (1983) (33)
- A generic, cost-effective, and scalable cell lineage analysis platform (2016) (33)
- Fully abstract denotational semantics for flat Concurrent Prolog (1988) (32)
- The Fifth Generation Project: Personal Perspectives (1993) (31)
- Abstract Algorithmic Debugging (1988) (31)
- Using Expression Profiles of Caenorhabditis elegans Neurons To Identify Genes That Mediate Synaptic Connectivity (2008) (31)
- Point (2018) (29)
- Accurate, Model-Based Tuning of Synthetic Gene Expression Using Introns in S. cerevisiae (2014) (28)
- De novo DNA synthesis using single molecule PCR (2008) (28)
- A mechanical Turing machine: blueprint for a biomolecular computer (2012) (27)
- Fully abstract denotational semantics for concurrent Prolog (1987) (24)
- Synthesis and cell-free cloning of DNA libraries using programmable microfluidics (2015) (24)
- Embeddings Among Concurrent Programming Languages (Preliminary Version) (1992) (23)
- Playing mastermind logically (1983) (23)
- The Logix system user manual version 1.21 (1988) (23)
- Concurrent algorithmic debugging (1988) (23)
- Proof theory and semantics of logic programs (1989) (22)
- Molecular Computing Machines (2004) (22)
- A Decision Tree Compilation Algorithm for FCP(!, : , ?) (1988) (21)
- Point: foundations of e-democracy (2017) (21)
- Benchmarked approaches for reconstruction of in vitro cell lineages and in silico models of C. elegans and M. musculus developmental trees. (2021) (20)
- The fifth generation project — a trip report (1983) (19)
- Single cell analysis exposes intratumor heterogeneity and suggests that FLT3-ITD is a late event in leukemogenesis. (2014) (18)
- Reactive Behaviour Semantics for Concurrent Constraint Logic Programs (1989) (18)
- Processing DNA molecules as text (2010) (18)
- Tapping the computing power of biological molecules gives rise to tiny machines that can speak directly to living cells. (2006) (17)
- Replay, recovery, replication, and snapshots of nondeterministic concurrent programs (1991) (17)
- Heuristic for maximizing DNA reuse in synthetic DNA library assembly. (2014) (16)
- PASES: a programming environment for PASCAL (1981) (16)
- Short tandem repeat stutter model inferred from direct measurement of in vitro stutter noise (2019) (16)
- Hardware description and simulation using Concurrent Prolog (1988) (15)
- Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society (2020) (15)
- Incorporating Reality into Social Choice (2017) (15)
- Channels: A Generalization of Streams (1988) (15)
- The Language FCP(: , ?) (1988) (15)
- Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite Mutations (2013) (15)
- Comparison of seven single cell whole genome amplification commercial kits using targeted sequencing (2017) (14)
- An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (1987) (14)
- Using Safe Approximations of Fixed Points for Analysis of Logic Programs (1989) (14)
- Logic Programs with Inheritance (1992) (14)
- Embeddings Among Concurrent Programming Languages (Abstract) (1991) (13)
- DNA computing: Molecules reach consensus. (2013) (12)
- Are Black Boxes Transparent?— High School Students' Strategies of Using Abstract Data Types (2002) (12)
- Computer-aided high-throughput cloning of bacteria in liquid medium. (2011) (12)
- Building a Sybil-Resilient Digital Community Utilizing Trust-Graph Connectivity (2019) (12)
- Communication with directed logic variables (1991) (12)
- Sybil-Resilient Conductance-Based Community Growth (2019) (12)
- Specialisation of Prolog and FCP programs using abstract interpretation (1988) (11)
- Quadtrees in Concurrent PROLOG (1985) (11)
- Lexical Logic Programs (1991) (11)
- Geometric constraints on neuronal connectivity facilitate a concise synaptic adhesive code (2008) (11)
- Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience (1986) (11)
- Proceedings of the Third International Conference on Logic Programming (1986) (11)
- Mapping the translation initiation landscape of an S. cerevisiae gene using fluorescent proteins. (2013) (11)
- Multiagent Transition Systems: Protocol-Stack Mathematics for Distributed Computing (2021) (10)
- Author response: The Human Cell Atlas (2017) (10)
- Or-Parallel Prolog in Flat Concurrent Prolog (1988) (10)
- Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Growth (2020) (10)
- Muscle-Bound Primordial Stem Cells Give Rise to Myofiber-Associated Myogenic and Non-Myogenic Progenitors (2011) (10)
- Egalitarian and Just Digital Currency Networks (2020) (9)
- Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation (2018) (8)
- Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality (2022) (8)
- Computation control and protection in the Logix system (1988) (8)
- Correcting the bias against interdisciplinary research (2014) (8)
- A parallel implementation of Flat Concurrent Prolog (1986) (7)
- Foundation for Genuine Global Identities (2019) (7)
- Meta Interpreters For Real (Invited Paper) (1986) (7)
- Translation of safe GHC and safe Concurrent Prolog to FCP (1988) (7)
- Embeddings Among Concurrent Programming Languages (2013) (7)
- eSTGt: a programming and simulation environment for population dynamics (2016) (7)
- Representation and enumeration of flat Concurrent Prolog computations (1988) (7)
- A duplex MIPs-based biological-computational cell lineage discovery platform (2017) (6)
- A programmable NOR-based device for transcription profile analysis (2012) (6)
- Compiling OR-parallelism into AND-parallelism (1986) (6)
- The Model Inference System (1981) (6)
- Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Formation (2019) (6)
- Polymorphic Arrays: An Architecture for a Programmable Systolic Machine (1985) (5)
- Reality-aware Sybil-Resilient Voting (2018) (5)
- Retrospective cell lineage reconstruction in humans by using short tandem repeats (2021) (5)
- Fault-Tolerant Distributed Implementation of Digital Social Contracts (2020) (5)
- Lineage grammars: describing, simulating and analyzing population dynamics (2014) (5)
- A New Approach for Intruducing Prolog to Naive Users (1986) (5)
- CFL—A concurrent functional language embedded in a concurrent logic programming environment (1988) (5)
- Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and Quantity (2016) (5)
- Global Cryptodemocracy is Possible and Desirable (2018) (4)
- Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog (1984) (4)
- A Participatory Democratic Budgeting Algorithm. (2018) (4)
- Notes on the Complexity of Systolic Programs (1987) (4)
- A Democratically-Optimal Budgeting Algorithm (2017) (4)
- FCP: a summary of performance results (1989) (4)
- United for Change: Deliberative Coalition Formation to Change the Status Quo (2020) (4)
- On the journey from nematode to human, scientists dive by the zebrafish cell lineage tree (2018) (4)
- In the Beginning There Were n Agents: Founding and Amending a Constitution (2020) (4)
- An Architectural Model for a Flat Concurrent Prolog Processor (1988) (3)
- Sybil-Resilient Social Choice with Partial Participation (2020) (3)
- Distributed programming in Concurrent Prolog (1988) (3)
- Temporal Debugging and its Visual Animation (1991) (3)
- The Fifth Generation project (1993) (3)
- Democratic Forking: Choosing Sides with Social Choice (2021) (3)
- Retrospective cell lineage reconstruction in Humans using short tandem repeats (2020) (3)
- Sybil-Resilient, Egalitarian and Just Digital Currency (2020) (3)
- Fast Multiway Merge Using Destructive Operation (1985) (3)
- Foundations for Grassroots Democratic Metaverse (2022) (3)
- An architecture of a distributed window system and its FCP implementation (1988) (3)
- Methodology of Logic Programming (1983) (3)
- A Condorcet-Consistent Participatory Budgeting Algorithm (2017) (2)
- Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings (1986) (2)
- Distributed variable server for atomic unification (1990) (2)
- A Condorcet-Consistent Democratic Budgeting Algorithm (2017) (2)
- Abstract data types as a project development organiser (1998) (2)
- The Art of Prolog: Programming Examples - Macintosh (Logic Programming) (1987) (2)
- A New Algorithm for Combinatorial DNA Library Assembly (2013) (2)
- Sovereign Cryptocurrencies: Foundation for a Grassroots Cryptoeconomy (2022) (2)
- Reality-Aware Social Choice. (2017) (2)
- Egalitarian Deliberative Decision Making (2020) (2)
- Grassroots Distributed Systems: Concept, Examples, Implementation and Applications (2023) (2)
- Multiagent Transition Systems with Safety and Liveness Faults: A Compositional Foundation for Fault-Resilient Distributed Computing (2022) (2)
- How to Amend a Constitution? Model, Axioms, and Supermajority Rules (2020) (2)
- Sovereign Personal Cryptocurrencies: A Grassroots Foundation for a Digital Economy (2022) (2)
- Programmable In Vivo Selection of Arbitrary DNA Sequences (2012) (2)
- Recursive construction of perfect DNA molecules and libraries from imperfect oligonucleotides. (2012) (2)
- A test for the adequacy of a language for an architecture (1988) (2)
- Foundations of Internet-enabled Democracy (2017) (1)
- The languages FCP(:) and FCP(:,?) (1990) (1)
- Sovereign Cryptocurrencies for People, Corporations, Banks and Communities: Foundations for a Grassroots Cryptoeconomy (2022) (1)
- Self-Sovereign Personal Cryptocurrencies: Foundations for Grassroots Cryptoeconomy (2022) (1)
- Multiway merge with constant delay in Concurrent Prolog (1986) (1)
- Multiagent Transition Systems with Faults: Protocol-Stack Mathematics for Distributed Computing (2022) (1)
- The Fifth Generation project: personal perspectives - Epilogue (1993) (1)
- A Sybil-Resilient Mechanism for an Egalitarian and Just Digital Currency (2020) (1)
- Recursive construction and error correction of DNA molecules and libraries from synthetic and natural DNA. (2011) (1)
- Short Tandem Repeat stutter_model_inferred from direct measurement of in vitro stutter noise (2016) (1)
- Sovereign Cryptocurrencies: A Foundation for a Grassroots Digital Economy (2022) (1)
- Integrated production/computation IT Architecture for MATCHIT (2013) (1)
- The Fifth Generation project: personal perspectives - Introduction (1993) (1)
- Lineage grammars: describing, simulating and analyzing population dynamics (2014) (1)
- Electing the Executive Branch (2020) (1)
- A biological-computational human cell lineage discovery platform based on duplex molecular inversion probes (2018) (1)
- Integrating Deliberation and Voting in Participatory Drafting of Legislation (2018) (1)
- Sybil-Resilient Conductance-Based Community Expansion (2019) (1)
- Cordial Miners: Fast and Efficient Consensus for Every Eventuality (2022) (1)
- On the structural simplicity of machines and languages (1993) (1)
- Proportional ranking in primary elections: A case study (2022) (1)
- FCP Sequential Abstract Machine Characteristics for the Systems Development Workload (1990) (1)
- Erratum to: eSTGt: a programming and simulation environment for population dynamics (2016) (1)
- De novo DNA synthesis using single-molecule PCR. (2012) (1)
- Distributed-Ledger Consensus Protocol for Digital Social Contracts (2020) (0)
- Injecting Life with Computers (2004) (0)
- Development, implementation and evaluation of a course in expert systems for high-school students (poster) (1998) (0)
- Fault-Tolerant Distributed-Ledger Implementation of Digital Social Contracts (2020) (0)
- Unraveling at Diagnosis Chemoresistant Relapse-Initiating Clones in Acute Myeloid Leukemia: Combined Functional and Genomic Analyses Using Single-Cell-Derived Hematopoietic Stem and Progenitor Cell Subpopulations (2022) (0)
- Single-Cell Phylogenetic analysis provides Novel Insight Into Resistance Mechanisms In AML (2010) (0)
- Data retrieval system providing co-presence (1995) (0)
- Multiagent Transition Systems with Faults (2022) (0)
- The Use of Logic Programming in Education (1987) (0)
- Deliberative Coalition Formation. (2020) (0)
- A co-prominent datenrückholsystem indicating observer data (1999) (0)
- Guest editors’ preface (2009) (0)
- A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog (1989) (0)
- Image processing with Concurrent Prolog (1988) (0)
- Erratum to: eSTGt: a programming and simulation environment for population dynamics (2016) (0)
- Advances in biochemical technologies have led to a boost in the field of single cell genomics (2017) (0)
- Data search system and method for retrofitting such a (1995) (0)
- Grassroots Distributed Systems for Digital Sovereignty: Concept, Examples, Implementation and Applications (2023) (0)
- Invited talk: injecting life with computers (2004) (0)
- Postscript: Buidling Blocks for a Computing Revolution (2006) (0)
- Concepts of logic programming and prolog (2004) (0)
- Introduction: Pram Is Unreasonably Strong (2000) (0)
- Applications of the Model Inference System (2004) (0)
- Correction: Programmable In Vivo Selection of Arbitrary DNA Sequences (2012) (0)
- Cordial Miners: Blocklace-Based Ordering Consensus Protocols for Every Eventuality (2022) (0)
- System for retrieving coexisting data (1995) (0)
- Self-Sovereign Digital Agents for a Grassroots Digital Society (2022) (0)
- Benchmarked approaches for cell lineage reconstructions of in vitro dividing cells and in 1 silico models of Caenorhabditis elegans and Mus musculus developmental trees (2021) (0)
- Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems (2002) (0)
- Whole-Genome Amplification—Surveying Yield, Reproducibility, and Heterozygous Balance, Reported by STR-Targeting MIPs (2022) (0)
- The Panel on Theory and Practice of Concurrent Systems (1988) (0)
- 'Doctor in a Cell' - Vision and Accomplishments (2010) (0)
- Invited talk: injecting life with computers (2004) (0)
- Molecular implementation of simple logic programs. Nat Nanotechnol 4:642-648 (2009) (0)
- Control algebras for constraint logics and testing equivalence (1989) (0)
- Guest editors’ preface (2009) (0)
- Sybil-Resilient Social Choice with Low Voter Turnout (2022) (0)
- A layered method for process and code mapping (1987) (0)
- On the journey from nematode to human, scientists dive by the zebrafish cell lineage tree (2018) (0)
- eSTGt: a programming and simulation environment for population dynamics (2016) (0)
- Guest editor’s preface (2009) (0)
- Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks (2021) (0)
- Efficient acquisition of tens of thousands of short tandem repeats in single-cell whole-genome-amplified DNA (2021) (0)
- Inductive Program Synthesis (2017) (0)
- The Immune-Buffer COVID-19 Exit Strategy that Protects the Elderly (2020) (0)
This paper list is powered by the following services:
Other Resources About Ehud Shapiro
What Schools Are Affiliated With Ehud Shapiro?
Ehud Shapiro is affiliated with the following schools: