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.

9084 Publications


2008 | Journal Article | IST-REx-ID: 1719
Bittig T, Wartlick O, Kicheva A, González Gaitárr M, Julicher F. 2008. Dynamics of anisotropic tissue growth. New Journal of Physics. 10.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1717
Kicheva A, González Gaitán M. 2008. The Decapentaplegic morphogen gradient a precise definition. Current Opinion in Cell Biology. 20(2), 137–143.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1751
Katsaros G, Tersoff J, Stoffel M, Rastelli A, Acosta Diaz P, Kar G, Costantini G, Schmidt O, Kern K. 2008. Positioning of strained islands by interaction with surface nanogrooves. Physical Review Letters. 101(9).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1749
Rastelli A, Stoffel M, Malachias Â, Merdzhanova T, Katsaros G, Kern K, Metzger T, Schmidt O. 2008. Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. 8(5), 1404–1409.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1763 | OA
Fink JM, Göppl M, Baur M, Bianchetti R, Leek P, Blais A, Wallraff A. 2008. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 454(7202), 315–318.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
Göppl M, Fragner A, Baur M, Bianchetti R, Filipp S, Fink JM, Leek P, Puebla G, Steffen L, Wallraff A. 2008. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 104(11).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1764
Fragner A, Göppl M, Fink JM, Baur M, Bianchetti R, Leek P, Blais A, Wallraff A. 2008. Resolving vacuum fluctuations in an electrical circuit by measuring the lamb shift. Science. 322(5906), 1357–1360.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1826
Friedlander T, Brenner N. 2008. Cellular properties and population asymptotics in the population balance equation. Physical Review Letters. 101(1).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1967
Berrisford J, Thompson C, Sazanov LA. 2008. Chemical and NADH-induced, ROS-dependent, cross-linking between sublimits of complex I from Escherichia coli and Thermus thermophilus. Biochemistry. 47(39), 10262–10270.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1968
Morgan D, Sazanov LA. 2008. Three-dimensional structure of respiratory complex I from Escherichia coli in ice in the presence of nucleotides. Biochimica et Biophysica Acta - Bioenergetics. 1777(7–8), 711–718.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1982
Loose M, Fischer Friedrich E, Ries J, Kruse K, Schwille P. 2008. Spatial regulators for bacterial cell division self-organize into surface waves in vitro. Science. 320(5877), 789–792.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2065
Vicoso B, Haddrill P, Charlesworth B. 2008. A multispecies approach for comparing sequence evolution of X-linked and autosomal sites in Drosophila. Genetical Research. 90(5), 421–431.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 2078
Bickel B, Lang M, Botsch M, Otaduy M, Gross M. 2008. Pose-space animation and transfer of facial details. SIGGRAPH: Eurographics Symposium on Computer Animation, 57–66.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
Maas J, Van Neerven J. 2008. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 11(4), 603–626.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven J, Maas J. 2008. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 13, 151–164.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2148
Pokrovski G, Roux J, Hazemann J, Borisova A, Gonchar A, Lemeshko M. 2008. In situ X-ray absorption spectroscopy measurement of vapour-brine fractionation of antimony at hydrothermal conditions. Mineralogical Magazine. 72(2), 667–681.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko M, Friedrich B. 2008. An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. 129(2).
View | DOI | Download (ext.)
 

2008 | Book Review | IST-REx-ID: 2147
Lemeshko M, Friedrich B. 2008. Kvantový Zenonův jev aneb co nesejde z očí, nezestárne. Chemicke Listy. 102(10), 880–883.
View
 

2008 | Journal Article | IST-REx-ID: 224
Browning TD, Dietmann R. 2008. On the representation of integers by quadratic forms. Proceedings of the London Mathematical Society. 96(2), 389–416.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 225
De La Bretèche R, Browning TD. 2008. Binary linear forms as sums of two squares. Compositio Mathematica. 144(6), 1375–1402.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
Seiringer R. 2008. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. QMath: Mathematical Results in Quantum Physics, 241–254.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl C, Seiringer R. 2008. Spectral properties of the BCS gap equation of superfluidity. QMath: Mathematical Results in Quantum Physics, 117–136.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376 | OA
Hainzl C, Seiringer R. 2008. Critical temperature and energy gap for the BCS equation. Physical Review B - Condensed Matter and Materials Physics. 77(18).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
Seiringer R. 2008. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 279(3), 595–636.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382 | OA
Seiringer R, Yin J. 2008. The Lieb-Liniger model as a limit of dilute bosons in three dimensions. Communications in Mathematical Physics. 284(2), 459–479.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380 | OA
Hainzl C, Hamza E, Seiringer R, Solovej J. 2008. The BCS functional for general pair interactions. Communications in Mathematical Physics. 281(2), 349–367.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2383 | OA
Hainzl C, Lewin M, Seiringer R. 2008. A nonlinear model for relativistic electrons at positive temperature. Reviews in Mathematical Physics. 20(10), 1283–1307.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
Seiringer R, Yin J. 2008. Ground state energy of the low density hubbard model. Journal of Statistical Physics. 131(6), 1139–1154.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2381 | OA
Frank R, Seiringer R. 2008. Non-linear ground state representations and sharp Hardy inequalities. Journal of Functional Analysis. 255(12), 3407–3430.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
Hainzl C, Seiringer R. 2008. The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. 84(2–3), 99–107.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
Frank R, Lieb É, Seiringer R. 2008. Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators. Journal of the American Mathematical Society. 21(4), 925–950.
View | DOI | Download (ext.)
 

2008 | Book Chapter | IST-REx-ID: 2415
Wagner U. 2008.k-Sets and k-facets. In: Surveys on Discrete and Computational Geometry: Twenty Years Later. Contemporary Mathematics, vol. 453, 443–514.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 2432
Smorodinsky S, Sulovský M, Wagner U. 2008. On center regions and balls containing many points. COCOON: Conference on Computing and Combinatorics, LNCS, vol. 5092, 363–373.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2497
Sano H, Nagai Y, Miyakawa T, Shigemoto R, Yokoi M. 2008. Increased social interaction in mice deficient of the striatal medium spiny neuron-specific phosphodiesterase 10A2. Journal of Neurochemistry. 105(2), 546–556.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2675
Endo T, Tarusawa E, Notomi T, Kaneda K, Hirabayashi M, Shigemoto R, Isa T. 2008. Dendritic Ih ensures high-fidelity dendritic spike responses of motion-sensitive neurons in rat superior colliculus. Journal of Neurophysiology. 99(5), 2066–2076.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2676
Kawakami R, Dobi A, Shigemoto R, Ito I. 2008. Right isomerism of the brain in inversus viscerum mutant mice. PLoS One. 3(4).
View | DOI
 

2008 | Book Review | IST-REx-ID: 2674
Fukazawa Y, Tarusawa E, Matsui K, Shigemoto R. 2008. Ultrastructural insights of postsynaptic glutamate receptor organization . Tanpakushitsu kakusan koso Protein nucleic acid enzyme. 53(4 Suppl), 436–441.
View
 

2008 | Journal Article | IST-REx-ID: 2678
Li X, Kamasawa N, Ciolofan C, Olson C, Lu S, Davidson K, Yasumura T, Shigemoto R, Rash J, Nagy J. 2008. Connexin45-containing neuronal gap junctions in rodent retina also contain connexin36 in both apposing hemiplaques, forming bihomotypic gap junctions, with scaffolding contributed by zonula occludens-1. Journal of Neuroscience. 28(39), 9769–9789.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2677
Varga V, Hangya B, Kránitz K, Ludányi A, Zemankovics R, Katona I, Shigemoto R, Freund T, Borhegyi Z. 2008. The presence of pacemaker HCN channels identifies theta rhythmic GABAergic neurons in the medial septum. Journal of Physiology. 586(16), 3893–3915.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2679
Antal M, Fukazawa Y, Eördögh M, Muszil D, Molnár E, Itakura M, Takahashi M, Shigemoto R. 2008. Numbers, densities, and colocalization of AMPA- and NMDA-type glutamate receptors at individual synapses in the superficial spinal dorsal horn of rats. Journal of Neuroscience. 28(39), 9692–9701.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2681
Shinohara Y, Hirase H, Watanabe M, Itakura M, Takahashi M, Shigemoto R. 2008. Left-right asymmetry of the hippocampal synapses with differential subunit allocation of glutamate receptors. PNAS. 105(49), 19498–19503.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 2702 | OA
Erdös L, Salmhofer M, Yau H. 2008. Feynman graphs and renormalization in quantum diffusion. Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, 167–182.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2753
Erdös L, Salmhofer M, Yau H. 2008. Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Mathematica. 200(2), 211–277.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2754
Adami R, Erdös L. 2008. Rate of decoherence for an electron weakly coupled to a phonon gas. Journal of Statistical Physics. 132(2), 301–328.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2755
Erdös L, Schlein B, Yau H. 2008. Ground-state energy of a low-density Bose gas: A second-order upper bound. Physical Review A - Atomic, Molecular, and Optical Physics. 78(5).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2795
Hof B, De Lózar A, Kuik D, Westerweel J. 2008. Repeller or attractor? Selecting the dynamical model for the onset of turbulence in pipe flow. Physical Review Letters. 101(21).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2892
Azevedo R, Lohaus R, Paixao T. 2008. Networking networks. Evolution & Development. 10(5), 514–515.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe P, Grigoriev I, Fischer R, Tominaga M, Robinson D, Hašek J, Paciorek T, Petrášek J, Seifertová D, Tejos R, Meisel L, Zažímalová E, Gadella T, Stierhof Y, Ueda T, Oiwa K, Akhmanova A, Brock R, Spang A, Friml J. 2008. Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes. PNAS. 105(11), 4489–4494.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3045
Dhonukshe P, Tanaka H, Goh T, Ebine K, Mähönen A, Prasad K, Blilou I, Geldner N, Xu J, Uemura T, Chory J, Ueda T, Nakano A, Scheres B, Friml J. 2008. Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions. Nature. 456(7224), 962–966.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Santelia D, Henrichs S, Vincenzetti V, Sauer M, Bigler L, Klein M, Bailly A, Lee Y, Friml J, Geisler M, Martinoia E. 2008. Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses. Journal of Biological Chemistry. 283(45), 31218–31226.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3043
Kleine Vehn J, Friml J. 2008. Polar targeting and endocytic recycling in auxin-dependent plant development. Annual Review of Cell and Developmental Biology. 24, 447–473.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3039
De Smet I, Vassileva V, De Rybel B, Levesque M, Grunewald W, Van Damme D, Van Noorden G, Naudts M, Van Isterdael G, De Clercq R, Wang J, Meuli N, Vanneste S, Friml J, Hilson P, Jürgens G, Ingram G, Inzé D, Benfey P, Beeckman T. 2008. Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root. Science. 322(5901), 594–597.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3042
Kleine Vehn J, Leitner J, Zwiewka M, Sauer M, Abas L, Luschnig C, Friml J. 2008. Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting. PNAS. 105(46), 17812–17817.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
Kleine Vehn J, Łangowski Ł, Wiśniewska J, Dhonukshe P, Brewer P, Friml J. 2008. Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. 1(6), 1056–1066.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3044
Mravec J, Kubeš M, Bielach A, Gaykova V, Petrášek J, Skůpa P, Chand S, Benková E, Zažímalová E, Friml J. 2008. Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development. Development. 135(20), 3345–3354.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3194
Kohli P, Shekhovtsov A, Rother C, Kolmogorov V, Torr P. 2008. On partial optimality in multi label MRFs. ICML: International Conference on Machine Learning, 480–487.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3226
Pietrzak KZ, Sjödin J. 2008. Weak pseudorandom functions in minicrypt. ICALP: Automata, Languages and Programming, LNCS, vol. 5126, 423–436.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3228
Pietrzak KZ. 2008. Compression from collisions or why CRHF combiners have a long output. CRYPTO: International Cryptology Conference, LNCS, vol. 5157, 413–432.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski S, Pietrzak KZ. 2008. Leakage resilient cryptography. FOCS: Foundations of Computer Science, 293–302.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Zubielik P, Nadaczny J, Pietrzak KZ, Lawenda M. 2008. Elektrowiz – system of measurement data management. Przeglad Elektrotechniczny. 84(10), 239–242.
View | Download (ext.)
 

2008 | Book Review | IST-REx-ID: 3410
Janovjak HL, Sapra T, Kedrov A, Mueller D. 2008. From valleys to ridges: Exploring the energy landscape of single membrane proteins. ChemPhysChem. 9(7), 954–966.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3409
Struckmeier J, Wahl R, Leuschner M, Nunes J, Janovjak HL, Geisler U, Hofmann G, Jähnke T, Mueller D. 2008. Fully automated single-molecule force spectroscopy for screening applications. Nanotechnology. 19(38).
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3501
Adler BT, Chatterjee K, De Alfaro L, Faella M, Pye I, Raman V. 2008. Assigning trust to Wikipedia content. WikiSym: International Symposium on Wikis.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee K, De Alfaro L, Pye I. 2008. Robust content-driven reputation. AISec: Artificial Intelligence and Security, 33–42.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3520
O’Neill J, Senior T, Allen K, Huxter J, Csicsvari JL. 2008. Reactivation of experience-dependent cell assembly patterns in the hippocampus. Nature Neuroscience. 11(2), 209–215.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3537
Senior T, Huxter J, Allen K, O’Neill J, Csicsvari JL. 2008. Gamma oscillatory firing reveals distinct populations of pyramidal cells in the CA1 region of the hippocampus. Journal of Neuroscience. 28(9), 2274–2286.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3534
Dupret D, Pleydell Bouverie B, Csicsvari JL. 2008. Inhibitory interneurons and network oscillations. PNAS. 105(47), 18079–18080.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3600
Yang E, Barton NH, Arslan T, Erdogan A. 2008. Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. IECS: International Conference on Evolvable Systems, LNCS, vol. 5216, 249–260.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3606
Barton NH. 2008. The effect of a barrier to gene flow on patterns of geographic variation. Genetical Research. 90(1), 139–149.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3605
De Cara M, Barton NH, Kirkpatrick M. 2008. A model for the evolution of assortative mating. American Naturalist. 171(5), 580–596.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3705
Blaschko M, Lampert C. 2008. Learning to localize objects with structured output regression. ECCV: European Conference on Computer Vision, LNCS, vol. 5302, 2–15.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3700
Lampert C. 2008. Partitioning of image datasets using discriminative context information. CVPR: Computer Vision and Pattern Recognition, 1–8.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3716
Lampert C, Blaschko M. 2008. A multiple kernel learning approach to joint multi-class object detection. DAGM: German Association For Pattern Recognition, LNCS, vol. 5096, 31–40.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3714
Lampert C, Blaschko M, Hofmann T. 2008. Beyond sliding windows: Object localization by efficient subwindow search. CVPR: Computer Vision and Pattern Recognition, 1–8.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
Tkačik G, Gregor T, Bialek W. 2008. The role of input noise in transcriptional regulation. PLoS One. 3(7).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
Kinkhabwala A, Guet CC. 2008. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 3(4), e2030.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3754
Guet CC, Bruneaux L, Min T, Siegal Gaskins D, Figueroa I, Emonet T, Cluzel P. 2008. Minimally invasive determination of mRNA concentration in single living bacteria. Nucleic Acids Research. 36(12).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3769
Kupczok A, Von Haeseler A, Klaere S. 2008. An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees. Journal of Computational Biology. 15(6), 577–591.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3826
Doischer D, Hosp J, Yanagawa Y, Obata K, Jonas PM, Vida I, Bartos M. 2008. Postnatal differentiation of basket cells from slow to fast signaling devices. Journal of Neuroscience. 28(48), 12956–68.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3827
Kerr A, Reisinger E, Jonas PM. 2008. Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. 105(40), 15581–6.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2008. Algorithms for game metrics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 2, 107–118.
[Published Version] View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. 2008. Controller synthesis with budget constraints. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 72–86.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity and robustness. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 5215, 124–140.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. 2008. Environment assumptions for synthesis. CONCUR: Concurrency Theory, LNCS, vol. 5201, 147–161.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. 2008. The complexity of coverage. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 5356, 91–106.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform randomness in timed games. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. 2008. Quantitative languages. CSL: Computer Science Logic, LNCS, vol. 5213, 385–400.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee K, Henzinger TA. 2008.Value iteration. In: 25 Years in Model Checking. LNCS, vol. 5000, 107–138.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3945
Tripp C, Haid B, Flacher V, Sixt MK, Peter H, Farkas J, Gschwentner R, Sorokin L, Romani N, Stoitzner P. 2008. The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. 213(9–10), 715–28.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3942
Frommhold D, Ludwig A, Bixel MG, Zarbock A, Babushkina I, Weissinger M, Cauwenberghs S, Ellies L, Marth J, Beck Sickinger A, Sixt MK, Lange Sperandio B, Zernecke A, Brandt E, Weber C, Vestweber D, Ley K, Sperandio M. 2008. Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. 205(6), 1435–1446.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock K, Fröhlich L, Sixt MK, Lämmermann T, Pfister H, Bateman A, Belaaouaj A, Ring J, Ollert M, Fässler R, Jenne D. 2008. Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. 118(7), 2438–2447.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3941
Lämmermann T, Bader B, Monkley S, Worbs T, Wedlich Söldner R, Hirsch K, Keller M, Förster R, Critchley D, Fässler R, Sixt MK. 2008. Rapid leukocyte migration by integrin-independent flowing and squeezing. Nature. 453(7191), 51–55.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3944
Riedl J, Crevenna A, Kessenbrock K, Yu J, Neukirchen D, Bista M, Bradke F, Jenne D, Holak T, Werb Z, Sixt MK, Wedlich Soldner R. 2008. Lifeact: a versatile marker to visualize F-actin. Nature Methods. 5(7), 605–607.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner H, Harer J, Patel A. 2008. Reeb spaces of piecewise linear mappings. SCG: Symposium on Computational Geometry, 242–250.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4135
Storch D, Šizling A, Reif J, Polechova J, Šizlingová E, Gaston K. 2008. The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales. Ecology Letters. 11(8), 771–784.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4137
Bridle J, Polechova J, Vines T. 2008.Patterns of biodiversity and limits to adaptation in time and space. In: Evolution and Speciation. , 77–101.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4150
Schötz E, Burdine R, Julicher F, Steinberg M, Heisenberg C-PJ, Foty R. 2008. Quantitative differences in tissue surface tension influence zebrafish germ layer positioning. HFSP Journal. 2(1), 42–56.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4181
Krieg M, Arboleda Estudillo Y, Puech P, Käfer J, Graner F, Mueller D, Heisenberg C-PJ. 2008. Tensile forces govern germ-layer organization in zebrafish. Nature Cell Biology. 10(4), 429–436.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4180
Krieg M, Helenius J, Heisenberg C-PJ, Mueller D. 2008. A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics. Angewandte Chemie - International Edition. 47(50), 9775–9777.
View | DOI
 

Search

Filter Publications