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


2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee K, Majumdar R, Jurdziński M. On Nash equilibria in stochastic games. In: Vol 3210. Springer; 2004:26-40. doi:10.1007/978-3-540-30124-0_6
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. In: IEEE; 2004:160-169. doi:10.1109/LICS.2004.1319610
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
Ulrich F, Heisenberg C-PJ. Gastrulation in zebrafish. In: Korzh V, Gong Z, eds. Fish Development and Genetics : The Zebrafish and Medaka Models. Vol 2. World Scientific Publishing; 2004:39-86.
View
 

2004 | Journal Article | IST-REx-ID: 4172
Montero J, Heisenberg C-PJ. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 2004;14(11):620-627. doi:10.1016/j.tcb.2004.09.008
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2004;227(3):335-348. doi:3801
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. 2004;131(19):4843-4856. doi:10.1242/dev.01335
View | DOI
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar H. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC; 2004. doi:3810
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala R. Program Verification by Lazy Abstraction. University of California, Berkeley; 2004:1-165.
View
 

2004 | Journal Article | IST-REx-ID: 8517
Dolgopyat D, Kaloshin V, Koralov L. A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. 2004;57(9):1127-1158. doi:10.1002/cpa.20032
View | DOI
 

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
 

Search

Filter Publications