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.

9087 Publications


2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin S, Goswami S, Siddiqi O. 2009. Sensory correlates of imaginal conditioning in Drosophila melanogaster. Journal of Neurogenetics. 23(1–2), 210–9.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Uhler C. 2009. Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard. Journal of Agricultural Biological and Environmental Statistics. 14(1), 79–98.
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst PS. 2009. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3398
Bollenbach MT, Kishony R. 2009. Quiet gene circuit more fragile than its noisy peer. Cell. 139(3), 460–461.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3547
Remy S, Csicsvari JL, Beck H. 2009. Activity-dependent control of neuronal output by local and global dendritic spike attenuation. Neuron. 61(6), 906–916.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 3578
Attali D, Boissonnat J, Edelsbrunner H. 2009.Stability and computation of medial axes: a state-of-the-art report. In: Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Mathematics and Visualization, , 109–125.
View | DOI | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3675
Barton NH. 2009.Why sex and recombination? . In: Cold Spring Harbor Symposia on Quantitative Biology. vol. 74, 187–195.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3696
Lampert C, Blaschko M. 2009. Structured prediction by joint kernel support estimation. Machine Learning. 77(2–3), 249–269.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3690
Dhillon P, Nowozin S, Lampert C. 2009. Combining appearance and motion for human action classification in videos. CVPR: Computer Vision and Pattern Recognition, 22–29.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3710
Lampert C, Blaschko M, Hofmann T. 2009. Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 31(12), 2129–2142.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3711
Dhillon P, Nowozin S, Lampert C. 2009. Combining appearance and motion for human action classification in videos. CVPR: Computer Vision and Pattern Recognition, 22–29.
View | DOI | Download (ext.)
 

2009 | Book | IST-REx-ID: 3707
Lampert C. 2009. Kernel Methods in Computer Vision, now publishers, 112p.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3708
Nowozin S, Lampert C. 2009. Global connectivity potentials for random field models. CVPR: Computer Vision and Pattern Recognition, 818–825.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3709
Lampert C. 2009. Detecting objects in large image collections and videos by efficient subimage retrieval. ICCV: International Conference on Computer Vision, 987–994.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3745
Tkačik G, Bialek W. 2009. Diffusion, dimensionality, and noise in transcriptional regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 79(5).
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton NH, Coe J. 2009. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 259(2), 317–324.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3835
Bloem R, Greimel K, Henzinger TA, Jobstmann B. 2009. Synthesizing robust systems. FMCAD: Formal Methods in Computer-Aided Design, 85–92.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz J, Schumann K, Weber M, Lämmermann T, Pflicke H, Piel M, Polleux J, Spatz J, Sixt MK. 2009. Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. 11(12), 1438–1443.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky J, Gerstl R, Mannigel I, Niedung K, Frommhold D, Panthel K, Heesemann J, Sixt MK, Quast T, Kolanus W, Mocsai A, Wienands J, Sperandio M, Walzog B. 2009. A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 114(19), 4209–4220.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3953
Wolf A, Eller K, Zeiser R, Dürr C, Gerlach U, Sixt MK, Markut L, Gastl G, Rosenkranz A, Wolf D. 2009. The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 183(6), 3751–3760.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
Pflicke H, Sixt MK. 2009. Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels. The Journal of Experimental Medicine. 206(13), 2925–2935.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3950
Moser M, Bauer M, Schmid S, Ruppert R, Schmidt S, Sixt MK, Wang H, Sperandio M, Fässler R. 2009. Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. 15(3), 300–305.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
Lämmermann T, Sixt MK. 2009. Mechanical modes of ‘amoeboid’ cell migration. Current Opinion in Cell Biology. 21(5), 636–644.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner H, Harer J. 2009. The persistent Morse complex segmentation of a 3-manifold. 3DPH: Modelling the Physiological Human, LNCS, vol. 5903, 36–50.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3966
Cohen Steiner D, Edelsbrunner H, Harer J. 2009. Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. 9(1), 79–103.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. 2009. Persistent homology for kernels, images, and cokernels. SODA: Symposium on Discrete Algorithms, 1011–1020.
View
 

2009 | Journal Article | IST-REx-ID: 4143
Ulrich F, Heisenberg C-PJ. 2009. Trafficking and cell migration. Traffic. 10(7), 811–818.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4160
Oteíza P, Lemus C, Köppen M, Palma K, Krieg M, Melo C, Farias C, Pulgar E, Preibisch S, Hartel S, Heisenberg C-PJ, Concha M. 2009. Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. 126(Supplement 1), S11–S11.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4162
Oteíza P, Köppen M, Krieg M, Preibisch S, Haertel S, Müller D, Heisenberg C-PJ, Concha M. 2009. Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. 126(Supplement 1), S80–S80.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4158
Paluch E, Heisenberg C-PJ. 2009. Biology and physics of cell shape changes in development. Current Biology. 19(17), R790–R799.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4159
Paluch E, Heisenberg C-PJ. 2009. Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. 16(1), 4–6.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4206
Heisenberg C-PJ. 2009. Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 31(12), 1284–1287.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4217
Carvalho L, Stuehmer J, Bois J, Kalaidzidis Y, Lecaudey V, Heisenberg C-PJ. 2009. Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. 136(8), 1305–1315.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4231
Barton NH, De Vladar H. 2009. Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. 181(3), 997–1011.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4232
de Vladar H. 2009. Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4357
Bollback JP, Huelsenbeck J. 2009. Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. 181(1), 225–234.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4360
Wies T, Piskac R, Kuncak V. 2009. Combining Theories with Shared Set Operations. FroCoS: Frontiers of Combining Systems, LNCS 5749, , 366–382.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
 

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module Inference. CAV: Computer Aided Verification, LNCS 5643, , 493–508.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. 2009. It’s Doomed; We Can Prove It. FM: Formal Methods, LNCS 5850, , 338–353.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643, 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic A, Guerraoui R, Singh A, Singh V. 2009. Preventing versus curing: avoiding conflicts in transactional memories. POPL: Principles of Programming Languages, 7–16.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman R, Chaudhuri S, Cerny P. 2009. Parallel programming with object assemblies. Oopsla Object Oriented Programming Systems Languages and Applications, 61–80.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
Cerny P, Alur R. 2009. Automated Analysis of Java Methods for Confidentiality. CAV: Computer Aided Verification, LNCS, , 173–187.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643, 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Approximation of event probabilities in noisy cellular processes. CMSB: Computational Methods in Systems Biology, LNCS, vol. 5688, 173–188.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications