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.

6065 Publications


2006 | Conference Paper | IST-REx-ID: 1034 | OA
Nägerl, H., Kraemer, T., Mark, M., Waldburger, P., Danzl, J. G., Engeser, B., … Grimm, R. (2006). Experimental evidence for Efimov quantum states (Vol. 869, pp. 269–277). Presented at the ICAP: International Conference on Atomic Physics, AIP. https://doi.org/10.1063/1.2400657
View | DOI | Download None (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3758
Wojtan, C. J., Mucha, P., & Turk, G. (2006). Keyframe control of complex particle systems using the adjoint method (pp. 15–23). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, ACM.
View | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 4145
Tonelli, D., Calegari, F., Fei, J., Nomura, T., Osumi, N., Heisenberg, C.-P. J., & Huttner, W. (2006). Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques, 41(6), 727–732. https://doi.org/10.2144/000112296
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4176
Link, V., Carvalho, L., Castanon, I., Stockinger, P., Shevchenko, A., & Heisenberg, C.-P. J. (2006). Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science, 119(10), 2073–2083. https://doi.org/10.1242/jcs.02928
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173 | OA
Link, V., Shevchenko, A., & Heisenberg, C.-P. J. (2006). Proteomics of early zebrafish embryos. BMC Developmental Biology, 6, 1–9. https://doi.org/10.1186/1471-213X-6-1
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg, T., Dracz, T., Oates, A., Heisenberg, C.-P. J., & Brand, M. (2006). Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics, 235(4), 928–933. https://doi.org/10.1002/dvdy.20692
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen, M., Fernández, B., Carvalho, L., Jacinto, A., & Heisenberg, C.-P. J. (2006). Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development, 133(14), 2671–2681. https://doi.org/doi: 10.1242/dev.02439
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4218
Blaser, H., Reichman Fried, M., Castanon, I., Dumstrei, K., Marlow, F., Kawakami, K., … Raz, E. (2006). Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell, 11(5), 613–627. https://doi.org/10.1016/j.devcel.2006.09.023
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4237
de Vladar, H. (2006). Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology, 238(2), 245–256. https://doi.org/3802
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
OTT, W., HUNT, B., & Kaloshin, V. (2006). The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems, 26(3), 869–891. https://doi.org/10.1017/s0143385705000714
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 8515
Kaloshin, V., DOLGOPYAT, D., & KORALOV, L. (2006). Long time behaviour of periodic stochastic flows. In XIVth International Congress on Mathematical Physics (pp. 290–295). Lisbon, Portugal: World Scientific. https://doi.org/10.1142/9789812704016_0026
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8513
Kaloshin, V., & Saprykina, M. (2006). Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete & Continuous Dynamical Systems - A, 15(2), 611–640. https://doi.org/10.3934/dcds.2006.15.611
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
Schanda, P., & Brutscher, B. (2006). Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance, 178(2), 334–339. https://doi.org/10.1016/j.jmr.2005.10.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8489
Schanda, P., Forge, V., & Brutscher, B. (2006). HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry, 44(S1), S177–S184. https://doi.org/10.1002/mrc.1825
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8488
Schanda, P., Van Melckebeke, H., & Brutscher, B. (2006). Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society, 128(28), 9042–9043. https://doi.org/10.1021/ja062025p
View | DOI
 

2005 | Book | IST-REx-ID: 210
Davenport, H., & Browning, T. D. (2005). Analytic methods for diophantine equations and diophantine inequalities. Analytic methods for diophantine equations and diophantine inequalities (pp. 1–140). Cambridge University Press. https://doi.org/10.1017/CBO9780511542893
View | DOI
 

2005 | Journal Article | IST-REx-ID: 211
Browning, T. D. (2005). Equal sums of like polynomials. Bulletin of the London Mathematical Society, 37(6), 801–808. https://doi.org/10.1112/S0024609305004741
View | DOI
 

2005 | Journal Article | IST-REx-ID: 212 | OA
Browning, T. D., & Heath Brown, R. (2005). Counting rational points on hypersurfaces. Journal Fur Die Reine Und Angewandte Mathematik, (584), 83–115. https://doi.org/10.1515/crll.2005.2005.584.83
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 214 | OA
Browning, T. D., & Heath Brown, R. (2005). Plane curves in boxes and equal sums of two powers. Mathematische Zeitschrift, 251(2), 233–247. https://doi.org/10.1007/s00209-004-0719-z
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 217
Browning, T. D. (2005). The density of rational points on a certain singular cubic surface. Journal of Number Theory, 119(2), 242–283. https://doi.org/10.1016/j.jnt.2005.11.007
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2307
Schwartz, J., Novarino, G., Piston, D., & Defelice, L. (2005). Substrate binding stoichiometry and kinetics of the norepinephrine transporter. Journal of Biological Chemistry, 280(19), 19177–19184. https://doi.org/10.1074/jbc.M412923200
View | DOI
 

2005 | Book | IST-REx-ID: 2335 | OA
Lieb, É., Seiringer, R., Solovej, J., & Yngvason, J. (2005). The mathematics of the Bose gas and its condensation. The mathematics of the Bose gas and its condensation (Vol. 34). Birkhäuser.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 2336 | OA
Lieb, É., Seiringer, R., Solovej, J., & Yngvason, J. (2005). The quantum-mechanical many-body problem: The Bose gas. In M. Benedicks, P. Jones, S. Smirnov, & B. Winckler (Eds.), Perspectives in Analysis (Vol. 27, pp. 97–183). Springer. https://doi.org/10.1007/3-540-30434-7_9
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2359 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2005). Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters, 94(8). https://doi.org/10.1103/PhysRevLett.94.080401
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2361 | OA
Lieb, É., & Seiringer, R. (2005). Stronger subadditivity of entropy. Physical Review A - Atomic, Molecular, and Optical Physics, 71(6). https://doi.org/10.1103/PhysRevA.71.062329
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2362 | OA
Lieb, É., Seiringer, R., & Solovej, J. (2005). Ground state energy of the low density Fermi gas. Physical Review A - Atomic, Molecular, and Optical Physics, 71(5). https://doi.org/10.1103/PhysRevA.71.053605
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2427
Ambühl, C., & Wagner, U. (2005). The Clique problem in intersection graphs of ellipses and triangles. Theory of Computing Systems, 38(3), 279–292. https://doi.org/10.1007/s00224-005-1141-6
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 2428
Fiat, A., Levy, M., Matoušek, J., Pach, E., Sharir, M., Smorodinsky, S., … Welzl, E. (2005). Online conflict-free coloring for intervals (pp. 545–554). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/S0097539704446682
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2455
Billou, I., Xu, J., Wildwater, M., Willemsen, V., Paponov, I., Friml, J., … Scheres, B. (2005). The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots. Nature, 433(7021), 39–44. https://doi.org/10.1038/nature03184
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2463
Dubová, J., Hejátko, J., & Friml, J. (2005). Reproduction, plants. In R. Meyers (Ed.), Encyclopedia of Molecular Cell Biology and Molecular Medicine (Vol. 12, pp. 249–295). Wiley-Blackwell. https://doi.org/10.1002/3527600906
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Friml, J., & Wiśniewska, J. (2005). Auxin as an intercellular signal. In A. Fleming (Ed.), Intercellular Communication in Plants (Vol. 16). Wiley-Blackwell.
View
 

2005 | Journal Article | IST-REx-ID: 3915
De Menten, L., Cremer, S., Heinze, J., & Aron, S. (2005). Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour, 69(5), 1031–1035. https://doi.org/10.1016/j.anbehav.2004.09.005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Schrempf, A., Heinze, J., & Cremer, S. (2005). Sexual cooperation: mating increases longevity in ant queens. Current Biology, 15(3), 267–270. https://doi.org/10.1016/j.cub.2005.01.036
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt, M. K., Kanazawa, N., Selg, M., Samson, T., Roos, G., Reinhardt, D., … Sorokin, L. (2005). The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity, 22(1), 19–29. https://doi.org/10.1016/j.immuni.2004.11.013
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Wang, Y., Agarwal, P., Brown, P., Edelsbrunner, H., & Rudolph, J. (2005). Coarse and reliable geometric alignment for protein docking (pp. 64–75). Presented at the PSB: Pacific Symposium on Biocomputing, World Scientific Publishing. https://doi.org/10.1142/9789812702456_0007
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn, J., Parks, J., Buhrman, G., Brown, P., Kristjánsdóttir, K., Safi, A., … Rudolph, J. (2005). Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry, 44(50), 16563–16573. https://doi.org/10.1021/bi0516879
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton, N. H., & Polechova, J. (2005). The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology, 18(5), 1186–1190. https://doi.org/10.1111/j.1420-9101.2005.00943.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova, J., & Barton, N. H. (2005). Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution, 59(6), 1194–1210. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton, N. H., & Otto, S. (2005). Evolution of recombination due to random drift. Genetics, 169(4), 2353–2370. https://doi.org/10.1534/genetics.104.032821
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson, T., & Barton, N. H. (2005). Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 360(1459), 1411–1425. https://doi.org/10.1098/rstb.2005.1667
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski, A., & Wies, T. (2005). Boolean Heaps (pp. 267–282). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1550
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur, R., Cerny, P., Madhusudan, P., & Nam, W. (2005). Synthesis of interface specifications for Java classes (pp. 98–109). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic, S., & Henzinger, T. A. (2005). Trading end-to-end latency for composability (pp. 99–110). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/RTSS.2005.43
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, C., Sanvido, M., & Henzinger, T. A. (2005). A programmable microkernel for real-time systems (pp. 35–45). Presented at the VEE: Virtual Execution Environments, ACM. https://doi.org/10.1145/1064979.1064986
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, T. A., Majumdar, R., & Raskin, J. (2005). A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL), 6(1), 1–32. https://doi.org/10.1145/1042038.1042039
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, T. A., Majumdar, R., & Prabhu, V. (2005). Quantifying similarities between timed systems (Vol. 3829, pp. 226–241). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11603009_18
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Permissive interfaces (pp. 31–40). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1081706.1081713
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, T. A., Kirsch, C., & Matic, S. (2005). Composable code generation for distributed Giotto (pp. 21–30). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/1065910.1065914
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen, L., Henzinger, T. A., & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/DOI: 10.1007/11603009_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, K., & Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11590156_1
View | DOI
 

Search

Filter Publications