Please note that IST 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.

6739 Publications


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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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

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
 

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
 

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
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
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
 

2009 | Journal Article | IST-REx-ID: 4357 View | DOI
 

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
 

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

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
 

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
 

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
 

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
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View | Files available | DOI
 

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
 

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
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
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.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4540
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3046
Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection
W. Grunewald, B. Cannoot, J. Friml, G. Gheysen, PLoS Pathogens 5 (2009).
View | DOI
 

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
 

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
 

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
 

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
 

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

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

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
 

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
 

2009 | Journal Article | IST-REx-ID: 3055
Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants
S. Naramoto, S. Sawa, K. Koizumi, T. Uemura, T. Ueda, J. Friml, A. Nakano, H. Fukuda, Development 136 (2009) 1529–1538.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
A regulated auxin minimum is required for seed dispersal in Arabidopsis
K. Sorefan, T. Girin, S. Liljegren, K. Ljung, P. Robles, C. Galván Ampudia, R. Offringa, J. Friml, M. Yanofsky, L. Østergaard, Nature 459 (2009) 583–586.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Auxin transport routes in plant development
J. Petrášek, J. Friml, Development 136 (2009) 2675–2688.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3058
Subcellular homeostasis of phytohormone auxin is mediated by the ER localized PIN5 transporter
J. Mravec, P. Skůpa, A. Bailly, K. Hoyerová, P. Křeček, A. Bielach, J. Petrášek, J. Zhang, V. Gaykova, Y. Stierhof, P. Dobrev, K. Schwarzerová, J. Rolčík, D. Seifertová, C. Luschnig, E. Benková, E. Zažímalová, M. Geisler, J. Friml, Nature 459 (2009) 1136–1140.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3059
PIN auxin efflux carrier polarity is regulated by PINOID kinase mediated recruitment into GNOM independent trafficking in arabidopsis
J. Kleine Vehn, F. Huang, S. Naramoto, J. Zhang, M. Michniewicz, R. Offringa, J. Friml, Plant Cell 21 (2009) 3839–3849.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
Cell biology
K. Schumacher, J. Friml, Current Opinion in Plant Biology 12 (2009) 651–652.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
The PIN-FORMED (PIN) protein family of auxin transporters
P. Křeček, P. Skůpa, J. Libus, S. Naramoto, R. Tejos, J. Friml, E. Zažímalová, Genome Biology 10 (2009).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
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.)
 

Search

Filter Publications