Krenn, Stephan, Krzysztof Z Pietrzak, Akshay Wadia, and Daniel Wichs. “A Counterexample to the Chain Rule for Conditional HILL Entropy.”https://doi.org/10.1007/s00037-015-0120-9__Computational Complexity. Springer, 2016.https://doi.org/10.1007/s00037-015-0120-9 .
LibreCat: https://research-explorer.ista.ac.at/record/1479
DOI: 10.1007/s00037-015-0120-9

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,”https://doi.org/10.3233/978-1-61499-672-9-1432__285:1432–39. IOS Press, 2016.https://doi.org/10.3233/978-1-61499-672-9-1432 .
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Jiang, Yu, Han Liu, Hui Kong, Rui Wang, Mohamad Hosseini, Jiaguang Sun, and Lui Sha. “Use Runtime Verification to Improve the Quality of Medical Care Practice.”https://doi.org/10.1145/2889160.2889233__In Proceedings of the 38th International Conference on Software Engineering Companion , 112–21. IEEE, 2016.https://doi.org/10.1145/2889160.2889233 .
LibreCat: https://research-explorer.ista.ac.at/record/479
DOI: 10.1145/2889160.2889233

Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,”https://doi.org/10.1145/2933575.2934513__05-08-July-2016:247–56. IEEE, 2016.https://doi.org/10.1145/2933575.2934513 .
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds,”https://doi.org/10.4230/LIPIcs.SoCG.2016.24__51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016.https://doi.org/10.4230/LIPIcs.SoCG.2016.24 .
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives.”https://doi.org/10.1016/j.jcss.2016.02.009__Journal of Computer and System Sciences. Elsevier, 2016.https://doi.org/10.1016/j.jcss.2016.02.009 .
LibreCat: https://research-explorer.ista.ac.at/record/1477
DOI: 10.1016/j.jcss.2016.02.009
arXiv: 1309.2802

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.”https://doi.org/10.1016/j.artint.2016.01.007__Artificial Intelligence. Elsevier, 2016.https://doi.org/10.1016/j.artint.2016.01.007 .
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2016-523-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016:3225–32. AAAI Press, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1166

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2016-648-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2017-749-v3-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5453
DOI: 10.15479/AT:IST-2017-749-v3-1

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2016-728-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5451
DOI: 10.15479/AT:IST-2016-728-v1-1

Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

Martius, Georg S, Rafael Hostettler, Alois Knoll, and Ralf Der. “Self-Organized Control of an Tendon Driven Arm by Differential Extrinsic Plasticity.”https://doi.org/10.7551/978-0-262-33936-0-ch029__In Proceedings of the Artificial Life Conference 2016, 28:142–43. MIT Press, 2016.https://doi.org/10.7551/978-0-262-33936-0-ch029 .
LibreCat: https://research-explorer.ista.ac.at/record/8094
DOI: 10.7551/978-0-262-33936-0-ch029

Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gasper Tkadik, and Michael Berry. “Error-Robust Modes of the Retinal Population Code.”https://doi.org/10.1371/journal.pcbi.1005148__PLoS Computational Biology. Public Library of Science, 2016.https://doi.org/10.1371/journal.pcbi.1005148 .
LibreCat: https://research-explorer.ista.ac.at/record/1197
DOI: 10.1371/journal.pcbi.1005148

Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “Data from: A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.”https://doi.org/10.5061/dryad.4b565__Dryad, 2016.https://doi.org/10.5061/dryad.4b565 .
LibreCat: https://research-explorer.ista.ac.at/record/9720
DOI: 10.5061/dryad.4b565

Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Shedding Light on the Grey Zone of Speciation along a Continuum of Genomic Divergence.”https://doi.org/10.1371/journal.pbio.2000234__PLoS Biology. Public Library of Science, 2016.https://doi.org/10.1371/journal.pbio.2000234 .
LibreCat: https://research-explorer.ista.ac.at/record/1158
DOI: 10.1371/journal.pbio.2000234

Zagórski, Marcin P, Zdzisaw Burda, and Bartomiej Wacaw. “Beyond the Hypercube Evolutionary Accessibility of Fitness Landscapes with Realistic Mutational Networks.”https://doi.org/10.1371/journal.pcbi.1005218__PLoS Computational Biology. Public Library of Science, 2016.https://doi.org/10.1371/journal.pcbi.1005218 .
LibreCat: https://research-explorer.ista.ac.at/record/1167
DOI: 10.1371/journal.pcbi.1005218

Hilbe, Christian, Kristin Hagel, and Manfred Milinski. “Experimental Game Instructions.”https://doi.org/10.1371/journal.pone.0163867.s008__Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163867.s008 .
LibreCat: https://research-explorer.ista.ac.at/record/9867
DOI: 10.1371/journal.pone.0163867.s008

Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Simulation Study to Test the Robustness of ABC in Face of Recent Times of Divergence.”https://doi.org/10.1371/journal.pbio.2000234.s016__Public Library of Science, 2016.https://doi.org/10.1371/journal.pbio.2000234.s016 .
LibreCat: https://research-explorer.ista.ac.at/record/9862
DOI: 10.1371/journal.pbio.2000234.s016

Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Accessions of Surveyed Individuals, Geographic Locations and Summary Statistics.”https://doi.org/10.1371/journal.pbio.2000234.s017__Public Library of Science, 2016.https://doi.org/10.1371/journal.pbio.2000234.s017 .
LibreCat: https://research-explorer.ista.ac.at/record/9863
DOI: 10.1371/journal.pbio.2000234.s017

Zagórski, Marcin P, Zdzisaw Burda, and Bartomiej Wacaw. “ZIP-Archived Directory Containing All Data and Computer Programs.”https://doi.org/10.1371/journal.pcbi.1005218.s009__Public Library of Science, 2016.https://doi.org/10.1371/journal.pcbi.1005218.s009 .
LibreCat: https://research-explorer.ista.ac.at/record/9866
DOI: 10.1371/journal.pcbi.1005218.s009

Monk, Travis, Cristina Savin, and Jörg Lücke. “Neurons Equipped with Intrinsic Plasticity Learn Stimulus Intensity Statistics,” 29:4285–93. Neural Information Processing Systems, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/948

Mcmahon, Dino, Myrsini Natsopoulou, Vincent Doublet, Matthias Fürst, Silvio Weging, Mark Brown, Andreas Gogol Döring, and Robert Paxton. “Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.”https://doi.org/10.1098/rspb.2016.0811__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2016.https://doi.org/10.1098/rspb.2016.0811 .
LibreCat: https://research-explorer.ista.ac.at/record/1262
DOI: 10.1098/rspb.2016.0811

Mcmahon, Dino, Myrsini Natsopoulou, Vincent Doublet, Matthias Fürst, Silvio Weging, Mark Brown, Andreas Gogol Döring, and Robert Paxton. “Data from: Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.”https://doi.org/10.5061/dryad.cq7t1__Dryad, 2016.https://doi.org/10.5061/dryad.cq7t1 .
LibreCat: https://research-explorer.ista.ac.at/record/9704
DOI: 10.5061/dryad.cq7t1

Hilbe, Christian, Kristin Hagel, and Manfred Milinski. “Asymmetric Power Boosts Extortion in an Economic Experiment.”https://doi.org/10.1371/journal.pone.0163867__PLoS One. Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163867 .
LibreCat: https://research-explorer.ista.ac.at/record/1322
DOI: 10.1371/journal.pone.0163867

Hillenbrand, Patrick, Ulrich Gerland, and Gasper Tkadik. “Beyond the French Flag Model: Exploiting Spatial and Gene Regulatory Interactions for Positional Information.”https://doi.org/10.1371/journal.pone.0163628__PLoS One. Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163628 .
LibreCat: https://research-explorer.ista.ac.at/record/1270
DOI: 10.1371/journal.pone.0163628

Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.”https://doi.org/10.1371/journal.pgen.1005974__PLoS Genetics. Public Library of Science, 2016.https://doi.org/10.1371/journal.pgen.1005974 .
LibreCat: https://research-explorer.ista.ac.at/record/1250
DOI: 10.1371/journal.pgen.1005974

Hillenbrand, Patrick, Ulrich Gerland, and Gasper Tkadik. “Computation of Positional Information in an Ising Model.”https://doi.org/10.1371/journal.pone.0163628.s002__Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163628.s002 .
LibreCat: https://research-explorer.ista.ac.at/record/9870
DOI: 10.1371/journal.pone.0163628.s002

Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Quantification of the Growth Rate Reduction as a Consequence of Age-Specific Mortality.”https://doi.org/10.1371/journal.pgen.1005974.s015__Public Library of Science, 2016.https://doi.org/10.1371/journal.pgen.1005974.s015 .
LibreCat: https://research-explorer.ista.ac.at/record/9873
DOI: 10.1371/journal.pgen.1005974.s015

Hillenbrand, Patrick, Ulrich Gerland, and Gasper Tkadik. “Error Bound on an Estimator of Position.”https://doi.org/10.1371/journal.pone.0163628.s001__Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163628.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9869
DOI: 10.1371/journal.pone.0163628.s001

Hillenbrand, Patrick, Ulrich Gerland, and Gasper Tkadik. “Computation of Positional Information in a Discrete Morphogen Field.”https://doi.org/10.1371/journal.pone.0163628.s003__Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163628.s003 .
LibreCat: https://research-explorer.ista.ac.at/record/9871
DOI: 10.1371/journal.pone.0163628.s003

Hilbe, Christian, Kristin Hagel, and Manfred Milinski. “Experimental Data.”https://doi.org/10.1371/journal.pone.0163867.s009__Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163867.s009 .
LibreCat: https://research-explorer.ista.ac.at/record/9868
DOI: 10.1371/journal.pone.0163867.s009

Mitchell, Joshua, Jason Whitfield, William Zhang, Christian Henneberger, Harald L Janovjak, Megan O’Mara, and Colin Jackson. “Rangefinder: A Semisynthetic FRET Sensor Design Algorithm.”https://doi.org/10.1021/acssensors.6b00576__ACS SENSORS. American Chemical Society, 2016.https://doi.org/10.1021/acssensors.6b00576 .
LibreCat: https://research-explorer.ista.ac.at/record/1101
DOI: 10.1021/acssensors.6b00576

Schlögl, Alois, and Stephan Stadlbauer. “High Performance Computing at IST Austria: Modelling the Human Hippocampus.” In AHP - Austrian HPC Meeting 2016, 37. VSC - Vienna Scientific Cluster, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12903

Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games,”https://doi.org/10.1007/978-3-662-53354-3_13__9928:153–66. Springer, 2016.https://doi.org/10.1007/978-3-662-53354-3_13 .
LibreCat: https://research-explorer.ista.ac.at/record/1341
DOI: 10.1007/978-3-662-53354-3_13

Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.”https://doi.org/10.1093/molbev/msv270__Molecular Biology and Evolution. Oxford University Press, 2016.https://doi.org/10.1093/molbev/msv270 .
LibreCat: https://research-explorer.ista.ac.at/record/5749
DOI: 10.1093/molbev/msv270
PMID: 26609077

Harada, Harumi, and Ryuichi Shigemoto. “Immunogold Protein Localization on Grid-Glued Freeze-Fracture Replicas.”https://doi.org/10.1007/978-1-4939-6352-2_12__In High-Resolution Imaging of Cellular Proteins, 1474:203–16. Springer, 2016.https://doi.org/10.1007/978-1-4939-6352-2_12 .
LibreCat: https://research-explorer.ista.ac.at/record/1094
DOI: 10.1007/978-1-4939-6352-2_12

Acar, Hande. “Selective Barriers to Horizontal Gene Transfer.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1121

Edelsbrunner, Herbert, and Florian Pausinger. “Approximation and Convergence of the Intrinsic Volume.”https://doi.org/10.1016/j.aim.2015.10.004__Advances in Mathematics. Academic Press, 2016.https://doi.org/10.1016/j.aim.2015.10.004 .
LibreCat: https://research-explorer.ista.ac.at/record/1662
DOI: 10.1016/j.aim.2015.10.004

Rieckh, Georg. “Studying the Complexities of Transcriptional Regulation.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1128

Morri, Maurizio. “Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1124

Schwarz, Jan. “Quantitative Analysis of Haptotactic Cell Migration.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1129

Pentina, Anastasia. “Theoretical Foundations of Multi-Task Lifelong Learning.”https://doi.org/10.15479/AT:ISTA:TH_776__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:TH_776 .
LibreCat: https://research-explorer.ista.ac.at/record/1126
DOI: 10.15479/AT:ISTA:TH_776

Chmelik, Martin. “Algorithms for Partially Observable Markov Decision Processes.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1397

Mabillard, Isaac. “Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1123

Mishra, Rajiv Kumar, Sooyun Kim, José Guzmán, and Peter M Jonas. “Symmetric Spike Timing-Dependent Plasticity at C–C Synapses Optimizes Storage and Recall in Autoassociative Networks.”https://doi.org/10.1038/ncomms11552__Nature Communications. Nature Publishing Group, 2016.https://doi.org/10.1038/ncomms11552 .
LibreCat: https://research-explorer.ista.ac.at/record/1432
DOI: 10.1038/ncomms11552

Mishra, Rajiv Kumar. “Synaptic Plasticity Rules at C-C Recurrent Synapses in Hippocampus.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1396

Novak, Sebastian. “Evolutionary Proccesses in Variable Emvironments.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1125

Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.”https://doi.org/10.15479/at:ista:1130__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/at:ista:1130 .
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 10.15479/at:ista:1130

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Linear Distances between Markov Chains,”https://doi.org/10.4230/LIPIcs.CONCUR.2016.20__Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.https://doi.org/10.4230/LIPIcs.CONCUR.2016.20 .
LibreCat: https://research-explorer.ista.ac.at/record/1093
DOI: 10.4230/LIPIcs.CONCUR.2016.20

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,”https://doi.org/10.1007/978-3-662-49674-9_7__9636:112–29. Springer, 2016.https://doi.org/10.1007/978-3-662-49674-9_7 .
LibreCat: https://research-explorer.ista.ac.at/record/1234
DOI: 10.1007/978-3-662-49674-9_7

Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,”https://doi.org/10.1007/978-3-662-49122-5_16__9583:328–47. Springer, 2016.https://doi.org/10.1007/978-3-662-49122-5_16 .
LibreCat: https://research-explorer.ista.ac.at/record/1230
DOI: 10.1007/978-3-662-49122-5_16

Daca, Przemyslaw, Thomas A Henzinger, and Andrey Kupriyanov. “Array Folds Logic,”https://doi.org/10.1007/978-3-319-41540-6_13__9780:230–48. Springer, 2016.https://doi.org/10.1007/978-3-319-41540-6_13 .
LibreCat: https://research-explorer.ista.ac.at/record/1391
DOI: 10.1007/978-3-319-41540-6_13

Pleska, Maros, Long Qian, Reiko Okura, Tobias Bergmiller, Yuichi Wakamoto, Edo Kussell, and Calin C Guet. “Bacterial Autoimmunity Due to a Restriction-Modification System.”https://doi.org/10.1016/j.cub.2015.12.041__Current Biology. Cell Press, 2016.https://doi.org/10.1016/j.cub.2015.12.041 .
LibreCat: https://research-explorer.ista.ac.at/record/1243
DOI: 10.1016/j.cub.2015.12.041

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs,”https://doi.org/10.4230/LIPIcs.ESA.2016.28__Vol. 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.https://doi.org/10.4230/LIPIcs.ESA.2016.28 .
LibreCat: https://research-explorer.ista.ac.at/record/1071
DOI: 10.4230/LIPIcs.ESA.2016.28

Hahn, David, and Chris Wojtan. “Fast Approximations for Boundary Element Based Brittle Fracture Simulation,”https://doi.org/10.1145/2897824.2925902__Vol. 35. ACM, 2016.https://doi.org/10.1145/2897824.2925902 .
LibreCat: https://research-explorer.ista.ac.at/record/1362
DOI: 10.1145/2897824.2925902

Abusalah, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Offline Witness Encryption,”https://doi.org/10.1007/978-3-319-39555-5_16__9696:285–303. Springer, 2016.https://doi.org/10.1007/978-3-319-39555-5_16 .
LibreCat: https://research-explorer.ista.ac.at/record/1229
DOI: 10.1007/978-3-319-39555-5_16

Abusalah, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Constrained PRFs for Unbounded Inputs,”https://doi.org/10.1007/978-3-319-29485-8_24__9610:413–28. Springer, 2016.https://doi.org/10.1007/978-3-319-29485-8_24 .
LibreCat: https://research-explorer.ista.ac.at/record/1236
DOI: 10.1007/978-3-319-29485-8_24

Abusalah, Hamza M, and Georg Fuchsbauer. “Constrained PRFs for Unbounded Inputs with Short Keys,”https://doi.org/10.1007/978-3-319-39555-5_24__9696:445–63. Springer, 2016.https://doi.org/10.1007/978-3-319-39555-5_24 .
LibreCat: https://research-explorer.ista.ac.at/record/1235
DOI: 10.1007/978-3-319-39555-5_24

Gschaider-Reichhart, Eva, Álvaro Inglés Prieto, Alexandra-Madelaine Tichy, Catherine Mckenzie, and Harald L Janovjak. “A Phytochrome Sensory Domain Permits Receptor Activation by Red Light.”https://doi.org/10.1002/anie.201601736__Angewandte Chemie - International Edition. Wiley, 2016.https://doi.org/10.1002/anie.201601736 .
LibreCat: https://research-explorer.ista.ac.at/record/1441
DOI: 10.1002/anie.201601736

Friedlander, Tamar, Roshan Prizak, Calin C Guet, Nicholas H Barton, and Gasper Tkadik. “Intrinsic Limits to Gene Regulation by Global Crosstalk.”https://doi.org/10.1038/ncomms12307__Nature Communications. Nature Publishing Group, 2016.https://doi.org/10.1038/ncomms12307 .
LibreCat: https://research-explorer.ista.ac.at/record/1358
DOI: 10.1038/ncomms12307

Dejonghe, Wim, Sabine Kuenen, Evelien Mylle, Mina K Vasileva, Olivier Keech, Corrado Viotti, Jef Swerts, et al. “Mitochondrial Uncouplers Inhibit Clathrin-Mediated Endocytosis Largely through Cytoplasmic Acidification.”https://doi.org/10.1038/ncomms11710__Nature Communications. Nature Publishing Group, 2016.https://doi.org/10.1038/ncomms11710 .
LibreCat: https://research-explorer.ista.ac.at/record/1346
DOI: 10.1038/ncomms11710

Schwayer, Cornelia, Mateusz K Sikora, Jana Slovakova, Roland Kardos, and Carl-Philipp J Heisenberg. “Actin Rings of Power.”https://doi.org/10.1016/j.devcel.2016.05.024__Developmental Cell. Cell Press, 2016.https://doi.org/10.1016/j.devcel.2016.05.024 .
LibreCat: https://research-explorer.ista.ac.at/record/1096
DOI: 10.1016/j.devcel.2016.05.024

Watzinger, Hannes, Christoph Kloeffel, Lada Vukusi, Marta Rossell, Violetta Sessi, Josip Kukucka, Raimund Kirchschlager, et al. “Heavy-Hole States in Germanium Hut Wires.”https://doi.org/10.1021/acs.nanolett.6b02715__Nano Letters. American Chemical Society, 2016.https://doi.org/10.1021/acs.nanolett.6b02715 .
LibreCat: https://research-explorer.ista.ac.at/record/1328
DOI: 10.1021/acs.nanolett.6b02715

Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller,”https://doi.org/10.1007/978-3-319-48989-6_47__9995:757–63. Springer, 2016.https://doi.org/10.1007/978-3-319-48989-6_47 .
LibreCat: https://research-explorer.ista.ac.at/record/1205
DOI: 10.1007/978-3-319-48989-6_47

Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.”https://doi.org/10.1109/FOCS.2016.88__In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, Vol. 2016–December. IEEE, 2016.https://doi.org/10.1109/FOCS.2016.88 .
LibreCat: https://research-explorer.ista.ac.at/record/1193
DOI: 10.1109/FOCS.2016.88
arXiv: 1506.08547

Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs,”https://doi.org/10.1145/2837614.2837639__20–22:327–42. ACM, 2016.https://doi.org/10.1145/2837614.2837639 .
LibreCat: https://research-explorer.ista.ac.at/record/1438
DOI: 10.1145/2837614.2837639
arXiv: 1510.08517

Barton, Nicholas H. “Data from: How Does Epistasis Influence the Response to Selection?”https://doi.org/10.5061/dryad.s5s7r__Dryad, 2016.https://doi.org/10.5061/dryad.s5s7r .
LibreCat: https://research-explorer.ista.ac.at/record/9710
DOI: 10.5061/dryad.s5s7r

Fernandes Redondo, Rodrigo A, Harold de Vladar, Tomasz Wodarski, and Jonathan P Bollback. “Data from Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the :64 Phage Family.”https://doi.org/10.6084/m9.figshare.4315652.v1__The Royal Society, 2016.https://doi.org/10.6084/m9.figshare.4315652.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9864
DOI: 10.6084/m9.figshare.4315652.v1

Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs,”https://doi.org/10.1007/978-3-319-50106-2_8__9801:94–106. Springer, 2016.https://doi.org/10.1007/978-3-319-50106-2_8 .
LibreCat: https://research-explorer.ista.ac.at/record/1165
DOI: 10.1007/978-3-319-50106-2_8

Dotterrer, Dominic, Tali Kaufman, and Uli Wagner. “On Expansion and Topological Overlap,”https://doi.org/10.4230/LIPIcs.SoCG.2016.35__51:35.1-35.10. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016.https://doi.org/10.4230/LIPIcs.SoCG.2016.35 .
LibreCat: https://research-explorer.ista.ac.at/record/1378
DOI: 10.4230/LIPIcs.SoCG.2016.35

Kowalski, Janina, Jian Gan, Peter M Jonas, and Alejandro Pernia-Andrade. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.”https://doi.org/10.1002/hipo.22550__Hippocampus. Wiley, 2016.https://doi.org/10.1002/hipo.22550 .
LibreCat: https://research-explorer.ista.ac.at/record/1616
DOI: 10.1002/hipo.22550

Kolmogorov, Vladimir, and Rustem Takhanov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.”https://doi.org/10.1007/s00453-015-0017-7__Algorithmica. Springer, 2016.https://doi.org/10.1007/s00453-015-0017-7 .
LibreCat: https://research-explorer.ista.ac.at/record/1794
DOI: 10.1007/s00453-015-0017-7
arXiv: 1210.0508

Liu, Zhijun, Nan Yang, Yanting Lv, Lixia Pan, Shuo Lv, Huibin Han, and Guodong Wang. “The CLE Gene Family in Populus Trichocarpa.”https://doi.org/10.1080/15592324.2016.1191734__Plant Signaling &; Behavior. Taylor &; Francis, 2016.https://doi.org/10.1080/15592324.2016.1191734 .
LibreCat: https://research-explorer.ista.ac.at/record/510
DOI: 10.1080/15592324.2016.1191734

Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Efficient Microwave to Optical Photon Conversion: An Electro-Optical Realization.”https://doi.org/10.1364/OPTICA.3.000597__Optica. Optica Publishing Group, 2016.https://doi.org/10.1364/OPTICA.3.000597 .
LibreCat: https://research-explorer.ista.ac.at/record/1263
DOI: 10.1364/OPTICA.3.000597

Midya, Bikashkali, and Vladimir Konotop. “Modes and Exceptional Points in Waveguides with Impedance Boundary Conditions.”https://doi.org/10.1364/OL.41.004621__Optics Letters. Optica Publishing Group, 2016.https://doi.org/10.1364/OL.41.004621 .
LibreCat: https://research-explorer.ista.ac.at/record/1287
DOI: 10.1364/OL.41.004621

Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator.”https://doi.org/10.1364/NP.2016.NTh3A.6__Optica Publishing Group, 2016.https://doi.org/10.1364/NP.2016.NTh3A.6 .
LibreCat: https://research-explorer.ista.ac.at/record/482
DOI: 10.1364/NP.2016.NTh3A.6

Mazur, Ewa, Eva Benková, and Jií Friml. “Vascular Cambium Regeneration and Vessel Formation in Wounded Inflorescence Stems of Arabidopsis.”https://doi.org/10.1038/srep33754__Scientific Reports. Nature Publishing Group, 2016.https://doi.org/10.1038/srep33754 .
LibreCat: https://research-explorer.ista.ac.at/record/1274
DOI: 10.1038/srep33754
PMID: 27649687

Tsai, Lihuei, and Sandra Siegert. “How MicroRNAs Are Involved in Splitting the Mind.”https://doi.org/10.1001/jamapsychiatry.2015.3144__JAMA Psychiatry. American Medical Association, 2016.https://doi.org/10.1001/jamapsychiatry.2015.3144 .
LibreCat: https://research-explorer.ista.ac.at/record/1253
DOI: 10.1001/jamapsychiatry.2015.3144
PMID: 26963490

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2017-728-v2-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5452
DOI: 10.15479/AT:IST-2017-728-v2-1

Ellis, Thomas, and David Field. “Repeated Gains in Yellow and Anthocyanin Pigmentation in Flower Colour Transitions in the Antirrhineae.”https://doi.org/10.1093/aob/mcw043__Annals of Botany. Oxford University Press, 2016.https://doi.org/10.1093/aob/mcw043 .
LibreCat: https://research-explorer.ista.ac.at/record/1382
DOI: 10.1093/aob/mcw043

Ellis, Thomas, and David Field. “Flower Colour Data and Phylogeny (NEXUS) Files.”https://doi.org/10.15479/AT:ISTA:34__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:34 .
LibreCat: https://research-explorer.ista.ac.at/record/5550
DOI: 10.15479/AT:ISTA:34

Hauschild, Robert. “Fiji Script to Determine Average Speed and Direction of Migration of Cells.”https://doi.org/10.15479/AT:ISTA:44__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:44 .
LibreCat: https://research-explorer.ista.ac.at/record/5555
DOI: 10.15479/AT:ISTA:44

Swoboda, Paul. “Synthetic Discrete Tomography Problems.”https://doi.org/10.15479/AT:ISTA:46__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:46 .
LibreCat: https://research-explorer.ista.ac.at/record/5557
DOI: 10.15479/AT:ISTA:46

Bojsen-Hansen, Morten. “Tracking, Correcting and Absorbing Water Surface Waves.”https://doi.org/10.15479/AT:ISTA:th_640__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:th_640 .
LibreCat: https://research-explorer.ista.ac.at/record/1122
DOI: 10.15479/AT:ISTA:th_640

Ellis, Thomas. “The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone.”https://doi.org/10.15479/AT:ISTA:TH_526 __Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:TH_526  .
LibreCat: https://research-explorer.ista.ac.at/record/1398
DOI: 10.15479/AT:ISTA:TH_526 

Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1131

Field, David, and Thomas Ellis. “Inference of Mating Patterns among Wild Snapdragons in a Natural Hybrid Zone in 2012.”https://doi.org/10.15479/AT:ISTA:37__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:37 .
LibreCat: https://research-explorer.ista.ac.at/record/5553
DOI: 10.15479/AT:ISTA:37

Ellis, Thomas. “Data on Pollinator Observations and Offpsring Phenotypes.”https://doi.org/10.15479/AT:ISTA:35__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:35 .
LibreCat: https://research-explorer.ista.ac.at/record/5551
DOI: 10.15479/AT:ISTA:35

Ellis, Thomas. “Pollinator Visitation Data for Wild Antirrhinum Majus Plants, with Phenotypic and Frequency Data.”https://doi.org/10.15479/AT:ISTA:36__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:36 .
LibreCat: https://research-explorer.ista.ac.at/record/5552
DOI: 10.15479/AT:ISTA:36

Tugrul, Murat. “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.”https://doi.org/10.15479/AT:ISTA:43__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:43 .
LibreCat: https://research-explorer.ista.ac.at/record/5554
DOI: 10.15479/AT:ISTA:43

Bojsen-Hansen, Morten. “Tracking, Correcting and Absorbing Water Surface Waves.”https://doi.org/10.15479/AT:ISTA:48__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:48 .
LibreCat: https://research-explorer.ista.ac.at/record/5558
DOI: 10.15479/AT:ISTA:48

Lukacisin, Martin, Matthieu Landon, and Rishi Jajoo. “MATLAB Analysis Code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’”https://doi.org/10.15479/AT:ISTA:45__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:45 .
LibreCat: https://research-explorer.ista.ac.at/record/5556
DOI: 10.15479/AT:ISTA:45

Tarlungeanu, Dora-Clara, Elena Deliu, Christoph Dotter, Majdi Kara, Philipp Janiesch, Mariafrancesca Scalise, Michele Galluccio, et al. “Impaired Amino Acid Transport at the Blood Brain Barrier Is a Cause of Autism Spectrum Disorder.”https://doi.org/10.1016/j.cell.2016.11.013__Cell. Cell Press, 2016.https://doi.org/10.1016/j.cell.2016.11.013 .
LibreCat: https://research-explorer.ista.ac.at/record/1183
DOI: 10.1016/j.cell.2016.11.013

Leithner, Alexander F, Alexander Eichner, Jan Müller, Anne Reversat, Markus Brown, Jan Schwarz, Jack Merrin, et al. “Diversified Actin Protrusions Promote Environmental Exploration but Are Dispensable for Locomotion of Leukocytes.”https://doi.org/10.1038/ncb3426__Nature Cell Biology. Nature Publishing Group, 2016.https://doi.org/10.1038/ncb3426 .
LibreCat: https://research-explorer.ista.ac.at/record/1321
DOI: 10.1038/ncb3426

Sako, Keisuke, Saurabh Pradhan, Vanessa Barone, Álvaro Inglés Prieto, Patrick Mueller, Verena Ruprecht, Daniel Capek, Sanjeev Galande, Harald L Janovjak, and Carl-Philipp J Heisenberg. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.”https://doi.org/10.1016/j.celrep.2016.06.036__Cell Reports. Cell Press, 2016.https://doi.org/10.1016/j.celrep.2016.06.036 .
LibreCat: https://research-explorer.ista.ac.at/record/1100
DOI: 10.1016/j.celrep.2016.06.036

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components,”https://doi.org/10.1145/2837614.2837624__20–22:733–47. ACM, 2016.https://doi.org/10.1145/2837614.2837624 .
LibreCat: https://research-explorer.ista.ac.at/record/1437
DOI: 10.1145/2837614.2837624
arXiv: 1510.07565