The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ehud Y. Shapiro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  73. Abstract data types as a project development organiser. [Citation Graph (, )][DBLP]


  74. Development, implementation and evaluation of a course in expert systems for high-school students (poster). [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002