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.

8998 Publications


2013 | Journal Article | IST-REx-ID: 499
Wakamoto, Yurichi, Neraaj Dhar, Remy P Chait, Katrin Schneider, François Signorino Gelo, Stanislas Leibler, and John Mckinney. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.” Science. American Association for the Advancement of Science, 2013. https://doi.org/10.1126/science.1229858.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 500 | OA
Ward, Melissa, Samantha Lycett, Dorita Avila, Jonathan P Bollback, and Andrew Leigh Brown. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.” BMC Evolutionary Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2148-13-222.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, Mario, Camila Clozato, Elizete Holanda, Flávio Rodrigues, Samuel Nienow, Benoit De Thoisy, Rodrigo A Fernandes Redondo, and Fabrício Santos. “A New Species of Tapir from the Amazon.” Journal of Mammalogy. Oxford University Press, 2013. https://doi.org/10.1644/12-MAMM-A-169.1.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 505
Greimel, Katrin, Veronika Perz, Klaus Koren, Roland Feola, Armin Temel, Christian Sohar, Enrique Herrero Acero, Ingo Klimant, and Georg Guebitz. “Banning Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.” Green Chemistry. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c2gc36666e.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 502
Blazy, Olivier, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud. “Short Blind Signatures.” Journal of Computer Security. IOS Press, 2013. https://doi.org/10.3233/JCS-130477.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 508 | OA
Tarazona Santos, Eduardo, Moara Machado, Wagner Magalhães, Renee Chen, Fernanda Lyon, Laurie Burdett, Andrew Crenshaw, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NCF2, and NCF4: Functional Implications.” Molecular Biology and Evolution. Oxford University Press, 2013. https://doi.org/10.1093/molbev/mst119.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 509 | OA
Di Rubbo, Simone, Niloufer Irani, Soo Kim, Zheng Xu, Astrid Gadeyne, Wim Dejonghe, Isabelle Vanhoutte, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIVE1 in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2013. https://doi.org/10.1105/tpc.113.114058.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 507 | OA
Kim, Soo, Zheng Xu, Kyungyoung Song, Dae Kim, Hyangju Kang, Ilka Reichardt, Eun Sohn, Jiří Friml, Gerd Juergens, and Inhwan Hwang. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2013. https://doi.org/10.1105/tpc.113.114264.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 511 | OA
Pěnčík, Aleš, Biljana Simonovik, Sara Petersson, Eva Henyková, Sibu Simon, Kathleen Greenham, Yi Zhang, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.” Plant Cell. American Society of Plant Biologists, 2013. https://doi.org/10.1105/tpc.113.114421.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 516 | OA
Bargmann, Bastiaan, Steffen Vanneste, Gabriel Krouk, Tal Nawy, Idan Efroni, Eilon Shani, Goh Choe, et al. “A Map of Cell Type‐specific Auxin Responses.” Molecular Systems Biology. Nature Publishing Group, 2013. https://doi.org/10.1038/msb.2013.40.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, Elke, Jan Zaujec, Pavel Uhrin, Ingrid Raab, Michele Weber, Helga Schachner, Miroslav Bauer, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.” Immunology Letters. Elsevier, 2013. https://doi.org/10.1016/j.imlet.2013.07.007.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279 | OA
Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-319-02444-8_10.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 528
Robert, Hélène, Peter Grones, Anna Stepanova, Linda Robles, Annemarie Lokerse, Jose Alonso, Dolf Weijers, and Jiří Friml. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2013.09.039.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 527
Wabnik, Krzysztof T, Hélène Robert, Richard Smith, and Jiří Friml. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2013.10.038.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5399 | OA
Reiter, Johannes, Ivana Bozic, Krishnendu Chatterjee, and Martin Nowak. TTP: Tool for Tumor Progression. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-104-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2295 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.165.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-126-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5402 | OA
Henzinger, Thomas A, and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-123-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-109-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-127-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401 | OA
Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-128-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Rupak Majumdar. Edit Distance for Timed Automata. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-144-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.” In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. Distributed Synthesis for LTL Fragments. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-130-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5408 | OA
Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-141-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407 | OA
Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5410 | OA
Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-146-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_20.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 590
Schmid, David, Ting Huang, Radhika Dirks, Onur Hosten, and Paul Kwiat. “Polarization Dependent Focusing.” OSA, 2013. https://doi.org/10.1364/QIM.2013.W6.23.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 5920
Hillar, Christopher J., and Abraham Martin del Campo Sanchez. “Finiteness Theorems and Algorithms for Permutation Invariant Chains of Laurent Lattice Ideals.” Journal of Symbolic Computation. Elsevier, 2013. https://doi.org/10.1016/j.jsc.2012.06.006.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 591
Schmid, David, Ting Huang, Shiraz Hazrat, Radhika Dirks, Onur Hosten, Stephan Quint, Dickson Thian, and Paul Kwiat. “Adjustable and Robust Methods for Polarization-Dependent Focusing.” Optics Express. Optical Society of America, 2013. https://doi.org/10.1364/OE.21.015538.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 595 | OA
Bernecky, Carrie, and Patrick Cramer. “Struggling to Let Go: A Non-Coding RNA Directs Its Own Extension and Destruction.” EMBO Journal. Wiley-Blackwell, 2013. https://doi.org/10.1038/emboj.2013.36.
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 6128 | OA
Kodama-Namba, Eiji, Lorenz A. Fenk, Andrew J. Bretscher, Einav Gross, K. Emanuel Busch, and Mario de Bono. “Cross-Modulation of Homeostatic Responses to Temperature, Oxygen and Carbon Dioxide in C. Elegans.” PLoS Genetics. Public Library of Science (PLoS), 2013. https://doi.org/10.1371/journal.pgen.1004011.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6130 | OA
Chen, Changchun, Lorenz A. Fenk, and Mario de Bono. “Efficient Genome Editing in Caenorhabditis Elegans by CRISPR-Targeted Homologous Recombination.” Nucleic Acids Research. Oxford University Press, 2013. https://doi.org/10.1093/nar/gkt805.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6133 | OA
Couto, A., S. Oda, V. O. Nikolaev, Z. Soltesz, and Mario de Bono. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas Sensor.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1217428110.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6135
Rodriguez, Miriam, L. Basten Snoek, Mario de Bono, and Jan E. Kammenga. “Worms under Stress: C. Elegans Stress Response and Its Relevance to Complex Human Disease and Aging.” Trends in Genetics. Elsevier, 2013. https://doi.org/10.1016/j.tig.2013.01.010.
View | DOI
 

2013 | Book Chapter | IST-REx-ID: 6132
Bono, Mario de, W.R. Schafer, and A. Gottschalk. “Optogenetic Actuation, Inhibition, Modulation and Readout for Neuronal Networks Generating Behavior in the Nematode Caenorhabditis Elegans.” In Optogenetics, edited by Peter Hegemann and Stephan Sigrist, 61–78. Walter de Gruyter, 2013.
View
 

2013 | Journal Article | IST-REx-ID: 6370
Lin, Tze-Chia, Jacqueline M. Cole, Andrew P Higginbotham, Alison J. Edwards, Ross O. Piltz, Javier Pérez-Moreno, Ji-Youn Seo, Seung-Chul Lee, Koen Clays, and O-Pil Kwon. “Molecular Origins of the High-Performance Nonlinear Optical Susceptibility in a Phenolic Polyene Chromophore: Electron Density Distributions, Hydrogen Bonding, and Ab Initio Calculations.” The Journal of Physical Chemistry C. American Chemical Society (ACS), 2013. https://doi.org/10.1021/jp400648q.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-124-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 6768 | OA
Mondelli, Marco. “A Finite Difference Scheme for the Stack Filter Simulating the MCM.” Image Processing On Line. Image Processing On Line, 2013. https://doi.org/10.5201/ipol.2013.53.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_35.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 7306
Ottakam Thotiyl, Muhammed M., Stefan Alexander Freunberger, Zhangquan Peng, Yuhui Chen, Zheng Liu, and Peter G. Bruce. “A Stable Cathode for the Aprotic Li–O2 Battery.” Nature Materials. Springer Nature, 2013. https://doi.org/10.1038/nmat3737.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7307
Chen, Yuhui, Stefan Alexander Freunberger, Zhangquan Peng, Olivier Fontaine, and Peter G. Bruce. “Charging a Li–O2 Battery Using a Redox Mediator.” Nature Chemistry. Springer Nature, 2013. https://doi.org/10.1038/nchem.1646.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7596
Tan, Shutang, C. Dai, H.-T. Liu, and H.-W. Xue. “Arabidopsis Casein Kinase1 Proteins CK1.3 and CK1.4 Phosphorylate Cryptochrome2 to Regulate Blue Light Signaling.” The Plant Cell. American Society of Plant Biologists, 2013. https://doi.org/10.1105/tpc.113.114322.
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 7595
Tang, Yong, Shutang Tan, and Hongwei Xue. “Arabidopsis Inositol 1,3,4-Trisphosphate 5/6 Kinase 2 Is Required for Seed Coat Development.” Acta Biochimica et Biophysica Sinica. Oxford University Press, 2013. https://doi.org/10.1093/abbs/gmt039.
View | DOI | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 765
Alistarh, Dan-Adrian, James Aspnes, George Giakkoupis, and Philipp Woelfel. “Randomized Loose Renaming in O(Loglogn) Time,” 200–209. ACM, 2013. https://doi.org/10.1145/2484239.2484240.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7745
Robinson, Matthew Richard, Anna W. Santure, Isabelle DeCauwer, Ben C. Sheldon, and Jon Slate. “Partitioning of Genetic Variation across the Genome Using Multimarker Methods in a Wild Bird Population.” Molecular Ecology. Wiley, 2013. https://doi.org/10.1111/mec.12375.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7746
Santure, Anna W., Isabelle De Cauwer, Matthew Richard Robinson, Jocelyn Poissant, Ben C. Sheldon, and Jon Slate. “Genomic Dissection of Variation in Clutch Size and Egg Mass in a Wild Great Tit (Parus Major) Population.” Molecular Ecology. Wiley, 2013. https://doi.org/10.1111/mec.12376.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7747
Robinson, Matthew Richard, and Andrew P. Beckerman. “Quantifying Multivariate Plasticity: Genetic Variation in Resource Acquisition Drives Plasticity in Resource Allocation to Components of Life History.” Ecology Letters. Wiley, 2013. https://doi.org/10.1111/ele.12047.
View | DOI
 

Search

Filter Publications