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.

6846 Publications


2002 | Journal Article | IST-REx-ID: 2988
Grebe, M., Friml, J., Swarup, R., Ljung, K., Sandberg, G., Terlou, M., … Scheres, B. (2002). Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)00654-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, J., Benková, E., Blilou, I., Wiśniewska, J., Hamann, T., Ljung, K., … Palme, K. (2002). AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(02)00656-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml, J., & Palme, K. (2002). Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. Springer. https://doi.org/10.1023/A:1015248926412
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer, S., Shneider, N., Birchmeier, C., Burden, S., Jessell, T., & Arber, S. (2002). A role for Neuregulin1 signaling in muscle spindle differentiation. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(02)01101-7
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller, D., Janovjak, H. L., Lehto, T., Kuerschner, L., & Anderson, K. (2002). Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. Elsevier. https://doi.org/10.1016/S0079-6107(02)00009-3
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller, P., Janovjak, H. L., Miserez, A., & Dobbie, Z. (2002). Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques. Informa Healthcare.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, W., Bollenbach, M. T., Kleine Berkenbusch, M., & Harreis, H. (2002). The percolation interpretation of the nuclear fragmentation phase transition (pp. 111–118). Presented at the Winter Workshop on Nuclear Dynamics, EP Systema.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach, M. T., & Bauer, W. (2002). 3d supernovae collapse calculations (Vol. 644, pp. 219–232). Presented at the CRIS: Catania Relativistic Ion Studies , American Institute of Physics. https://doi.org/10.1063/1.1523196
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Kondrashov, A., Sunyaev, S., & Kondrashov, F. (2002). Dobzhansky-Muller incompatibilities in protein evolution. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.232565499
View | DOI
 

2002 | Journal Article | IST-REx-ID: 897
Castillo Davis, C., Mekhedov, S., Hartl, D., Koonin, E., & Kondrashov, F. (2002). Selection for short introns in highly expressed genes. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng940
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates, J. C., & de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature01170
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., & Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. Springer Nature. https://doi.org/10.1038/nature01169
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, T. A., & Kirsch, C. (2002). The embedded machine: predictable, portable real-time code (pp. 315–326). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/512529.512567
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, T. A., Kirsch, C., Majumdar, R., & Matic, S. (2002). Time-safety checking for embedded programs (Vol. 2491, pp. 76–92). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems (Vol. 2380, pp. 644–656). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45465-9_55
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., & Weimer, W. (2002). Temporal safety proofs for systems code (Vol. 2404, pp. 526–538). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_45
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (2002). An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/509705.509707
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier. https://doi.org/10.1006/inco.2001.3085
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2002). Lazy abstraction (pp. 58–70). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/503272.503279
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous and bidirectional component interfaces (Vol. 2404, pp. 414–427). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_34
View | DOI
 

Search

Filter Publications