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.

103 Publications


2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms,” Vol. 15. Elsevier, 2002. https://doi.org/10.3182/20020721-6-ES-1901.01628.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS) 24, no. 1 (2002): 51–64. https://doi.org/10.1145/509705.509707.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces,” 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451   OA
Hausel, Tamas, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica 7, no. 1 (2002): 495–534.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2613
Kitano, Jun, Kouji Kimura, Yoshimitsu Yamazaki, Takeshi Soda, Ryuichi Shigemoto, Yoshiaki Nakajima, and Shigetada Nakanishi. “Tamalin, a PDZ Domain-Containing Protein, Links a Protein Complex Formation of Group 1 Metabotropic Glutamate Receptors and the Guanine Nucleotide Exchange Factor Cytohesins.” Journal of Neuroscience 22, no. 4 (2002): 1280–89.
View
 

2002 | Journal Article | IST-REx-ID: 2618
Nunzi, Maria, Ryuichi Shigemoto, and Enrico Mugnaini. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” Journal of Comparative Neurology 451, no. 2 (2002): 189–99. https://doi.org/10.1002/cne.10344.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2620
Lörincz, Andrea, Takuya Notomi, Gábor Tamás, Ryuichi Shigemoto, and Zoltán Nusser. “Polarized and Compartment-Dependent Distribution of HCN1 in Pyramidal Cell Dendrites.” Nature Neuroscience 5, no. 11 (2002): 1185–93. https://doi.org/10.1038/nn962.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2339
Seiringer, Robert. “Symmetry Breaking in a Model of a Rotating Bose Gas.” edited by Richardo Weder, Pavel Exner, and Benoit Grébert, 307:281–86. World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2353   OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Superfluidity in Dilute Trapped Bose Gases.” Physical Review B - Condensed Matter and Materials Physics 66, no. 13 (2002). https://doi.org/10.1103/PhysRevB.66.134529.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2738
Erdös, László. “Linear Boltzmann Equation as the Long Time Dynamics of an Electron Weakly Coupled to a Phonon Field.” Journal of Statistical Physics 107, no. 5–6 (2002): 1043–1127. https://doi.org/10.1023/A:1015157624384.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2740
Erdös, László. “Spectral Shift and Multiplicity of the First Eigenvalue of the Magnetic Schrödinger Operator in Two Dimensions.” Annales de l’Institut Fourier 52, no. 6 (2002): 1833–1874+XI+VII. https://doi.org/10.5802/aif.1936.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2694
Erdös, László. “Scaling Limits of Schrödinger Quantum Mechanics,” 597:487–506. Springer, 2002. https://doi.org/10.1007/3-540-46122-1_19.
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller, Daniel, Harald L Janovjak, Tiina Lehto, Lars Kuerschner, and Kurt Anderson. “Observing Structure, Function and Assembly of Single Proteins by AFM.” Progress in Biophysics and Molecular Biology. Elsevier, 2002. https://doi.org/10.1016/S0079-6107(02)00009-3.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
Hefft, Stefan, Udo Kraushaar, Jörg Geiger, and Peter M Jonas. “Presynaptic Short-Term Depression Is Maintained during Regulation of Transmitter Release at a GABAergic Synapse in Rat Hippocampus.” Journal of Physiology 539, no. Pt 1 (2002): 201–8. https://doi.org/10.1113/jphysiol.2001.013455.
View | DOI
 

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner, Herbert, and Ping Fu. “Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points.” Elsevier, 2002. https://doi.org/US 6,377,865 B1.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3919   OA
Cremer, Sylvia, and Jürgen Heinze. “Adaptive Production of Fighter Males: Queens of the Ant Cardiocondyla Adjust the Sex Ratio under Local Mate Competition.” Proceedings of the Royal Society of London Series B Biological Sciences 269, no. 1489 (2002): 417–22. https://doi.org/10.1098/rspb.2001.1892.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal, Pankaj, Leonidas Guibas, Herbert Edelsbrunner, Jeff Erickson, Michael Isard, Sariel Har Peled, John Hershberger, et al. “Algorithmic Issues in Modeling Motion.” ACM Computing Surveys 34, no. 4 (2002): 550–72. https://doi.org/10.1145/592642.592647.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro, Arcadio, and Nicholas H Barton. “The Effects of Multilocus Balancing Selection on Neutral Variability.” Genetics 161, no. 2 (2002): 849–63.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson, Toby, and Nicholas H Barton. “The Effect of Deleterious Alleles on Adaptation in Asexual Populations.” Genetics 162, no. 1 (2002): 395–411.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” Information and Computation 173, no. 1 (2002): 64–81. https://doi.org/10.1006/inco.2001.3085.
View | DOI
 

Filters and Search Terms

year=2002

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed