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.

7219 Publications


2010 | Journal Article | IST-REx-ID: 4157 | OA
Papusheva E, Heisenberg C-PJ. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 2010;29(16):2753-2768. doi:10.1038/emboj.2010.182
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4163
Oteíza P, Koeppen M, Krieg M, et al. Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. 2010;137(20):3459-3468. doi:10.1242/dev.049981
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4187
Kardash E, Reichman Fried M, Maître J, et al. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 2010;12(1):47-53. doi:10.1038/ncb2003
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo Y, Krieg M, Stuehmer J, Licata N, Mueller D, Heisenberg C-PJ. Movement directionality in collective migration of germ layer progenitors. Current Biology. 2010;20(2):161-169. doi:10.1016/j.cub.2009.11.036
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
Barton NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 2010;15(7):162-216. doi:10.1214/EJP.v15-741
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Bergmann J, Danowski P. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Bergmann J, Danowski P, eds. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41. De Gruyter; 2010:5-20. doi:10.1515/9783110232103
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
Danowski P. Open Bibliographic Data. Elsevier; 2010.
View | Files available | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4341
Danowski P. Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. In: IFLA; 2010.
View | Download (ext.)
 

2010 | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski P, Bergmann J, eds. Handbuch Bibliothek 2.0. Vol 41. De Gruyter; 2010. doi:10.1515/9783110232103
View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4358
Guinane C, Ben Zakour N, Tormo Mas M, et al. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2010;2:454-466. doi:10.1093/gbe/evq031
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:10.1007/978-3-642-16612-9_32
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4364
Podelski A, Wies T. Counterexample-guided focus. In: ACM; 2010:249-260. doi:10.1145/1707801.1706330
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic D, Piterman N. From MTL to deterministic timed automata. In: Henzinger TA, Chatterjee K, eds. Vol 6246. Springer; 2010:152-167. doi:10.1007/978-3-642-15297-9_13
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:10.1007/978-3-642-11319-2_6
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. Transactions in the jungle. In: ACM; 2010:263-272. doi:10.1145/1810479.1810529
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. GIST: A solver for probabilistic games. In: Vol 6174. Springer; 2010:665-669. doi:10.1007/978-3-642-14295-6_57
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen L, Henzinger TA, Legay A, Nickovic D. Robustness of sequential circuits. In: IEEE; 2010:77-84. doi:10.1109/ACSD.2010.26
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt S, Musuvathi M, Singh V. Verifying local transformations on relaxed memory models. In: Gupta R, ed. Vol 6011. Springer; 2010:104-123. doi:10.1007/978-3-642-11970-5_7
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10909
Chen C, Freedman D. Hardness results for homology localization. In: Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2010:1594-1604. doi:10.1137/1.9781611973075.129
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 2796
De Lózar A, Hof B. An experimental study of the decay of turbulent puffs in pipe flow. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 2009;367(1888):589-599. doi:10.1098/rsta.2008.0199
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 2797
Kuik D, Poelma C, Hof B, Westerweel J. Quantitative measurement of the life time of turbulence in pipe flow. In: Vol 132. Springer; 2009:145-148. doi:10.1007/978-3-642-03085-7_36
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2868
Benková E, Hejátko J. Hormone interactions at the root apical meristem. Plant Molecular Biology. 2009;69(4):383-396. doi:10.1007/s11103-008-9393-6
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2869
Péret B, De Rybel B, Casimiro I, et al. Arabidopsis lateral root development: an emerging story. Trends in Plant Science. 2009;14(7):399-408. doi:10.1016/j.tplants.2009.05.002
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2932
Kolmogorov V. Blossom V: A new implementation of a minimum cost perfect matching algorithm. Mathematical Programming Computation. 2009;1(1):43-67. doi:10.1007/s12532-009-0002-8
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, et al. ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 2009;57(1):27-44. doi:10.1111/j.1365-313X.2008.03668.x
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3049
Pernisová M, Klíma P, Horák J, et al. Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. 2009;106(9):3609-3614. doi:10.1073/pnas.0811539106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
Růžička K, Šimášková M, Duclercq J, et al. Cytokinin regulates root meristem activity via modulation of the polar auxin transport. PNAS. 2009;106(11):4284-4289. doi:10.1073/pnas.0900060106
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste S, Friml J. Auxin: A trigger for change in plant development. Cell. 2009;136(6):1005-1016. doi:10.1016/j.cell.2009.03.001
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. A morphogenetic trigger: Is there an emerging concept in plant developmental biology? Trends in Plant Science. 2009;14(4):189-193. doi:10.1016/j.tplants.2009.01.006
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3055
Naramoto S, Sawa S, Koizumi K, et al. Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants. Development. 2009;136(9):1529-1538. doi:10.1242/dev.030098
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
Sorefan K, Girin T, Liljegren S, et al. A regulated auxin minimum is required for seed dispersal in Arabidopsis. Nature. 2009;459(7246):583-586. doi:10.1038/nature07875
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3058
Mravec J, Skůpa P, Bailly A, et al. Subcellular homeostasis of phytohormone auxin is mediated by the ER localized PIN5 transporter. Nature. 2009;459(7250):1136-1140. doi:10.1038/nature08066
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3059
Kleine Vehn J, Huang F, Naramoto S, et al. PIN auxin efflux carrier polarity is regulated by PINOID kinase mediated recruitment into GNOM independent trafficking in arabidopsis. Plant Cell. 2009;21(12):3839-3849. doi:10.1105/tpc.109.071639
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
Schumacher K, Friml J. Cell biology. Current Opinion in Plant Biology. 2009;12(6):651-652. doi:10.1016/j.pbi.2009.10.009
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček P, Skůpa P, Libus J, et al. The PIN-FORMED (PIN) protein family of auxin transporters. Genome Biology. 2009;10(12). doi:10.1186/gb-2009-10-12-249
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2009 | Conference Paper | IST-REx-ID: 3199
Vicente S, Kolmogorov V, Rother C. Joint optimization of segmentation and appearance models. In: IEEE; 2009:755-762. doi:10.1109/ICCV.2009.5459287
View | DOI | Download (ext.)
 

Search

Filter Publications