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.

7223 Publications


2010 | Thesis | IST-REx-ID: 3962
Pflicke H. 2010.   Dendritic cell migration across basement membranes in the skin. IST Austria.
View
 

2010 | Journal Article | IST-REx-ID: 3963
Streinzer M, Ellis T, Paulus H, Spaethe J. 2010. Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. 4(3), 141–148.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3964
Cohen Steiner D, Edelsbrunner H, Harer J, Mileyko Y. 2010. Lipschitz functions have L_p-stable persistence. Foundations of Computational Mathematics. 10(2), 127–139.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4134
Bridle J, Polechova J, Kawata M, Butlin R. 2010. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. 13(4), 485–494.
View | DOI
 

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

2010 | Journal Article | IST-REx-ID: 4163
Oteíza P, Koeppen M, Krieg M, Pulgar E, Farias C, Melo C, Preibisch S, Mueller D, Tada M, Hartel S, Heisenberg C-PJ, Concha M. 2010. Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. 137(20), 3459–3468.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4187
Kardash E, Reichman Fried M, Maître J, Boldajipour B, Papusheva E, Messerschmidt E, Heisenberg C, Raz E. 2010. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 12(1), 47–53.
View | DOI
 

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

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

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Bergmann J, Danowski P. 2010.Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Handbuch Bibliothek 2.0. , 5–20.
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
Danowski P. 2010. Open bibliographic data, Elsevier,p.
View | Files available | Download None (ext.)
 

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

2010 | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski P, Bergmann J eds. 2010. Handbuch Bibliothek 2.0, De Gruyter, 405p.
View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4358
Guinane C, Ben Zakour N, Tormo Mas M, Weinert L, Lowder B, Cartwright R, Smyth D, Smyth C, Lindsay J, Gould K, Witney A, Hinds J, Bollback JP, Rambaut A, Penades J, Fitzgerald JR. 2010. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2, 454–466.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh V. 2010. Runtime verification for software transactional memories. RV: International Conference on Runtime Verification, LNCS, vol. 6418, 421–435.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4364
Podelski A, Wies T. 2010. Counterexample-guided focus. POPL: Principles of Programming Languages, 249–260.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic D, Piterman N. 2010. From MTL to deterministic timed automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6246, 152–167.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
View | DOI | Download Submitted Version (ext.)
 

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

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing, 83–90.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures, 263–272.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design, 77–84.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. 2010.Quantitative Simulation Games. In: Time For Verification: Essays in Memory of Amir Pnueli. LNCS, vol. 6200, 42–60.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt S, Musuvathi M, Singh V. 2010. Verifying local transformations on relaxed memory models. CC: Compiler Construction, LNCS, vol. 6011, 104–123.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10909
Chen C, Freedman D. 2010. Hardness results for homology localization. Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1594–1604.
View | Files available | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 2797
Kuik D, Poelma C, Hof B, Westerweel J. 2009. Quantitative measurement of the life time of turbulence in pipe flow. EETC11: European Turbulence Conference, Springer Proceedings in Physics, vol. 132, 145–148.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 2869
Péret B, De Rybel B, Casimiro I, Benková E, Swarup R, Laplaze L, Beeckman T, Bennett M. 2009. Arabidopsis lateral root development: an emerging story. Trends in Plant Science. 14(7), 399–408.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2932
Kolmogorov V. 2009. Blossom V: A new implementation of a minimum cost perfect matching algorithm. Mathematical Programming Computation. 1(1), 43–67.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3046
Grunewald W, Cannoot B, Friml J, Gheysen G. 2009. Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection. PLoS Pathogens. 5(1).
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: 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: 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: 3051 | OA
Weijers D, Friml J. 2009. SnapShot: Auxin signaling and transport. Cell. 136(6), 1172–1172.
View | DOI | Download Published Version (ext.) | 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.
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: 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: 3055
Naramoto S, Sawa S, Koizumi K, Uemura T, Ueda T, Friml J, Nakano A, Fukuda H. 2009. Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants. Development. 136(9), 1529–1538.
View | DOI
 

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

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

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

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

Search

Filter Publications