E

Ehud Shapiro

Weizmann Institute of Science

ORCID: 0009-0002-8266-3125

Publishes on Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques. 294 papers and 13.3k citations.

PubIndex Score98Top 2%How it's scored

294Publications

13.3kTotal Citations

First publication: 1970First senior author: 1984

Logic, programming, and type systems Formal Methods in Verification Parallel Computing and Optimization Techniques Logic, Reasoning, and Knowledge Advanced biosensing and bioanalysis techniques

Top publicationsby citations

Single-cell sequencing-based technologies will revolutionize whole-organism science

Ehud Shapiro, Sten Linnarsson, Tamir Biezuner|Nature Reviews Genetics|2013

Cited by 1.2k

The Art of Prolog

Leon Sterling, Randy Garrett, Ehud Shapiro|IEEE Expert|1987

Cited by 1.1k

Algorithmic Program Debugging

Ehud Shapiro|The MIT Press eBooks|1983

Cited by 1.1k

An autonomous molecular computer for logical control of gene expression

Yaakov Benenson, Ehud Shapiro, Rivka Adar et al.|Nature|2004

Cited by 824

Programmable and autonomous computing machine made of biomolecules

Yaakov Benenson, Ehud Shapiro, Zvi Livneh et al.|Nature|2001

Cited by 642