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.

5758 Publications


2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules (Vol. 2404, pp. 428–441). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems (Vol. 2289, pp. 134–148). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672–713. https://doi.org/10.1145/585265.585270
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces (Vol. 2491, pp. 108–122). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_9
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, 419(6910), 925–929. 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, 419(6910), 899–903. https://doi.org/10.1038/nature01169
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov, V., & Zabih, R. (2002). Multi-camera scene reconstruction via graph cuts (pp. 65–81). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/3-540-47977-5_5
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml, J., Wiśniewska, J., Benková, E., Mendgen, K., & Palme, K. (2002). Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis. Nature, 415(6873), 806–809. https://doi.org/10.1038/415806a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, M., Topping, J., Pullen, M., Friml, J., Palme, K., Hackett, R., … Lindsey, K. (2002). Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell, 14(5), 1017–1031. https://doi.org/10.1105/tpc.001248
View | DOI
 

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, 12(4), 329–334. 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, 108(5), 661–673. 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, 49(3–4), 273–284. 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, 36(6), 1035–1049. 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, 32(6), 1372–1379.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, W., Bollenbach, 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, 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 | Conference Paper | IST-REx-ID: 3448
Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation of shape grammar for plan analysis. Presented at the IT-Built: Information Technology For Built Environment, Elsevier.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger, J., Bischofberger, J., Vida, I., Fröbe, U., Pfitzinger, S., Weber, H., … Jonas, P. M. (2002). Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology, 443(3), 491–501. https://doi.org/10.1007/s00424-001-0735-3
View | DOI
 

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner, H., & Fu, P. (2002). Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. Elsevier. https://doi.org/US 6,377,865 B1
View | DOI | Download (ext.)
 

Search

Filter Publications