E-LIB Suche - Ergebnisse für: Pnueli, A.

1

Gonadotrophin‐Releasing Hormone Signalling Downstream of Ca..:

Melamed, P. ; Savulescu, D. ; Lim, S....
Journal of Neuroendocrinology. 24 (2012) 12 - p. 1463-1475 , 2012

Link: https://doi.org/10.1111/..

2

A Sound and Complete Deductive System for CTL* Verification:

Gabbay, D. M. ; Pnueli, A.
Logic Journal of IGPL. 16 (2008) 6 - p. 499-536 , 2008

Link: https://doi.org/10.1093/..

3

Confined fluidized bed—model and experiments:

Moldavsky, L. ; Goldshtein, A. ; Shuster, K....
International Journal of Multiphase Flow. 31 (2005) 8 - p. 957-967 , 2005

Link: https://doi.org/10.1016/..

4

CRITERION FOR IGNITION OF A FUEL MIXTURE BY ACOUSTIC STREAM..:

VAINSHTEIN, P. ; PNUELI, D. ; GUTFINGER, C.
Combustion Science and Technology. 176 (2004) 2 - p. 289-304 , 2004

Link: https://doi.org/10.1080/..

5

Particle Motion in Simple Shear Flow with Gravity:

Gutfinger, C. ; Pnueli, D. ; Moldavsky, L...
Aerosol Science and Technology. 37 (2003) 10 - p. 841-845 , 2003

Link: https://doi.org/10.1080/..

6

The Small Model Property: How Small Can It Be?:

Pnueli, A
Information and Computation. 178 (2002) 1 - p. 279-293 , 2002

Link: https://doi.org/10.1016/..

7

Seasonal and diurnal variations in gene expression in the d..:

MERQUIOL, E. ; PNUELI, L. ; COHEN, M....
Plant, Cell & Environment. 25 (2002) 12 - p. 1627-1638 , 2002

Link: https://doi.org/10.1046/..

8

Tomato SP-Interacting Proteins Define a Conserved Signaling..:

Pnueli, L.
THE PLANT CELL ONLINE. 13 (2001) 12 - p. 2687-2702 , 2001

Link: https://doi.org/10.1105/..

9

Symbolic model checking with rich assertional languages:

Kesten, Y. ; Maler, O. ; Marcus, M...
Theoretical Computer Science. 256 (2001) 1-2 - p. 93-112 , 2001

Link: https://doi.org/10.1016/..

10

ELECTROSTATIC POROUS FILTER WITH A BLOCKING ELECTRODE:

Pnueli, D ; Gutfinger, C ; Moldavsky, L..
Journal of Aerosol Science. 31 (2000) 11 - p. 1371-1379 , 2000

Link: https://doi.org/10.1016/..

11

Enhancing the efficiency of the electrostatic filter:

Gutfinger, C. ; Moldavsky, L. ; Shuster, K...
Journal of Aerosol Science. 31 (2000) - p. 608-609 , 2000

Link: https://doi.org/10.1016/..

12

Decidable Integration Graphs:

Kesten, Y ; Pnueli, A ; Sifakis, J.
Information and Computation. 150 (1999) 2 - p. 209-243 , 1999

Link: https://doi.org/10.1006/..

13

The Code Validation Tool (CVT):

Pnueli, A. ; Shtrichman, O. ; Siegel, M.
International Journal on Software Tools for Technology Transfer (STTT). 2 (1998) 2 - p. 192-201 , 1998

Link: https://doi.org/10.1007/..

14

Effect of lift on the motion of aerosol particles:

Gutfinger, C. ; Fichman, M. ; Pnueli, D.
Journal of Aerosol Science. 29 (1998) - p. S1105-S1106 , 1998

Link: https://doi.org/10.1016/..

15

Shear induced lift in the motion of small particles in rota..:

Pnueli, D. ; Gutfinger, C. ; Fichman, M.
Journal of Aerosol Science. 28 (1997) 8 - p. 1507-1516 , 1997

Link: https://doi.org/10.1016/..