Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6304 Publications


2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A., et al. Time-Safety Checking for Embedded Programs. Vol. 2491, ACM, 2002, pp. 76–92, doi:10.1007/3-540-45828-X_7.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A., et al. Synthesis of Uninitialized Systems. Vol. 2380, Springer, 2002, pp. 644–56, doi:10.1007/3-540-45465-9_55.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A., et al. Temporal Safety Proofs for Systems Code. Vol. 2404, Springer, 2002, pp. 526–38, doi:10.1007/3-540-45657-0_45.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, ACM, 2002, pp. 51–64, doi:10.1145/509705.509707.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A., et al. “Fair Simulation.” Information and Computation, vol. 173, no. 1, Elsevier, 2002, pp. 64–81, doi:10.1006/inco.2001.3085.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A., et al. Lazy Abstraction. ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. Synchronous and Bidirectional Component Interfaces. Vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, et al. Interface Compatibility Checking for Software Modules. Vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, et al. A Comparison of Control Problems for Timed and Hybrid Systems. Vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml, Jiří, et al. “Lateral Relocation of Auxin Efflux Regulator PIN3 Mediates Tropism in Arabidopsis.” Nature, vol. 415, no. 6873, Nature Publishing Group, 2002, pp. 806–09, doi:10.1038/415806a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, Martin, et al. “Hydra Mutants of Arabidopsis Are Defective in Sterol Profiles and Auxin and Ethylene Signaling.” Plant Cell, vol. 14, no. 5, American Society of Plant Biologists, 2002, pp. 1017–31, doi:10.1105/tpc.001248.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, Markus, et al. “Cell Polarity Signaling in Arabidopsis Involves a BFA Sensitive Auxin Influx Pathway.” Current Biology, vol. 12, no. 4, Cell Press, 2002, pp. 329–34, doi:10.1016/S0960-9822(02)00654-1.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, Jiří, et al. “AtPIN4 Mediates Sink-Driven Auxin Gradients and Root Patterning in Arabidopsis.” Cell, vol. 108, no. 5, Cell Press, 2002, pp. 661–73, doi:10.1016/S0092-8674(02)00656-6.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml, Jiří, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?” Plant Molecular Biology, vol. 49, no. 3–4, Springer, 2002, pp. 273–84, doi:10.1023/A:1015248926412.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer, Simon, et al. “A Role for Neuregulin1 Signaling in Muscle Spindle Differentiation.” Neuron, vol. 36, no. 6, Elsevier, 2002, pp. 1035–49, doi:10.1016/S0896-6273(02)01101-7.
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller, Daniel, et al. “Observing Structure, Function and Assembly of Single Proteins by AFM.” Progress in Biophysics and Molecular Biology, vol. 79, no. 1–3, Elsevier, 2002, pp. 1–43, doi:10.1016/S0079-6107(02)00009-3.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller, Patrick, et al. “Processing of Gene Expression Data Generated by Quantitative Real-Time RT-PCR.” Biotechniques, vol. 32, no. 6, Informa Healthcare, 2002, pp. 1372–79.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, Wolfgang, et al. The Percolation Interpretation of the Nuclear Fragmentation Phase Transition. EP Systema, 2002, pp. 111–18.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach, Mark Tobias, and Wolfgang Bauer. 3d Supernovae Collapse Calculations. Vol. 644, American Institute of Physics, 2002, pp. 219–32, doi:10.1063/1.1523196 .
View | DOI
 

Search

Filter Publications