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.

6032 Publications


2004 | Journal Article | IST-REx-ID: 8518
Koralov L, Kaloshin V, Dolgopyat D. Sample path properties of the stochastic flows. The Annals of Probability. 2004;32(1A):1-27. doi:10.1214/aop/1078415827
View | DOI
 

2003 | Journal Article | IST-REx-ID: 205
Browning TD. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 2003;108(3):275-295. doi:10.4064/aa108-3-7
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
Browning TD. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 2003;54(1):33-39. doi:10.1093/qjmath/54.1.33
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Browning TD. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 2003;134(3):385-395. doi:10.1017/S0305004102006382
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
Browning TD. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 2003;54(1):11-31. doi:10.1093/qjmath/54.1.11
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
Lieb É, Seiringer R. Bose-Einstein condensation of dilute gases in traps . In: Karpeshina Y, Weikard R, Zeng Y, eds. Vol 327. American Mathematical Society; 2003:239-250. doi:10.1090/conm/327/05818
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
Seiringer R. Ground state asymptotics of a dilute, rotating gas. Journal of Physics A: Mathematical and Theoretical. 2003;36(37):9755-9778. doi:10.1088/0305-4470/36/37/312
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
Lieb É, Seiringer R, Yngvason J. Poincaré inequalities in punctured domains. Annals of Mathematics. 2003;158(3):1067-1080. doi:10.4007/annals.2003.158.1067
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
Lieb É, Seiringer R, Yngvason J. One-dimensional Bosons in three-dimensional traps. Physical Review Letters. 2003;91(15):1504011-1504014. doi:10.1103/PhysRevLett.91.150401
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
Wagner U. On K-Sets and Their Applications. ETH Zurich; 2003. doi:10.3929/ethz-a-004708408
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
Wagner U. On the rectilinear crossing number of complete graphs. In: SIAM; 2003:583-588.
View | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 2423
Matoušek J, Wagner U. New constructions of weak epsilon-nets. In: ACM; 2003:129-135. doi:10.1145/777792.777813
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2424
Giesen J, Wagner U. Shape dimension and intrinsic metric from samples of manifolds with high co-dimension. In: ACM; 2003:329-337. doi:10.1145/777792.777841
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
Cremer S, Heinze J. Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in die Wissenschaft. 2003;12(15):32-36.
View
 

2003 | Journal Article | IST-REx-ID: 3921
Anderson C, Cremer S, Heinze J. Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology. 2003;14(1):54-62. doi:10.1093/beheco/14.1.54
View | DOI
 

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

2003 | Book Chapter | IST-REx-ID: 3991
Cheng H, Edelsbrunner H. Area and perimeter derivatives of a union of disks. In: Computer Science in Perspective: Essays Dedicated to Thomas Ottmann. Vol 2598. Springer; 2003:88-97. doi:10.1007/3-540-36477-3_7
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner H, Harer J, Zomorodian A. Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete & Computational Geometry. 2003;30(1):87-107. doi:10.1007/s00454-003-2926-5
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Cheng H, Edelsbrunner H. Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. 2003;26(2):173-192. doi:10.1016/S0925-7721(02)00124-4
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
Bremer P, Edelsbrunner H, Hamann B, Pascucci V. A multi-resolution data structure for two-dimensional Morse-Smale functions. In: IEEE; 2003:139-146. doi:10.1109/VISUAL.2003.1250365
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner H, Üngör A. Relaxed scheduling in dynamic skin triangulation. In: Vol 2866. Springer; 2003:135-151. doi:10.1007/978-3-540-44400-8_14
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4254
Navarro A, Barton NH. Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. 2003;57(3):447-459. doi:10.1111/j.0014-3820.2003.tb01537.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
Navarro A, Barton NH. Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. 2003;300(5617):321-324. doi:10.1126/science.1080600
View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
Barton NH, Zuidema W. The erratic path towards complexity. Current Biology. 2003;13(16):R649-R651. doi:10.1016/S0960-9822(03)00573-6
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
Charlesworth B, Charlesworth D, Barton NH. The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. 2003;34:99-125. doi:10.1146/annurev.ecolsys.34.011802.132359
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines T, Kohler SC, Thiel M, et al. On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution; International Journal of Organic Evolution. 2003;57(8):1876-1888. doi:10.1111/j.0014-3820.2003.tb00595.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck J, Nielsen R, Bollback JP. Stochastic mapping of morphological characters. Systematic Biology. 2003;52(2):131-158. doi:10.1080/10635150390192780
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
Harshman J, Huddleston C, Bollback JP, Parsons T, Braun M. True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. 2003;52(3):386-402. doi:10.1080/10635150390197028
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4460
Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 2003;23(3):303-327. doi:10.1023/A:1026228213080
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger TA, Jhala R, Majumdar R. Counterexample-guided control. In: Vol 2719. Springer; 2003:886-902. doi:10.1007/3-540-45061-0_69
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. Thread-modular abstraction refinement. In: Vol 2725. Springer; 2003:262-274. doi:10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. Schedule-carrying code. In: Vol 2855. ACM; 2003:241-256. doi:10.1007/978-3-540-45212-6_16
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. Wiley-Blackwell; 2003:123-146. doi:10.1002/047172288X.ch8
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. In: Vol 2619. Springer; 2003:49-64. doi:10.1007/3-540-36577-X_5
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger TA, Jhala R, Majumdar R, Sutre G. Software verification with BLAST. In: Vol 2648. Springer; 2003:235-239. doi:10.1007/3-540-44829-2_17
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 4469
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 2003;91(1):84-99. doi:10.1109/JPROC.2002.805825
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. Resource interfaces. In: Vol 2855. ACM; 2003:117-133. doi:10.1007/978-3-540-45212-6_9
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. Discounting the future in systems theory. In: Vol 2719. Springer; 2003:1022-1037. doi:10.1007/3-540-45061-0_79
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. The element of surprise in timed games. In: Vol 2761. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2003:144-158. doi:10.1007/978-3-540-45187-7_9
View | DOI
 

2003 | Journal Article | IST-REx-ID: 576
Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 2003;36(12):2455-2463. doi:10.1088/0953-4075/36/12/306
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, et al. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 2003;6(11):1178-1185. doi:10.1038/nn1140
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
de Bono M. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 2003;54(1):78-92. doi:10.1002/neu.10162
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 2623
Coesmans M, Sillevis Smitt P, Linden D, et al. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 2003;53(3):325-336. doi:10.1002/ana.10451
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. 2003;17(5):1023-1032. doi:10.1046/j.1460-9568.2003.02499.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
Kaneda K, Imanishi M, Nambu A, Shigemoto R, Takada M. Differential expression patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. 2003;14(7):947-950. doi:10.1097/01.wnr.0000074344.81633.e4
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 2628
Momiyama A, Silver R, Häusser M, et al. The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology. 2003;549(1):75-92. doi:10.1113/jphysiol.2002.033472
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2629
Somogyi P, Dalezios Y, Luján R, Roberts J, Watanabe M, Shigemoto R. High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus. European Journal of Neuroscience. 2003;17(12):2503-2520. doi:10.1046/j.1460-9568.2003.02697.x
View | DOI
 

Search

Filter Publications