D. Pnueli: search on Z-Library

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

Don't use scam websites

51

Fluid Mechanics || HIGH REYNOLDS NUMBER FLOWS – REGIONS FAR FROM SOLID BOUNDARIES

Pnueli, David, Gutfinger, Chaim

Year:

1992

File:

PDF, 1.04 MB

1992

52

Thermal instability under variable initial temperature gradient

Journal:

Letters in Heat and Mass Transfer

Year:

1976

Language:

english

File:

PDF, 328 KB

english, 1976

53

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

54

An improved electrostatic filter for domestic applications

L. Moldavsky, C. Gutfinger, D. Pnueli, M. Fichman

Journal:

Journal of Aerosol Science

Year:

1996

Language:

english

File:

PDF, 75 KB

english, 1996

55

[IEEE Comput. Soc 38th Annual Symposium on Foundations of Computer Science - Miami Beach, FL, USA (20-22 Oct. 1997)] Proceedings 38th Annual Symposium on Foundations of Computer Science - Two Decades of Temporal Logic: Achievements and Challenges

Year:

1997

Language:

english

File:

PDF, 118 KB

english, 1997

56

Evaluating the end-of-life value of a product andimproving it by redesign

Pnueli, Y., Zussman, E.

Journal:

International Journal of Production Research

Year:

1997

Language:

english

File:

PDF, 409 KB

english, 1997

57

Glucose and Nitrogen Regulate the Switch from Histone Deacetylation to Acetylation for Expression of Early Meiosis-Specific Genes in Budding Yeast

Pnueli, L., Edry, I., Cohen, M., Kassir, Y.

Journal:

Molecular and Cellular Biology

Year:

2004

Language:

english

File:

PDF, 407 KB

english, 2004

58

[ACM Press the 5th international workshop - Pittsburgh, Pennsylvania, United States (1989..-..)] Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 - Rooting UNITY

Gerth, R., Pnueli, A.

Year:

1989

Language:

english

File:

PDF, 685 KB

english, 1989

59

[ACM Press the third annual ACM symposium - Vancouver, British Columbia, Canada (1984.08.27-1984.08.29)] Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 - Verification of multiprocess probabilistic protocols

Pnueli, Amir, Zuck, Lenore

Year:

1984

Language:

english

File:

PDF, 889 KB

english, 1984

60

Magneto-charge-transport from twisting arguments

Year:

1995

Language:

english

File:

PDF, 508 KB

english, 1995

61

Fluid Mechanics || HIGH REYNOLDS NUMBER FLOWS – THE BOUNDARY LAYER

Pnueli, David, Gutfinger, Chaim

Year:

1992

File:

PDF, 872 KB

1992

62

The wear of the harder member in a friction couple

L. Rozeanu, D. Pnueli

Journal:

Year:

1983

Language:

english

File:

PDF, 643 KB

english, 1983

63

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

64

Two shift theorems leading to lower bounds to eigenvalues

Journal:

Journal of Engineering Mathematics

Year:

1972

Language:

english

File:

PDF, 192 KB

english, 1972

65

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

66

Compilation of Nonprocedural Specifications into Computer Programs

Prywes, N.S., Pnueli, A.

Journal:

IEEE Transactions on Software Engineering

Year:

1983

Language:

english

File:

PDF, 4.00 MB

english, 1983

67

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Verifying Correctness of Transactional Memories

Cohen, Ariel, O'Leary, John W., Pnueli, Amir, Tuttle, Mark R., Zuck, Lenore D.

Year:

2007

Language:

english

File:

PDF, 237 KB

english, 2007

68

Migration of solid particles perpendicular to a local shear flow dueto local instabilities

FICHMAN, M., PNUELI, D.

Journal:

Year:

1987

Language:

english

File:

PDF, 339 KB

english, 1987

69

A Sound and Complete Deductive System for CTL* Verification

Gabbay, D. M., Pnueli, A.

Journal:

Logic Journal of IGPL

Year:

2008

Language:

english

File:

PDF, 424 KB

english, 2008

70

[IEEE 2014 IEEE International Conference on Image Processing (ICIP) - Paris, France (2014.10.27-2014.10.30)] 2014 IEEE International Conference on Image Processing (ICIP) - Phase retrieval of sparse signals using optimization transfer and ADMM

Weller, Daniel S., Pnueli, Ayelet, Radzyner, Ori, Divon, Gilad, Eldar, Yonina C., Fessler, Jeffrey A.

Year:

2014

Language:

english

File:

PDF, 203 KB

english, 2014

71

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Verifying Correctness of Transactional Memories

Cohen, Ariel, O'Leary, John W., Pnueli, Amir, Tuttle, Mark R., Zuck, Lenore D.

Year:

2007

Language:

english

File:

PDF, 237 KB

english, 2007

72

Fluid Mechanics || TURBULENT FLOW

Pnueli, David, Gutfinger, Chaim

Year:

1992

File:

PDF, 1.68 MB

1992

73

Deterministic propositional dynamic logic: Finite models, complexity, and completeness

Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 911 KB

english, 1982

74

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

75

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

76

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

77

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

78

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Cryptographic Protocols Analysis in Event B

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 290 KB

english, 2010

79

[IEEE 21st Annual Symposium on Foundations of Computer Science (sfcs 1980) - Syracuse, NY, USA (1980.10.13-1980.10.15)] 21st Annual Symposium on Foundations of Computer Science (sfcs 1980) - A linear history semantics for distributed languages extended abstract

Francez, N., Lehmann, D., Pnueli, A.

Year:

1980

Language:

english

File:

PDF, 980 KB

english, 1980

80

[IEEE Comput. Soc 1998 International Conference on Parallel Architectures and Compilation Techniques - Paris, France (12-18 Oct. 1998)] Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.98EX192) - A fast algorithm for scheduling time-constrained instructions on processors with ILP

Leung, A., Palern, K.V., Pnueli, A.

Year:

1998

Language:

english

File:

PDF, 137 KB

english, 1998

81

Gonadotropin gene transcription is activated by menin-mediated effects on the chromatin

Wijeweera, Andrea, Haj, Majd, Feldman, Alona, Pnueli, Lilach, Luo, Zhuojuan, Melamed, Philippa

Journal:

Biochimica et Biophysica Acta (BBA) - Gene Regulatory Mechanisms

Year:

2015

Language:

english

File:

PDF, 2.18 MB

english, 2015

82

SPIE Proceedings [SPIE Microlithography 2004 - Santa Clara, CA (Sunday 22 February 2004)] Metrology, Inspection, and Process Control for Microlithography XVIII - Height and sidewall angle SEM metrology accuracy

Kris, Roman, Silver, Richard M., Adan, Ofer, Tam, Aviram, Karabekov, Albert Y., Menadeva, Ovadya, Peltinov, Ram, Pnueli, Ayelet, Zoran, Oren, Vilenkin, Arcadiy

Year:

2004

File:

PDF, 250 KB

2004

83

[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - The TypTop System

Chatterjee, Rahul, Woodage, Joanne, Pnueli, Yuval, Chowdhury, Anusha, Ristenpart, Thomas

Year:

2017

Language:

english

File:

PDF, 1.20 MB

english, 2017

84

Lower Bounds to the Critical Rayleigh Number for Completely Confined Fluids Inside Arbitrary Configurations

Journal:

Journal of Heat Transfer

Year:

1975

Language:

english

File:

PDF, 292 KB

english, 1975

85

Fluid Mechanics || COMPRESSIBLE FLOW

Pnueli, David, Gutfinger, Chaim

Year:

1992

File:

PDF, 1.56 MB

1992

86

Minimum rate of entropy production variational formulation and preferred mode of motion in thermal instability

Journal:

International Journal of Engineering Science

Year:

1975

Language:

english

File:

PDF, 687 KB

english, 1975

87

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

88

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

Journal:

Year:

1970

Language:

english

File:

PDF, 800 KB

english, 1970

89

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

90

A modified model for the deposition of dust in a granular bed filter

M. Fichman, C. Gutfinger, D. Pnueli

Journal:

Atmospheric Environment (1967)

Year:

1967

Language:

english

File:

PDF, 506 KB

english, 1967

91

Tides in Oceans of the Form of a Cross

A. Pnueli and C. L. Perkeris

Journal:

Proceedings of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1968

Language:

english

File:

PDF, 1.48 MB

english, 1968

92

Hall conductance and adiabatic charge transport of leaky tori

Avron, Joseph E., Klein, Markus, Pnueli, Ayelet, Sadun, Lorenzo

Journal:

Physical Review Letters

Year:

1992

Language:

english

File:

PDF, 760 KB

english, 1992

93

[Lecture Notes in Computer Science] Advances in Cryptology — EUROCRYPT ’88 Volume 330 || A Universal Algorithm for Homophonic Coding

Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., Seegmüller, G., Stoer, J., Wirth, N., Günther, Christoph G.

Year:

1988

Language:

english

File:

PDF, 456 KB

english, 1988

94

RNA transcribed from a distal enhancer is required for activating the chromatin at the promoter of the gonadotropin α-subunit gene

Pnueli, Lilach, Rudnizky, Sergei, Yosefzon, Yahav, Melamed, Philippa

Journal:

Proceedings of the National Academy of Sciences

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

95

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - Synthesizing reactive systems from LSC requirements using the play-engine

Kugler, Hillel, Plock, Cory, Pnueli, Amir

Year:

2007

Language:

english

File:

PDF, 562 KB

english, 2007

96

[ACM Press the international conference - Greenoble, France (2002.10.08-2002.10.11)] Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02 - Validating software pipelining optimizations

Leviathan, Raya, Pnueli, Amir

Year:

2002

Language:

english

File:

PDF, 204 KB

english, 2002

97

Nucleosome mobility and the regulation of gene expression: Insights from single-molecule studies

Rudnizky, Sergei, Malik, Omri, Bavly, Adaiah, Pnueli, Lilach, Melamed, Philippa, Kaplan, Ariel

Journal:

Protein Science

Year:

2017

Language:

english

File:

PDF, 1.63 MB

english, 2017

98

Fluid Mechanics || FLUIDS IN MOTION – INTEGRAL ANALYSIS

Pnueli, David, Gutfinger, Chaim

Year:

1992

File:

PDF, 2.23 MB

1992

99

Fluid Mechanics || NON-NEWTONIAN FLUIDS

Pnueli, David, Gutfinger, Chaim

Year:

1992

File:

PDF, 491 KB

1992

100

Unravelling the role of epigenetics in reproductive adaptations to early-life environment

Bar-Sadeh, Ben, Rudnizky, Sergei, Pnueli, Lilach, Bentley, Gillian R., StÃ¶ger, Reinhard, Kaplan, Ariel, Melamed, Philippa

Journal:

Nature Reviews Endocrinology (formerly Nature Clinical Practice Endocrinology & Metabolism)

Year:

2020

File:

PDF, 1.64 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски