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.

9101 Publications


2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee K, Henzinger TA. 2009. Probabilistic systems with limsup and liminf objectives. ILC: Infinity in Logic and Computation, LNCS, vol. 5489, 32–45.
View | DOI | Download (ext.)
 

2009 | Conference Poster | IST-REx-ID: 3699
Blaschko M, Lampert C, Bartels A. 2009. Semi-supervised analysis of human fMRI data, Berlin Institute of Technology,p.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. 2009. Object localization with global and local context kernels. BMVC: British Machine Vision Conference, Proceedings of the BMVC, , 1–11.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3704
Lampert C, Nickisch H, Harmeling S. 2009. Learning to detect unseen object classes by between-class attribute transfer. CVPR: Computer Vision and Pattern Recognition, 951–958.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3715
Lampert C, Peters J. 2009. Active structured learning for high-speed object detection. DAGM: German Association For Pattern Recognition, LNCS, vol. 5748, 221–231.
View | DOI
 

2009 | Conference Poster | IST-REx-ID: 3717
Lampert C, Peters J. 2009. A high-speed object tracker from off-the-shelf components, IEEE,p.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3737
Tkačik G, Walczak A, Bialek W. 2009. Optimizing information flow in small genetic networks. Physical Review E Statistical Nonlinear and Soft Matter Physics. 80(3).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy S, Tkačik G, Plotkin J. 2009. The dynamics of adaptation on correlated fitness landscapes. PNAS. 106(44), 18638–18643.
View | DOI | Download (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik G, Schneidman E, Berry M, Bialek W. 2009. Spin glass models for a network of real neurons. ArXiv, q-NC, .
View | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3747
Tkačik G, Bialek W. 2009.Cell Biology: Networks, regulation, pathways. In: Encyclopedia of Complexity and Systems Science. , 719–741.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3764
Wojtan C, Thürey N, Gross M, Turk G. 2009. Deforming meshes that split and merge. ACM Transactions on Graphics. 28(3).
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3768
Kupczok A, Von Haeseler A. 2009. Comment on ‘{A} congruence index for testing topological similarity between trees’. Bioinformatics. 25(1), 147–149.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison A, Barton NH, Clarke B. 2009. The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. 22(8), 1624–1635.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3828
Schwenk J, Harmel N, Zolles G, Bildl W, Kulik Á, Heimrich B, Chisaka O, Jonas PM, Schulte U, Fakler B, Klocker N. 2009. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 323(5919), 1313–9.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee K, De Alfaro L, Faella M, Legay A. 2009. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 5(2).
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer S, Sixt MK. 2009. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 364(1513), 129–142.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
Lämmermann T, Renkawitz J, Wu X, Hirsch K, Brakebusch C, Sixt MK. 2009. Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. 113(23), 5703–5710.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
Bauer M, Brakebusch C, Coisne C, Sixt MK, Wekerle H, Engelhardt B, Fässler R. 2009. β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. 106(6), 1920–1925.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova J, Barton NH, Marion G. 2009. Species’ range: Adaptation in space and time. American Naturalist. 174(5), E186–E204.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4149
Soete G, Heisenberg C-PJ. 2009. The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. 126, S168–S168.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4165
Oates A, Gorfinkiel N, Gonzalez Gaitan M, Heisenberg C-PJ. 2009. Quantitative approaches in developmental biology. Nature Reviews Genetics. 10(8), 517–530.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4192
Kai M, Buchan N, Heisenberg C-PJ, Tada M. 2009. Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. 126(Supplement 1), S132–S132.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4223
Swoboda J, Meredith T, Campbell J, Brown S, Suzuki T, Bollenbach MT, Malhowski A, Kishony R, Gilmore M, Walker S. 2009. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 4(10), 875–883.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 4228
Bollenbach T, Quan S, Chait RP, Kishony R. 2009. Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. 139(4), 707–718.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton NH, De Cara M. 2009. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 63(5), 1171–1190.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4365
Seghir M, Podelski A, Wies T. 2009. Abstraction Refinement for Quantified Array Assertions. SAS: Static Analysis Symposium, LNCS 5673, , 3–18.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, Yang H, Mravec J, Sauer M, Cheng Y, Adamec J, Nagashima A, Geisler M, Sakai T, Friml J, Peer W, Murphy A. 2009. ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 57(1), 27–44.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
Pernisová M, Klíma P, Horák J, Válková M, Malbeck J, Souček P, Reichman P, Hoyerová K, Dubová J, Friml J, Zažímalová E, Hejátko J. 2009. Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. 106(9), 3609–3614.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
Růžička K, Šimášková M, Duclercq J, Petrášek J, Zažímalová E, Simon S, Friml J, Van Montagu M, Benková E. 2009. Cytokinin regulates root meristem activity via modulation of the polar auxin transport. PNAS. 106(11), 4284–4289.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
Tanaka H, Kitakura S, De Rycke R, De Groodt R, Friml J. 2009. Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking. Current Biology. 19(5), 391–397.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
Robert H, Friml J. 2009. Auxin and other signals on the move in plants. Nature Chemical Biology. 5(5), 325–332.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste S, Friml J. 2009. Auxin: A trigger for change in plant development. Cell. 136(6), 1005–1016.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers D, Friml J. 2009. SnapShot: Auxin signaling and transport. Cell. 136(6), 1172–1172.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3053
Benková E, Ivanchenko M, Friml J, Shishkova S, Dubrovsky J. 2009. A morphogenetic trigger: Is there an emerging concept in plant developmental biology? Trends in Plant Science. 14(4), 189–193.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar MP, Kolmogorov V, Torr P. 2009. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 10, 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Vicente S, Kolmogorov V, Rother C. 2009. Joint optimization of segmentation and appearance models. ICCV: International Conference on Computer Vision, 755–762.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov V, Shioura A. 2009. New algorithms for convex cost tension problem with application to computer vision. Discrete Optimization. 6(4), 378–393.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
Engel J, Schmalhorst PS, Dörk Bousset T, Ferrières V, Routier F. 2009. A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus. Journal of Biological Chemistry. 284(49), 33859–33868.
View | DOI
 

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.)
 

Search

Filter Publications