Ehud Shapiro
Ehud Shapiro
Professor, Department of Computer Science and Applied Math, Weizmann Institute of Science
Verified email at weizmann.ac.il - Homepage
Title
Cited by
Cited by
Year
The Art of Prolog: Advanced Programming Techniques
L Sterling, E Shapiro
MIT Press, 1987
33331987
Algorithmic Program Debugging
E Shapiro
ACM Distinguished Dissertation Series, 1982
1702*1982
An autonomous molecular computer for logical control of gene expression
Y Benenson, B Gil, U Ben-Dor, R Adar, E Shapiro
Nature 429 (6990), 423-429, 2004
9452004
Programmable and autonomous computing machine made of biomolecules
Y Benenson, T Paz-Elizur, R Adar, E Keinan, Z Livneh, E Shapiro
Nature 414 (6862), 430-434, 2001
8992001
Single-cell sequencing-based technologies will revolutionize whole-organism science
E Shapiro, T Biezuner, S Linnarsson
Nature Reviews Genetics 14 (9), 618-630, 2013
8532013
The family of concurrent logic programming languages
E Shapiro
ACM Computing Surveys (CSUR) 21 (3), 413-510, 1989
8001989
Science forum: the human cell atlas
A Regev, SA Teichmann, ES Lander, I Amit, C Benoist, E Birney, ...
Elife 6, e27041, 2017
7372017
A subset of Concurrent Prolog and its interpreter
E Shapiro
Concurrent Prolog: Collected Papers 1, 27-83, 1983
6771983
BioAmbients: an abstraction for biological compartments
A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro
Theoretical Computer Science 325 (1), 141-167, 2004
6002004
Representation and simulation of biochemical processes using the π-calculus process algebra
A Regev, W Silverman, E Shapiro
Pacific symposium on biocomputing 6, 459-470, 2001
5842001
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
C Priami, A Regev, E Shapiro, W Silverman
Information processing letters 80 (1), 25-31, 2001
5602001
Inductive inference of theories from facts
E Shapiro
Computational Logic: Essays in Honor of Alan Robinson (1991), 1981
3961981
Dekker encyclopedia of nanoscience and nanotechnology
JA Schwarz, CI Contescu, K Putyera
CRC press, 2004
3832004
Cellular abstractions: Cells as computation
A Regev, E Shapiro
Nature 419 (6905), 343-343, 2002
3752002
Object oriented programming in Concurrent Prolog
E Shapiro, A Takeuchi
New Generation Computing 1 (1), 25-48, 1983
3461983
Concurrent Prolog: A progress report
E Shapiro
Fundamentals of Artificial Intelligence, 277-313, 1986
3281986
DNA molecule provides a computing machine with both data and fuel
Y Benenson, R Adar, T Paz-Elizur, Z Livneh, E Shapiro
Proceedings of the National Academy of Sciences 100 (5), 2191-2196, 2003
2962003
Concurrent Prolog: Collected Papers
E Shapiro
The MIT Press, Cambridge, MA, 1987
2621987
Logic programs as types for logic programs
TW Frühwirth, E Shapiro, MY Vardi, E Yardeni
LICS 91, 300-309, 1991
2031991
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.
E Shapiro
Ijcai 83, 529-532, 1983
1951983
The system can't perform the operation now. Try again later.
Articles 1–20