| 2006 |
|---|
| 76 | EE | Ehud Y. Shapiro:
Injecting Life with Computers.
ILP 2006: 26 |
| 2004 |
|---|
| 75 | EE | Ehud Y. Shapiro:
Invited talk: injecting life with computers.
PEPM 2004: 200 |
| 74 | EE | Ehud Y. Shapiro:
Invited talk: injecting life with computers.
PPDP 2004: 6 |
| 73 | EE | Ehud Y. Shapiro:
Injecting Life with Computers.
SAS 2004: 1 |
| 72 | EE | Aviv Regev,
Ekaterina M. Panina,
William Silverman,
Luca Cardelli,
Ehud Y. Shapiro:
BioAmbients: an abstraction for biological compartments.
Theor. Comput. Sci. 325(1): 141-167 (2004) |
| 2003 |
|---|
| 71 | EE | Amitai Regev,
Ehud Y. Shapiro:
Cells as Computation.
CMSB 2003: 1-3 |
| 2002 |
|---|
| 70 | EE | Ehud Y. Shapiro:
Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems.
WABI 2002: 418 |
| 2001 |
|---|
| 69 | EE | Aviv Regev,
William Silverman,
Ehud Y. Shapiro:
Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra.
Pacific Symposium on Biocomputing 2001: 459-470 |
| 68 | EE | Corrado Priami,
Aviv Regev,
Ehud Y. Shapiro,
William Silverman:
Application of a stochastic name-passing calculus to representation and simulation of molecular processes.
Inf. Process. Lett. 80(1): 25-31 (2001) |
| 1995 |
|---|
| 67 | | Yael Moscowitz,
Ehud Y. Shapiro:
On the Structural Simplicity of Machines and Languages.
Ann. Math. Artif. Intell. 15(3-4): 379-405 (1995) |
| 1994 |
|---|
| 66 | | Leon Sterling,
Ehud Y. Shapiro:
The Art of Prolog - Advanced Programming Techniques, 2nd Ed.
MIT Press 1994 |
| 1993 |
|---|
| 65 | | Ehud Y. Shapiro,
David H. D. Warren,
Kazuhiro Fuchi,
Robert A. Kowalski,
Koichi Furukawa,
Kazunori Ueda,
Kenneth M. Kahn,
Takashi Chikayama,
Evan Tick:
The Fifth Generation Project: Personal Perspectives.
Commun. ACM 36(3): 46-103 (1993) |
| 1992 |
|---|
| 64 | | Ehud Y. Shapiro:
Embeddings Among Concurrent Programming Languages (Preliminary Version).
CONCUR 1992: 486-503 |
| 63 | EE | Yaron Goldberg,
Marilyn Safran,
Ehud Y. Shapiro:
Active Mail - A Framework for Implementing Groupware.
CSCW 1992: 75-83 |
| 62 | | Yaron Goldberg,
William Silverman,
Ehud Y. Shapiro:
Logic Programs with Inheritance.
FGCS 1992: 951-960 |
| 61 | | Yael Moscowitz,
Ehud Y. Shapiro:
On the Structural Simplicity of Machines and Languages.
Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 103-120 |
| 60 | | Eyal Yardeni,
Thom W. Frühwirth,
Ehud Y. Shapiro:
Polymorphically Typed Logic Programs.
Types in Logic Programming 1992: 63-90 |
| 59 | | Yosee Feldman,
Ehud Y. Shapiro:
Sparial Machines: A More Realistic Approach to Parallel Computation.
Commun. ACM 35(10): 60-73 (1992) |
| 1991 |
|---|
| 58 | | Ehud Y. Shapiro:
Inductive Inference of Theories from Facts.
Computational Logic - Essays in Honor of Alan Robinson 1991: 199-254 |
| 57 | | Yael Moscowitz,
Ehud Y. Shapiro:
Lexical Logic Programs.
ICLP 1991: 349-363 |
| 56 | | Eyal Yardeni,
Thom W. Frühwirth,
Ehud Y. Shapiro:
Polymorphically Typed Logic Programs.
ICLP 1991: 379-393 |
| 55 | | Yosee Feldman,
Ehud Y. Shapiro:
Temporal Debugging and its Visual Animation.
ISLP 1991: 3-17 |
| 54 | | Thom W. Frühwirth,
Ehud Y. Shapiro,
Moshe Y. Vardi,
Eyal Yardeni:
Logic Programs as Types for Logic Programs
LICS 1991: 300-309 |
| 53 | | Ehud Y. Shapiro:
Embeddings Among Concurrent Programming Languages (Abstract).
PARLE (2) 1991: 58 |
| 52 | | Haim Gaifman,
Michael J. Maher,
Ehud Y. Shapiro:
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
PODC 1991: 241-255 |
| 51 | | Alon Kleinman,
Yael Moscowitz,
Amir Pnueli,
Ehud Y. Shapiro:
Communication with Directed Logic Variables.
POPL 1991: 221-232 |
| 50 | | Ehud Y. Shapiro:
Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract)
STOC 1991: 198-208 |
| 49 | | Eyal Yardeni,
Ehud Y. Shapiro:
A Type System for Logic Programs.
J. Log. Program. 10(1/2/3&4): 125-153 (1991) |
| 1990 |
|---|
| 48 | | Leon Alkalaj,
Tomás Lang,
Ehud Y. Shapiro:
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload.
NACLP 1990: 321-339 |
| 47 | | Shmuel Kliger,
Ehud Y. Shapiro:
From Decision Trees to Decision Graphs.
NACLP 1990: 97-116 |
| 46 | EE | Alon Kleinman,
Yoram Moses,
Ehud Y. Shapiro:
Distributed Variable Server for Atomic Unification.
PODC 1990: 59-74 |
| 1989 |
|---|
| 45 | | Ehud Reches,
Ehud Gudes,
Ehud Y. Shapiro:
A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog.
FODO 1989: 304-319 |
| 44 | | Haim Gaifman,
Ehud Y. Shapiro:
Proof Theory and Semantics of Logic Programs
LICS 1989: 50-62 |
| 43 | | Haim Gaifman,
Michael J. Maher,
Ehud Y. Shapiro:
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.
NACLP 1989: 553-569 |
| 42 | | Haim Gaifman,
Ehud Y. Shapiro:
Fully Abstract Compositional Semantics for Logic Programs.
POPL 1989: 134-142 |
| 41 | | Ehud Y. Shapiro:
The Family of Concurrent Logic Programming Languages.
ACM Comput. Surv. 21(3): 413-510 (1989) |
| 40 | | Ehud Y. Shapiro:
Or-Parallel Prolog in Flat Concurrent Prolog.
J. Log. Program. 6(3): 243-267 (1989) |
| 39 | | Avshalom Houri,
Ehud Y. Shapiro:
A Sequential Abstract Machine for Flat Concurrent Prolog.
J. Log. Program. 7(2): 85-123 (1989) |
| 1988 |
|---|
| 38 | | Ehud Y. Shapiro:
The Panel on Theory and Practice of Concurrent Systems.
FGCS 1988: 152-153 |
| 37 | | Shmuel Kliger,
Eyal Yardeni,
Kenneth M. Kahn,
Ehud Y. Shapiro:
The Language FCP(: , ?).
FGCS 1988: 763-773 |
| 36 | | Leon Alkalaj,
Ehud Y. Shapiro:
An Architectural Model for a Flat Concurrent Prolog Processor.
ICLP/SLP 1988: 1277-1297 |
| 35 | | Shmuel Klinger,
Ehud Y. Shapiro:
A Decision Tree Compilation Algorithm for FCP(!, : , ?).
ICLP/SLP 1988: 1315-1336 |
| 34 | | Yossi Lichtenstein,
Ehud Y. Shapiro:
Abstract Algorithmic Debugging.
ICLP/SLP 1988: 512-531 |
| 33 | | Rob Gerth,
Michael Codish,
Yossi Lichtenstein,
Ehud Y. Shapiro:
Fully Abstract Denotational Semantics for Flat Concurrent Prolog
LICS 1988: 320-335 |
| 32 | | Michael Codish,
John P. Gallagher,
Ehud Y. Shapiro:
Using Safe Approximations of Fixed Points for Analysis of Logic Programs.
META 1988: 233-261 |
| 31 | | Yossi Lichtenstein,
Ehud Y. Shapiro:
Concurrent Algorithmic Debugging.
Workshop on Parallel and Distributed Debugging 1988: 248-260 |
| 30 | | John P. Gallagher,
Michael Codish,
Ehud Y. Shapiro:
Specialisation of Prolog and FCP Programs Using Abstract Interpretation.
New Generation Comput. 6(2&3): 159-186 (1988) |
| 1987 |
|---|
| 29 | | Ehud Y. Shapiro:
An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation.
ICLP 1987: 311-337 |
| 28 | | Eric Dean Tribble,
Mark S. Miller,
Kenneth M. Kahn,
Daniel G. Bobrow,
Curtis Abbott,
Ehud Y. Shapiro:
Channels: A Generalization of Streams.
ICLP 1987: 839-857 |
| 27 | | Stephen Taylor,
Lisa Hellerstein,
Shmuel Safra,
Ehud Y. Shapiro:
Notes on the Complexity of Systolic Programs.
J. Parallel Distrib. Comput. 4(3): 250-265 (1987) |
| 26 | | Michael Codish,
Ehud Y. Shapiro:
Compiling OR-parallelism into AND-parallelism.
New Generation Comput. 5(1): 45-61 (1987) |
| 1986 |
|---|
| 25 | | Leon Sterling,
Ehud Y. Shapiro:
The Art of Prolog - Advanced Programming Techniques
MIT Press 1986 |
| 24 | | Ehud Y. Shapiro:
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings
Springer 1986 |
| 23 | | Michael Codish,
Ehud Y. Shapiro:
Compiling OR-parallelism into AND-parallelism.
ICLP 1986: 283-297 |
| 22 | | Oded Maler,
Zahava Scherz,
Ehud Y. Shapiro:
A New Approach for Intruducing Prolog to Naive Users.
ICLP 1986: 544-551 |
| 21 | | Shmuel Safra,
Ehud Y. Shapiro:
Meta Interpreters For Real (Invited Paper).
IFIP Congress 1986: 271-278 |
| 20 | | Lisa Hellerstein,
Ehud Y. Shapiro:
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience.
J. Log. Program. 3(2): 157-184 (1986) |
| 19 | | Ehud Y. Shapiro,
Shmuel Safra:
Multiway Merge with Constant Delay in Concurrent Prolog.
New Generation Comput. 4(2): 211-216 (1986) |
| 1985 |
|---|
| 18 | | Ehud Y. Shapiro:
Concurrent Prolog: A Progress Report.
Advanced Course: Fundamentals of Artificial Intelligence 1985: 277-313 |
| 17 | | Amos Fiat,
Adi Shamir,
Ehud Y. Shapiro:
Polymorphic Arrays: An Architecture for a Programmable Systolic Machine.
ICPP 1985: 112-117 |
| 16 | | Ehud Y. Shapiro,
Shmuel Safra:
Fast Multiway Merge Using Destructive Operation.
ICPP 1985: 118-122 |
| 15 | | Shimon Edelman,
Ehud Y. Shapiro:
Quadtrees in Concurrent PROLOG.
ICPP 1985: 544-551 |
| 1984 |
|---|
| 14 | | Ehud Y. Shapiro:
Systolic Programming: A Paradigm of Parallel Processing.
FGCS 1984: 458-470 |
| 13 | | Ehud Y. Shapiro:
Systems Programming in Concurrent Prolog.
POPL 1984: 93-105 |
| 12 | | Ehud Y. Shapiro,
Colin Mierowsky:
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.
SLP 1984: 83-90 |
| 11 | | Lisa Hellerstein,
Ehud Y. Shapiro:
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience.
SLP 1984: 99-115 |
| 10 | | Ehud Y. Shapiro:
Alternation and the Computational Complexity of Logic Programs.
J. Log. Program. 1(1): 19-33 (1984) |
| 9 | | Ehud Y. Shapiro,
Colin Mierowsky:
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.
New Generation Comput. 2(3): 221-240 (1984) |
| 8 | | Ehud Y. Shapiro:
Guest Editor's Preface.
New Generation Comput. 2(4): 305-308 (1984) |
| 1983 |
|---|
| 7 | | Ehud Y. Shapiro:
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.
IJCAI 1983: 529-532 |
| 6 | | Ehud Y. Shapiro:
The Fifth Generation Project - Trip Report.
Commun. ACM 26(9): 637-641 (1983) |
| 5 | | Ehud Y. Shapiro,
Akikazu Takeuchi:
Object Oriented Programming in Concurrent Prolog.
New Generation Comput. 1(1): 25-48 (1983) |
| 1982 |
|---|
| 4 | | Ehud Y. Shapiro:
Alternation and the Computational Complexity of Logic Programs.
ICLP 1982: 154-163 |
| 3 | | Ehud Y. Shapiro:
Algorithmic Program Diagnosis.
POPL 1982: 299-308 |
| 1981 |
|---|
| 2 | | Ehud Y. Shapiro:
The Model Inference System.
IJCAI 1981: 1064 |
| 1 | | Ehud Y. Shapiro:
An Algorithm that Infers Theories from Facts.
IJCAI 1981: 446-451 |
