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.
9096 Publications
2009 | Conference Paper | IST-REx-ID: 3841 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 | Conference Paper | IST-REx-ID: 3844 |
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 | Journal Article | IST-REx-ID: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Journal Article | IST-REx-ID: 3869
Qualitative logics and equivalences for probabilistic systems
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).
2009 | Journal Article | IST-REx-ID: 3946 |
Analogies in the evolution of individual and social immunity
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
View
| DOI
| Download None (ext.)
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
2009 | Journal Article | IST-REx-ID: 3947
Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper)
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
View
| DOI
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
2009 | Journal Article | IST-REx-ID: 3948
β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity
M. Bauer, C. Brakebusch, C. Coisne, M.K. Sixt, H. Wekerle, B. Engelhardt, R. Fässler, PNAS 106 (2009) 1920–1925.
View
| DOI
M. Bauer, C. Brakebusch, C. Coisne, M.K. Sixt, H. Wekerle, B. Engelhardt, R. Fässler, PNAS 106 (2009) 1920–1925.
2009 | Journal Article | IST-REx-ID: 3949
Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells
T. Quast, B. Tappertzhofen, C. Schild, J. Grell, N. Czeloth, R. Förster, R. Alon, L. Fraemohs, K. Dreck, C. Weber, T. Lämmermann, M.K. Sixt, W. Kolanus, Blood 113 (2009) 5801–5810.
View
| DOI
T. Quast, B. Tappertzhofen, C. Schild, J. Grell, N. Czeloth, R. Förster, R. Alon, L. Fraemohs, K. Dreck, C. Weber, T. Lämmermann, M.K. Sixt, W. Kolanus, Blood 113 (2009) 5801–5810.
2009 | Journal Article | IST-REx-ID: 4136 |
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
2009 | Journal Article | IST-REx-ID: 4149
The role of the extracellular matrix in Kupffer's vesicle formation in zebrafish
G. Soete, C.-P.J. Heisenberg, Mechanisms of Development 126 (2009) S168–S168.
View
| DOI
G. Soete, C.-P.J. Heisenberg, Mechanisms of Development 126 (2009) S168–S168.
2009 | Journal Article | IST-REx-ID: 4165
Quantitative approaches in developmental biology
A. Oates, N. Gorfinkiel, M. Gonzalez Gaitan, C.-P.J. Heisenberg, Nature Reviews Genetics 10 (2009) 517–530.
View
| DOI
A. Oates, N. Gorfinkiel, M. Gonzalez Gaitan, C.-P.J. Heisenberg, Nature Reviews Genetics 10 (2009) 517–530.
2009 | Journal Article | IST-REx-ID: 4192
Regulation of planar cell polarity signalling by the prenylation pathway
M. Kai, N. Buchan, C.-P.J. Heisenberg, M. Tada, Mechanisms of Development 126 (2009) S132–S132.
View
| DOI
M. Kai, N. Buchan, C.-P.J. Heisenberg, M. Tada, Mechanisms of Development 126 (2009) S132–S132.
2009 | Journal Article | IST-REx-ID: 4223
Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus
J. Swoboda, T. Meredith, J. Campbell, S. Brown, T. Suzuki, M.T. Bollenbach, A. Malhowski, R. Kishony, M. Gilmore, S. Walker, ACS Chemical Biology 4 (2009) 875–883.
View
| DOI
| Download None (ext.)
J. Swoboda, T. Meredith, J. Campbell, S. Brown, T. Suzuki, M.T. Bollenbach, A. Malhowski, R. Kishony, M. Gilmore, S. Walker, ACS Chemical Biology 4 (2009) 875–883.
2009 | Journal Article | IST-REx-ID: 4228
Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions
T. Bollenbach, S. Quan, R.P. Chait, R. Kishony, Cell 139 (2009) 707–718.
View
| DOI
T. Bollenbach, S. Quan, R.P. Chait, R. Kishony, Cell 139 (2009) 707–718.
2009 | Journal Article | IST-REx-ID: 4242 |
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
2009 | Conference Paper | IST-REx-ID: 4365
Abstraction Refinement for Quantified Array Assertions
M. Seghir, A. Podelski, T. Wies, in:, Springer, 2009, pp. 3–18.
View
| DOI
M. Seghir, A. Podelski, T. Wies, in:, Springer, 2009, pp. 3–18.
2009 | Journal Article | IST-REx-ID: 3047
ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis
B. Titapiwatanakun, J. Blakeslee, A. Bandyopadhyay, H. Yang, J. Mravec, M. Sauer, Y. Cheng, J. Adamec, A. Nagashima, M. Geisler, T. Sakai, J. Friml, W. Peer, A. Murphy, Plant Journal 57 (2009) 27–44.
View
| DOI
B. Titapiwatanakun, J. Blakeslee, A. Bandyopadhyay, H. Yang, J. Mravec, M. Sauer, Y. Cheng, J. Adamec, A. Nagashima, M. Geisler, T. Sakai, J. Friml, W. Peer, A. Murphy, Plant Journal 57 (2009) 27–44.
2009 | Journal Article | IST-REx-ID: 3049
Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux
M. Pernisová, P. Klíma, J. Horák, M. Válková, J. Malbeck, P. Souček, P. Reichman, K. Hoyerová, J. Dubová, J. Friml, E. Zažímalová, J. Hejátko, PNAS 106 (2009) 3609–3614.
View
| DOI
M. Pernisová, P. Klíma, J. Horák, M. Válková, J. Malbeck, P. Souček, P. Reichman, K. Hoyerová, J. Dubová, J. Friml, E. Zažímalová, J. Hejátko, PNAS 106 (2009) 3609–3614.
2009 | Journal Article | IST-REx-ID: 3050
Cytokinin regulates root meristem activity via modulation of the polar auxin transport
K. Růžička, M. Šimášková, J. Duclercq, J. Petrášek, E. Zažímalová, S. Simon, J. Friml, M. Van Montagu, E. Benková, PNAS 106 (2009) 4284–4289.
View
| DOI
K. Růžička, M. Šimášková, J. Duclercq, J. Petrášek, E. Zažímalová, S. Simon, J. Friml, M. Van Montagu, E. Benková, PNAS 106 (2009) 4284–4289.
2009 | Journal Article | IST-REx-ID: 3048
Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, J. Friml, Current Biology 19 (2009) 391–397.
View
| DOI
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, J. Friml, Current Biology 19 (2009) 391–397.
2009 | Journal Article | IST-REx-ID: 3054
Auxin and other signals on the move in plants
H. Robert, J. Friml, Nature Chemical Biology 5 (2009) 325–332.
View
| DOI
| PubMed | Europe PMC
H. Robert, J. Friml, Nature Chemical Biology 5 (2009) 325–332.
2009 | Journal Article | IST-REx-ID: 3052 |
Auxin: A trigger for change in plant development
S. Vanneste, J. Friml, Cell 136 (2009) 1005–1016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Vanneste, J. Friml, Cell 136 (2009) 1005–1016.
2009 | Journal Article | IST-REx-ID: 3051 |
SnapShot: Auxin signaling and transport
D. Weijers, J. Friml, Cell 136 (2009) 1172–1172.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Weijers, J. Friml, Cell 136 (2009) 1172–1172.
2009 | Journal Article | IST-REx-ID: 3053
A morphogenetic trigger: Is there an emerging concept in plant developmental biology?
E. Benková, M. Ivanchenko, J. Friml, S. Shishkova, J. Dubrovsky, Trends in Plant Science 14 (2009) 189–193.
View
| DOI
E. Benková, M. Ivanchenko, J. Friml, S. Shishkova, J. Dubrovsky, Trends in Plant Science 14 (2009) 189–193.
2009 | Journal Article | IST-REx-ID: 3197 |
An analysis of convex relaxations for MAP estimation of discrete MRFs
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
View
| Download (ext.)
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
2009 | Conference Paper | IST-REx-ID: 3199
Joint optimization of segmentation and appearance models
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2009, pp. 755–762.
View
| DOI
| Download (ext.)
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2009, pp. 755–762.
2009 | Journal Article | IST-REx-ID: 3200
New algorithms for convex cost tension problem with application to computer vision
V. Kolmogorov, A. Shioura, Discrete Optimization 6 (2009) 378–393.
View
| DOI
V. Kolmogorov, A. Shioura, Discrete Optimization 6 (2009) 378–393.
2009 | Journal Article | IST-REx-ID: 3292
A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus
J. Engel, P.S. Schmalhorst, T. Dörk Bousset, V. Ferrières, F. Routier, Journal of Biological Chemistry 284 (2009) 33859–33868.
View
| DOI
J. Engel, P.S. Schmalhorst, T. Dörk Bousset, V. Ferrières, F. Routier, Journal of Biological Chemistry 284 (2009) 33859–33868.
2009 | Journal Article | IST-REx-ID: 3293
Sensory correlates of imaginal conditioning in Drosophila melanogaster
S. Chakraborty Tuhin, S. Goswami, O. Siddiqi, Journal of Neurogenetics 23 (2009) 210–9.
View
| DOI
S. Chakraborty Tuhin, S. Goswami, O. Siddiqi, Journal of Neurogenetics 23 (2009) 210–9.
2009 | Journal Article | IST-REx-ID: 3309
Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard
C. Uhler, Journal of Agricultural Biological and Environmental Statistics 14 (2009) 79–98.
View
| DOI
C. Uhler, Journal of Agricultural Biological and Environmental Statistics 14 (2009) 79–98.
2009 | Thesis | IST-REx-ID: 3400
Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus
P.S. Schmalhorst, Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus, Gottfried Wilhelm Leibniz Universität Hannover, 2009.
View
| Download (ext.)
P.S. Schmalhorst, Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus, Gottfried Wilhelm Leibniz Universität Hannover, 2009.
2009 | Journal Article | IST-REx-ID: 3398
Quiet gene circuit more fragile than its noisy peer
M.T. Bollenbach, R. Kishony, Cell 139 (2009) 460–461.
View
| DOI
M.T. Bollenbach, R. Kishony, Cell 139 (2009) 460–461.
2009 | Journal Article | IST-REx-ID: 3547
Activity-dependent control of neuronal output by local and global dendritic spike attenuation
S. Remy, J.L. Csicsvari, H. Beck, Neuron 61 (2009) 906–916.
View
| DOI
S. Remy, J.L. Csicsvari, H. Beck, Neuron 61 (2009) 906–916.
2009 | Book Chapter | IST-REx-ID: 3578
Stability and computation of medial axes: a state-of-the-art report
D. Attali, J. Boissonnat, H. Edelsbrunner, in:, Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration, Springer, 2009, pp. 109–125.
View
| DOI
| Download (ext.)
D. Attali, J. Boissonnat, H. Edelsbrunner, in:, Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration, Springer, 2009, pp. 109–125.
2009 | Book Chapter | IST-REx-ID: 3675
Why sex and recombination?
N.H. Barton, in:, Cold Spring Harbor Symposia on Quantitative Biology, Cold Spring Harbor Laboratory Press, 2009, pp. 187–195.
View
| DOI
N.H. Barton, in:, Cold Spring Harbor Symposia on Quantitative Biology, Cold Spring Harbor Laboratory Press, 2009, pp. 187–195.
2009 | Journal Article | IST-REx-ID: 3696
Structured prediction by joint kernel support estimation
C. Lampert, M. Blaschko, Machine Learning 77 (2009) 249–269.
View
| DOI
C. Lampert, M. Blaschko, Machine Learning 77 (2009) 249–269.
2009 | Conference Paper | IST-REx-ID: 3690
Combining appearance and motion for human action classification in videos
P. Dhillon, S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 22–29.
View
| DOI
P. Dhillon, S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 22–29.
2009 | Journal Article | IST-REx-ID: 3710
Efficient subwindow search: A branch and bound framework for object localization
C. Lampert, M. Blaschko, T. Hofmann, IEEE Transactions on Pattern Analysis and Machine Intelligence 31 (2009) 2129–2142.
View
| DOI
| Download (ext.)
C. Lampert, M. Blaschko, T. Hofmann, IEEE Transactions on Pattern Analysis and Machine Intelligence 31 (2009) 2129–2142.
2009 | Conference Paper | IST-REx-ID: 3711
Combining appearance and motion for human action classification in videos
P. Dhillon, S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 22–29.
View
| DOI
| Download (ext.)
P. Dhillon, S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 22–29.
2009 | Book | IST-REx-ID: 3707
Kernel Methods in Computer Vision
C. Lampert, Kernel Methods in Computer Vision, now publishers, 2009.
View
| DOI
C. Lampert, Kernel Methods in Computer Vision, now publishers, 2009.
2009 | Conference Paper | IST-REx-ID: 3708
Global connectivity potentials for random field models
S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 818–825.
View
| DOI
S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 818–825.
2009 | Conference Paper | IST-REx-ID: 3709
Detecting objects in large image collections and videos by efficient subimage retrieval
C. Lampert, in:, IEEE, 2009, pp. 987–994.
View
| DOI
C. Lampert, in:, IEEE, 2009, pp. 987–994.
2009 | Journal Article | IST-REx-ID: 3745
Diffusion, dimensionality, and noise in transcriptional regulation
G. Tkačik, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 79 (2009).
View
| DOI
G. Tkačik, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 79 (2009).
2009 | Journal Article | IST-REx-ID: 3775 |
On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
2009 | Conference Paper | IST-REx-ID: 3837 |
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
2009 | Conference Paper | IST-REx-ID: 3835
Synthesizing robust systems
R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 85–92.
View
| DOI
R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 85–92.
2009 | Journal Article | IST-REx-ID: 3954
Adaptive force transmission in amoeboid cell migration
J. Renkawitz, K. Schumann, M. Weber, T. Lämmermann, H. Pflicke, M. Piel, J. Polleux, J. Spatz, M.K. Sixt, Nature Cell Biology 11 (2009) 1438–1443.
View
| DOI
J. Renkawitz, K. Schumann, M. Weber, T. Lämmermann, H. Pflicke, M. Piel, J. Polleux, J. Spatz, M.K. Sixt, Nature Cell Biology 11 (2009) 1438–1443.
2009 | Journal Article | IST-REx-ID: 3952
A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo
J. Schymeinsky, R. Gerstl, I. Mannigel, K. Niedung, D. Frommhold, K. Panthel, J. Heesemann, M.K. Sixt, T. Quast, W. Kolanus, A. Mocsai, J. Wienands, M. Sperandio, B. Walzog, Blood 114 (2009) 4209–4220.
View
| DOI
J. Schymeinsky, R. Gerstl, I. Mannigel, K. Niedung, D. Frommhold, K. Panthel, J. Heesemann, M.K. Sixt, T. Quast, W. Kolanus, A. Mocsai, J. Wienands, M. Sperandio, B. Walzog, Blood 114 (2009) 4209–4220.
2009 | Journal Article | IST-REx-ID: 3953
The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo
A. Wolf, K. Eller, R. Zeiser, C. Dürr, U. Gerlach, M.K. Sixt, L. Markut, G. Gastl, A. Rosenkranz, D. Wolf, Journal of Immunology 183 (2009) 3751–3760.
View
| DOI
A. Wolf, K. Eller, R. Zeiser, C. Dürr, U. Gerlach, M.K. Sixt, L. Markut, G. Gastl, A. Rosenkranz, D. Wolf, Journal of Immunology 183 (2009) 3751–3760.