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.

9078 Publications


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
 

2013 | Journal Article | IST-REx-ID: 7775
Schoenholz, Samuel S., Carl Peter Goodrich, Oleg Kogan, Andrea J. Liu, and Sidney R. Nagel. “Stability of Jammed Packings II: The Transverse Length Scale.” Soft Matter. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c3sm51096d.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7774
Goodrich, Carl Peter, Wouter G. Ellenbroek, and Andrea J. Liu. “Stability of Jammed Packings I: The Rigidity Length Scale.” Soft Matter. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c3sm51095f.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8030 | OA
Vogels, Tim P, R. C. Froemke, N. Doyon, M. Gilson, J. S. Haas, R. Liu, A. Maffei, et al. “Inhibitory Synaptic Plasticity: Spike Timing-Dependence and Putative Network Function.” Frontiers in Neural Circuits. Frontiers Media, 2013. https://doi.org/10.3389/fncir.2013.00119.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 811
Steffen, Anika, Markus Ladwein, Georgi A Dimchev, Anke Hein, Lisa Schwenkmezger, Stefan Arens, Kathrin Ladwein, et al. “Rac Function Is Crucial for Cell Migration but Is Not Required for Spreading and Focal Adhesion Formation.” Journal of Cell Science. Company of Biologists, 2013. https://doi.org/10.1242/jcs.118232.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 812
Koestler, Stefan, Anika Steffen, Maria Nemethova, Moritz Winterhoff, Ningning Luo, J. Holleboom, Jessica Krupp, et al. “Arp2/3 Complex Is Essential for Actin Network Treadmilling as Well as for Targeting of Capping Protein and Cofilin.” Molecular Biology of the Cell. American Society for Biology, 2013. https://doi.org/10.1091/mbc.E12-12-0857.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 810
Schur, Florian KM, Wim Hagen, Alex De Marco, and John Briggs. “Determination of Protein Structure at 8.5Å Resolution Using Cryo-Electron Tomography and Sub-Tomogram Averaging.” Journal of Structural Biology. Academic Press, 2013. https://doi.org/10.1016/j.jsb.2013.10.015.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8245 | OA
Petricevic, Branka, Johannes Laengle, Josef Singer, Monika Sachet, Judit Singer, Guenther Steger, Rupert Bartsch, Erika Jensen-Jarolim, and Michael Bergmann. “Trastuzumab Mediates Antibody-Dependent Cell-Mediated Cytotoxicity and Phagocytosis to the Same Extent in Both Adjuvant and Metastatic HER2/Neu Breast Cancer Patients.” Journal of Translational Medicine. Springer Nature, 2013. https://doi.org/10.1186/1479-5876-11-307.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 827 | OA
O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.” Frontiers in Plant Science. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fpls.2013.00451.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta, Candela, Krzysztof T Wabnik, and Eva Benková. “Systems Approaches to Study Root Architecture Dynamics.” Frontiers in Plant Science. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fpls.2013.00537.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 830
Galbiati, Francesca, Dola Sinha Roy, Sara Simonini, Mara Cucinotta, Luca Ceccato, Candela Cuesta, Mária Šimášková, et al. “An Integrative Model of the Control of Ovule Primordia Formation.” The Plant Journal for Cell and Molecular Biology. Wiley-Blackwell, 2013. https://doi.org/10.1111/tpj.12309.
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 831
Péret B, Middleton A, French A, Larrieu A, Bishopp A, Njo M, Wells D, Porco S, Mellor N, Band L, Casimiro I, Kleine Vehn J, Vanneste S, Sairanen I, Mallet R, Sandberg G, Ljung K, Beeckman T, Benková E, Friml J, Kramer E, King J, De Smet I, Pridmore T, Owen M, Bennett M. 2013. Sequential induction of auxin efflux and influx carriers regulates lateral root emergence. Molecular Systems Biology. 9.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8461
Haller, Jens D., and Paul Schanda. “Amplitudes and Time Scales of Picosecond-to-Microsecond Motion in Proteins Studied by Solid-State NMR: A Critical Evaluation of Experimental Approaches and Application to Crystalline Ubiquitin.” Journal of Biomolecular NMR. Springer Nature, 2013. https://doi.org/10.1007/s10858-013-9787-x.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8462
Rennella, E., T. Cutuil, Paul Schanda, I. Ayala, F. Gabel, V. Forge, A. Corazza, G. Esposito, and B. Brutscher. “Oligomeric States along the Folding Pathways of Β2-Microglobulin: Kinetics, Thermodynamics, and Structure.” Journal of Molecular Biology. Elsevier, 2013. https://doi.org/10.1016/j.jmb.2013.04.028.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 899
Breen, Michael, Carsten Kemena, Peter Vlasov, Cédric Notredame, and Fyodor Kondrashov. “Breen et Al. Reply.” Nature. Nature Publishing Group, 2013. https://doi.org/10.1038/nature12220.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9674
Cheng, Bingqing, and Alfonso H.W. Ngan. “The Crystal Structures of Sintered Copper Nanoparticles: A Molecular Dynamics Study.” International Journal of Plasticity. Elsevier, 2013. https://doi.org/10.1016/j.ijplas.2013.01.006.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9676
Cheng, Bingqing, and Alfonso H.W. Ngan. “The Sintering and Densification Behaviour of Many Copper Nanoparticles: A Molecular Dynamics Study.” Computational Materials Science. Elsevier, 2013. https://doi.org/10.1016/j.commatsci.2013.03.014.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 971 | OA
Serbyn, Maksym, and Mikhail Skvortsov. “Onset of Superconductivity in a Voltage-Biased Normal-Superconducting-Normal Microbridge.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2013. https://doi.org/10.1103/PhysRevB.87.020501.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 972 | OA
Okada, Yoshinori, Maksym Serbyn, Hsin Lin, Daniel Walkup, Wenwen Zhou, Chetan Dhital, Madhab Neupane, et al. “Observation of Dirac Node Formation and Mass Acquisition in a Topological Crystalline Insulator.” Science. American Association for the Advancement of Science, 2013. https://doi.org/10.1126/science.1239451.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 975 | OA
Serbyn, Maksym, Zlatko Papić, and Dmitry Abanin. “Universal Slow Growth of Entanglement in Interacting Strongly Disordered Systems.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.260601.
View | DOI | Download (ext.)
 

2013 | Research Data Reference | IST-REx-ID: 9749
Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0080814.s001.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher, Simon, Andreas Futschik, and Mark Beaumont. “Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. .” Molecular Ecology. Wiley-Blackwell, 2013. https://doi.org/10.1111/mec.12165.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 894
Derelle, Romain, Fyodor Kondrashov, Vladimir Arkhipov, Hélène Corbel, Adrien Frantz, Julien Gasparini, Lisa Jacquin, Gwenaël Jacob, Sophie Thibault, and Emmanuelle Baudry. “Color Differences among Feral Pigeons (Columba Livia) Are Not Attributable to Sequence Variation in the Coding Region of the Melanocortin-1 Receptor Gene MC1R.” BMC Research Notes. BioMed Central, 2013. https://doi.org/10.1186/1756-0500-6-310.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9055
Palacci, Jérémie A, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin. “Living Crystals of Light-Activated Colloidal Surfers.” Science. American Association for the Advancement of Science , 2013. https://doi.org/10.1126/science.1230020.
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 905 | OA
Arkhipov, Vladimir, T Noah, Steffen Koschkar, and Fyodor Kondrashov. “Birds of Mys Shmidta, North Chukotka, Russia.” Forktail. Oriental Bird Club, 2013.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 9153 | OA
Melet, Angélique, Maxim Nikurashin, Caroline J Muller, S. Falahat, Jonas Nycander, Patrick G. Timko, Brian K. Arbic, and John A. Goff. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” Journal of Geophysical Research: Oceans. American Geophysical Union, 2013. https://doi.org/10.1002/2013jc009212.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9154 | OA
Muller, Caroline J. “Impact of Convective Organization on the Response of Tropical Precipitation Extremes to Warming.” Journal of Climate. American Meteorological Society, 2013. https://doi.org/10.1175/jcli-d-12-00655.1.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9167 | OA
Palacci, Jérémie A, Stefano Sacanna, Adrian Vatchinsky, Paul M. Chaikin, and David J. Pine. “Photoactivated Colloidal Dockers for Cargo Transportation.” Journal of the American Chemical Society. American Chemical Society, 2013. https://doi.org/10.1021/ja406090s.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Journal Article | IST-REx-ID: 921
Basan, Markus, Jens Elgeti, Edouard B Hannezo, Wouter Rappel, and Herbert Levine. “Alignment of Cellular Motility Forces with Tissue Flow as a Mechanism for Efficient Wound Healing.” PNAS. National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1219937110.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9459 | OA
Zemach, Assaf, M. Yvonne Kim, Ping-Hung Hsieh, Devin Coleman-Derr, Leor Eshed-Williams, Ka Thao, Stacey L. Harmer, and Daniel Zilberman. “The Arabidopsis Nucleosome Remodeler DDM1 Allows DNA Methyltransferases to Access H1-Containing Heterochromatin.” Cell. Elsevier, 2013. https://doi.org/10.1016/j.cell.2013.02.033.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9481 | OA
Rodrigues, Jessica A., Randy Ruan, Toshiro Nishimura, Manoj K. Sharma, Rita Sharma, Pamela C Ronald, Robert L. Fischer, and Daniel Zilberman. “Imprinted Expression of Genes and Small RNA Is Associated with Localized Hypomethylation of the Maternal Genome in Rice Endosperm.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1306164110.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9663 | OA
Cheng, Bingqing, and Alfonso H. W. Ngan. “Thermally Induced Solid-Solid Structural Transition of Copper Nanoparticles through Direct Geometrical Conversion.” The Journal of Chemical Physics. AIP Publishing, 2013. https://doi.org/10.1063/1.4802025.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9682
Cheng, Bingqing, and Alfonso H.W. Ngan. “Crystal Plasticity of Cu Nanocrystals during Collision.” Materials Science and Engineering: A. Elsevier, 2013. https://doi.org/10.1016/j.msea.2013.07.065.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 970 | OA
Serbyn, Maksym, and Dmitry Abanin. “New Dirac Points and Multiple Landau Level Crossings in Biased Trilayer Graphene.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2013. https://doi.org/10.1103/PhysRevB.87.115422.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 973 | OA
Serbyn, Maksym, Zlatko Papić, and Dmitry Abanin. “Local Conservation Laws and the Structure of the Many Body Localized States.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.111.127201.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 974 | OA
Serbyn, Maksym, Todadri Senthil, and Patrick Lee. “Overscreened Kondo Fixed Point in S=1 Spin Liquid.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2013. https://doi.org/10.1103/PhysRevB.88.024419.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2284 | OA
Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia Cremer. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” BMC Evolutionary Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2148-13-225.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons, Kristina, Jason Prentice, Gašper Tkačik, Jan Homann, Heather Yee, Stephanie Palmer, Philip Nelson, and Vijay Balasubramanian. “Transformation of Stimulus Correlations by the Retina.” PLoS Computational Biology. Public Library of Science, 2013. https://doi.org/10.1371/journal.pcbi.1003344.
[Published Version] View | Files available | DOI
 

2013 | Research Data Reference | IST-REx-ID: 9754 | OA
Hearn, Jack, Graham Stone, Nicholas H Barton, Konrad Lohse, and Lynsey Bunnefeld. “Data from: Likelihood-Based Inference of Population History from Low Coverage de Novo Genome Assemblies.” Dryad, 2013. https://doi.org/10.5061/dryad.r3r60.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 976 | OA
Serbyn, Maksym, and Patrick Lee. “Spinon-Phonon Interaction in Algebraic Spin Liquids.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2013. https://doi.org/10.1103/PhysRevB.87.174424.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 12638 | OA
Lutz, A. F., W. W. Immerzeel, A. Gobiet, Francesca Pellicciotti, and M. F. P. Bierkens. “Comparison of Climate Change Signals in CMIP3 and CMIP5 Multi-Model Ensembles and Implications for Central Asian Glaciers.” Hydrology and Earth System Sciences. Copernicus GmbH, 2013. https://doi.org/10.5194/hess-17-3661-2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12639 | OA
Ragettli, S., Francesca Pellicciotti, R. Bordoy, and W. W. Immerzeel. “Sources of Uncertainty in Modeling the Glaciohydrological Response of a Karakoram Watershed to Climate Change.” Water Resources Research. American Geophysical Union, 2013. https://doi.org/10.1002/wrcr.20450.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12633
Ragettli, S., G. Cortés, J. McPhee, and Francesca Pellicciotti. “An Evaluation of Approaches for Modelling Hydrological Processes in High-Elevation, Glacierized Andean Watersheds.” Hydrological Processes. Wiley, 2013. https://doi.org/10.1002/hyp.10055.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9520 | OA
Feng, Xiaoqi, Daniel Zilberman, and Hugh Dickinson. “A Conversation across Generations: Soma-Germ Cell Crosstalk in Plants.” Developmental Cell. Elsevier, 2013. https://doi.org/10.1016/j.devcel.2013.01.014.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 13405
Ely, Tal, Sanjib Das, Wenjie Li, Pintu Kundu, Einat Tirosh, David Cahen, Ayelet Vilan, and Rafal Klajn. “Photocontrol of Electrical Conductance with a Nonsymmetrical Azobenzene Dithiol.” Synlett. Georg Thieme Verlag, 2013. https://doi.org/10.1055/s-0033-1340087.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 13406
Das, Sanjib, Priyadarshi Ranjan, Pradipta Sankar Maiti, Gurvinder Singh, Gregory Leitus, and Rafal Klajn. “Dual-Responsive Nanoparticles and Their Self-Assembly.” Advanced Materials. Wiley, 2013. https://doi.org/10.1002/adma.201201734.
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens, Greg, Thierry Mora, Gašper Tkačik, and William Bialek. “Statistical Thermodynamics of Natural Images.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.018701.
[Published Version] View | Files available | DOI | arXiv
 

2013 | Book Chapter | IST-REx-ID: 10900
Weber, Michele, and Michael K Sixt. “Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations.” In Chemokines, edited by Astrid Cardona and Eroboghene Ubogu, 1013:215–26. MIMB. Totowa, NJ: Humana Press, 2013. https://doi.org/10.1007/978-1-62703-426-5_14.
View | DOI | PubMed | Europe PMC
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 10902
Chatterjee, Krishnendu, Siddhesh Chaubal, and Sasha Rubin. “How to Travel between Languages.” In 7th International Conference on Language and Automata Theory and Applications, 7810:214–25. LNCS. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-37064-9_20.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 10897
Edelsbrunner, Herbert. “Persistent Homology in Image Processing.” In Graph-Based Representations in Pattern Recognition, 7877:182–83. LNCS. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-38221-5_19.
View | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.” Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36742-7_5.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Thesis | IST-REx-ID: 1406
Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute of Science and Technology Austria, 2013.
View
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0080814.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter, Johannes, Ivana Božić, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications. Wiley-Blackwell, 2013. https://doi.org/10.1111/eva.12020.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife. eLife Sciences Publications, 2013. https://doi.org/10.7554/eLife.00747.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,” 8044:951–67. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_68.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2012.11.034.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013. https://doi.org/10.1109/LICS.2013.39.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications