팔로우
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
37791987
The human cell atlas
A Regev, SA Teichmann, ES Lander, I Amit, C Benoist, E Birney, ...
elife 6, e27041, 2017
22702017
Algorithmic Program Debugging
E Shapiro
ACM Distinguished Dissertation Series, 1982
18351982
Single-cell sequencing-based technologies will revolutionize whole-organism science
E Shapiro, T Biezuner, S Linnarsson
Nature Reviews Genetics 14 (9), 618-630, 2013
13332013
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
10792004
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
10402001
The family of concurrent logic programming languages
E Shapiro
ACM Computing Surveys (CSUR) 21 (3), 413-510, 1989
8681989
A subset of Concurrent Prolog and its interpreter
E Shapiro
Concurrent Prolog: Collected Papers 1, 27-83, 1983
7031983
BioAmbients: an abstraction for biological compartments
A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro
Theoretical Computer Science 325 (1), 141-167, 2004
6342004
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
6312001
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
5922001
Inductive inference of theories from facts
E Shapiro
Computational Logic: Essays in Honor of Alan Robinson (1991), 1981
4241981
Cellular abstractions: Cells as computation
A Regev, E Shapiro
Nature 419 (6905), 343-343, 2002
4002002
Object oriented programming in Concurrent Prolog
E Shapiro, A Takeuchi
New Generation Computing 1 (1), 25-48, 1983
3681983
Concurrent Prolog: A progress report
E Shapiro
Fundamentals of Artificial Intelligence: An Advanced Course, 277-313, 2005
3582005
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
3482003
Concurrent Prolog: Collected Papers
E Shapiro
The MIT Press, Cambridge, MA, 1987
2801987
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
2241991
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.
E Shapiro
Ijcai 83, 529-532, 1983
2101983
A type system for logic programs
E Yardeni, E Shapiro
The Journal of Logic Programming 10 (2), 125-153, 1991
2051991
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20