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.
4959 Publications
2016 | Journal Article | IST-REx-ID: 1479 | 
Krenn, Stephan, et al. “A Counterexample to the Chain Rule for Conditional HILL Entropy.” Computational Complexity, vol. 25, no. 3, Springer, 2016, pp. 567–605, doi:10.1007/s00037-015-0120-9.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 478 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 479
Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–21, doi:10.1145/2889160.2889233.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |
Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1379 |
Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
Anonymous, 1, et al. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, et al. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Conference Paper | IST-REx-ID: 8094 |
Martius, Georg S., et al. “Self-Organized Control of an Tendon Driven Arm by Differential Extrinsic Plasticity.” Proceedings of the Artificial Life Conference 2016, vol. 28, MIT Press, 2016, pp. 142–43, doi:10.7551/978-0-262-33936-0-ch029.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1197 |
Prentice, Jason, et al. “Error-Robust Modes of the Retinal Population Code.” PLoS Computational Biology, vol. 12, no. 11, e1005855, Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005148.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9720 |
Mcmahon, Dino, et al. Data from: A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees. Dryad, 2016, doi:10.5061/dryad.4b565.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1158 |
Roux, Camille, et al. “Shedding Light on the Grey Zone of Speciation along a Continuum of Genomic Divergence.” PLoS Biology, vol. 14, no. 12, e2000234, Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1167 |
Zagórski, Marcin P., et al. “Beyond the Hypercube Evolutionary Accessibility of Fitness Landscapes with Realistic Mutational Networks.” PLoS Computational Biology, vol. 12, no. 12, e1005218, Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005218.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, Christian, et al. Experimental Game Instructions. Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.s008.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9862
Roux, Camille, et al. Simulation Study to Test the Robustness of ABC in Face of Recent Times of Divergence. Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.s016.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9863
Roux, Camille, et al. Accessions of Surveyed Individuals, Geographic Locations and Summary Statistics. Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.s017.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski, Marcin P., et al. ZIP-Archived Directory Containing All Data and Computer Programs. Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005218.s009.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 948
Monk, Travis, et al. Neurons Equipped with Intrinsic Plasticity Learn Stimulus Intensity Statistics. Vol. 29, Neural Information Processing Systems, 2016, pp. 4285–93.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 1262 |
Mcmahon, Dino, et al. “Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1833, 20160811, Royal Society, The, 2016, doi:10.1098/rspb.2016.0811.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9704 |
Mcmahon, Dino, et al. Data from: Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss. Dryad, 2016, doi:10.5061/dryad.cq7t1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1322 |
Hilbe, Christian, et al. “Asymmetric Power Boosts Extortion in an Economic Experiment.” PLoS One, vol. 11, no. 10, e0163867, Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1270 |
Hillenbrand, Patrick, et al. “Beyond the French Flag Model: Exploiting Spatial and Gene Regulatory Interactions for Positional Information.” PLoS One, vol. 11, no. 9, e0163628, Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1250 |
Boehm, Alex, et al. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.” PLoS Genetics, vol. 12, no. 4, e1005974, Public Library of Science, 2016, doi:10.1371/journal.pgen.1005974.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9870
Hillenbrand, Patrick, et al. Computation of Positional Information in an Ising Model. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s002.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9873
Boehm, Alex, et al. Quantification of the Growth Rate Reduction as a Consequence of Age-Specific Mortality. Public Library of Science, 2016, doi:10.1371/journal.pgen.1005974.s015.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9869
Hillenbrand, Patrick, et al. Error Bound on an Estimator of Position. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s001.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9871
Hillenbrand, Patrick, et al. Computation of Positional Information in a Discrete Morphogen Field. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s003.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, Christian, et al. Experimental Data. Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.s009.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1101
Mitchell, Joshua, et al. “Rangefinder: A Semisynthetic FRET Sensor Design Algorithm.” ACS SENSORS, vol. 1, no. 11, American Chemical Society, 2016, pp. 1286–90, doi:10.1021/acssensors.6b00576.
View
| DOI
2016 | Conference Abstract | IST-REx-ID: 12903 |
Schlögl, Alois, and Stephan Stadlbauer. “High Performance Computing at IST Austria: Modelling the Human Hippocampus.” AHPC16 - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1341 |
Avni, Guy, et al. Dynamic Resource Allocation Games. Vol. 9928, Springer, 2016, pp. 153–66, doi:10.1007/978-3-662-53354-3_13.
[Preprint]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 5749 |
Wielgoss, Sébastien, et al. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution, vol. 33, no. 3, Oxford University Press, 2016, pp. 770–82, doi:10.1093/molbev/msv270.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Book Chapter | IST-REx-ID: 1094
Harada, Harumi, and Ryuichi Shigemoto. “Immunogold Protein Localization on Grid-Glued Freeze-Fracture Replicas.” High-Resolution Imaging of Cellular Proteins, vol. 1474, Springer, 2016, pp. 203–16, doi:10.1007/978-1-4939-6352-2_12.
View
| DOI
2016 | Thesis | IST-REx-ID: 1121 |
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Journal Article | IST-REx-ID: 1662 |
Edelsbrunner, Herbert, and Florian Pausinger. “Approximation and Convergence of the Intrinsic Volume.” Advances in Mathematics, vol. 287, Academic Press, 2016, pp. 674–703, doi:10.1016/j.aim.2015.10.004.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1124 |
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1129 |
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
Pentina, Anastasia. Theoretical Foundations of Multi-Task Lifelong Learning. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:TH_776.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1397
Chmelik, Martin. Algorithms for Partially Observable Markov Decision Processes. Institute of Science and Technology Austria, 2016.
View
2016 | Thesis | IST-REx-ID: 1123 |
Mabillard, Isaac. Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Journal Article | IST-REx-ID: 1432 |
Mishra, Rajiv Kumar, et al. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications, vol. 7, 11552, Nature Publishing Group, 2016, doi:10.1038/ncomms11552.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1396 |
Mishra, Rajiv Kumar. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available