Ehud Y. Shapiro - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 93 from 93

2016

eSTGt: a programming and simulation environment for population dynamicsAdam Spiro, Ehud Y. Shapiro. bmcbi, 17:187, 2016. [doi]

Erratum to: eSTGt: a programming and simulation environment for population dynamicsAdam Spiro, Ehud Y. Shapiro. bmcbi, 17:303, 2016. [doi]

Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and QuantityAdam Spiro, Ehud Y. Shapiro. ploscb, 12(6), 2016. [doi]

2014

Lineage grammars: describing, simulating and analyzing population dynamicsAdam Spiro, Luca Cardelli, Ehud Y. Shapiro. bmcbi, 15:249, 2014. [doi]

2013

Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite MutationsNoa Chapal-Ilani, Yosef E. Maruvka, Adam Spiro, Yitzhak Reizel, Rivka Adar, Liran I. Shlush, Ehud Y. Shapiro. ploscb, 9(11), 2013. [doi]

2010

'Doctor in a Cell' - Vision and AccomplishmentsBenny Gil, Maya Kahan-Hanum, Natalia Skirtenko, Rivka Adar, Ehud Y. Shapiro. alife 2010: 165 [doi]

2008

2007

A Universal Mechanism Ties Genotype to Phenotype in Trinucleotide DiseasesShai Kaplan, Shalev Itzkovitz, Ehud Y. Shapiro. ploscb, 3(11), 2007. [doi]

2006

Injecting Life with ComputersEhud Y. Shapiro. ilp 2007: 26 [doi]

2005

Genomic Variability within an Organism Exposes Its Cell Lineage TreeDan Frumkin, Adam Wasserstrom, Shai Kaplan, Uriel Feige, Ehud Y. Shapiro. ploscb, 1(6), 2005. [doi]

2004

2003

Cells as ComputationAmitai Regev, Ehud Y. Shapiro. cmsb 2003: 1-3 [doi]

2002

Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular SystemsEhud Y. Shapiro. wabi 2002: 418 [doi]

2001

Application of a stochastic name-passing calculus to representation and simulation of molecular processesCorrado Priami, Aviv Regev, Ehud Y. Shapiro, William Silverman. ipl, 80(1):25-31, 2001. [doi]

Representation and Simulation of Biochemical Processes Using the pi-Calculus Process AlgebraAviv Regev, William Silverman, Ehud Y. Shapiro. psb 2001: 459-470 [doi]

1998

Abstract data types as a project development organiserBruria Haberman, Zahava Scherz, Ehud Y. Shapiro. iticse 1998: 102-104 [doi]

Development, implementation and evaluation of a course in expert systems for high-school students (poster)Noa Ragonis, Ehud Y. Shapiro, Mordechai Ben-Ari, Zahava Scherz. iticse 1998: 300 [doi]

1995

On the Structural Simplicity of Machines and LanguagesYael Moscowitz, Ehud Y. Shapiro. AMAI, 15(3-4):379-405, 1995.

1994

The Art of Prolog - Advanced Programming Techniques, 2nd EdLeon Sterling, Ehud Y. Shapiro. MIT Press, 1994.

1993

The Fifth Generation Project: Personal PerspectivesEhud Y. Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick. CACM, 36(3):46-103, 1993.

1992

1991

Temporal Debugging and its Visual AnimationYosee Feldman, Ehud Y. Shapiro. SLP 1991: 3-17

Logic Programs as Types for Logic ProgramsThom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni. lics 1991: 300-309

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent ProgramsHaim Gaifman, Michael J. Maher, Ehud Y. Shapiro. podc 1991: 241-255

Communication with Directed Logic VariablesAlon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Y. Shapiro. POPL 1991: 221-232

Lexical Logic ProgramsYael Moscowitz, Ehud Y. Shapiro. ICLP 1991: 349-363

Embeddings Among Concurrent Programming Languages (Abstract)Ehud Y. Shapiro. parle 1991: 58

Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract)Ehud Y. Shapiro. stoc 1991: 198-208

Inductive Inference of Theories from FactsEhud Y. Shapiro. BIRTHDAY 1991: 199-254

A Type System for Logic ProgramsEyal Yardeni, Ehud Y. Shapiro. jlp, 10(1/2/3&4):125-153, 1991.

Polymorphically Typed Logic ProgramsEyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro. ICLP 1991: 379-393

1990

1989

1988

An Architectural Model for a Flat Concurrent Prolog ProcessorLeon Alkalaj, Ehud Y. Shapiro. ICLP 1988: 1277-1297

Using Safe Approximations of Fixed Points for Analysis of Logic ProgramsMichael Codish, John P. Gallagher, Ehud Y. Shapiro. meta 1988: 233-261

Specialisation of Prolog and FCP Programs Using Abstract InterpretationJohn P. Gallagher, Michael Codish, Ehud Y. Shapiro. ngc, 6(2&3):159-186, 1988.

Fully Abstract Denotational Semantics for Flat Concurrent PrologRob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Y. Shapiro. lics 1988: 320-335

The Language FCP(: , ?)Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Y. Shapiro. fgcs 1988: 763-773

A Decision Tree Compilation Algorithm for FCP(!, : , ?)Shmuel Klinger, Ehud Y. Shapiro. ICLP 1988: 1315-1336

Concurrent Algorithmic DebuggingYossi Lichtenstein, Ehud Y. Shapiro. pdd 1988: 248-260

Abstract Algorithmic DebuggingYossi Lichtenstein, Ehud Y. Shapiro. ICLP 1988: 512-531

The Panel on Theory and Practice of Concurrent SystemsEhud Y. Shapiro. fgcs 1988: 152-153

Prolog - fortgeschrittene ProgrammiertechnikenLeon Sterling, Ehud Y. Shapiro. Addison-Wesley, 1988.

1987

1986

Compiling OR-parallelism into AND-parallelismMichael Codish, Ehud Y. Shapiro. ICLP 1986: 283-297

Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW ExperienceLisa Hellerstein, Ehud Y. Shapiro. jlp, 3(2):157-184, 1986.

A New Approach for Intruducing Prolog to Naive UsersOded Maler, Zahava Scherz, Ehud Y. Shapiro. ICLP 1986: 544-551

Meta Interpreters For Real (Invited Paper)Shmuel Safra, Ehud Y. Shapiro. ifip 1986: 271-278

Multiway Merge with Constant Delay in Concurrent PrologEhud Y. Shapiro, Shmuel Safra. ngc, 4(2):211-216, 1986.

Concurrent Prolog: A Progress ReportEhud Y. Shapiro. Computer, 19(8):44-58, 1986. [doi]

The Art of Prolog - Advanced Programming TechniquesLeon Sterling, Ehud Y. Shapiro. MIT Press, 1986.

A parallel implementation of Flat Concurrent PrologStephen Taylor, Shmuel Safra, Ehud Y. Shapiro. ijpp, 15(3):245-275, 1986. [doi]

1985

Quadtrees in Concurrent PROLOGShimon Edelman, Ehud Y. Shapiro. icpp 1985: 544-551

Polymorphic Arrays: An Architecture for a Programmable Systolic MachineAmos Fiat, Adi Shamir, Ehud Y. Shapiro. icpp 1985: 112-117

Concurrent Prolog: A Progress ReportEhud Y. Shapiro. ac 1986: 277-313

Fast Multiway Merge Using Destructive OperationEhud Y. Shapiro, Shmuel Safra. icpp 1985: 118-122

1984

1983

The Fifth Generation Project - Trip ReportEhud Y. Shapiro. CACM, 26(9):637-641, 1983.

Logic Programs With Uncertainties: A Tool for Implementing Rule-Based SystemsEhud Y. Shapiro. IJCAI 1983: 529-532

Playing mastermind logicallyEhud Y. Shapiro. sigart, 85:28-29, 1983. [doi]

Object Oriented Programming in Concurrent PrologEhud Y. Shapiro, Akikazu Takeuchi. ngc, 1(1):25-48, 1983.

1982

Algorithmic Program DiagnosisEhud Y. Shapiro. POPL 1982: 299-308

Alternation and the Computational Complexity of Logic ProgramsEhud Y. Shapiro. ICLP 1982: 154-163

1981

An Algorithm that Infers Theories from FactsEhud Y. Shapiro. IJCAI 1981: 446-451

The Model Inference SystemEhud Y. Shapiro. IJCAI 1981: 1064

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Ehud Y. Shapiro'

Viewing Publication 1 - 93 from 93

2016

2014

2013

2010

2008

2007

2006

2005

2004

2003

2002

2001

1998

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1985

1984

1983

1982

1981

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Ehud Y. Shapiro'

Viewing Publication 1 - 93 from 93

2016

2014

2013

2010

2008

2007

2006

2005

2004

2003

2002

2001

1998

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1985

1984

1983

1982

1981

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1