Följ
Ehud Shapiro
Ehud Shapiro
Professor, Department of Computer Science and Applied Math, Weizmann Institute of Science
Verifierad e-postadress på weizmann.ac.il - Startsida
Titel
Citeras av
Citeras av
År
The Art of Prolog: Advanced Programming Techniques
L Sterling, E Shapiro
MIT Press, 1987
37951987
The human cell atlas
A Regev, SA Teichmann, ES Lander, I Amit, C Benoist, E Birney, ...
elife 6, e27041, 2017
23662017
Algorithmic Program Debugging
E Shapiro
ACM Distinguished Dissertation Series, 1982
18411982
Single-cell sequencing-based technologies will revolutionize whole-organism science
E Shapiro, T Biezuner, S Linnarsson
Nature Reviews Genetics 14 (9), 618-630, 2013
13562013
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
10932004
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
10462001
The family of concurrent logic programming languages
E Shapiro
ACM Computing Surveys (CSUR) 21 (3), 413-510, 1989
8761989
A subset of Concurrent Prolog and its interpreter
E Shapiro
Concurrent Prolog: Collected Papers 1, 27-83, 1983
7071983
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
6422001
BioAmbients: an abstraction for biological compartments
A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro
Theoretical Computer Science 325 (1), 141-167, 2004
6392004
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
5972001
Inductive inference of theories from facts
E Shapiro
Computational Logic: Essays in Honor of Alan Robinson (1991), 1981
4351981
Cellular abstractions: Cells as computation
A Regev, E Shapiro
Nature 419 (6905), 343-343, 2002
4062002
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
3622005
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
3512003
Concurrent Prolog: Collected Papers
E Shapiro
The MIT Press, Cambridge, MA, 1987
2861987
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
2271991
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.
E Shapiro
Ijcai 83, 529-532, 1983
2161983
A type system for logic programs
E Yardeni, E Shapiro
The Journal of Logic Programming 10 (2), 125-153, 1991
2071991
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20