Zemová, Radka, Marta Zwiewka, Agnieszka Bielach, Hélène Robert, and Jií Friml. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.”https://doi.org/10.1007/s00344-015-9553-2__Journal of Plant Growth Regulation. Springer, 2016.https://doi.org/10.1007/s00344-015-9553-2 .
LibreCat: https://research-explorer.ista.ac.at/record/1641
DOI: 10.1007/s00344-015-9553-2

Fuchsbauer, Georg, Christian Hanser, Chethan Kamath Hosdurg, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions,”https://doi.org/10.1007/978-3-319-44618-9_21__9841:391–408. Springer, 2016.https://doi.org/10.1007/978-3-319-44618-9_21 .
LibreCat: https://research-explorer.ista.ac.at/record/1225
DOI: 10.1007/978-3-319-44618-9_21

Okamoto, Tatsuaki, Krzysztof Z Pietrzak, Brent Waters, and Daniel Wichs. “New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators,”https://doi.org/10.1007/978-3-662-48797-6_6__9452:121–45. Springer, 2016.https://doi.org/10.1007/978-3-662-48797-6_6 .
LibreCat: https://research-explorer.ista.ac.at/record/1653
DOI: 10.1007/978-3-662-48797-6_6

Schilling, Christian, Sergiy Bogomolov, Thomas A Henzinger, Andreas Podelski, and Jakob Ruess. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.”https://doi.org/10.1016/j.biosystems.2016.07.005__Biosystems. Elsevier, 2016.https://doi.org/10.1016/j.biosystems.2016.07.005 .
LibreCat: https://research-explorer.ista.ac.at/record/1148
DOI: 10.1016/j.biosystems.2016.07.005

Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.”https://doi.org/10.1007/s10009-015-0393-y__International Journal on Software Tools for Technology Transfer. Springer, 2016.https://doi.org/10.1007/s10009-015-0393-y .
LibreCat: https://research-explorer.ista.ac.at/record/1705
DOI: 10.1007/s10009-015-0393-y

Pielorz, Jasmin, and Christoph Lampert. “Optimal Geospatial Allocation of Volunteers for Crisis Management.”https://doi.org/10.1109/ICT-DM.2015.7402041__IEEE, 2016.https://doi.org/10.1109/ICT-DM.2015.7402041 .
LibreCat: https://research-explorer.ista.ac.at/record/1707
DOI: 10.1109/ICT-DM.2015.7402041

Klimova, Anna, and Tamás Rudas. “On the Closure of Relational Models.”https://doi.org/10.1016/j.jmva.2015.10.005__Journal of Multivariate Analysis. Elsevier, 2016.https://doi.org/10.1016/j.jmva.2015.10.005 .
LibreCat: https://research-explorer.ista.ac.at/record/1833
DOI: 10.1016/j.jmva.2015.10.005

Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.”https://doi.org/10.1007/s00440-014-0610-8__Probability Theory and Related Fields. Springer, 2016.https://doi.org/10.1007/s00440-014-0610-8 .
LibreCat: https://research-explorer.ista.ac.at/record/1881
DOI: 10.1007/s00440-014-0610-8

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.”https://doi.org/10.1007/s11856-016-1294-9__Israel Journal of Mathematics. Springer, 2016.https://doi.org/10.1007/s11856-016-1294-9 .
LibreCat: https://research-explorer.ista.ac.at/record/1411
DOI: 10.1007/s11856-016-1294-9

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

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

Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.”https://doi.org/10.1007/978-3-319-32360-2_20__In Discrete Geometry for Computer Imagery, 9647:256–67. Cham: Springer Nature, 2016.https://doi.org/10.1007/978-3-319-32360-2_20 .
LibreCat: https://research-explorer.ista.ac.at/record/5806
DOI: 10.1007/978-3-319-32360-2_20

Sen, Nabhasmita, Ranita Biswas, and Partha Bhowmick. “On Some Local Topological Properties of Naive Discrete Sphere.”https://doi.org/10.1007/978-3-319-39441-1_23__In Computational Topology in Image Context, 9667:253–64. Cham: Springer Nature, 2016.https://doi.org/10.1007/978-3-319-39441-1_23 .
LibreCat: https://research-explorer.ista.ac.at/record/5805
DOI: 10.1007/978-3-319-39441-1_23

Biswas, Ranita, Partha Bhowmick, and Valentin E. Brimkov. “On the Connectivity and Smoothness of Discrete Spherical Circles.”https://doi.org/10.1007/978-3-319-26145-4_7__In Combinatorial Image Analysis, 9448:86–100. Cham: Springer Nature, 2016.https://doi.org/10.1007/978-3-319-26145-4_7 .
LibreCat: https://research-explorer.ista.ac.at/record/5809
DOI: 10.1007/978-3-319-26145-4_7

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

Huff, Jason T., Daniel Zilberman, and Scott W. Roy. “Mechanism for DNA Transposons to Generate Introns on Genomic Scales.”https://doi.org/10.1038/nature20110__Nature. Springer Nature , 2016.https://doi.org/10.1038/nature20110 .
LibreCat: https://research-explorer.ista.ac.at/record/9456
DOI: 10.1038/nature20110
PMID: 27760113

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

Park, Kyunghyuk, M. Yvonne Kim, Martin Vickers, Jin-Sup Park, Youbong Hyun, Takashi Okamoto, Daniel Zilberman, et al. “DNA Demethylation Is Initiated in the Central Cells of Arabidopsis and Rice.”https://doi.org/10.1073/pnas.1619047114__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2016.https://doi.org/10.1073/pnas.1619047114 .
LibreCat: https://research-explorer.ista.ac.at/record/9477
DOI: 10.1073/pnas.1619047114
PMID: 27956642

Hsieh, Ping-Hung, Shengbo He, Toby Buttress, Hongbo Gao, Matthew Couchman, Robert L. Fischer, Daniel Zilberman, and Xiaoqi Feng. “Arabidopsis Male Sexual Lineage Exhibits More Robust Maintenance of CG Methylation than Somatic Tissues.”https://doi.org/10.1073/pnas.1619074114__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2016.https://doi.org/10.1073/pnas.1619074114 .
LibreCat: https://research-explorer.ista.ac.at/record/9473
DOI: 10.1073/pnas.1619074114
PMID: 27956643

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

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