Prati
Ehud Shapiro
Ehud Shapiro
Professor, Department of Computer Science and Applied Math, Weizmann Institute of Science
Potvrđena adresa e-pošte na weizmann.ac.il - Početna stranica
Naslov
Citirano
Citirano
Godina
The Art of Prolog: Advanced Programming Techniques
L Sterling, E Shapiro
MIT Press, 1987
37611987
The human cell atlas
A Regev, SA Teichmann, ES Lander, I Amit, C Benoist, E Birney, ...
elife 6, e27041, 2017
22082017
Algorithmic Program Debugging
E Shapiro
ACM Distinguished Dissertation Series, 1982
18331982
Single-cell sequencing-based technologies will revolutionize whole-organism science
E Shapiro, T Biezuner, S Linnarsson
Nature Reviews Genetics 14 (9), 618-630, 2013
13182013
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
10372001
The family of concurrent logic programming languages
E Shapiro
ACM Computing Surveys (CSUR) 21 (3), 413-510, 1989
8661989
A subset of Concurrent Prolog and its interpreter
E Shapiro
Concurrent Prolog: Collected Papers 1, 27-83, 1983
7021983
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
6292001
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
5882001
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
3992002
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
3472003
Concurrent Prolog: Collected Papers
E Shapiro
The MIT Press, Cambridge, MA, 1987
2791987
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
2231991
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.
E Shapiro
Ijcai 83, 529-532, 1983
2091983
A type system for logic programs
E Yardeni, E Shapiro
The Journal of Logic Programming 10 (2), 125-153, 1991
2051991
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20