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.

7346 Publications


2010 | Conference Paper | IST-REx-ID: 3848
P. Bendich, H. Edelsbrunner, D. Morozov, and A. Patel, “The robustness of level sets,” presented at the ESA: European Symposium on Algorithms, Liverpool, UK, 2010, vol. 6346, pp. 1–10.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
P. Bendich, H. Edelsbrunner, M. Kerber, and A. Patel, “Persistent homology under non-uniform error,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 12–23.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Z. Alpichshev et al., “STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects,” Physical Review Letters, vol. 104, no. 1. American Physical Society, 2010.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3850
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Polygonal reconstruction from approximate offsets,” presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany, 2010, pp. 12–23.
View
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
K. Chatterjee and L. Doyen, “Energy parity games,” presented at the ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France, 2010, vol. 6199, pp. 599–610.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
K. Chatterjee and R. Majumdar, “Discounting in games across time scales,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2010, vol. 25, pp. 22–29.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
K. Chatterjee, L. Doyen, H. Edelsbrunner, T. A. Henzinger, and P. Rannou, “Mean-payoff automaton expressions,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 269–283.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3854
K. Chatterjee, F. Horn, and C. Löding, “Obliging games,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 284–296.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Qualitative analysis of partially-observable Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 258–269.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 246–257.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3857
K. Chatterjee and T. A. Henzinger, “Probabilistic Automata on infinite words: decidability and undecidability results,” presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore, 2010, vol. 6252, pp. 1–16.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3858 | OA
K. Chatterjee and L. Doyen, “The complexity of partial-observation parity games,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 1–14.
View | Files available | DOI
 

2010 | Conference (Editor) | IST-REx-ID: 3859
K. Chatterjee and T. A. Henzinger, Eds., Formal modeling and analysis of timed systems, vol. 6246. Springer, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Generalized mean-payoff and energy games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 505–516.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” Information and Computation, vol. 208, no. 6. Elsevier, pp. 677–693, 2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4. ACM, 2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Strategy construction for parity games with imperfect information,” Information and Computation, vol. 208, no. 10. Elsevier, pp. 1206–1220, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom, 2010, vol. 6174, pp. 380–395.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3865
K. Chatterjee, L. De Alfaro, V. Raman, and C. Sánchez, “Analyzing the impact of change in multi-threaded programs,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 293–307.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3866 | OA
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Robustness in the presence of liveness,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 410–424.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–23, 2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–27, 2010.
View | Files available | DOI
 

2010 | Book | IST-REx-ID: 3899
H. Edelsbrunner and J. Harer, Computational Topology: An Introduction, vol. 69. American Mathematical Society, 2010.
View | Files available | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3901 | OA
P. Bendich, H. Edelsbrunner, and M. Kerber, “Computing robustness and persistence for images,” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6. IEEE, pp. 1251–1260, 2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
L. V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, and S. Cremer, “Rapid anti-pathogen response in ant societies relies on high genetic diversity,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695. Royal Society, The, pp. 2821–2828, 2010.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3956
S. Nourshargh, P. Hordijk, and M. K. Sixt, “Breaching multiple barriers: leukocyte motility through venular walls and the interstitium,” Nature Reviews Molecular Cell Biology, vol. 11, no. 5. Nature Publishing Group, pp. 366–378, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3957
J. Riedl et al., “Lifeact mice for studying F-actin dynamics,” Nature Methods, vol. 7, no. 3. Nature Publishing Group, pp. 168–169, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3958
H. Mohan et al., “Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells,” Brain Pathology, vol. 20, no. 5. Wiley-Blackwell, pp. 966–975, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3959
K. Schumann et al., “Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells,” Immunity, vol. 32, no. 5. Cell Press, pp. 703–713, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
M. Weber and M. K. Sixt, “MEK signalling tunes actin treadmilling for interstitial lymphocyte migration,” EMBO Journal, vol. 29, no. 17. Wiley-Blackwell, pp. 2861–2863, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3961
J. Renkawitz and M. K. Sixt, “Mechanisms of force generation and force transmission during interstitial leukocyte migration,” EMBO Reports, vol. 11, no. 10. Wiley-Blackwell, pp. 744–750, 2010.
View | DOI
 

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

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

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

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

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

2010 | Journal Article | IST-REx-ID: 4163
P. Oteíza et al., “Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ,” Development, vol. 137, no. 20. Company of Biologists, pp. 3459–3468, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4187
E. Kardash et al., “A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo,” Nature Cell Biology, vol. 12, no. 1. Nature Publishing Group, pp. 47–53, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, and C.-P. J. Heisenberg, “Movement directionality in collective migration of germ layer progenitors,” Current Biology, vol. 20, no. 2. Cell Press, pp. 161–169, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.
View | Files available | DOI
 

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

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

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

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

2010 | Journal Article | IST-REx-ID: 4358
C. Guinane et al., “Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation,” Genome Biology and Evolution, vol. 2. Oxford University Press, pp. 454–466, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.
View | DOI
 

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 4380 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 4382 | OA
R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
View | Files available | DOI | arXiv
 

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

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

2010 | Book Chapter | IST-REx-ID: 4392
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative Simulation Games,” in Time For Verification: Essays in Memory of Amir Pnueli, vol. 6200, Z. Manna and D. Peled, Eds. Springer, 2010, pp. 42–60.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
S. Burckhardt, M. Musuvathi, and V. Singh, “Verifying local transformations on relaxed memory models,” presented at the CC: Compiler Construction, Pahos, Cyprus, 2010, vol. 6011, pp. 104–123.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10909
C. Chen and D. Freedman, “Hardness results for homology localization,” in Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, TX, United States, 2010, pp. 1594–1604.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10908 | OA
R. Blanc, T. A. Henzinger, T. Hottelier, and L. Kovács, “ABC: Algebraic Bound Computation for loops,” in Logic for Programming, Artificial Intelligence, and Reasoning, Dakar, Senegal, 2010, vol. 6355, pp. 103–118.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 11099
C. M. Doucet and M. Hetzer, “Nuclear pore biogenesis into an intact nuclear envelope,” Chromosoma, vol. 119. Springer Nature, pp. 469–477, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11102 | OA
M. Capelson, Y. Liang, R. Schulte, W. Mair, U. Wagner, and M. Hetzer, “Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes,” Cell, vol. 140, no. 3. Elsevier, pp. 372–383, 2010.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11101 | OA
C. M. Doucet, J. A. Talamas, and M. Hetzer, “Cell cycle-dependent differences in nuclear pore complex assembly in metazoa,” Cell, vol. 141, no. 6. Elsevier, pp. 1030–1041, 2010.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11097
M. Hetzer, “The nuclear envelope,” Cold Spring Harbor Perspectives in Biology, vol. 2, no. 3. Cold Spring Harbor Laboratory, pp. a000539–a000539, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11098 | OA
M. Hetzer, “The role of the nuclear pore complex in aging of post-mitotic cells,” Aging, vol. 2, no. 2. Impact Journals, pp. 74–75, 2010.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 11753
S. B. Lang, J. C. Lashley, K. A. Modic, R. A. Fisher, W. M. Zhu, and Z. G. Ye, “Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary,” in Proceedings of the 2010 IEEE International Conference on Solid Dielectrics, Potsdam, Germany, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 11754
S. B. Lang, J. C. Lashley, K. A. Modic, R. A. Fisher, W. M. Zhu, and Z. G. Ye, “Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary,” in 15th IEEE Mediterranean Electrotechnical Conference, Valletta, Malta, 2010.
View | Files available | DOI
 

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

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

2009 | Journal Article | IST-REx-ID: 2868
E. Benková and J. Hejátko, “Hormone interactions at the root apical meristem,” Plant Molecular Biology, vol. 69, no. 4. Springer, pp. 383–396, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2869
B. Péret et al., “Arabidopsis lateral root development: an emerging story,” Trends in Plant Science, vol. 14, no. 7. Cell Press, pp. 399–408, 2009.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3046
W. Grunewald, B. Cannoot, J. Friml, and G. Gheysen, “Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection,” PLoS Pathogens, vol. 5, no. 1. Public Library of Science, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
B. Titapiwatanakun et al., “ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis,” Plant Journal, vol. 57, no. 1. Wiley-Blackwell, pp. 27–44, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, and J. Friml, “Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking,” Current Biology, vol. 19, no. 5. Cell Press, pp. 391–397, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
M. Pernisová et al., “Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux,” PNAS, vol. 106, no. 9. National Academy of Sciences, pp. 3609–3614, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
K. Růžička et al., “Cytokinin regulates root meristem activity via modulation of the polar auxin transport,” PNAS, vol. 106, no. 11. National Academy of Sciences, pp. 4284–4289, 2009.
View | DOI
 

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

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

2009 | Journal Article | IST-REx-ID: 3053
E. Benková, M. Ivanchenko, J. Friml, S. Shishkova, and J. Dubrovsky, “A morphogenetic trigger: Is there an emerging concept in plant developmental biology?,” Trends in Plant Science, vol. 14, no. 4. Cell Press, pp. 189–193, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
H. Robert and J. Friml, “Auxin and other signals on the move in plants,” Nature Chemical Biology, vol. 5, no. 5. Nature Publishing Group, pp. 325–332, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3055
S. Naramoto et al., “Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants,” Development, vol. 136, no. 9. Company of Biologists, pp. 1529–1538, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
K. Sorefan et al., “A regulated auxin minimum is required for seed dispersal in Arabidopsis,” Nature, vol. 459, no. 7246. Nature Publishing Group, pp. 583–586, 2009.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3058
J. Mravec et al., “Subcellular homeostasis of phytohormone auxin is mediated by the ER localized PIN5 transporter,” Nature, vol. 459, no. 7250. Nature Publishing Group, pp. 1136–1140, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3059
J. Kleine Vehn et al., “PIN auxin efflux carrier polarity is regulated by PINOID kinase mediated recruitment into GNOM independent trafficking in arabidopsis,” Plant Cell, vol. 21, no. 12. American Society of Plant Biologists, pp. 3839–3849, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
K. Schumacher and J. Friml, “Cell biology,” Current Opinion in Plant Biology, vol. 12, no. 6. Elsevier, pp. 651–652, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12. BioMed Central, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
M. P. Kumar, V. Kolmogorov, and P. Torr, “An analysis of convex relaxations for MAP estimation of discrete MRFs,” Journal of Machine Learning Research, vol. 10. Microtome Publishing, pp. 71–106, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
S. Vicente, V. Kolmogorov, and C. Rother, “Joint optimization of segmentation and appearance models,” presented at the ICCV: International Conference on Computer Vision, 2009, pp. 755–762.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
V. Kolmogorov and A. Shioura, “New algorithms for convex cost tension problem with application to computer vision,” Discrete Optimization, vol. 6, no. 4. Elsevier, pp. 378–393, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3203
O. Woodford, C. Rother, and V. Kolmogorov, “A global perspective on MAP inference for low level vision,” presented at the ICCV: International Conference on Computer Vision, 2009, pp. 2319–2326.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3230
E. Kiltz, K. Z. Pietrzak, M. Stam, and M. Yung, “A new randomness extraction paradigm for hybrid encryption,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2009, vol. 5479, pp. 590–609.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3231
E. Kiltz and K. Z. Pietrzak, “On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2009, vol. 5479, pp. 389–406.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
K. Z. Pietrzak, “A leakage resilient mode of operation,” presented at the CRYPTO: International Cryptology Conference, 2009, vol. 5479, pp. 462–482.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
J. Engel, P. S. Schmalhorst, T. Dörk Bousset, V. Ferrières, and F. Routier, “A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus,” Journal of Biological Chemistry, vol. 284, no. 49. American Society for Biochemistry and Molecular Biology, pp. 33859–33868, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
S. Chakraborty Tuhin, S. Goswami, and O. Siddiqi, “Sensory correlates of imaginal conditioning in Drosophila melanogaster,” Journal of Neurogenetics, vol. 23, no. 1–2. Informa Healthcare, pp. 210–9, 2009.
View | DOI
 

Search

Filter Publications