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.

9084 Publications


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.)
 

Search

Filter Publications