Lundholm, Douglas, Phan Nam, and Fabian Portmann. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.”https://doi.org/10.1007/s00205-015-0923-5__Archive for Rational Mechanics and Analysis. Springer, 2016.https://doi.org/10.1007/s00205-015-0923-5 .
LibreCat: https://research-explorer.ista.ac.at/record/1622
DOI: 10.1007/s00205-015-0923-5

Kelleher, Jerome, Alison Etheridge, Amandine Véber, and Nicholas H Barton. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.”https://doi.org/10.1016/j.tpb.2015.10.008__Theoretical Population Biology. Academic Press, 2016.https://doi.org/10.1016/j.tpb.2015.10.008 .
LibreCat: https://research-explorer.ista.ac.at/record/1631
DOI: 10.1016/j.tpb.2015.10.008

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

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

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

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

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

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

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

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

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

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

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

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. “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

Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,”https://doi.org/10.1007/978-3-319-41528-4_1__9779:3–22. Springer, 2016.https://doi.org/10.1007/978-3-319-41528-4_1 .
LibreCat: https://research-explorer.ista.ac.at/record/1386
DOI: 10.1007/978-3-319-41528-4_1

Parise, Francesca, John Lygeros, and Jakob Ruess. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.”https://doi.org/10.3389/fenvs.2015.00042__Frontiers in Environmental Science. Frontiers, 2015.https://doi.org/10.3389/fenvs.2015.00042 .
LibreCat: https://research-explorer.ista.ac.at/record/10794
DOI: 10.3389/fenvs.2015.00042

Yu, Luo, Stefan Scholl, Anett Doering, Zhang Yi, Niloufer Irani, Simone Di Rubbo, Lutz Neumetzler, et al. “V-ATPase Activity in the TGN/EE Is Required for Exocytosis and Recycling in Arabidopsis.”https://doi.org/10.1038/nplants.2015.94__Nature Plants. Nature Publishing Group, 2015.https://doi.org/10.1038/nplants.2015.94 .
LibreCat: https://research-explorer.ista.ac.at/record/1383
DOI: 10.1038/nplants.2015.94
PMID: 27250258

Pentina, Anastasia, and Christoph Lampert. “Lifelong Learning with Non-i.i.d. Tasks,” 2015:1540–48. Neural Information Processing Systems, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1425

Kwitt, Roland, Stefan Huber, Marc Niethammer, Weili Lin, and Ulrich Bauer. “Statistical Topological Data Analysis-A Kernel Perspective,” 28:3070–78. Neural Information Processing Systems, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1424

Paixao, Tiago, Dirk Sudholt, Jorge Heredia, and Barbora Trubenova. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.”https://doi.org/10.1145/2739480.2754758__In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 1455–62. ACM, 2015.https://doi.org/10.1145/2739480.2754758 .
LibreCat: https://research-explorer.ista.ac.at/record/1430
DOI: 10.1145/2739480.2754758

Ferrara, Anna, Georg Fuchsbauer, Bin Liu, and Bogdan Warinschi. “Policy Privacy in Cryptographic Access Control,”https://doi.org/10.1109/CSF.2015.11__46–60. IEEE, 2015.https://doi.org/10.1109/CSF.2015.11 .
LibreCat: https://research-explorer.ista.ac.at/record/1474
DOI: 10.1109/CSF.2015.11

Reininghaus, Jan, Stefan Huber, Ulrich Bauer, and Roland Kwitt. “A Stable Multi-Scale Kernel for Topological Machine Learning,”https://doi.org/10.1109/CVPR.2015.7299106__4741–48. IEEE, 2015.https://doi.org/10.1109/CVPR.2015.7299106 .
LibreCat: https://research-explorer.ista.ac.at/record/1483
DOI: 10.1109/CVPR.2015.7299106

Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for Language Support for Fault-Tolerant Distributed Systems.”https://doi.org/10.4230/LIPIcs.SNAPL.2015.90__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015.https://doi.org/10.4230/LIPIcs.SNAPL.2015.90 .
LibreCat: https://research-explorer.ista.ac.at/record/1498
DOI: 10.4230/LIPIcs.SNAPL.2015.90

Andergassen, Daniel, Christoph Dotter, Tomasz Kulinski, Philipp Guenzl, Philipp Bammer, Denise Barlow, Florian Pauler, and Quanah Hudson. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.”https://doi.org/10.1093/nar/gkv727__Nucleic Acids Research. Oxford University Press, 2015.https://doi.org/10.1093/nar/gkv727 .
LibreCat: https://research-explorer.ista.ac.at/record/1497
DOI: 10.1093/nar/gkv727