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.

109 Publications


2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement (Vol. 2725, pp. 262–274). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
Henzinger, T. A., Kirsch, C., Sanvido, M., & Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine, 23(1), 50–64. https://doi.org/10.1109/MCS.2003.1172829
View | DOI
 

2003 | Journal Article | IST-REx-ID: 876
Kondrashov, F., & Koonin, E. (2003). Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics, 19(3), 115–119. https://doi.org/10.1016/S0168-9525(02)00029-X
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
Cremer, S., & Heinze, J. (2003). Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology, 13(3), 219–223. https://doi.org/10.1016/S0960-9822(03)00012-5
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1458   OA
Hausel, T., & Thaddeus, M. (2003). Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles. Journal of the American Mathematical Society, 16(2), 303–329. https://doi.org/10.1090/S0894-0347-02-00417-4
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1960
Sazanov, L. A., Carroll, J., Holt, P., Toime, L., & Fearnley, I. (2003). A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry, 278(21), 19483–19491. https://doi.org/10.1074/jbc.M208959200
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami, R., Shinohara, Y., Kato, Y., Sugiyama, H., Shigemoto, R., & Ito, I. (2003). Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science, 300(5621), 990–994. https://doi.org/10.1126/science.1082609
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2634
López Bendito, G., Luján, R., Shigemoto, R., Ganter, P., Paulsen, O., & Molnár, Z. (2003). Blockade of GABAB receptors alters the tangential migration of cortical neurons. Cerebral Cortex, 13(9), 932–942. https://doi.org/10.1093/cercor/13.9.932
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2785
Hof, B., Juel, A., & Mullin, T. (2003). Scaling of the turbulence transition threshold in a pipe. Physical Review Letters, 91(24), 244502/1-244502/4. https://doi.org/10.1103/PhysRevLett.91.244502
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
Reinhardt, D., Pesce, E., Stieger, P., Mandel, T., Baltensperger, K., Bennett, M., … Kuhlemeier, C. (2003). Regulation of phyllotaxis by polar auxin transport. Nature, 426(6964), 255–260. https://doi.org/10.1038/nature02081
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Rayburn, L., Gooding, H., Choksi, S., Maloney, D., Kidd, A., Siekhaus, D. E., & Bender, M. (2003). Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics, 163(1), 227–237.
View
 

2003 | Conference Paper | IST-REx-ID: 3170
Boykov, Y., & Kolmogorov, V. (2003). Computing geodesics and minimal surfaces via graph cuts (Vol. 1, pp. 26–33). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2003.1238310
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3529
Csicsvari, J. L., Henze, D., Jamieson, B., Harris, K., Sirota, A., Bartho, P., … Buzsáki, G. (2003). Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology, 90(2), 1314–1323. https://doi.org/10.1152/jn.00116.2003
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3536
Buzsáki, G., Buhl, D., Harris, K., Csicsvari, J. L., Czéh, B., & Morozov, A. (2003). Hippocampal network patterns of activity in the mouse. Neuroscience, 116(1), 201–211. https://doi.org/10.1016/S0306-4522(02)00669-3
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3543
Sirota, A., Csicsvari, J. L., Buhl, D., & Buzsáki, G. (2003). Communication between neocortex and hippocampus during sleep in rodents. PNAS, 100(4), 2065–2069. https://doi.org/10.1073/pnas.0437938100
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3593
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2003). A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning, 30(2), 205–232. https://doi.org/10.1023/A:1023217515688
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3618
Vines, T., & Barton, N. H. (2003). A new approach to detecting mixed families. Molecular Ecology, 12(7), 1999–2002. https://doi.org/10.1046/j.1365-294X.2003.01867.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
Nürnberger, B., Hofman, S., Förg Brey, B., Praetzel, G., Maclean, A., Szymura, J., … Barton, N. H. (2003). A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity, 91(2), 136–142. https://doi.org/10.1038/sj.hdy.6800291
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3752   OA
Vilar, J., Guet, C. C., & Leibler, S. (2003). Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology, 161(3), 471–476. https://doi.org/10.1083/jcb.200301125
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3992
Edelsbrunner, H., & Koehl, P. (2003). The weighted-volume derivative of a space-filling diagram. PNAS, 100(5), 2203–2208. https://doi.org/10.1073/pnas.0537830100
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed