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.

7210 Publications


2010 | Journal Article | IST-REx-ID: 4358
Guinane, Caitriona, 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, 2010, pp. 454–66, doi:10.1093/gbe/evq031.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh, Vasu. Runtime Verification for Software Transactional Memories. Edited by Oleg Sokolsky et al., vol. 6418, Springer, 2010, pp. 421–35, doi:10.1007/978-3-642-16612-9_32.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4364
Podelski, Andreas, and Thomas Wies. Counterexample-Guided Focus. ACM, 2010, pp. 249–60, doi:10.1145/1707801.1706330.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, et al. Building a Calculus of Data Structures. Edited by Gilles Barthe and Manuel Hermenegildo, vol. 5944, Springer, 2010, pp. 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, Kevin, et al. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, Thomas A., et al. FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE, 2010, pp. 83–90, doi:10.1109/CLOUD.2010.71.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, Rachid, et al. Transactions in the Jungle. ACM, 2010, pp. 263–72, doi:10.1145/1810479.1810529.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, et al. “Quantitative Simulation Games.” Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, vol. 6200, Springer, 2010, pp. 42–60, doi:10.1007/978-3-642-13754-9_3.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, et al. Verifying Local Transformations on Relaxed Memory Models. Edited by Rajiv Gupta, vol. 6011, Springer, 2010, pp. 104–23, doi:10.1007/978-3-642-11970-5_7.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–604, doi:10.1137/1.9781611973075.129.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 2796
De Lózar, Alberto, and Björn 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, 2009, pp. 589–99, doi:10.1098/rsta.2008.0199.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 2797
Kuik, Dirk, et al. Quantitative Measurement of the Life Time of Turbulence in Pipe Flow. Vol. 132, Springer, 2009, pp. 145–48, doi:10.1007/978-3-642-03085-7_36.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2868
Benková, Eva, and Jan Hejátko. “Hormone Interactions at the Root Apical Meristem.” Plant Molecular Biology, vol. 69, no. 4, Springer, 2009, pp. 383–96, doi:10.1007/s11103-008-9393-6.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2869
Péret, Benjamin, et al. “Arabidopsis Lateral Root Development: An Emerging Story.” Trends in Plant Science, vol. 14, no. 7, Cell Press, 2009, pp. 399–408, doi:10.1016/j.tplants.2009.05.002.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2932
Kolmogorov, Vladimir. “Blossom V: A New Implementation of a Minimum Cost Perfect Matching Algorithm.” Mathematical Programming Computation, vol. 1, no. 1, Springer, 2009, pp. 43–67, doi:10.1007/s12532-009-0002-8.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3046
Grunewald, Wim, et al. “Parasitic Nematodes Modulate PIN Mediated Auxin Transport to Facilitate Infection.” PLoS Pathogens, vol. 5, no. 1, Public Library of Science, 2009, doi: 10.1371/journal.ppat.1000266.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun, Boosaree, et al. “ABCB19 PGP19 Stabilises PIN1 in Membrane Microdomains in Arabidopsis.” Plant Journal, vol. 57, no. 1, Wiley-Blackwell, 2009, pp. 27–44, doi:10.1111/j.1365-313X.2008.03668.x.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
Tanaka, Hirokazu, et al. “Fluorescence Imaging Based Screen Identifies ARF GEF Component of Early Endosomal Trafficking.” Current Biology, vol. 19, no. 5, Cell Press, 2009, pp. 391–97, doi:10.1016/j.cub.2009.01.057.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
Pernisová, Markéta, et al. “Cytokinins Modulate Auxin Induced Organogenesis in Plants via Regulation of the Auxin Efflux.” PNAS, vol. 106, no. 9, National Academy of Sciences, 2009, pp. 3609–14, doi:10.1073/pnas.0811539106.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
Růžička, Kamil, et al. “Cytokinin Regulates Root Meristem Activity via Modulation of the Polar Auxin Transport.” PNAS, vol. 106, no. 11, National Academy of Sciences, 2009, pp. 4284–89, doi:10.1073/pnas.0900060106.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers, Dolf, and Jiří Friml. “SnapShot: Auxin Signaling and Transport.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 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, Steffen, and Jiří Friml. “Auxin: A Trigger for Change in Plant Development.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1005–16, 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á, Eva, et al. “A Morphogenetic Trigger: Is There an Emerging Concept in Plant Developmental Biology?” Trends in Plant Science, vol. 14, no. 4, Cell Press, 2009, pp. 189–93, doi:10.1016/j.tplants.2009.01.006.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
Robert, Hélène, and Jiří Friml. “Auxin and Other Signals on the Move in Plants.” Nature Chemical Biology, vol. 5, no. 5, Nature Publishing Group, 2009, pp. 325–32, doi:10.1038/nchembio.170.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3055
Naramoto, Satoshi, 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, 2009, pp. 1529–38, doi:10.1242/dev.030098.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
Sorefan, Karim, et al. “A Regulated Auxin Minimum Is Required for Seed Dispersal in Arabidopsis.” Nature, vol. 459, no. 7246, Nature Publishing Group, 2009, pp. 583–86, doi:10.1038/nature07875.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Petrášek, Jan, and Jiří Friml. “Auxin Transport Routes in Plant Development.” Development, vol. 136, no. 16, Company of Biologists, 2009, pp. 2675–88, doi:10.1242/dev.030353.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3058
Mravec, Jozef, et al. “Subcellular Homeostasis of Phytohormone Auxin Is Mediated by the ER Localized PIN5 Transporter.” Nature, vol. 459, no. 7250, Nature Publishing Group, 2009, pp. 1136–40, doi:10.1038/nature08066.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3059
Kleine Vehn, Jürgen, 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, 2009, pp. 3839–49, doi:10.1105/tpc.109.071639.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
Schumacher, Karin, and Jiří Friml. “Cell Biology.” Current Opinion in Plant Biology, vol. 12, no. 6, Elsevier, 2009, pp. 651–52, doi:10.1016/j.pbi.2009.10.009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček, Pavel, et al. “The PIN-FORMED (PIN) Protein Family of Auxin Transporters.” Genome Biology, vol. 10, no. 12, BioMed Central, 2009, 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, M. Pawan, et al. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research, vol. 10, Microtome Publishing, 2009, pp. 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Vicente, Sara, et al. Joint Optimization of Segmentation and Appearance Models. IEEE, 2009, pp. 755–62, doi:10.1109/ICCV.2009.5459287.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov, Vladimir, and Akiyoshi Shioura. “New Algorithms for Convex Cost Tension Problem with Application to Computer Vision.” Discrete Optimization, vol. 6, no. 4, Elsevier, 2009, pp. 378–93, doi:10.1016/j.disopt.2009.04.006.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3203
Woodford, Oliver, et al. A Global Perspective on MAP Inference for Low Level Vision. IEEE, 2009, pp. 2319–26, doi:10.1109/ICCV.2009.5459434.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3230
Kiltz, Eike, et al. A New Randomness Extraction Paradigm for Hybrid Encryption. Vol. 5479, Springer, 2009, pp. 590–609, doi:10.1007/978-3-642-01001-9_34.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3231
Kiltz, Eike, and Krzysztof Z. Pietrzak. On the Security of Padding Based Encryption Schemes Why We Cannot Prove OAEP Secure in the Standard Model. Vol. 5479, Springer, 2009, pp. 389–406, doi:10.1007/978-3-642-01001-9_23.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
Pietrzak, Krzysztof Z. A Leakage Resilient Mode of Operation. Vol. 5479, Springer, 2009, pp. 462–82, doi:10.1007/978-3-642-01001-9_27.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
Engel, Jakob, et al. “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, 2009, pp. 33859–68, doi:10.1074/jbc.M109.070219 .
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin, Subhra, et al. “Sensory Correlates of Imaginal Conditioning in Drosophila Melanogaster.” Journal of Neurogenetics, vol. 23, no. 1–2, Informa Healthcare, 2009, pp. 210–19, doi:10.1080/01677060802491559 .
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3304
Weissman, Daniel, et al. “The Rate at Which Asexual Populations Cross Fitness Valleys.” Theoretical Population Biology, vol. 75, no. 4, Academic Press, 2009, pp. 286–300, doi:10.1016/j.tpb.2009.02.006.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Uhler, Caroline. “Mastitis in Dairy Production: Estimation of Sensitivity, Specificity and Disease Prevalence in the Absence of a Gold Standard.” Journal of Agricultural Biological and Environmental Statistics, vol. 14, no. 1, Springer, 2009, pp. 79–98, doi:10.1198/jabes.2009.0005.
View | DOI
 

Search

Filter Publications