The Art of Prolog: Advanced Programming Techniques L Sterling, E Shapiro MIT Press, 1987 | 3747 | 1987 |
The human cell atlas A Regev, SA Teichmann, ES Lander, I Amit, C Benoist, E Birney, ... elife 6, e27041, 2017 | 2093 | 2017 |
Algorithmic Program Debugging E Shapiro ACM Distinguished Dissertation Series, 1982 | 1828 | 1982 |
Single-cell sequencing-based technologies will revolutionize whole-organism science E Shapiro, T Biezuner, S Linnarsson Nature Reviews Genetics 14 (9), 618-630, 2013 | 1289 | 2013 |
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 | 1069 | 2004 |
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 | 1018 | 2001 |
The family of concurrent logic programming languages E Shapiro ACM Computing Surveys (CSUR) 21 (3), 413-510, 1989 | 867 | 1989 |
A subset of Concurrent Prolog and its interpreter E Shapiro Concurrent Prolog: Collected Papers 1, 27-83, 1983 | 699 | 1983 |
BioAmbients: an abstraction for biological compartments A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro Theoretical Computer Science 325 (1), 141-167, 2004 | 631 | 2004 |
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 | 628 | 2001 |
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 | 590 | 2001 |
Inductive inference of theories from facts E Shapiro Computational Logic: Essays in Honor of Alan Robinson (1991), 1981 | 422 | 1981 |
Cellular abstractions: Cells as computation A Regev, E Shapiro Nature 419 (6905), 343-343, 2002 | 398 | 2002 |
Object oriented programming in Concurrent Prolog E Shapiro, A Takeuchi New Generation Computing 1 (1), 25-48, 1983 | 366 | 1983 |
Concurrent Prolog: A progress report E Shapiro Fundamentals of Artificial Intelligence: An Advanced Course, 277-313, 2005 | 355 | 2005 |
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 | 340 | 2003 |
Concurrent Prolog: Collected Papers E Shapiro The MIT Press, Cambridge, MA, 1987 | 282 | 1987 |
Logic programs as types for logic programs T Fruhwirth, E Shapiro, MY Vardi, E Yardeni Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991 | 220 | 1991 |
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems. E Shapiro Ijcai 83, 529-532, 1983 | 213 | 1983 |
A type system for logic programs E Yardeni, E Shapiro The Journal of Logic Programming 10 (2), 125-153, 1991 | 206 | 1991 |