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.

5785 Publications


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 | 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 | 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 | 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: 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: 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: 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 | 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: 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: 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: 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: 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: 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 | 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 | 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
 

Filters and Search Terms

oa=1

Search

Filter Publications