Publications

180.
Poupko O., Shahaf G., Shapiro E. & Talmon N. 2021. Building a Sybil-Resilient Digital Community Utilizing Trust-Graph Connectivity IEEE/ACM Transactions on Networking. 2021 Jun , :1-13.
179.
Biezuner T., Raz O., Amir S., Milo L., Adar R., Fried Y., Ainbinder E. & Shapiro E. 2021. Comparison of seven single cell whole genome amplification commercial kits using targeted sequencing Scientific Reports. 2021 Aug , (1).
178.
177.
Shahaf G., Shapiro E. & Talmon N. 2019. Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Formation arXiv. 2019 Apr , .
176.
Poupko O., Shahaf G., Shapiro E. & Talmon N. 2019. Sybil-Resilient Conductance-Based Community Growth . 2019 May , :359-371.
175.
Raz O., Biezuner T., Spiro A., Amir S., Milo L., Titelman A., Onn A., Chapal-Ilani N., Tao L., Marx T., Feige U. & Shapiro E. 2019. Short tandem repeat stutter model inferred from direct measurement of in vitro stutter noise Nucleic Acids Research. 2019 Jan , 47 (5):2436-2445.
174.
Shapiro E. 2018. point:: Foundations of Internet-enabled Democracy Communications of the ACM. 2018 Aug , 61 (8):31-34.
173.
Tao L., Raz O., Marx Z., Biezuner T., Amir S., Milo L., Adar R., Onn A., Chapal-Ilani N., Berman V., Levy R., Oron B., Halaban R. & Shapiro E. 2018. A biological-computational human cell lineage discovery platform based on duplex molecular inversion probes BioRxiv. 2018 Mar , .
172.
Shahaf G., Shapiro E. & Talmon N. 2018. Sybil-Resilient Reality-Aware Social Choice arXiv. 2018 Jul , .
171.
Shapiro E. 2018. Global Cryptodemocracy Is Possible and Desirable . 2018 Sept , :343-351.
170.
Shapiro E. & Talmon N. 2018. Incorporating Reality into Social Choice . 2018 , :1188-1192.
169.
168.
Regev A., Teichmann S. A., Lander E. S., Amt I., Benoist C., Birney E., Bodenmiller B., Campbell P., Carninci P., Clatworthy M., Clevers H., Deplancke B., Dunham I., Eberwine J., Elis R., Enard W., Farmer A., Fugger L., Gottgens B., Hacohen N., Haniffa M., Hemberg M., Kim S., Klenerman P., Kriegstein A., Lein E. D., Linnarsson S., Lundberg E., Lundeberg J., Majumder P., Marioni J. C., Merad M., Mhlanga M., Nawijin M., Netea M., Nolan G., Pe'er D., Phillipakis A., Ponting C. P., Quake S., Reik W., Rozenblatt-Rosen O., Sanes J., Satija R., Schumacher T. N., Shalek A., Shapiro E., Sharma P., Shin J. W., Stegle O. & 2017. Science Forum: The Human Cell Atlas eLife. 2017 Dec , 6 .
167.
Shapiro E. & Talmon N. 2017. A Participatory Democratic Budgeting Algorithm arXiv. 2017 Sept , .
166.
Spiro A. & Shapiro E. 2016. eSTGt: a programming and simulation environment for population dynamics BMC Bioinformatics. 2016 Apr , 17 .
165.
Ben-Yehezkel T., Rival A., Raz O., Cohen R., Marx Z., Camara M., Dubern J., Koch B., Heeb S., Krasnogor N., Delattre C. & Shapiro E. 2016. Synthesis And Cell-Free Cloning Of Dna Libraries Using Programmable Microfluidics Nucleic Acids Research. 2016 Feb , 44 (4).
164.
Biezuner T., Spiro A., Raz O., Amir S., Milo L., Adar R., Chapal Ilani I. N., Berman V., Fried Y., Ainbinder E., Cohen G., Barr H. M., Halaban R. & Shapiro E. 2016. A generic, cost-effective, and scalable cell lineage analysis platform Genome Research. 2016 Aug , 26 (11):1588-1599.
163.
Spiro A. & Shapiro E. 2016. Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and Quantity. PLoS Computational Biology. 2016 Jun , 12 (6).
162.
Ben-Yehezkel T., Atar S., Zur H., Diament A., Goz E., Marx T., Cohen R., Dana A., Feldman A., Shapiro E. & Tuller T. 2015. Rationally designed, heterologous S. cerevisiae transcripts expose novel expression determinants RNA Biology. 2015 Sept , 12 (9):972-984.
161.
Spiro A., Cardelli L. & Shapiro E. 2014. Lineage grammars: describing, simulating and analyzing population dynamics BMC Bioinformatics. 2014 Jul , 15 .
160.
Blakes J., Raz O., Feige U., Bacardit J., Widera P., Ben-Yehezkel T., Shapiro E. & Krasnogor N. 2014. Heuristic for Maximizing DNA Reuse in Synthetic DNA Library Assembly ACS Synthetic Biology. 2014 Aug , 3 (8):529-542.
159.
Yofe I., Zafrir Z., Blau R., Schuldiner M., Tuller T., Shapiro E. & Ben-Yehezkel T. 2014. Accurate, Model-Based Tuning of Synthetic Gene Expression Using Introns in S. cerevisiae PLoS Genetics. 2014 Jun , 10 (6).
158.
Shouval R., Shlush L. I., Yehudai-Resheff S., Ali S., Pery N., Shapiro E., Tzukerman M., Rowe J. M. & Zuckerman T. 2014. Single cell analysis exposes intratumor heterogeneity and suggests that FLT3-ITD is a late event in leukemogenesis Experimental Hematology. 2014 Jun , 42 (6):457-463.
157.
156.
J Blakes, O Raz, U Feige, J Bacardit, P Widera, T Ben-Yehezkel, E Shapiro, N Krasnogor 2014. A heuristic for maximizing DNA reuse in synthetic DNA library assembly, ACS synthetic biology. 2014 , :2161-5063.
155.
Shapiro E., Biezuner T. & Linnarsson S. 2013. Single-cell sequencing-based technologies will revolutionize whole-organism science Nature Reviews Genetics. 2013 Jul , 14 (9):618-630.
154.
Vazana Y., Barak Y., Unger T., Peleg Y., Shamshoum M., Ben-Yehezkel T., Mazor Y., Shapiro E., Lamed R. & Bayer E. 2013. A synthetic biology approach for evaluating the functional contribution of designer cellulosome components to deconstruction of cellulosic substrates Biotechnology for Biofuels. 2013 Dec , 6 .
153.
Blakes J., Raz O., Krasnogor N. & Shapiro E. 2013. A new algorithm for combinatorial dna library assembly . 2013 , .
152.
Shapiro E. & Ran T. 2013. DNA computing Molecules reach consensus Nature Nanotechnology. 2013 Oct , 8 (10):703-705.
151.
Kahan-Hanum M., Douek Y., Adar R. & Shapiro E. 2013. A library of programmable DNAzymes that operate in a cellular environment Scientific Reports. 2013 Mar , 3 .
150.
Ben-Yehezkel T., Zur H., Marx T., Shapiro E. & Tuller T. 2013. Mapping the translation initiation landscape of an S-cerevisiae gene using fluorescent proteins Genomics. 2013 Oct , 102 (4):419-429.
149.
Chapal Ilani I. N., Maruvka Y. E., Spiro A., Reizel Y., Adar R., Shlush L. I. & Shapiro E. 2013. Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite Mutations PLoS Computational Biology. 2013 Nov , 9 (11).
148.
Golan Mashiach M. M., Grunspan M., Emmanuel R., Gibbs-Bar L., Dikstein R. & Shapiro E. 2012. Identification of CTCF as a master regulator of the clustered protocadherin genes Nucleic Acids Research. 2012 Apr , 40 (8):3378-3391.
147.
Shapiro E. 2012. A mechanical Turing machine: blueprint for a biomolecular computer Interface Focus. 2012 Mar , 2 (4):497-503.
146.
Shlush L. I., Chapal Ilani I. N., Adar R., Pery N., Maruvka Y., Spiro A., Shouval R., Rowe J. M., Tzukerman M., Bercovich D., Izraeli S., Marcucci G., Bloomfield C. D., Zuckerman T., Skorecki K. & Shapiro E. 2012. Cell lineage analysis of acute leukemia relapse uncovers the role of replication-rate heterogeneity and microsatellite instability Blood. 2012 Jul , 120 (3):603-612.
145.
Ben Yehezkel T., Biezuner T., Linshiz G., Mazor Y. & Shapiro E. 2012. Correction: Programmable In Vivo Selection of Arbitrary DNA Sequences PLoS ONE. 2012 Nov , 7 (11).
144.
Linshiz G., Yehezkel T. B. & Shapiro E. 2012. Recursive construction of perfect DNA molecules and libraries from imperfect oligonucleotides . 2012 Jan , :151-163.
143.
Ben-Yehezkel T., Biezuner T., Linshiz G., Mazor Y. & Shapiro E. 2012. Programmable In Vivo Selection of Arbitrary DNA Sequences PLoS ONE. 2012 Nov , 7 (11).
142.
Reizel Y., Itzkovitz S., Adar R., Elbaz J., Jinich A., Chapal Ilani I. N., Maruvka Y. E., Nevo N., Marx Z., Horovitz I., Wasserstrom A., Mayo A., Shur I., Benayahu D., Skorecki K., Segal E., Dekel N. & Shapiro E. 2012. Cell Lineage Analysis of the Mammalian Female Germline PLoS Genetics. 2012 Feb , 8 (2).
141.
Ran T., Douek Y., Milo L. & Shapiro E. 2012. A programmable NOR-based device for transcription profile analysis Scientific Reports. 2012 Sept , 2 .
140.
Reizel Y., Chapal Ilani I. N., Adar R., Itzkovitz S., Elbaz J., Maruvka Y. E., Segev E., Shlush L. I., Dekel N. & Shapiro E. 2011. Colon Stem Cell and Crypt Dynamics Exposed by Cell Lineage Reconstruction PLoS Genetics. 2011 Jul , 7 (7).
139.
Segev E., Shefer G., Adar R., Chapal Ilani I. N., Itzkovitz S., Horovitz I., Reizel Y., Benayahu D. & Shapiro E. 2011. Muscle-Bound Primordial Stem Cells Give Rise to Myofiber-Associated Myogenic and Non-Myogenic Progenitors PLoS ONE. 2011 Oct , 6 (10).
138.
Ben-Yehezkel T., Linshiz G., Kaplan S., Gronau I., Ravid S., Adar R. & Shapiro E. 2011. Recursive Construction and Error Correction of DNA Molecules and Libraries from Synthetic and Natural DNA . 2011 , :207-245.
137.
Ben-Yehezkel T., Nagar S., Mackranrs D., Marx Z., Linshiz G., Shabi U. & Shapiro E. 2011. Computer-aided high-throughput cloning of bacteria in liquid medium BioTechniques. 2011 Feb , 50 (2):124-127.
136.
Gil B., Kahan-Hanum M., Skirtenko N., Adar R. & Shapiro E. 2011. Detection of Multiple Disease Indicators by an Autonomous Biomolecular Computer Nano Letters. 2011 Jul , 11 (7):2989-2996.
135.
Shabi U., Kaplan S., Linshiz G., BenYehezkel T., Buaron H., Mazor Y. & Shapiro E. 2010. Processing DNA molecules as text Systems and Synthetic Biology. 2010 Jun , 4 (3):227-236.
134.
Ran T., Kaplan S. & Shapiro E. 2009. Molecular implementation of simple logic programs Nature Nanotechnology. 2009 Oct , 4 :642-648.
133.
Itzkovitz S., Baruch L., Shapiro E. & Segal E. 2008. Geometric constraints on neuronal connectivity facilitate a concise synaptic adhesive code Proceedings of the National Academy of Sciences of the United States of America. 2008 Jul , 105 (27):9278-9283.
132.
Baruch L., Itzkovitz S., Golan Mashiach M. M., Shapiro E. & Segal E. 2008. Using Expression Profiles of Caenorhabditis elegans Neurons To Identify Genes That Mediate Synaptic Connectivity PLoS Computational Biology. 2008 Jul , 4 (7).
131.
Wasserstrom A., Adar R., Shefer G., Frumkin D., Itzkovitz S., Stern T., Shur I., Zangi L., Kaplan S., Harmelin A., Reisner Y., Benayahu D., Tzahor E., Segal E. & Shapiro E. 2008. Reconstruction of Cell Lineage Trees in Mice PLoS ONE. 2008 Apr , 3 (4).
130.
Frumkin D., Wasserstrom A., Itzkovitz S., Stern T., Harmelin A., Eilam R., Rechavi G. & Shapiro E. 2008. Cell lineage analysis of a mouse tumor Cancer Research. 2008 Jul , 68 (14):5924-5931.
129.
Wasserstrom A., Frumkin D., Adar R., Itzkovitz S., Stern T., Kaplan S., Shefer G., Shur I., Zangi L., Reizel Y., Harmelin A., Dor Y., Dekel N., Reisner Y., Benayahu D., Tzahor E., Segal E. & Shapiro E. 2008. Estimating cell depth from somatic mutations PLoS Computational Biology. 2008 May , 4 (5).
128.
Kahan M., Gil B., Adar R. & Shapiro E. 2008. Towards molecular computers that operate in a biological environment Physica D-Nonlinear Phenomena. 2008 Jul , 237 (9):1165-1172.
127.
Frumkin D., Wasserstrom A., Itzkovitz S., Harmelin A., Rechavi G. & Shapiro E. 2008. Amplification of multiple genomic loci from single cells isolated by laser micro-dissection of tissues BMC Biotechnology. 2008 Feb , 8 .
126.
Ben-Yehezkel T., Linshiz G., Buaron H., Kaplan S., Shabi U. & Shapiro E. 2008. De novo DNA synthesis using single molecule PCR Nucleic Acids Research. 2008 Oct , 36 (17).
125.
Linshiz G., Ben-Yehezkel T., Kaplan S., Gronau I., Ravid S., Adar R. & Shapiro E. 2008. Recursive construction of perfect DNA molecules from imperfect oligonucleotides Molecular Systems Biology. 2008 May , 4 .
124.
Shapiro E. & Gil B. 2008. RNA computing in a living cell Science. 2008 Oct , 322 (5900):387-388.
123.
Kaplan S., Itzkovitz S. & Shapiro E. 2007. A universal mechanism ties genotype to phenotype in trinucleotide diseases PLoS Computational Biology. 2007 Nov , 3 (11):2291-2298.
122.
Shapiro E. & Gil B. 2007. Biotechnology - Logic goes in vitro Nature Nanotechnology. 2007 Feb , 2 :84-85.
121.
Shapiro E. & Benenson Y. 2006. Molekularny komputer lekarzem komórek Świat Nauki. 2006 , (6):50-57.
120.
Shapiro E. & Benenson Y. 2006. Computadores de ADN Investigación y ciencia. 2006 , 358 :14-21.
119.
Shapiro E., Adar R., Ben-Yehezkel T., Gil B. (., Golan Mashiach M., Frumkin D., Kaplan S., Linshiz G., Wasserstrom A., Admanit Y., Kahan M. & Shomron O. 2006. Laboratory for Biomolecular Computers Life Science Open Day. 2006 , .
118.
Shapiro E. & Benenson Y. 2006. Bringing DNA computers to life Scientific American. 2006 Sept , 17 (3s):44-51.
117.
Frumkin D., Wasserstrom A., Kaplan S., Feige U. & Shapiro E. 2005. Genomic variability within an organism exposes its cell lineage tree PLoS Computational Biology. 2005 Oct , 1 (5):382-394.
116.
Regev A., Panina E., Silverman W., Cardelli L. & Shapiro E. 2004. BioAmbients: an abstraction for biological compartments Theoretical Computer Science. 2004 Sept , 325 (1):141-167.
115.
Benenson Y., Gil B. (., Ben-Dor U., Adar R. & Shapiro E. 2004. An autonomous molecular computer for logical control of gene expression Nature. 2004 Apr , 429 (6990):423-429.
114.
Shapiro E. 2004. Invited Talk: Injecting Life with Computers . 2004 , :200-200.
113.
Benenson Y. & Shapiro E. 2004. Molecular Computing Machines . 2004 , :2043-2055.
112.
Adar R., Benenson Y., Linshiz G., Rosner A., Tishby N. & Shapiro E. 2004. Stochastic computing with biomolecular automata Proceedings of the National Academy of Sciences of the United States of America. 2004 Jul , 101 (27):9960-9965.
111.
Regev A. & Shapiro E. 2004. The pi-calculus as an abstraction for biomolecular systems . 2004 , :219-266.
110.
Shapiro E. 2004. Algorithmic Program Debugging . 2004 , .
109.
Benenson, Y. & Shapiro E, 2004. Molecular computing machines Dekker Encyclopedia of Nanoscience and Nanotechnology. 2004 , 2043-2055 .
108.
Benenson Y., Adar R., Paz-Elizur T., Livneh Z. & Shapiro E. 2003. DNA molecule provides a computing machine with both data and fuel Proceedings of the National Academy of Sciences of the United States of America. 2003 Mar , 100 (5):2191-2196.
107.
Regev A. & Shapiro E. 2003. Cells as computation (Reprinted from Nature, vol 419, pg 343, 2002) Computational Methods In Systems Biology, Proceedings. 2003 , 2602 :1-3.
106.
Haberman B., Shapiro E. & Scherz Z. 2002. Are black boxes transparent? - High school students' strategies of using abstract data types Journal of Educational Computing Research. 2002 Dec , 27 (4):411-436.
105.
Regev A. & Shapiro E. 2002. Cellular abstractions: Cells as computation Nature. 2002 Sept , 419 (6905):343-343.
104.
Benenson Y., Paz-Elizur T., Adar R., Keinan E., Livneh Z. & Shapiro E. 2001. Programmable and autonomous computing machine made of biomolecules Nature. 2001 Nov , 414 (6862):430-434.
103.
Regev A., Silverman W. & Shapiro E. 2001. Representation and simulation of biochemical processes using the pi-calculus process algebra. Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing. 2001 , :459-470.
102.
Priami C., Regev A., Shapiro E. & Silverman W. 2001. Application of a stochastic name-passing calculus to representation and simulation of molecular processes Information Processing Letters. 2001 Oct , 80 (1):25-31.
101.
Aviv Regev, William Silverman and Ehud Shapiro 2001. Representation and simulation of biochemical processes using the pi-calculus process algebra Pacific Symposium on Biocomputing . 2001 , 6 :459-470.
100.
E Shapiro 1999. Community co-presence system US Patent 5,864,874. 1999 , .
99.
E Shapiro 1999. Community co-presence system US Patent 5,864,874. 1999 , .
98.
Haberman B., Scherz Z. & Shapiro E. 1998. Abstract data types as a project development organiser . 1998 Sept , :102-104.
97.
Ragonis N., Shapiro E., Ben-Ari M. & Scherz Z. 1998. Development, implementation and evaluation of a course in expert systems for high-school students (poster) SIGMOD Record. 1998 , 30 (3):300.
96.
E Shapiro, Y Mass, A Sella 1998 . Co-presence data retrieval system US Patent 5,819,084. 1998 , .
95.
Moscowitz Y. & Shapiro E. 1995. On the structural simplicity of machines and languages Annals of Mathematics and Artificial Intelligence. 1995 Sept , 15 (3-4):379-405.
94.
Sterling L. & Shapiro E. 1994. The Art of Prolog: Advanced Programming Techniques . 1994 Mar , .
93.
Goldberg Y., Safran M., Silverman W. & Shapiro E. 1993. Structured Messages, Agents, and Workllows . 1993 Jan , :457-518.
92.
Shapiro E. 1993. Concurrent Logic Languages are Truly Object-Oriented IEEE Software. 1993 Mar , 10 (2):11-11.
91.
Shapiro E. & WARREN D. 1993. The 5th Generation Project - Epilogue Communications of the ACM. 1993 Mar , 36 (3):100-101.
90.
Shapiro E. & Warren D. H. D. 1993. The 5th Generation Project - Introducation Communications of the ACM. 1993 Mar , 36 (3):46-49.
89.
Goldberg Y., Safran M. & Shapiro E. 1992. Active mail - a framework for implementing groupware . 1992 Nov , :75-83.
88.
GOLDBERG Y., SILVERMAN W. & SHAPIRO E. 1992. Logic programs with inheritance . 1992 , :951-960.
87.
Feldman Y. (. & Shapiro E. 1992. Spatial machines: a more realistic approach to parallel computation Communications of the ACM. 1992 Oct , 35 (10):60-73.
86.
85.
YARDENI E., FRUEHWIRTH T. & SHAPIRO E. 1991. Polymorphically Typed Logic Programs . 1991 , :379-393.
84.
MOSCOWITZ Y. & SHAPIRO E. 1991. Lexical logic programs . 1991 , :349-363.
83.
Gaifman H., Maker M. J. & Shapiro E. 1991. Replay, recovery, replication, and snapshots of nondeterministic concurrent programs . 1991 , :241-255.
82.
Kleinman A., Moscowitz Y., Pnueli A. & Shapiro E. 1991. Communication with directed logic variables . 1991 Jan , :221-232.
81.
FRUHWIRTH T., SHAPIRO E., VARDI M. & YARDENI E. 1991. Logic programs as types for logic programs‏ . 1991 , :300-309.
80.
79.
Yardeni E. H. & Shapiro E. 1991. A type system for logic programs Journal of Logic Programming. 1991 Feb , 10 (2):125-153.
78.
Shapiro E. 1991. Embeddings among concurrent programming - languages Lecture Notes in Computer Science. 1991 , 506 :58-58.
77.
T Fruhwirth, E Shapiro, MY Vardi, E Yardeni 1991. Logic programs as types for logic programs, Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science. 1991 , .
76.
ALKALAJ L., LANG T. & SHAPIRO E. 1990. FCP Sequential Abstract Machine Characteristics for the Systems Development Workload . 1990 , :321-339.
75.
KLIGER S. & SHAPIRO E. 1990. From decision trees to decision graphs . 1990 , :97-116.
74.
KLEINMAN A., MOSES Y. & SHAPIRO E. 1990. Distributed variable server for atomic unification . 1990 , :59-74.
73.
Yardeni E. H., KLIGER S. & Shapiro E. 1990. The languages FCP(:) and FCP(:,?) New Generation Computing. 1990 Feb , 7 :89-107.
72.
FURUKAWA K., AMAMIYA M., Shapiro E. & WARREN D. 1990. SELECTED PAPERS ON PARALLEL LOGIC PROGRAMMING FROM THE INTERNATIONAL-CONFERENCE ON 5TH GENERATION COMPUTER-SYSTEMS, 1988 - PREFACE New Generation Computing. 1990 , 7 :85-87.
71.
Shapiro E. 1989. Linda in context Communications of the ACM. 1989 Oct , 32 (10):1244-1249.
70.
Shapiro E. 1989. The family of concurrent logic programming languages‏ Computing Surveys. 1989 Sept , 21 (3):413-510.
69.
CODISH M., GALLAGHER J. & SHAPIRO E. 1989. Using safe approximations of fixed points for analysis of logic programs . 1989 , :233-261.
68.
GAIFMAN H., MAHER M. & SHAPIRO E. 1989. Reactive Behavior Semantics for Concurrent Constraint Logic‏ Programs - (Preliminary Version) . 1989 , :553-569.
67.
Gerth R., Codish M. & Shapiro E. 1989. Control algebras for constraint logics and testing equivalence . 1989 , CS89-16 .
66.
GAIFMAN H. & SHAPIRO E. 1989. Fully abstract compositional semantics for logic programs‏ . 1989 , :134-142.
65.
Taylor S., Shapiro R. & Shapiro E. 1989. FCP: A summary of performance results . 1989 , :1364-1373.
64.
GAIFMAN H. & SHAPIRO E. 1989. Proof theory and semantics of logic programs‏ . 1989 , :50-62.
63.
HOURI A. & Shapiro E. 1989. A sequential abstract machine for Flat Concurrent Prolog‏ Journal of Logic Programming. 1989 Sept , 7 (2):85-123.
62.
Shapiro E. 1989. OR-parallel PROLOG in flat concurrent PROLOG Journal of Logic Programming. 1989 May , 6 (3):243-267.
61.
LICHTENSTEIN Y. & Shapiro E. 1989. Concurrent algorithmic debugging . 1989 Jan , 24 :248-260.
60.
RECHES E., GUDES E. & Shapiro E. 1989. A distributed locking algorithm for a transactions system in flat concurrent prolog‏ . 1989 May , 367 :304-320.
59.
A Houri, E Shapiro 1989. A sequential abstract machine for Flat Concurrent Prolog The Journal of Logic Programming . 1989 , 7 (2) :85-123.
58.
H Gaifman, E Shapiro 1989. Fully abstract compositional semantics for logic programs Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages. 1989 , .
57.
Shapiro E. 1988. The Panel on Theory and Practice of Concurrent Systems . 1988 , :152-153.
56.
Shapiro E. 1988. Embedding linda and other joys of concurrent logic programming Communications of The ACM - CACM. 1988 Jan , .
55.
Gerth R., Codish M., Lichtenstein Y. & Shapiro E. 1988. Fully abstract denotational semantics for Flat Concurrent Prolog. . 1988 Dec , :320-335.
54.
Lichtenstein Y. & Shapiro E. 1988. Abstract Algorithmic Debugging . 1988 , .
53.
Lichtenstein Y., Codish M. & Shapiro E. 1988. Representation and enumeration of flat Concurrent Prolog computations . 1988 , :197-210.
52.
Weinbaum D. & Shapiro E. 1988. Hardware description and simulation using Concurrent Prolog . 1988 , :470-490.
51.
Silverman W., Hirsch M., Houri A. & Shapiro E. 1988. The Logix system user manual version 1.21 . 1988 , :46-77.
50.
Shapiro E. 1988. Systolic programming: a paradigm of parallel processing . 1988 , :207-242.
49.
Hirsch M., Silverman W. & Shapiro E. 1988. Computation control and protection in the Logix system . 1988 , :28-45.
48.
Levy J. & Shapiro E. 1988. Translation of safe GHC and safe Concurrent Prolog to FCP . 1988 , :383-414.
47.
Shapiro E. 1988. A test for the adequacy of a language for an architecture . 1988 , :370-388.
46.
Katzenellenbogen D., Cohen S. & Shapiro E. 1988. An architecture of a distributed window system and its FCP implementation . 1988 , :101-139.
45.
Levy J. & Shapiro E. 1988. CFL—A concurrent functional language embedded in a concurrent logic programming environment . 1988 , :442-469.
44.
Saraswat V., Weinbaum D., Kahn K. & Shapiro E. 1988. Detecting stable properties of networks in concurrent logic programming languages . 1988 Jan , :210-222.
43.
Edelman S. & Shapiro E. 1988. Image processing with Concurrent Prolog . 1988 , :339-369.
42.
GALLAGHER J., CODISH M. & Shapiro E. 1988. Specialisation of Prolog and FCP programs using abstract interpretation New Generation Computing. 1988 Sept , 6 :159-186.
41.
R Gerth, M Codish, Y Lichtenstein, E Shapiro 1988. Fully abstract denotational semantics for Flat Concurrent Prolog LICS'88., Proceedings of the Third Annual Symposium on Logic in Computer Science. 1988 , .
40.
S Safra, E Shapiro 1988. Meta interpreters for real Concurrent Prolog: collected papers. 1988 , :166-179.
39.
Alkalaj L. & Shapiro E. 1987. An architectural model for a flat concurrent prolog processor . 1987 Jan , .
38.
Scherz Z., Maler O. & Shapiro E. 1987. The Use of Logic Programming in Education . 1987 , :531-537.
37.
Shapiro E. & Sterling L. 1987. The art of Prolog: advanced programming techniques . 1987 , .
36.
Taylor S., Safra S. & Shapiro E. 1987. A hypercube implementation of Flat Concurrent Prolog‏ . 1987 , :48-54.
35.
Sterling L. & Shapiro E. Y. 1987. The Art of Prolog: Programming Examples - Macintosh (Logic Programming) . 1987 , .
34.
Shapiro E. 1987. Concurrent Prolog: Collected Papers . 1987 , .
33.
CODISH M. & Shapiro E. 1987. Compiling OR-parallelism into AND-parallelism New Generation Computing. 1987 Mar , 5 (1):45-61.
32.
TAYLOR S., AVRON E. & Shapiro E. 1987. A layered method for process and code mapping New Generation Computing. 1987 Jun , 5 :185-205.
31.
TAYLOR S., HELLERSTEIN L., SAFRA S. & Shapiro E. 1987. Notes on the complexity of systolic programs Journal of Parallel and Distributed Computing. 1987 Jun , 4 (3):250-265.
30.
Shapiro E. 1986. Concurrent Prolog: A progress report Computer. 1986 Aug , 19 (8):44-58.
29.
28.
Sterling L. & Shapiro E. 1986. Prolog, Fortgeschrittene Programmiertechniken . 1986 , .
27.
Maler O., Scherz Z. & Shapiro E. 1986. A New approach for introducing Prolog to naive users . 1986 , 225 :544-551.
26.
TAYLOR S., SAFRA S. & Shapiro E. 1986. A parallel implementation of Flat Concurrent Prolog International Journal of Parallel Programming. 1986 Jun , 15 (3):245-275.
25.
Shapiro E. 1986. Concurrent Prolog: A progress report . 1986 Jun , 232 :277-313.
24.
CODISH M. & Shapiro E. 1986. Compiling OR-parallelism into AND-parallelism . 1986 , 225 :283-297.
23.
Shapiro E. & SAFRA S. 1986. Multiway merge with constant delay in Concurrent Prolog New Generation Computing. 1986 Jun , 4 (2):211-216.
22.
HELLERSTEIN L. & Shapiro E. 1986. Implementing parallel algorithms in Concurrent Prolog: The Maxflow experience Journal of Logic Programming. 1986 Jul , 3 (2):157-184.
21.
Edelman S. & Shapiro E. 1985. Quadtrees in concurrent prolog . 1985 Dec , :544-551.
20.
Fiat A., Shamir A. & Shapiro E. 1985. Polymorphic Arrays: An Architecture for a Programmable Systolic Machine . 1985 Dec , :112-117.
19.
EY Shapiro 1985. Systolic programming: A paradigm of parallel processing Weizmann Institute of Science, Department of Applied Mathematics. 1985 , .
18.
Shapiro E. & Mierowsky C. 1984. Fair, biased, and self balancing merge operators‏: Their Specification and Implementation in Concurrent Prolog . 1984 Jan , :83-90.
17.
Shapiro E. 1984. Systems Programming in Concurrent Prolog . 1984 , :93-105.
16.
Shapiro E. & MIEROWSKY C. 1984. Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog New Generation Computing. 1984 Sept , 2 :221-240.
15.
E Shapiro 1984. Systems programming in concurrent prolog Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of Principles of Programming Languages. 1984 , .
14.
Shapiro E. Y. 1984. Alternation and the computational complexity of logic programs The Journal of Logic Programming. 1984 Jun , 1 (1):19-33.
13.
Shapiro E. Y. 1983. Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems . 1983 Dec , :529-532.
12.
Shapiro E. 1983. Algorithmic Program DeBugging . 1983 , .
11.
Shapiro E. 1983. Playing Mastermind Logically SIGART Bull.. 1983 Jul , (85):28-29.
10.
SHAPIRO E. 1983. The fifth generation project — a trip report Communications of the ACM. 1983 , 26 (9):637-641.
9.
Shapiro E. & TAKEUCHI A. 1983. Object oriented programming in Concurrent Prolog New Generation Computing. 1983 Mar , 1 :25-48.
8.
EY Shapiro 1983. Logic programs with uncertainties: A tool for implementing rule-based systems, Proc 8th Int’l Joint Conf. on Artificial Intelligence. 1983 , :529-532.
7.
Shapiro E. 1983. A subset of Concurrent Prolog and its interpreter Concurrent Prolog: Collected Papers . 1983 , 1 :27-83.
6.
Shapiro E. Y. 1982. Algorithmic program diagnosis . 1982 Jan , :299-308.
5.
Shapiro E. Y. 1981. Model Inference System. . 1981 Dec , :1064.
4.
Shapiro E. Y. 1981. An Algorithm that Infers Theories from Facts‏ . 1981 Aug , 1 :446-451.
3.
Shapiro E., Collins G., Johnson L. & Ruttenberg J. 1981. Pases: A Programming Environment for PASCAL ACM SIGPLAN Notices. 1981 Jan , 16 (8):50-57.
2.
EY Shapiro 1981. An algorithm that infers theories from facts Proceedings of the seventh international joint conference on artificial intelligence. 1981 , .
1.
Shapiro E. 1981. Inductive inference of theories from facts . 1981 Feb , 192 .