Pnueli, D.: search on Z-Library

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

Don't use scam websites

51

Principles of enhanced heat transfer: by R. L. Webb. Wiley-Interscience, New York (1994)

Journal:

International Journal of Multiphase Flow

Year:

1995

Language:

english

File:

PDF, 54 KB

english, 1995

52

A direct algorithm for checking equivalence of LL(k) grammars

Tmima Olshansky, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

1977

Language:

english

File:

PDF, 2.98 MB

english, 1977

53

Fair termination revisited—with delay

K.R. Apt, A. Pnueli, J. Stavi

Journal:

Theoretical Computer Science

Year:

1984

Language:

english

File:

PDF, 1.99 MB

english, 1984

54

Symmetric and economical solutions to the mutual exclusion problem in a distributed system

Shimon Cohen, Daniel Lehmann, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

1984

Language:

english

File:

PDF, 1.12 MB

english, 1984

55

Preface

Amir Pnueli, Joseph Sifakis

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 92 KB

english, 1995

56

Confined fluidized bed—model and experiments

L. Moldavsky, A. Goldshtein, K. Shuster, M. Fichman, D. Pnueli, M. Shapiro, C. Gutfinger

Journal:

International Journal of Multiphase Flow

Year:

2005

Language:

english

File:

PDF, 322 KB

english, 2005

57

The grammar of dimensions in machine drawings

Dov Dori, Amir Pnueli

Journal:

Computer Vision, Graphics, and Image Processing

Year:

1988

Language:

english

File:

PDF, 1000 KB

english, 1988

58

Transient cooling by a liquid spray of a surface heated above the boiling temperature: Experimental investigation

Journal:

International Communications in Heat and Mass Transfer

Year:

1990

Language:

english

File:

PDF, 329 KB

english, 1990

59

Model checking and abstraction to the aid of parameterized systems (a survey)

Lenore Zuck, Amir Pnueli

Journal:

Computer Languages, Systems & Structures

Year:

2004

Language:

english

File:

PDF, 433 KB

english, 2004

60

Reduced Functional Consistency of Uninterpreted Functions

Amir Pnueli, Ofer Strichman

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 244 KB

english, 2006

61

Monitoring Interfaces for Faults

Amir Pnueli, Aleksandr Zaks, Lenore Zuck

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 333 KB

english, 2006

62

Specify, Compile, Run: Hardware from PSL

Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 338 KB

english, 2007

63

A compositional approach to verification

Yonit Kesten, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 452 KB

english, 2005

64

Ignition of fuel mixtures by standing acoustic waves

P. Vainshtein, C. Gutfinger, D. Pnueli

Journal:

Combustion and Flame

Year:

1999

Language:

english

File:

PDF, 239 KB

english, 1999

65

Heat and mass transfer in condensation on the surface of a moving fluid in the presence of non-condensible gas with suction at the interface

David Pnueli, Gavriel Iddan

Journal:

Year:

1971

Language:

english

File:

PDF, 644 KB

english, 1971

66

The shape of the cell and the velocity field in electrodialysis desalination

Journal:

Year:

1970

Language:

english

File:

PDF, 800 KB

english, 1970

67

A mathematical model for the concentration field in an electrodialysis cell

David Pnueli, Gershon Grossman

Journal:

Year:

1970

Language:

english

File:

PDF, 718 KB

english, 1970

68

A mathematical model for the flow in an electrodialysis cell

David Pnueli, Gershon Grossman

Journal:

Year:

1969

Language:

english

File:

PDF, 355 KB

english, 1969

69

Rayleigh-Jeffreys stability of thermohaline stratified fluids subject to horizontal flows

D. Pnueli, Y. Zvirin

Journal:

Year:

1980

Language:

english

File:

PDF, 1.32 MB

english, 1980

70

Rayleigh-Jeffreys stability of thermohaline stratified fluids subject to vertical flows

M. Bouscher, D. Pnueli, Y. Zvirin

Journal:

Year:

1981

Language:

english

File:

PDF, 1.43 MB

english, 1981

71

Marked directed graphs

F. Commoner, A.W. Holt, S. Even, A. Pnueli

Journal:

Journal of Computer and System Sciences

Year:

1971

Language:

english

File:

PDF, 670 KB

english, 1971

72

Symbolic model checking with rich assertional languages

Y. Kesten, O. Maler, M. Marcus, A. Pnueli, E. Shahar

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 180 KB

english, 2001

73

Lower Bounds to Eigenvalues for Vibrations and Buckling of Structures by Analytical Applications of a-priori Known Qualitative Information

Journal:

Chaos, Solitons & Fractals

Year:

1999

Language:

english

File:

PDF, 341 KB

english, 1999

74

VOC: A Translation Validator for Optimizing Compilers

Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 416 KB

english, 2002

75

Translation and Run-Time Validation of Optimized Code

Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 233 KB

english, 2002

76

Seasonal and diurnal variations in gene expression in the desert legume Retama raetam

E. MERQUIOL, L. PNUELI, M. COHEN, M. SIMOVITCH, S. RACHMILEVITCH, P. GOLOUBINOFF, A. KAPLAN, R. MITTLER

Journal:

Plant, Cell & Environment

Year:

2002

Language:

english

File:

PDF, 2.07 MB

english, 2002

77

Molecular and biochemical mechanisms associated with dormancy and drought tolerance in the desert legume Retama raetam

Lilach Pnueli, Elza Hallak-Herr, Mira Rozenberg, Mira Cohen, Pierre Goloubinoff, Aaron Kaplan, Ron Mittler

Journal:

The Plant Journal

Year:

2002

Language:

english

File:

PDF, 395 KB

english, 2002

78

Growth suppression, altered stomatal responses, and augmented induction of heat shock proteins in cytosolic ascorbate peroxidase (Apx1)-deficient Arabidopsis plants

Lilach Pnueli, Hongjian Liang, Mira Rozenberg, Ron Mittler

Journal:

The Plant Journal

Year:

2003

Language:

english

File:

PDF, 363 KB

english, 2003

79

The floral system of tomato

D. Hareven, T. Gutfinger, L. Pnueli, L. Bauch, O. Cohen, E. Lifschitz

Journal:

Year:

1994

Language:

english

File:

PDF, 845 KB

english, 1994

80

The stability chart of parallel shear flows with double-diffusive processes — general properties

M. Magen, D. Pnueli, Y. Zvirin

Journal:

Journal of Engineering Mathematics

Year:

1985

Language:

english

File:

PDF, 661 KB

english, 1985

81

The stability chart of double-diffusive processes with parallel flows — construction by the Galerkin and continuation methods

M. Magen, D. Pnueli, Y. Zvirin

Journal:

Journal of Engineering Mathematics

Year:

1986

Language:

english

File:

PDF, 903 KB

english, 1986

82

On the perturbed equations of motion of aerosol particles in regions of strong curvature of the fluid streamlines

M. Fichman, D. Pnueli, C. Gutfinger

Journal:

Journal of Engineering Mathematics

Year:

1995

Language:

english

File:

PDF, 896 KB

english, 1995

83

On a local predictor of shear instability and the initiation of local turbulence

D. Pnueli, M. Fichman

Journal:

Journal of Engineering Mathematics

Year:

1988

Language:

english

File:

PDF, 513 KB

english, 1988

84

A proof method for cyclic programs

Nissim Francez, Amir Pnueli

Journal:

Acta Informatica

Year:

1978

Language:

english

File:

PDF, 1.15 MB

english, 1978

85

Backtracking in recursive computations

Nissim Francez, Boris Klebansky, Amir Pnueli

Journal:

Acta Informatica

Year:

1977

Language:

english

File:

PDF, 998 KB

english, 1977

86

The temporal logic of branching time

Mordechai Ben-Ari, Amir Pnueli, Zohar Manna

Journal:

Acta Informatica

Year:

1983

Language:

english

File:

PDF, 948 KB

english, 1983

87

The asymptotic thermal stability of confined fluids

D. Pnueli, S. Iscovici

Journal:

Journal of Engineering Mathematics

Year:

1968

Language:

english

File:

PDF, 1.20 MB

english, 1968

88

Two shift theorems leading to lower bounds to eigenvalues

Journal:

Journal of Engineering Mathematics

Year:

1972

Language:

english

File:

PDF, 192 KB

english, 1972

89

Verification of multiprocess probabilistic protocols

Amir Pnueli, Lenore Zuck

Journal:

Distributed Computing

Year:

1986

Language:

english

File:

PDF, 1.53 MB

english, 1986

90

DigiDürer — a digital engraving system

Yachin Pnueli, Alfred M. Bruckstein

Journal:

The Visual Computer

Year:

1994

Language:

english

File:

PDF, 3.48 MB

english, 1994

91

The reduction of one-dimensional eigenvalue problems to the solution of simultaneous algebraic equations with one nonlinearity

D. Pnueli, J. Isenberg

Journal:

Journal of Engineering Mathematics

Year:

1974

Language:

english

File:

PDF, 398 KB

english, 1974

92

Verification of clocked and hybrid systems

Yonit Kesten, Zohar Manna, Amir Pnueli

Journal:

Acta Informatica

Year:

2000

Language:

english

File:

PDF, 688 KB

english, 2000

93

Proving refinement using transduction

Bengt Jonsson, Amir Pnueli, Camilla Rump

Journal:

Distributed Computing

Year:

1999

Language:

english

File:

PDF, 259 KB

english, 1999

94

Liveness with invisible ranking

Yi Fang, Nir Piterman, Amir Pnueli, Lenore Zuck

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 2.48 MB

english, 2006

95

Control and data abstraction: the cornerstones of practical formal verification

Yonit Kesten, Amir Pnueli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 331 KB

english, 2000

96

The Code Validation Tool (CVT)

A. Pnueli, O. Shtrichman, M. Siegel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1998

Language:

english

File:

PDF, 222 KB

english, 1998

97

Translation and Run-Time Validation of Loop Transformations

Lenore Zuck, Amir Pnueli, Benjamin Goldberg, Clark Barrett, Yi Fang, Ying Hu

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 2.37 MB

english, 2005

98

Rayleigh-Jeffreys stability of thermohaline stratified fluids subject to arbitrary temperature and salinity gradients

M. Bouscher, D. Pnueli, Y. Zvirin

Journal:

Year:

1984

Language:

english

File:

PDF, 945 KB

english, 1984

99

Completing the temporal picture

Zohar Manna, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 2.54 MB

english, 1991

100

Proving partial order properties

Doron Peled, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.68 MB

english, 1994