dblp.uni-trier.dewww.uni-trier.de

Ehud Y. Shapiro Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2006
76EEEhud Y. Shapiro: Injecting Life with Computers. ILP 2006: 26
2004
75EEEhud Y. Shapiro: Invited talk: injecting life with computers. PEPM 2004: 200
74EEEhud Y. Shapiro: Invited talk: injecting life with computers. PPDP 2004: 6
73EEEhud Y. Shapiro: Injecting Life with Computers. SAS 2004: 1
72EEAviv 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
71EEAmitai Regev, Ehud Y. Shapiro: Cells as Computation. CMSB 2003: 1-3
2002
70EEEhud Y. Shapiro: Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems. WABI 2002: 418
2001
69EEAviv 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
68EECorrado 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
64EEEhud Y. Shapiro: Embeddings Among Concurrent Programming Languages (Preliminary Version). CONCUR 1992: 486-503
63EEYaron 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
53EEEhud 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
46EEAlon 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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)