Ehud Y. Shapiro

	2006
81		Ehud Y. Shapiro: Injecting Life with Computers. ILP 2006: 26
	2004
80		Ehud Y. Shapiro: Invited talk: injecting life with computers. PEPM 2004: 200
79		Ehud Y. Shapiro: Invited talk: injecting life with computers. PPDP 2004: 6
78		Ehud Y. Shapiro: Injecting Life with Computers. SAS 2004: 1
77		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
76		Amitai Regev, Ehud Y. Shapiro: Cells as Computation. CMSB 2003: 1-3
	2002
75		Ehud Y. Shapiro: Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems. WABI 2002: 418
	2001
74		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
73		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)
	1998
72		Bruria Haberman, Zahava Scherz, Ehud Y. Shapiro: Abstract data types as a project development organiser. ITiCSE 1998: 102-104
71		Noa Ragonis, Ehud Y. Shapiro, Mordechai Ben-Ari, Zahava Scherz: Development, implementation and evaluation of a course in expert systems for high-school students (poster). ITiCSE 1998: 300
	1995
70		Yael Moscowitz, Ehud Y. Shapiro: On the Structural Simplicity of Machines and Languages. Ann. Math. Artif. Intell. 15(3-4): 379-405 (1995)
	1994
69		Leon Sterling, Ehud Y. Shapiro: The Art of Prolog - Advanced Programming Techniques, 2nd Ed. MIT Press 1994
	1993
68		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
67		Ehud Y. Shapiro: Embeddings Among Concurrent Programming Languages (Preliminary Version). CONCUR 1992: 486-503
66		Yaron Goldberg, Marilyn Safran, Ehud Y. Shapiro: Active Mail - A Framework for Implementing Groupware. CSCW 1992: 75-83
65		Yaron Goldberg, William Silverman, Ehud Y. Shapiro: Logic Programs with Inheritance. FGCS 1992: 951-960
64		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
63		Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. Types in Logic Programming 1992: 63-90
62		Yosee Feldman, Ehud Y. Shapiro: Sparial Machines: A More Realistic Approach to Parallel Computation. Commun. ACM 35(10): 60-73 (1992)
	1991
61		Ehud Y. Shapiro: Inductive Inference of Theories from Facts. Computational Logic - Essays in Honor of Alan Robinson 1991: 199-254
60		Yael Moscowitz, Ehud Y. Shapiro: Lexical Logic Programs. ICLP 1991: 349-363
59		Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. ICLP 1991: 379-393
58		Yosee Feldman, Ehud Y. Shapiro: Temporal Debugging and its Visual Animation. ISLP 1991: 3-17
57		Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni: Logic Programs as Types for Logic Programs LICS 1991: 300-309
56		Ehud Y. Shapiro: Embeddings Among Concurrent Programming Languages (Abstract). PARLE (2) 1991: 58
55		Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro: Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. PODC 1991: 241-255
54		Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Y. Shapiro: Communication with Directed Logic Variables. POPL 1991: 221-232
53		Ehud Y. Shapiro: Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract) STOC 1991: 198-208
52		Eyal Yardeni, Ehud Y. Shapiro: A Type System for Logic Programs. J. Log. Program. 10(2): 125-153 (1991)
	1990
51		Leon Alkalaj, Tomás Lang, Ehud Y. Shapiro: FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. NACLP 1990: 321-339
50		Shmuel Kliger, Ehud Y. Shapiro: From Decision Trees to Decision Graphs. NACLP 1990: 97-116
49		Alon Kleinman, Yoram Moses, Ehud Y. Shapiro: Distributed Variable Server for Atomic Unification. PODC 1990: 59-74
48		Koichi Furukawa, Makoto Amamiya, Ehud Y. Shapiro, David H. D. Warren: Guest editors' preface. New Generation Comput. 7(2-3): 85-87 (1990)
47		Eyal Yardeni, Shmuel Kliger, Ehud Y. Shapiro: The languages FCP(: ) and FCP(: , ?). New Generation Comput. 7(2-3): 89-107 (1990)
	1989
46		Ehud Reches, Ehud Gudes, Ehud Y. Shapiro: A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog. FODO 1989: 304-319
45		Haim Gaifman, Ehud Y. Shapiro: Proof Theory and Semantics of Logic Programs LICS 1989: 50-62
44		Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro: Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. NACLP 1989: 553-569
43		Haim Gaifman, Ehud Y. Shapiro: Fully Abstract Compositional Semantics for Logic Programs. POPL 1989: 134-142
42		Ehud Y. Shapiro: The Family of Concurrent Logic Programming Languages. ACM Comput. Surv. 21(3): 413-510 (1989)
41		Ehud Y. Shapiro: Or-Parallel Prolog in Flat Concurrent Prolog. J. Log. Program. 6(3): 243-267 (1989)
40		Avshalom Houri, Ehud Y. Shapiro: A Sequential Abstract Machine for Flat Concurrent Prolog. J. Log. Program. 7(2): 85-123 (1989)
	1988
39		Leon Sterling, Ehud Y. Shapiro: Prolog - fortgeschrittene Programmiertechniken. Addison-Wesley 1988: I-XVIII, 1-468
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 Kliger, 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

Coauthor Index

1	Curtis Abbott	[28]
2	Leon Alkalaj	[36] [51]
3	Makoto Amamiya	[48]
4	Mordechai Ben-Ari	[71]
5	Daniel G. Bobrow	[28]
6	Luca Cardelli	[77]
7	Takashi Chikayama	[68]
8	Michael Codish	[23] [26] [30] [32] [33]
9	Shimon Edelman	[15]
10	Yosee Feldman	[58] [62]
11	Amos Fiat	[17]
12	Thom W. Frühwirth	[57] [59] [63]
13	Kazuhiro Fuchi	[68]
14	Koichi Furukawa	[48] [68]
15	Haim Gaifman	[43] [44] [45] [55]
16	John P. Gallagher	[30] [32]
17	Rob Gerth	[33]
18	Yaron Goldberg	[65] [66]
19	Ehud Gudes	[46]
20	Bruria Haberman	[72]
21	Lisa Hellerstein	[11] [20] [27]
22	Avshalom Houri	[40]
23	Kenneth M. Kahn	[28] [37] [68]
24	Alon Kleinman	[49] [54]
25	Shmuel Kliger	[35] [37] [47] [50]
26	Robert A. Kowalski	[68]
27	Tomás Lang	[51]
28	Yossi Lichtenstein	[31] [33] [34]
29	Michael J. Maher	[44] [55]
30	Oded Maler	[22]
31	Colin Mierowsky	[9] [12]
32	Mark S. Miller	[28]
33	Yael Moscowitz	[54] [60] [64] [70]
34	Yoram Moses	[49]
35	Ekaterina M. Panina	[77]
36	Amir Pnueli	[54]
37	Corrado Priami	[73]
38	Noa Ragonis	[71]
39	Ehud Reches	[46]
40	Amitai Regev	[76]
41	Aviv Regev	[73] [74] [77]
42	Shmuel Safra (Muli Safra)	[16] [19] [21] [27]
43	Marilyn Safran	[66]
44	Zahava Scherz	[22] [71] [72]
45	Adi Shamir	[17]
46	William Silverman	[65] [73] [74] [77]
47	Leon Sterling	[25] [39] [69]
48	Akikazu Takeuchi	[5]
49	Stephen Taylor	[27]
50	Evan Tick	[68]
51	Eric Dean Tribble	[28]
52	Kazunori Ueda	[68]
53	Moshe Y. Vardi	[57]
54	David H. D. Warren	[48] [68]
55	Eyal Yardeni	[37] [47] [52] [57] [59] [63]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page