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.

6021 Publications


2002 | Journal Article | IST-REx-ID: 204
T. D. Browning, “Equal Sums of Two kth Powers,” Journal of Number Theory, vol. 96, no. 2, pp. 293–318, 2002.
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2338
É. Lieb, J. Solovej, R. Seiringer, and J. Yngvason, “The ground state of the Bose gas,” in Current Developments in Mathematics, 2001, International Press, 2002, pp. 131–178.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2339
R. Seiringer, “Symmetry breaking in a model of a rotating Bose gas,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 281–286.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2349 | OA
É. Lieb and R. Seiringer, “Proof of Bose-Einstein condensation for dilute trapped gases,” Physical Review Letters, vol. 88, no. 17, pp. 1704091–1704094, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2350 | OA
C. Hainzl and R. Seiringer, “Mass renormalization and energy level shift in non-relativistic QED,” Advances in Theoretical and Mathematical Physics, vol. 6, no. 5, pp. 847–871, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2351 | OA
R. Seiringer, “Gross-Pitaevskii theory of the rotating Bose gas,” Communications in Mathematical Physics, vol. 229, no. 3, pp. 491–509, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2352 | OA
C. Hainzl and R. Seiringer, “General decomposition of radial functions on ℝn and applications to N-body quantum systems,” Letters in Mathematical Physics, vol. 61, no. 1, pp. 75–84, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2353 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Superfluidity in dilute trapped Bose gases,” Physical Review B - Condensed Matter and Materials Physics, vol. 66, no. 13, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2420
U. Wagner, “On the number of corner cuts,” Advances in Applied Mathematics, vol. 29, no. 2, pp. 152–161, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2421
C. Ambühl and U. Wagner, “On the Clique problem in intersection graphs of ellipses,” presented at the ISAAC: International Symposium on Algorithms and Computation, 2002, vol. 2518, pp. 489–500.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2613
J. Kitano et al., “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, vol. 22, no. 4, pp. 1280–1289, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 2614
C. Millán, R. Luján, R. Shigemoto, and J. Sánchez Prieto, “The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals,” Journal of Biological Chemistry, vol. 277, no. 16, pp. 14092–14101, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2615
T. Toyono et al., “Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae,” Archives of Histology and Cytology, vol. 65, no. 1, pp. 91–96, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2616
G. López Bendito, R. Shigemoto, A. Fairén, and R. Luján, “Differential distribution of group I metabotropic glutamate receptors during rat cortical development,” Cerebral Cortex, vol. 12, no. 6, pp. 625–638, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2617 | OA
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones,” Journal of Physiology, vol. 542, no. 1, pp. 193–210, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2618
M. Nunzi, R. Shigemoto, and E. Mugnaini, “Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum,” Journal of Comparative Neurology, vol. 451, no. 2, pp. 189–199, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2619
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, and P. Somogyi, “Enrichment of mGluR7a in the presynaptic active zones of GABAergic and non-GABAergic terminals on interneurons in the rat somatosensory cortex,” Cerebral Cortex, vol. 12, no. 9, pp. 961–974, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
S. Cremer and J. 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, vol. 269, no. 1489, pp. 417–422, 2002.
View | DOI | Download None (ext.)
 

2002 | Journal Article | IST-REx-ID: 3920
S. Turillazzi, M. Sledge, S. Cremer, and J. Heinze, “A method for analysing small-size specimens in GC-MS,” Insect Social Life, vol. 4, pp. 169–175, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3924
S. Cremer, B. Lautenschläger, and J. Heinze, “A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior,” Insectes Sociaux, vol. 49, no. 3, pp. 221–228, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
S. Cremer, M. Sledge, and J. Heinze, “Chemical mimicry: Male ants disguised by the queen’s bouquet,” Nature, vol. 419, pp. 897–897, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
P. Agarwal et al., “Algorithmic issues in modeling motion,” ACM Computing Surveys, vol. 34, no. 4, pp. 550–572, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
H. Edelsbrunner, D. Letscher, and A. Zomorodian, “Topological persistence and simplification,” Discrete & Computational Geometry, vol. 28, no. 4, pp. 511–533, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
H. Edelsbrunner and D. Guoy, “An experimental study of sliver exudation,” Engineering with Computers, vol. 18, no. 3, pp. 229–240, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
A. Zomorodian and H. Edelsbrunner, “Fast software for box intersections,” International Journal of Computational Geometry and Applications, vol. 12, no. 1–2, pp. 143–172, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” presented at the SODA: Symposium on Discrete Algorithms, 2002, pp. 791–799.
View
 

2002 | Journal Article | IST-REx-ID: 4139
J. Polechova and P. Stopka, “Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus,” Canadian Journal of Zoology, vol. 80, no. 8, pp. 1383–1388, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258
A. Navarro and N. H. Barton, “The effects of multilocus balancing selection on neutral variability,” Genetics, vol. 161, no. 2, pp. 849–863, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
M. Orive and N. H. Barton, “Associations between cytoplasmic and nuclear loci in hybridizing populations,” Genetics, vol. 162, no. 3, pp. 1469–1485, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
T. Johnson and N. H. Barton, “The effect of deleterious alleles on adaptation in asexual populations,” Genetics, vol. 162, no. 1, pp. 395–411, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4261
N. H. Barton and P. Keightley, “Understanding quantitative genetic variation,” Nature Reviews Genetics, vol. 3, pp. 11–21, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
N. H. Barton and A. Navarro, “Extending the coalescent to multilocus systems: the case of balancing selection,” Genetical Research, vol. 79, no. 2, pp. 129–139, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
N. H. Barton, F. Depaulis, and A. Etheridge, “Neutral evolution in spatially continuous populations,” Theoretical Population Biology, vol. 61, no. 1, pp. 31–48, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
J. Huelsenbeck, J. P. Bollback, and A. Levine, “Inferring the root of a phylogenetic tree,” Systematic Biology, vol. 51, no. 1, pp. 32–43, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
J. P. Bollback, “Bayesian model adequacy and choice in phylogenetics,” Molecular Biology and Evolution, vol. 19, no. 7, pp. 1171–80, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” Theoretical Computer Science, vol. 274, no. 1–2, pp. 151–182, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
R. Passerone, L. De Alfaro, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Convertibility verification and converter synthesis: Two faces of the same coin,” presented at the ICCAD: Computer-Aided Design, 2002, pp. 132–139.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
C. Kirsch, M. Sanvido, T. A. Henzinger, and W. Pree, “A Giotto-based helicopter control system,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
M. Jurdziński, O. Kupferman, and T. A. Henzinger, “Trading probability for fairness,” presented at the CSL: Computer Science Logic, 2002, vol. 2471, pp. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” presented at the IFAC: World Congress on Automatic Control, 2002, vol. 15, no. 1.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
T. A. Henzinger and C. Kirsch, “The embedded machine: predictable, portable real-time code,” presented at the PLDI: Programming Languages Design and Implementation, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” presented at the ICALP: Automata, Languages and Programming, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 526–538.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, pp. 51–64, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1, pp. 64–81, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” presented at the POPL: Principles of Programming Languages, 2002, pp. 58–70.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 428–441.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2002, vol. 2289, pp. 134–148.
View | DOI
 

Search

Filter Publications