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.

5772 Publications


2013 | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5408 | OA
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi: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, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi: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. Vol. 8052, Springer, 2013, pp. 273–87, doi:10.1007/978-3-642-40184-8_20.
[Submitted Version] View | Files available | 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, vol. 32, no. 6, Wiley-Blackwell, 2013, pp. 771–72, doi:10.1038/emboj.2013.36.
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 6128 | OA
Kodama-Namba, Eiji, et al. “Cross-Modulation of Homeostatic Responses to Temperature, Oxygen and Carbon Dioxide in C. Elegans.” PLoS Genetics, vol. 9, no. 12, e1004011, Public Library of Science (PLoS), 2013, doi:10.1371/journal.pgen.1004011.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6130 | OA
Chen, Changchun, et al. “Efficient Genome Editing in Caenorhabditis Elegans by CRISPR-Targeted Homologous Recombination.” Nucleic Acids Research, vol. 41, no. 20, e193, Oxford University Press, 2013, doi:10.1093/nar/gkt805.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6133 | OA
Couto, A., et al. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas Sensor.” Proceedings of the National Academy of Sciences, vol. 110, no. 35, Proceedings of the National Academy of Sciences, 2013, pp. E3301–10, doi:10.1073/pnas.1217428110.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi: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, vol. 3, Image Processing On Line, 2013, pp. 68–111, doi: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. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 8030 | OA
Vogels, Tim P., et al. “Inhibitory Synaptic Plasticity: Spike Timing-Dependence and Putative Network Function.” Frontiers in Neural Circuits, vol. 7, 119, Frontiers Media, 2013, doi:10.3389/fncir.2013.00119.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 8245 | OA
Petricevic, Branka, et al. “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, vol. 11, 307, Springer Nature, 2013, doi: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, vol. 4, 451, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00451.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta, Candela, et al. “Systems Approaches to Study Root Architecture Dynamics.” Frontiers in Plant Science, vol. 4, 537, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00537.
[Published Version] View | Files available | 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, vol. 87, no. 2, American Physical Society, 2013, doi:10.1103/PhysRevB.87.020501.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 972 | OA
Okada, Yoshinori, et al. “Observation of Dirac Node Formation and Mass Acquisition in a Topological Crystalline Insulator.” Science, vol. 341, no. 6153, American Association for the Advancement of Science, 2013, pp. 1496–99, doi:10.1126/science.1239451.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 975 | OA
Serbyn, Maksym, et al. “Universal Slow Growth of Entanglement in Interacting Strongly Disordered Systems.” Physical Review Letters, vol. 110, no. 26, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.260601.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 905 | OA
Arkhipov, Vladimir, et al. “Birds of Mys Shmidta, North Chukotka, Russia.” Forktail, no. 29, Oriental Bird Club, 2013, pp. 25–30.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 9153 | OA
Melet, Angélique, et al. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” Journal of Geophysical Research: Oceans, vol. 118, no. 11, American Geophysical Union, 2013, pp. 6303–18, doi: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, vol. 26, no. 14, American Meteorological Society, 2013, pp. 5028–43, doi: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., et al. “Photoactivated Colloidal Dockers for Cargo Transportation.” Journal of the American Chemical Society, vol. 135, no. 43, American Chemical Society, 2013, pp. 15978–81, doi:10.1021/ja406090s.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Journal Article | IST-REx-ID: 9459 | OA
Zemach, Assaf, et al. “The Arabidopsis Nucleosome Remodeler DDM1 Allows DNA Methyltransferases to Access H1-Containing Heterochromatin.” Cell, vol. 153, no. 1, Elsevier, 2013, pp. 193–205, doi: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., et al. “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, vol. 110, no. 19, National Academy of Sciences, 2013, pp. 7934–39, doi: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, vol. 138, no. 16, 164314, AIP Publishing, 2013, doi:10.1063/1.4802025.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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, vol. 87, no. 11, American Physical Society, 2013, doi:10.1103/PhysRevB.87.115422.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 973 | OA
Serbyn, Maksym, et al. “Local Conservation Laws and the Structure of the Many Body Localized States.” Physical Review Letters, vol. 111, no. 12, American Physical Society, 2013, doi:10.1103/PhysRevLett.111.127201.
View | DOI | Download (ext.)
 

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

2013 | Journal Article | IST-REx-ID: 2284 | OA
Tragust, Simon, et al. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” BMC Evolutionary Biology, vol. 13, no. 1, 225, BioMed Central, 2013, doi:10.1186/1471-2148-13-225.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons, Kristina, et al. “Transformation of Stimulus Correlations by the Retina.” PLoS Computational Biology, vol. 9, no. 12, e1003344, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003344.
[Published Version] View | Files available | DOI
 

2013 | Research Data Reference | IST-REx-ID: 9754 | OA
Hearn, Jack, et al. Data from: Likelihood-Based Inference of Population History from Low Coverage de Novo Genome Assemblies. Dryad, 2013, doi: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, vol. 87, no. 17, American Physical Society, 2013, doi:10.1103/PhysRevB.87.174424.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 12638 | OA
Lutz, A. F., et al. “Comparison of Climate Change Signals in CMIP3 and CMIP5 Multi-Model Ensembles and Implications for Central Asian Glaciers.” Hydrology and Earth System Sciences, vol. 17, no. 9, Copernicus GmbH, 2013, pp. 3661–77, doi:10.5194/hess-17-3661-2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12639 | OA
Ragettli, S., et al. “Sources of Uncertainty in Modeling the Glaciohydrological Response of a Karakoram Watershed to Climate Change.” Water Resources Research, vol. 49, no. 9, American Geophysical Union, 2013, pp. 6048–66, doi:10.1002/wrcr.20450.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9520 | OA
Feng, Xiaoqi, et al. “A Conversation across Generations: Soma-Germ Cell Crosstalk in Plants.” Developmental Cell, vol. 24, no. 3, Elsevier, 2013, pp. 215–25, doi:10.1016/j.devcel.2013.01.014.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens, Greg, et al. “Statistical Thermodynamics of Natural Images.” Physical Review Letters, vol. 110, no. 1, 018701, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.018701.
[Published Version] View | Files available | DOI | arXiv
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi: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, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi: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, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference on International, vol. 28, no. 3, ML Research Press, 2013, pp. 145–53.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior, vol. 8, no. 10, e25688, Taylor & Francis, 2013, doi:10.4161/psb.25688.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt, Dominik, et al. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759, The Royal Society, 2013, doi:10.1098/rspb.2012.3035.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications