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.
7408 Publications
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 Poster | IST-REx-ID: 3699
Semi-supervised analysis of human fMRI data
M. Blaschko, C. Lampert, A. Bartels, Semi-Supervised Analysis of Human FMRI Data, Berlin Institute of Technology, 2009.
View
| Download (ext.)
M. Blaschko, C. Lampert, A. Bartels, Semi-Supervised Analysis of Human FMRI Data, Berlin Institute of Technology, 2009.
2009 | Conference Paper | IST-REx-ID: 3703
Object localization with global and local context kernels
M. Blaschko, C. Lampert, in:, BMVA Press, 2009, pp. 1–11.
View
| DOI
| Download (ext.)
M. Blaschko, C. Lampert, in:, BMVA Press, 2009, pp. 1–11.
2009 | Conference Paper | IST-REx-ID: 3704
Learning to detect unseen object classes by between-class attribute transfer
C. Lampert, H. Nickisch, S. Harmeling, in:, IEEE, 2009, pp. 951–958.
View
| DOI
C. Lampert, H. Nickisch, S. Harmeling, in:, IEEE, 2009, pp. 951–958.
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: 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 | Conference Paper | IST-REx-ID: 3715
Active structured learning for high-speed object detection
C. Lampert, J. Peters, in:, Springer, 2009, pp. 221–231.
View
| DOI
C. Lampert, J. Peters, in:, Springer, 2009, pp. 221–231.
2009 | Conference Poster | IST-REx-ID: 3717
A high-speed object tracker from off-the-shelf components
C. Lampert, J. Peters, A High-Speed Object Tracker from off-the-Shelf Components, IEEE, 2009.
View
| Download (ext.)
C. Lampert, J. Peters, A High-Speed Object Tracker from off-the-Shelf Components, IEEE, 2009.
2009 | Preprint | IST-REx-ID: 3732 | 
Spin glass models for a network of real neurons
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
View
| Download (ext.)
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
2009 | Journal Article | IST-REx-ID: 3733
The dynamics of adaptation on correlated fitness landscapes
S. Kryazhimskiy, G. Tkačik, J. Plotkin, PNAS 106 (2009) 18638–18643.
View
| DOI
| Download (ext.)
S. Kryazhimskiy, G. Tkačik, J. Plotkin, PNAS 106 (2009) 18638–18643.
2009 | Journal Article | IST-REx-ID: 3737
Optimizing information flow in small genetic networks
G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 80 (2009).
View
| DOI
| Download (ext.)
G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 80 (2009).
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 | Book Chapter | IST-REx-ID: 3747
Cell Biology: Networks, regulation, pathways
G. Tkačik, W. Bialek, in:, R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science, Springer, 2009, pp. 719–741.
View
| DOI
G. Tkačik, W. Bialek, in:, R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science, Springer, 2009, pp. 719–741.
2009 | Journal Article | IST-REx-ID: 3764
Deforming meshes that split and merge
C.J. Wojtan, N. Thürey, M. Gross, G. Turk, ACM Transactions on Graphics 28 (2009).
View
| DOI
C.J. Wojtan, N. Thürey, M. Gross, G. Turk, ACM Transactions on Graphics 28 (2009).
2009 | Journal Article | IST-REx-ID: 3768
Comment on '{A} congruence index for testing topological similarity between trees'.
A. Kupczok, A. Von Haeseler, Bioinformatics 25 (2009) 147–149.
View
| DOI
A. Kupczok, A. Von Haeseler, Bioinformatics 25 (2009) 147–149.
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.
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
2009 | Journal Article | IST-REx-ID: 3780 |
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
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
View
| Files available
| DOI
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
2009 | Journal Article | IST-REx-ID: 3828
Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors
J. Schwenk, N. Harmel, G. Zolles, W. Bildl, Á. Kulik, B. Heimrich, O. Chisaka, P.M. Jonas, U. Schulte, B. Fakler, N. Klocker, Science 323 (2009) 1313–9.
View
| DOI
J. Schwenk, N. Harmel, G. Zolles, W. Bildl, Á. Kulik, B. Heimrich, O. Chisaka, P.M. Jonas, U. Schulte, B. Fakler, N. Klocker, Science 323 (2009) 1313–9.
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 | 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.
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: 3841 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 | Conference Paper | IST-REx-ID: 3843 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
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.
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
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: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
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: 3950
Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells
M. Moser, M. Bauer, S. Schmid, R. Ruppert, S. Schmidt, M.K. Sixt, H. Wang, M. Sperandio, R. Fässler, Nature Medicine 15 (2009) 300–305.
View
| DOI
M. Moser, M. Bauer, S. Schmid, R. Ruppert, S. Schmidt, M.K. Sixt, H. Wang, M. Sperandio, R. Fässler, Nature Medicine 15 (2009) 300–305.
2009 | Journal Article | IST-REx-ID: 3951
Mechanical modes of 'amoeboid' cell migration
T. Lämmermann, M.K. Sixt, Current Opinion in Cell Biology 21 (2009) 636–644.
View
| DOI
T. Lämmermann, M.K. Sixt, Current Opinion in Cell Biology 21 (2009) 636–644.
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.
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: 3955
Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels
H. Pflicke, M.K. Sixt, The Journal of Experimental Medicine 206 (2009) 2925–2935.
View
| DOI
H. Pflicke, M.K. Sixt, The Journal of Experimental Medicine 206 (2009) 2925–2935.
2009 | Journal Article | IST-REx-ID: 3966
Extending persistence using Poincare and Lefschetz duality
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Foundations of Computational Mathematics 9 (2009) 79–103.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Foundations of Computational Mathematics 9 (2009) 79–103.
2009 | Conference Paper | IST-REx-ID: 3967
Persistent homology for kernels, images, and cokernels
D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, SIAM, 2009, pp. 1011–1020.
View
D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, SIAM, 2009, pp. 1011–1020.
2009 | Conference Paper | IST-REx-ID: 3968 |
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
View
| Files available
| DOI
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
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.
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: 4143
Trafficking and cell migration
F. Ulrich, C.-P.J. Heisenberg, Traffic 10 (2009) 811–818.
View
| DOI
F. Ulrich, C.-P.J. Heisenberg, Traffic 10 (2009) 811–818.
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: 4158
Biology and physics of cell shape changes in development
E. Paluch, C.-P.J. Heisenberg, Current Biology 19 (2009) R790–R799.
View
| DOI
E. Paluch, C.-P.J. Heisenberg, Current Biology 19 (2009) R790–R799.
2009 | Journal Article | IST-REx-ID: 4159
Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis
E. Paluch, C.-P.J. Heisenberg, Developmental Cell 16 (2009) 4–6.
View
| DOI
E. Paluch, C.-P.J. Heisenberg, Developmental Cell 16 (2009) 4–6.
2009 | Journal Article | IST-REx-ID: 4160
Linking organ formation to left-right patterning in the embryonic zebrafish
P. Oteíza, C. Lemus, M. Köppen, K. Palma, M. Krieg, C. Melo, C. Farias, E. Pulgar, S. Preibisch, S. Hartel, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S11–S11.
View
| DOI
P. Oteíza, C. Lemus, M. Köppen, K. Palma, M. Krieg, C. Melo, C. Farias, E. Pulgar, S. Preibisch, S. Hartel, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S11–S11.
2009 | Journal Article | IST-REx-ID: 4162
Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces
P. Oteíza, M. Köppen, M. Krieg, S. Preibisch, S. Haertel, D. Müller, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S80–S80.
View
| DOI
P. Oteíza, M. Köppen, M. Krieg, S. Preibisch, S. Haertel, D. Müller, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S80–S80.
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: 4206
Dorsal closure in Drosophila: cells cannot get out of the tight spot
C.-P.J. Heisenberg, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 31 (2009) 1284–1287.
View
| DOI
C.-P.J. Heisenberg, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 31 (2009) 1284–1287.
2009 | Journal Article | IST-REx-ID: 4217
Control of convergent yolk syncytial layer nuclear movement in zebrafish
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
View
| DOI
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
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: 4231
Statistical mechanics and the evolution of polygenic quantitative traits
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
View
| DOI
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
2009 | Thesis | IST-REx-ID: 4232
Stochasticity and Variability in the dynamics and genetics of populations
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
| DOI
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
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.
View
| Files available
| DOI
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
2009 | Journal Article | IST-REx-ID: 4357
Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
2009 | Conference Paper | IST-REx-ID: 4360
Combining Theories with Shared Set Operations
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.
View
| DOI
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.
2009 | Thesis | IST-REx-ID: 4363
Formalizing and Verifying Transactional Memories
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
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 | Conference Paper | IST-REx-ID: 4375
Intra-module Inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.
View
| DOI
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.
2009 | Conference Paper | IST-REx-ID: 4376
Parallel programming with object assemblies
R. Lublinerman, S. Chaudhuri, P. Cerny, in:, ACM, 2009, pp. 61–80.
View
| DOI
R. Lublinerman, S. Chaudhuri, P. Cerny, in:, ACM, 2009, pp. 61–80.
2009 | Conference Paper | IST-REx-ID: 4377
It's Doomed; We Can Prove It
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.
View
| DOI
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.
2009 | Conference Paper | IST-REx-ID: 4383 |
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
2009 | Conference Paper | IST-REx-ID: 4385
Preventing versus curing: avoiding conflicts in transactional memories
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.
View
| DOI
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.
2009 | Conference Paper | IST-REx-ID: 4391
Automated Analysis of Java Methods for Confidentiality
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
View
| DOI
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
2009 | Conference Paper | IST-REx-ID: 4403 |
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
View
| Files available
| DOI
| Download Submitted Version (ext.)
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
2009 | Journal Article | IST-REx-ID: 11105 |
The role of nuclear pores in gene regulation, development and disease
M. Capelson, M. Hetzer, EMBO Reports 10 (2009) 697–705.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Capelson, M. Hetzer, EMBO Reports 10 (2009) 697–705.
2009 | Journal Article | IST-REx-ID: 11107 |
ER membrane–bending proteins are necessary for de novo nuclear pore formation
T.R. Dawson, M.D. Lazarus, M. Hetzer, S.R. Wente, Journal of Cell Biology 184 (2009) 659–675.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.R. Dawson, M.D. Lazarus, M. Hetzer, S.R. Wente, Journal of Cell Biology 184 (2009) 659–675.
2009 | Journal Article | IST-REx-ID: 11103 |
Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes
M. Hetzer, S.R. Wente, Developmental Cell 17 (2009) 606–616.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Hetzer, S.R. Wente, Developmental Cell 17 (2009) 606–616.
2009 | Journal Article | IST-REx-ID: 11108 |
Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells
M.A. D’Angelo, M. Raices, S.H. Panowski, M. Hetzer, Cell 136 (2009) 284–295.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.A. D’Angelo, M. Raices, S.H. Panowski, M. Hetzer, Cell 136 (2009) 284–295.
2009 | Journal Article | IST-REx-ID: 11106 |
Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo
D.J. Anderson, J.D. Vargas, J.P. Hsiao, M. Hetzer, Journal of Cell Biology 186 (2009) 183–191.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D.J. Anderson, J.D. Vargas, J.P. Hsiao, M. Hetzer, Journal of Cell Biology 186 (2009) 183–191.
2009 | Conference Paper | IST-REx-ID: 11752
Influence of magnetic fields on structural martensitic transitions
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
View
| Files available
| DOI
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
2009 | Journal Article | IST-REx-ID: 7080
Influence of magnetic fields on structural martensitic transitions
X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.
View
| Files available
| DOI
X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.
2008 | Journal Article | IST-REx-ID: 2795
Repeller or attractor? Selecting the dynamical model for the onset of turbulence in pipe flow
B. Hof, A. De Lózar, D. Kuik, J. Westerweel, Physical Review Letters 101 (2008).
View
| DOI
B. Hof, A. De Lózar, D. Kuik, J. Westerweel, Physical Review Letters 101 (2008).
2008 | Journal Article | IST-REx-ID: 2892
Networking networks
R. Azevedo, R. Lohaus, T. Paixao, Evolution & Development 10 (2008) 514–515.
View
| DOI
R. Azevedo, R. Lohaus, T. Paixao, Evolution & Development 10 (2008) 514–515.
2008 | Journal Article | IST-REx-ID: 3030
Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants
E. Růčková, J. Friml, P. Procházková Schrumpfová, J. Fajkus, Plant Molecular Biology 66 (2008) 637–646.
View
| DOI
E. Růčková, J. Friml, P. Procházková Schrumpfová, J. Fajkus, Plant Molecular Biology 66 (2008) 637–646.
2008 | Journal Article | IST-REx-ID: 3031
Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes
P. Dhonukshe, I. Grigoriev, R. Fischer, M. Tominaga, D. Robinson, J. Hašek, T. Paciorek, J. Petrášek, D. Seifertová, R. Tejos, L. Meisel, E. Zažímalová, T. Gadella, Y. Stierhof, T. Ueda, K. Oiwa, A. Akhmanova, R. Brock, A. Spang, J. Friml, PNAS 105 (2008) 4489–4494.
View
| DOI
P. Dhonukshe, I. Grigoriev, R. Fischer, M. Tominaga, D. Robinson, J. Hašek, T. Paciorek, J. Petrášek, D. Seifertová, R. Tejos, L. Meisel, E. Zažímalová, T. Gadella, Y. Stierhof, T. Ueda, K. Oiwa, A. Akhmanova, R. Brock, A. Spang, J. Friml, PNAS 105 (2008) 4489–4494.
2008 | Journal Article | IST-REx-ID: 3032
ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
View
| DOI
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
2008 | Book Chapter | IST-REx-ID: 3033
Visualization of auxin gradients in embryogenesis
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 137–144.
View
| DOI
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 137–144.
2008 | Journal Article | IST-REx-ID: 3034
Plant biology: In their neighbour's shadow
J. Friml, M. Sauer, Nature 453 (2008) 298–299.
View
| DOI
J. Friml, M. Sauer, Nature 453 (2008) 298–299.
2008 | Book Chapter | IST-REx-ID: 3035
In vitro culture of Arabidopsis embryos
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 71–76.
View
| DOI
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 71–76.
2008 | Journal Article | IST-REx-ID: 3036
Auxin acts as a local morphogenetic trigger to specify lateral root founder cells
J. Dubrovsky, M. Sauer, S. Napsucialy Mendivil, M. Ivanchenko, J. Friml, S. Shishkova, J. Celenza, E. Benková, PNAS 105 (2008) 8790–8794.
View
| DOI
J. Dubrovsky, M. Sauer, S. Napsucialy Mendivil, M. Ivanchenko, J. Friml, S. Shishkova, J. Celenza, E. Benková, PNAS 105 (2008) 8790–8794.
2008 | Journal Article | IST-REx-ID: 3037 |
PIN polar targeting
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
2008 | Journal Article | IST-REx-ID: 3038
The auxin influx carrier LAX3 promotes lateral root emergence
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View
| DOI
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
2008 | Journal Article | IST-REx-ID: 3039
Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root
I. De Smet, V. Vassileva, B. De Rybel, M. Levesque, W. Grunewald, D. Van Damme, G. Van Noorden, M. Naudts, G. Van Isterdael, R. De Clercq, J. Wang, N. Meuli, S. Vanneste, J. Friml, P. Hilson, G. Jürgens, G. Ingram, D. Inzé, P. Benfey, T. Beeckman, Science 322 (2008) 594–597.
View
| DOI
I. De Smet, V. Vassileva, B. De Rybel, M. Levesque, W. Grunewald, D. Van Damme, G. Van Noorden, M. Naudts, G. Van Isterdael, R. De Clercq, J. Wang, N. Meuli, S. Vanneste, J. Friml, P. Hilson, G. Jürgens, G. Ingram, D. Inzé, P. Benfey, T. Beeckman, Science 322 (2008) 594–597.
2008 | Journal Article | IST-REx-ID: 3040
Cellular and molecular requirements for polar PIN targeting and transcytosis in plants
J. Kleine Vehn, Ł. Łangowski, J. Wiśniewska, P. Dhonukshe, P. Brewer, J. Friml, Molecular Plant 1 (2008) 1056–1066.
View
| DOI
J. Kleine Vehn, Ł. Łangowski, J. Wiśniewska, P. Dhonukshe, P. Brewer, J. Friml, Molecular Plant 1 (2008) 1056–1066.
2008 | Journal Article | IST-REx-ID: 3041
Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses
D. Santelia, S. Henrichs, V. Vincenzetti, M. Sauer, L. Bigler, M. Klein, A. Bailly, Y. Lee, J. Friml, M. Geisler, E. Martinoia, Journal of Biological Chemistry 283 (2008) 31218–31226.
View
| DOI
D. Santelia, S. Henrichs, V. Vincenzetti, M. Sauer, L. Bigler, M. Klein, A. Bailly, Y. Lee, J. Friml, M. Geisler, E. Martinoia, Journal of Biological Chemistry 283 (2008) 31218–31226.
2008 | Journal Article | IST-REx-ID: 3042
Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting
J. Kleine Vehn, J. Leitner, M. Zwiewka, M. Sauer, L. Abas, C. Luschnig, J. Friml, PNAS 105 (2008) 17812–17817.
View
| DOI
J. Kleine Vehn, J. Leitner, M. Zwiewka, M. Sauer, L. Abas, C. Luschnig, J. Friml, PNAS 105 (2008) 17812–17817.
2008 | Journal Article | IST-REx-ID: 3043
Polar targeting and endocytic recycling in auxin-dependent plant development
J. Kleine Vehn, J. Friml, Annual Review of Cell and Developmental Biology 24 (2008) 447–473.
View
| DOI
| PubMed | Europe PMC
J. Kleine Vehn, J. Friml, Annual Review of Cell and Developmental Biology 24 (2008) 447–473.
2008 | Journal Article | IST-REx-ID: 3044
Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development
J. Mravec, M. Kubeš, A. Bielach, V. Gaykova, J. Petrášek, P. Skůpa, S. Chand, E. Benková, E. Zažímalová, J. Friml, Development 135 (2008) 3345–3354.
View
| DOI
J. Mravec, M. Kubeš, A. Bielach, V. Gaykova, J. Petrášek, P. Skůpa, S. Chand, E. Benková, E. Zažímalová, J. Friml, Development 135 (2008) 3345–3354.
2008 | Journal Article | IST-REx-ID: 3045
Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions
P. Dhonukshe, H. Tanaka, T. Goh, K. Ebine, A. Mähönen, K. Prasad, I. Blilou, N. Geldner, J. Xu, T. Uemura, J. Chory, T. Ueda, A. Nakano, B. Scheres, J. Friml, Nature 456 (2008) 962–966.
View
| DOI
P. Dhonukshe, H. Tanaka, T. Goh, K. Ebine, A. Mähönen, K. Prasad, I. Blilou, N. Geldner, J. Xu, T. Uemura, J. Chory, T. Ueda, A. Nakano, B. Scheres, J. Friml, Nature 456 (2008) 962–966.
2008 | Conference Paper | IST-REx-ID: 3194
On partial optimality in multi label MRFs
P. Kohli, A. Shekhovtsov, C. Rother, V. Kolmogorov, P. Torr, in:, Omnipress, 2008, pp. 480–487.
View
| DOI
| Download (ext.)
P. Kohli, A. Shekhovtsov, C. Rother, V. Kolmogorov, P. Torr, in:, Omnipress, 2008, pp. 480–487.
2008 | Conference Paper | IST-REx-ID: 3195
Graph cut based image segmentation with connectivity priors
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2008.
View
| DOI
| Download (ext.)
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2008.
2008 | Journal Article | IST-REx-ID: 3196
A comparative study of energy minimization methods for Markov random fields with smoothness-based priors
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 30 (2008) 1068–1080.
View
| DOI
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 30 (2008) 1068–1080.
2008 | Conference Paper | IST-REx-ID: 3198
Feature correspondence via graph matching: Models and global optimization
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
View
| DOI
| Download (ext.)
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
2008 | Conference Paper | IST-REx-ID: 3224
A new mode of operation for block ciphers and length preserving MACs
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
View
| DOI
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
2008 | Conference Paper | IST-REx-ID: 3225
Robust multi property combiners for hash functions revisited
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.
View
| Files available
| DOI
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.