关注
Ehud Shapiro
Ehud Shapiro
Professor, Department of Computer Science and Applied Math, Weizmann Institute of Science
在 weizmann.ac.il 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
The Art of Prolog: Advanced Programming Techniques
L Sterling, E Shapiro
MIT Press, 1987
37471987
The human cell atlas
A Regev, SA Teichmann, ES Lander, I Amit, C Benoist, E Birney, ...
elife 6, e27041, 2017
20932017
Algorithmic Program Debugging
E Shapiro
ACM Distinguished Dissertation Series, 1982
18281982
Single-cell sequencing-based technologies will revolutionize whole-organism science
E Shapiro, T Biezuner, S Linnarsson
Nature Reviews Genetics 14 (9), 618-630, 2013
12892013
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
10692004
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
10182001
The family of concurrent logic programming languages
E Shapiro
ACM Computing Surveys (CSUR) 21 (3), 413-510, 1989
8671989
A subset of Concurrent Prolog and its interpreter
E Shapiro
Concurrent Prolog: Collected Papers 1, 27-83, 1983
6991983
BioAmbients: an abstraction for biological compartments
A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro
Theoretical Computer Science 325 (1), 141-167, 2004
6312004
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
6282001
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
5902001
Inductive inference of theories from facts
E Shapiro
Computational Logic: Essays in Honor of Alan Robinson (1991), 1981
4221981
Cellular abstractions: Cells as computation
A Regev, E Shapiro
Nature 419 (6905), 343-343, 2002
3982002
Object oriented programming in Concurrent Prolog
E Shapiro, A Takeuchi
New Generation Computing 1 (1), 25-48, 1983
3661983
Concurrent Prolog: A progress report
E Shapiro
Fundamentals of Artificial Intelligence: An Advanced Course, 277-313, 2005
3552005
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
3402003
Concurrent Prolog: Collected Papers
E Shapiro
The MIT Press, Cambridge, MA, 1987
2821987
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
2201991
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.
E Shapiro
Ijcai 83, 529-532, 1983
2131983
A type system for logic programs
E Yardeni, E Shapiro
The Journal of Logic Programming 10 (2), 125-153, 1991
2061991
系统目前无法执行此操作,请稍后再试。
文章 1–20