Please note that ISTA 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.

147 Publications


2005 | Journal Article | IST-REx-ID: 217
Browning TD. 2005. The density of rational points on a certain singular cubic surface. Journal of Number Theory. 119(2), 242–283.
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.
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, Basel ; Berlin: Birkhäuser Verlag, VIII, 203p.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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: Perspectives in Analysis. Mathematical Physics Studies, vol. 27, 97–183.
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).
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).
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).
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 2428
Fiat A, Levy M, Matoušek J, Pach E, Sharir M, Smorodinsky S, Wagner U, Welzl E. 2005. Online conflict-free coloring for intervals. SODA: Symposium on Discrete Algorithms, 545–554.
View | DOI
 

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.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2455
Billou I, Xu J, Wildwater M, Willemsen V, Paponov I, Friml J, Heldstra R, Aida M, Palme K, Scheres B. 2005. The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots. Nature. 433(7021), 39–44.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Friml J, Wiśniewska J. 2005.Auxin as an intercellular signal. In: Intercellular Communication in Plants. Annual Plant Reviews, vol. 16.
View
 

2005 | Book Chapter | IST-REx-ID: 2463
Dubová J, Hejátko J, Friml J. 2005.Reproduction, plants. In: Encyclopedia of Molecular Cell Biology and Molecular Medicine. vol. 12, 249–295.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2648
Luján R, Albasanz J, Shigemoto R, Juíz J. 2005. Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum. European Journal of Neuroscience. 21(8), 2073–2082.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2650
Nyíri G, Szabadits E, Cserép C, Mackie K, Shigemoto R, Freund T. 2005. GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. 21(11), 3034–3042.
View | DOI
 

2005 | Book Review | IST-REx-ID: 2647
Luján R, Shigemoto R, López Bendito G. 2005. Glutamate and GABA receptor signalling in the developing brain. Neuroscience. 130(3), 567–580.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2651
Kanbara K, Okamoto K, Nomura S, Kaneko T, Shigemoto R, Azuma H, Katsuoka Y, Watanabe M. 2005. Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis. Journal of Andrology. 26(4), 485–493.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2649
Tanaka J, Matsuzaki M, Tarusawa E, Momiyama A, Molnár E, Kasai H, Shigemoto R. 2005. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 25(4), 799–807.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2654
Ferraguti F, Klausberger T, Cobden P, Baude A, Roberts J, Szűcs P, Kinoshita A, Shigemoto R, Somogyi P, Dalezios Y. 2005. Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus. Journal of Neuroscience. 25(45), 10520–10536.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2658
Kaneda K, Tachibana Y, Imanishi M, Kita H, Shigemoto R, Nambu A, Takada M. 2005. Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys. European Journal of Neuroscience. 22(12), 3241–3254.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2652
Price C, Cauli B, Kovács E, Kulik Á, Lambolez B, Shigemoto R, Capogna M. 2005. Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area. Journal of Neuroscience. 25(29), 6775–6786.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2655
Wu Y, Kawakami R, Shinohara Y, Fukaya M, Sakimura K, Mishina M, Watanabe M, Ito I, Shigemoto R. 2005. Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice. Journal of Neuroscience. 25(40), 9213–9226.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2653
Hagiwara A, Fukazawa Y, Deguchi Tawarada M, Ohtsuka T, Shigemoto R. 2005. Differential distribution of release-related proteins in the hippocampal CA3 area as revealed by freeze-fracture replica labeling. Journal of Comparative Neurology. 489(2), 195–216.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2656
Feng Y, Li Y, Wang W, Wu S, Chen T, Shigemoto R, Mizuno N. 2005. Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat. Neuroscience Letters. 388(3), 144–148.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2744
Eng D, Erdös L. 2005. The linear Boltzmann equation as the low density limit of a random Schrödinger equation. Reviews in Mathematical Physics. 17(6), 669–743.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2743
Erdös L, Hasler D, Solovej J. 2005. Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. 6(2), 247–267.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2788
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. 2005. Turbulence regeneration in pipe flow at moderate reynolds numbers. Physical Review Letters. 95(21).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2790
Hof B, Juel A, Mullin T. 2005. Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection. Journal of Fluid Mechanics. 545, 193–201.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2789
Hof B. 2005. Transition to turbulence in pipe flow. Fluid Mechanics and its Applications. 77, 221–231.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2867 | OA
Weijers D, Benková E, Jäger K, Schlereth A, Hamann T, Kientz M, Wilmoth J, Reed J, Jürgens G. 2005. Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. 24(10), 1874–1885.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro J, Paixao T, Milutinovic D, Sousa J, Leon K, Gardner R, Faro J. 2005. Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. 184(1), 77–100.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers D, Sauer M, Meurette O, Friml J, Ljung K, Sandberg G, Hooykaas P, Offringa R. 2005. Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. 17(9), 2517–2526.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe P, Kleine Vehn J, Friml J. 2005. Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. 226(1–2), 67–73.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek T, Zažímalová E, Ruthardt N, Petrášek J, Stierhof Y, Kleine Vehn J, Morris D, Emans N, Jürgens G, Geldner N, Friml J. 2005. Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. 435(7046), 1251–1256.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten A, Vanneste S, Wiśniewska J, Benková E, Benjamins R, Beeckman T, Luschnig C, Friml J. 2005. Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. 132(20), 4521–4531.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis Y, Oliveira R, Pietrzak KZ. 2005. On the generic insecurity of the full domain hash. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 449–466.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak KZ. 2005. Composition does not imply adaptive security. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 55–65.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare M, Pietrzak KZ, Rogaway P. 2005. Improved security analyses for CBC MACs. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 527–545.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach MT, Kruse K, Pantazis P, González Gaitán M, Jülicher F. 2005. Robust formation of morphogen gradients. Physical Review Letters. 94(1).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger T, Marton L, O’Neill J, Huck J, Dalezios Y, Fuentealba P, Suen W, Papp E, Kaneko T, Watanabe M, Csicsvari JL, Somogyi P. 2005. Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience. 25(42), 9782–9793.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner H. 2005. Surface tiling with differential topology. SGP: Eurographics Symposium on Geometry processing, 9–11.
View | DOI | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen M, Heisenberg C-PJ. 2005.Cleavage and gastrulation in zebrafish embryos. In: Encyclopedia of Life Sciences. .
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega I, Heisenberg C-PJ. 2005.Cell migration during zebrafish gastrulation. In: Cell Migration in Development and Disease. , 71–105.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega I, Heisenberg C-PJ. 2005. A stern view of gastrulation. Nature Cell Biology. 7(1), 19–19.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3689
Ulges A, Lampert C, Breuel T. 2005. Document image dewarping using robust estimation of curled text lines. ICDAR: International Conference on Document Analysis and Recognition, Document Analysis and Recognition, vol. 2, 1001–1005.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3684
Lampert C, Braun T, Ulges A, Keysers D, Breuel T. 2005. Oblivious document capture and real-time retrieval. CBDAR: Camera Based Document Analysis and Recognition , 79–86.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán J, Gerevich Z, Hengstler J, Illes P, Kleemann W. 2005. P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex. Synapse. 57(4), 235–238.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3753
Le T, Harlepp S, Guet CC, Dittmar K, Emonet T, Pan T, Cluzel P. 2005. Real-time RNA profiling within a single bacterium. PNAS. 102(26), 9160–9164.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi L, Yu Y, Wojtan C, Chenney S. 2005. Controllable motion synthesis in a gaseous medium. The Visual Computer. 21(7), 474–487.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
Hefft S, Jonas PM. 2005. Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. 8(10), 1319–28.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee K, Dasgupta P, Chakrabarti P. 2005. Complexity of compositional model checking of computation tree logic on simple structures. IWDC: International Workshop on Distributed Computing , LNCS, vol. 3326, 89–102.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee K. 2005. Two-player nonzero-sum ω-regular games. CONCUR: Concurrency Theory, LNCS , vol. 3653, 413–427.
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.
View | DOI
 

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.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. 2005. Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. 122(Supplement 1), S112–S113.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, , 267–282.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer S, Vrieseling E, Sigrist M, Portmann T, Laengle C, Ladle D, Arber S. 2005. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 3(5), 0878–0890.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, Daugherty K, Hippenmeyer S, Riezman H, Grigorieff N, Goode B. 2005. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 12(1), 26–31.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother C, Kumar S, Kolmogorov V, Blake A. 2005. Digital tapestry. CVPR: Computer Vision and Pattern Recognition vol. 1, 589–596.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2005. Bi-layer segmentation of binocular stereo video. CVPR: Computer Vision and Pattern Recognition, 1186–1186.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2005. Bi-layer segmentation of binocular stereo video. CVPR: Computer Vision and Pattern Recognition vol. 2, 407–414.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov V, Boykov Y. 2005. What metrics can be approximated by geo cuts or global optimization of length area and flux. ICCV: International Conference on Computer Vision vol. 1, 564–571.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov V, Wainwright M. 2005. On the optimality of tree reweighted max product message passing. UAI: Uncertainty in Artificial Intelligence, 316–323.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn M, Janovjak HL, Hubain M, Mueller D. 2005. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 218(2), 125–132.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak HL, Sapra T, Mueller D. 2005. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 88(5), 37–39.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak HL, Struckmeier J, Mueller D. 2005. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 34(1), 91–96.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback JP. 2005.Posterior mapping and posterior predictive distributions. In: Statistical methods in Molecular Evolution. , 439–462.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509 | OA
Williams S, Edelsbrunner H, Fu P. 2005. Methods, apparatus and computer program products for modeling three-dimensional colored objects.
[Published Version] View | Download Published Version (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali D, Cohen Steiner D, Edelsbrunner H. 2005. Extraction and simplification of iso-surfaces in tandem. SGP: Eurographics Symposium on Geometry processing, 139–148.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner H, Koehl P. 2005.The geometry of biomolecular solvation. In: Combinatorial and Computational Geometry. Mathematical Sciences Research Institute Publications, vol. 52, 243–275.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3612
Davison A, Chiba S, Barton NH, Clarke B. 2005. Speciation and gene flow between snails of opposing chirality. PLoS Biology. 3(9).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger B, Barton NH, Kruuk L, Vines T. 2005. Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. 94(2), 247–257.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Gardner M, Fowler K, Barton NH, Patridge L. 2005. Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. 169(3), 1553–1571.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3691
Lampert C. 2005. Boundary regularity of admissible operators. Publicacions Matemàtiques. 49(1), 179–195.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak HL, Mueller D, Humphris A. 2005. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 88(2), 1423–1431.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim N, Atwal G, Tkačik G, Bialek W. 2005. Information-based clustering. PNAS. 102(51), 18297–18302.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim N, Atwal G, Tkačik G, Bialek W. 2005. Estimating mutual information and multi-information in large networks. ArXiv, 1–11, .
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3808
Engel D, Jonas PM. 2005. Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. 45(3), 405–17.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Games with secure equilibria. FMCO: Formal Methods for Components and Objects, LNCS, vol. 3657, 141–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
Cremer S, Boomsma J. 2005. The drawback of mobility: invasive species in a globalised world. Marie Curie Conference.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt MK, Kanazawa N, Selg M, Samson T, Roos G, Reinhardt D, Pabst R, Lutz M, 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.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn J, Parks J, Buhrman G, Brown P, Kristjánsdóttir K, Safi A, Edelsbrunner H, Yang W, Rudolph J. 2005. Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. 44(50), 16563–16573.
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. PSB: Pacific Symposium on Biocomputing, 64–75.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich F, Krieg M, Schötz E, Link V, Castanon I, Schnabel V, Taubenberger A, Müller D, Puech P, Heisenberg C-PJ. 2005. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 9(4), 555–564.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton NH, Polechova J. 2005. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 18(5), 1186–1190.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. 2005. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 118(18), 4199–4206.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg C-PJ. 2005. Shield formation at the onset of zebrafish gastrulation. Development. 132(6), 1187–1198.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova J, Barton NH. 2005. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 59(6), 1194–1210.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton NH, Otto S. 2005. Evolution of recombination due to random drift. Genetics. 169(4), 2353–2370.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson T, Barton NH. 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.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic S, Henzinger TA. 2005. Trading end-to-end latency for composability. RTSS: Real-Time Systems Symposium, 99–110.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. 2005. A programmable microkernel for real-time systems. VEE: Virtual Execution Environments, 35–45.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. 2005. Quantifying similarities between timed systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 226–241.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. 2005. Permissive interfaces. FSE: Foundations of Software Engineering, 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. 2005. Composable code generation for distributed Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems, 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. 2005. Automatic rectangular refinement of affine hybrid systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821, 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications