HAREL, DAVID: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Completeness Results for Recursive Data Bases

Tirza Hirst, David Harel

Journal:

Journal of Computer and System Sciences

Year:

1996

Language:

english

File:

PDF, 767 KB

english, 1996

52

Taking It to the Limit: On Infinite Variants of NP-Complete Problems

Tirza Hirst, David Harel

Journal:

Journal of Computer and System Sciences

Year:

1996

Language:

english

File:

PDF, 673 KB

english, 1996

53

Perturbation treatment of multiple site reactivity: Molecule–molecule interactions

Shih-Yung Chang, Harel Weinstein, David Chou

Journal:

Chemical Physics Letters

Year:

1976

Language:

english

File:

PDF, 563 KB

english, 1976

54

Wettability, rewettability and breakdown of thin films of aqueous salt solutions

Neima Brauner, David Moalem Maron, Zahal Harel

Journal:

Year:

1985

Language:

english

File:

PDF, 764 KB

english, 1985

55

Computable queries for relational data bases

Ashok K. chandra, David Harel

Journal:

Journal of Computer and System Sciences

Year:

1980

Language:

english

File:

PDF, 1.43 MB

english, 1980

56

Structure and complexity of relational queries

Ashok Chandra, David Harel

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.71 MB

english, 1982

57

Propositional dynamic logic of nonregular programs

David Harel, Amir Pnueli, Jonathan Stavi

Journal:

Journal of Computer and System Sciences

Year:

1983

Language:

english

File:

PDF, 1.36 MB

english, 1983

58

A probabilistic dynamic logic

Yishai A. Feldman, David Harel

Journal:

Journal of Computer and System Sciences

Year:

1984

Language:

english

File:

PDF, 1.26 MB

english, 1984

59

Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic

Journal:

Theoretical Computer Science

Year:

1980

Language:

english

File:

PDF, 2.52 MB

english, 1980

60

On the total correctness of nondeterministic programs

Journal:

Theoretical Computer Science

Year:

1981

Language:

english

File:

PDF, 2.52 MB

english, 1981

61

On the solvability of domino snake problems

Yael Etzion-Petruschka, David Harel, Dale Myers

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.63 MB

english, 1994

62

Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic, RC 7557 Nr. 32673

Journal:

Information Systems

Year:

1980

Language:

english

File:

PDF, 116 KB

english, 1980

63

Concurrency in Biological Modeling: Behavior, Execution and Visualization

David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1009 KB

english, 2008

64

Experimental studies of a hygroscopic condenser-evaporator heat exchanger based on concentration differences of vertically falling films

Neima Brauner, David Moalem Maron, Zahal Harel, Samuel Sideman

Journal:

Experimental Thermal and Fluid Science

Year:

1989

Language:

english

File:

PDF, 1.23 MB

english, 1989

65

One-dimensional layout optimization, with applications to graph drawing by axis separation

Yehuda Koren, David Harel

Journal:

Computational Geometry

Year:

2005

Language:

english

File:

PDF, 875 KB

english, 2005

66

Stability, Visibility, and Histologic Analysis of a New Implanted Fiducial for Use as a Kilovoltage Radiographic or Radioactive Marker for Patient Positioning and Monitoring in Radiotherapy

David Neustadter, Michal Tune, Asaph Zaretsky, Rona Shofti, Arnon Kushnir, Tami Harel, Dafna Carmi-Yinon, Ben Corn

Journal:

International Journal of Radiation Oncology*Biology*Physics

Year:

2010

Language:

english

File:

PDF, 1.47 MB

english, 2010

67

GemCell: A generic platform for modeling multi-cellular biological systems

Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.05 MB

english, 2008

68

Electron charge redistribution following electrophilic attack on heterocycles: nitrogen as a charge transducer

David Chou, Harel Weinstein

Journal:

Year:

1978

Language:

english

File:

PDF, 1.09 MB

english, 1978

69

Computation paths logic: An expressive, yet elementary, process logic

David Harel, Eli Singerman

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 1.29 MB

english, 1999

70

Complexity results for two-way and multi-pebble automata and their logics

Noa Globerman, David Harel

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.63 MB

english, 1996

71

Role of thioredoxin reductase in the Yap1p-dependent response to oxidative stress in Saccharomyces cerevisiae

Orna Carmel-Harel, Robert Stearman, Audrey P. Gasch, David Botstein, Patrick O. Brown, Gisela Storz

Journal:

Molecular Microbiology

Year:

2001

Language:

english

File:

PDF, 499 KB

english, 2001

72

Interleukin-8 secretion following cardiopulmonary bypass in children as a marker of early postoperative morbidity

RON BEN-ABRAHAM, AVI A. WEINBROUM, DANNY LOTAN, OVDI DAGAN, RIVKA SCHRERIBER-SCHEFFER, DAVID MISHALI, RAN HAREL, TALI VISHNE, ZOHAR BARZILAY, GIDEON PARET

Journal:

Pediatric Anesthesia

Year:

2002

Language:

english

File:

PDF, 136 KB

english, 2002

73

A 3D building blocks approach to analyzing and predicting structure of proteins

Ron Unger, David Harel, Scot Wherland, Joel L. Sussman

Journal:

Proteins: Structure, Function, and Bioinformatics

Year:

1989

Language:

english

File:

PDF, 1.34 MB

english, 1989

74

Reactivity characteristics of large molecules and their biological activity: Indolealkylamines on the LSD/serotonin receptor

Harel Weinstein, David Chou, Sungzong Kang, Carl Lynn Johnson, Jack Peter Green

Journal:

International Journal of Quantum Chemistry

Year:

1976

Language:

english

File:

PDF, 758 KB

english, 1976

75

Amir Pnueli A Gentle Giant: Lord of theφ’s and theψ’s

Journal:

Formal Aspects of Computing

Year:

2010

Language:

english

File:

PDF, 88 KB

english, 2010

76

An algorithm for blob hierarchy layout

David Harel, Gregory Yashchin

Journal:

The Visual Computer

Year:

2002

Language:

english

File:

PDF, 260 KB

english, 2002

77

Assert and negate revisited: Modal semantics for UML sequence diagrams

David Harel, Shahar Maoz

Journal:

Software & Systems Modeling

Year:

2008

Language:

english

File:

PDF, 720 KB

english, 2008

78

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

Pierre Combes, David Harel, Hillel Kugler

Journal:

Software & Systems Modeling

Year:

2008

Language:

english

File:

PDF, 2.03 MB

english, 2008

79

On tracing reactive systems

Shahar Maoz, David Harel

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 2.05 MB

english, 2011

80

Using the Statecharts paradigm for simulation of patient flow in surgical care

Boris Sobolev, David Harel, Christos Vasilakis, Adrian Levy

Journal:

Health Care Management Science

Year:

2008

Language:

english

File:

PDF, 206 KB

english, 2008

81

Biochar impact on development and productivity of pepper and tomato grown in fertigated soilless media

Ellen R. Graber, Yael Meller Harel, Max Kolton, Eddie Cytryn, Avner Silber, Dalia Rav David, Ludmilla Tsechansky, Menahem Borenshtein, Yigal Elad

Journal:

Year:

2010

Language:

english

File:

PDF, 472 KB

english, 2010

82

On predicting responses to mixtures in quartz microbalance sensors

Liran Carmel, Noa Sever, David Harel

Journal:

Sensors and Actuators B: Chemical

Year:

2005

Language:

english

File:

PDF, 224 KB

english, 2005

83

On mappings between electronic noses

Oded Shaham, Liran Carmel, David Harel

Journal:

Sensors and Actuators B: Chemical

Year:

2005

Language:

english

File:

PDF, 170 KB

english, 2005

84

Mix-to-mimic odor synthesis for electronic noses

Liran Carmel, David Harel

Journal:

Sensors and Actuators B: Chemical

Year:

2007

Language:

english

File:

PDF, 839 KB

english, 2007

85

1α, 25-Dihydroxyvitamin D3, and 24,25-dihydroxyvitamin D3 in vitro synthesis by human decidua and placenta

Weisman, Y., Harell, A., Edelstein, S., David, M., Spirer, Z., Golander, A.

Journal:

Year:

1979

File:

PDF, 358 KB

1979

86

A Turing-like test for biological modeling

Journal:

Nature Biotechnology

Year:

2005

Language:

english

File:

PDF, 161 KB

english, 2005

87

Use of the Photonic Band Gap Fiber Assembly CO2 Laser System in Head and Neck Surgical Oncology

F Christopher Holsinger, Christopher N. Prichard, Gil Shapira, Ori Weisberg, David S. Torres, Charalambos Anastassiou, Einat Harel, Yoel Fink, Randal S. Weber

Journal:

The Laryngoscope

Year:

2006

Language:

english

File:

PDF, 734 KB

english, 2006

88

LSCs: Breathing Life into Message Sequence Charts

Werner Damm, David Harel

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 258 KB

english, 2001

89

Measurement of Acute Phase Proteins in the Rat Brain: Contribution of Vascular Contents

David A. Loeffler, Maria C. Linder, Mehran Zamany, Eli Harel, Michael A. Paul, Heinz Baumann, Peter A. LeWitt

Journal:

Neurochemical Research

Year:

1999

Language:

english

File:

PDF, 420 KB

english, 1999

90

[NATO Science Series] Engineering Theories of Software Intensive Systems Volume 195 || Model Driven Security

Broy, Manfred, Grünbauer, Johannes, Harel, David, Hoare, Tony

Year:

2005

Language:

english

File:

PDF, 823 KB

english, 2005

91

More on Nonregular PDL: Finite Models and Fibonacci-like Programs

David Harel, Eli Singerman

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 450 KB

english, 1996

92

On the Complexity of Verifying Concurrent Transition Systems

David Harel, Orna Kupferman, Moshe Y. Vardi

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 184 KB

english, 2002

93

Randomized Graph Drawing with Heavy-Duty Preprocessing

David Harel, Meir Sardas

Journal:

Journal of Visual Languages & Computing

Year:

1995

File:

PDF, 690 KB

1995

94

Hamiltonian paths in infinite graphs

Journal:

Israel Journal of Mathematics

Year:

1991

Language:

english

File:

PDF, 792 KB

english, 1991

95

Two results on process logic

Journal:

Information Processing Letters

Year:

1979

Language:

english

File:

PDF, 544 KB

english, 1979

96

More on looping vs. repeating in dynamic logic

David Harel, David Peleg

Journal:

Information Processing Letters

Year:

1985

Language:

english

File:

PDF, 285 KB

english, 1985

97

Measuring smells

Rafi Haddad, Hadas Lapid, David Harel, Noam Sobel

Journal:

Current Opinion in Neurobiology

Year:

2008

Language:

english

File:

PDF, 427 KB

english, 2008

98

Impact on delirium detection of using a sensitive instrument integrated into clinical practice

Jean-David Gaudreau, Pierre Gagnon, François Harel, Marc-André Roy

Journal:

General Hospital Psychiatry

Year:

2005

Language:

english

File:

PDF, 151 KB

english, 2005

99

Editorʼs foreword

Ahmed Bouajjani, David Harel, Lenore Zuck

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 63 KB

english, 2012

100

Synthesis from scenario-based specifications

David Harel, Itai Segall

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 598 KB

english, 2012