S. Jeschke, “Generalized diffusion curves: An improved vector representation for smooth-shaded images,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 71–79, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1413
DOI: 10.1111/cgf.12812

E. Miguel Villalba, D. Miraut, and M. Otaduy, “Modeling and estimation of energy-based hyperelastic objects,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 385–396, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1414
DOI: 10.1111/cgf.12840

S. Simon et al., “PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis,” New Phytologist, vol. 211, no. 1. Wiley-Blackwell, pp. 65–74, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1417
DOI: 10.1111/nph.14019

F. Ferstl, R. Ando, C. Wojtan, R. Westermann, and N. Thuerey, “Narrow band FLIP for liquid simulations,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 225–232, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1415
DOI: 10.1111/cgf.12825

E. Van Loon, M. Katsnelson, L. Chomaz, and M. Lemeshko, “Interaction-driven Lifshitz transition with dipolar fermions in optical lattices,” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 19. American Physical Society, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1416
DOI: 10.1103/PhysRevB.93.195145

A. Tomski and J. Kaczmarczyk, “Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model,” Journal of Physics: Condensed Matter, vol. 28, no. 17. IOP Publishing Ltd., 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1419
DOI: 10.1088/0953-8984/28/17/175701

M. Lagator, C. Igler, A. Moreno, C. C. Guet, and J. P. Bollback, “Epistatic interactions in the arabinose cis-regulatory element,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 761–769, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1427
DOI: 10.1093/molbev/msv269

M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential,” in Journal of Physics: Conference Series, Shanghai, China, 2016, vol. 691, no. 1.
LibreCat: https://research-explorer.ista.ac.at/record/1428
DOI: 10.1088/1742-6596/691/1/012016

M. Chakra, C. Hilbe, and A. Traulsen, “Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites,” Royal Society Open Science, vol. 3, no. 5. Royal Society, The, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1426
DOI: 10.1098/rsos.160036

S. Baek, H. Jeong, C. Hilbe, and M. Nowak, “Comparing reactive and memory-one strategies of direct reciprocity,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1423
DOI: 10.1038/srep25676

R. Frank, C. Hainzl, B. Schlein, and R. Seiringer, “Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations,” Letters in Mathematical Physics, vol. 106, no. 7. Springer, pp. 913–923, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1422
DOI: 10.1007/s11005-016-0847-5

S. Bak, S. Bogomolov, T. A. Henzinger, T. Johnson, and P. Prakash, “Scalable static hybridization methods for analysis of nonlinear systems,” presented at the HSCC 2016: International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, 2016, pp. 155–164.
LibreCat: https://research-explorer.ista.ac.at/record/1421
DOI: 10.1145/2883817.2883837

K. Bodova, G. Tkadik, and N. H. Barton, “A general approximation for the dynamics of quantitative traits,” Genetics, vol. 202, no. 4. Genetics Society of America, pp. 1523–1548, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1420
DOI: 10.1534/genetics.115.184127
arXiv: 1510.08344

C. Husko et al., “Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1429
DOI: 10.1038/ncomms11332

A. Tartally, A. Kelager, M. Fürst, and D. Nash, “Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon,” PeerJ, vol. 2016, no. 3. PeerJ, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1431
DOI: 10.7717/peerj.1865

Z. Bao, L. Erdös, and K. Schnelli, “Local stability of the free additive convolution,” Journal of Functional Analysis, vol. 271, no. 3. Academic Press, pp. 672–719, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1434
DOI: 10.1016/j.jfa.2016.04.006

V. Bach, S. Breteaux, S. P. Petrat, P. Pickl, and T. Tzaneteas, “Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction,” Journal de Mathématiques Pures et Appliquées, vol. 105, no. 1. Elsevier, pp. 1–30, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1436
DOI: 10.1016/j.matpur.2015.09.003

J. Guzmán and Z. Gerevich, “Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction,” Neural Plasticity, vol. 2016. Hindawi Publishing Corporation, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1435
DOI: 10.1155/2016/1207393

C. Dragoi, T. A. Henzinger, and D. Zufferey, “PSYNC: A partially synchronous language for fault-tolerant distributed algorithms,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 400–415.
LibreCat: https://research-explorer.ista.ac.at/record/1439
DOI: 10.1145/2837614.2837650

H. L. Janovjak, “Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain,” Structure, vol. 24, no. 2. Cell Press, pp. 213–215, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1440
DOI: 10.1016/j.str.2016.01.002

M. Calatrava Moreno, T. Auzinger, and H. Werthner, “On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data,” Scientometrics, vol. 107, no. 1. Springer, pp. 213–232, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1446
DOI: 10.1007/s11192-016-1842-4

M. Fathi and J. Maas, “Entropic Ricci curvature bounds for discrete interacting systems,” The Annals of Applied Probability, vol. 26, no. 3. Institute of Mathematical Statistics, pp. 1774–1806, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1448
DOI: 10.1214/15-AAP1133

J. Toshima et al., “Sr/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis,” Journal of Cell Science, vol. 129, no. 2. Company of Biologists, pp. 367–379, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1476
DOI: 10.1242/jcs.176651

J. Toshima et al., “Yeast Ep-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton,” eLife, vol. 5, no. February 2016. eLife Sciences Publications, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1475
DOI: 10.7554/eLife.10276

R. Seiringer and S. Warzel, “Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas,” New Journal of Physics, vol. 18, no. 3. IOP Publishing Ltd., 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1478
DOI: 10.1088/1367-2630/18/3/035002

M. Michaek, B. Sturmfels, C. Uhler, and P. Zwiernik, “Exponential varieties,” Proceedings of the London Mathematical Society, vol. 112, no. 1. Oxford University Press, pp. 27–56, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1480
DOI: 10.1112/plms/pdv066

N. Grion, A. Akrami, Y. Zuo, F. Stella, and M. Diamond, “Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination,” PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1487
DOI: 10.1371/journal.pbio.1002384

M. Adibi, S. Yoshida, D. Weijers, and C. Fleck, “Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization,” PLoS One, vol. 11, no. 2. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1482
DOI: 10.1371/journal.pone.0147830

X. Chen, S. Wu, Z. Liu, and J. Friml, “Environmental and endogenous control of cortical microtubule orientation,” Trends in Cell Biology, vol. 26, no. 6. Cell Press, pp. 409–419, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1484
DOI: 10.1016/j.tcb.2016.02.003

D. De Martino, “Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis,” Physical Biology, vol. 13, no. 1. IOP Publishing Ltd., 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1485
DOI: 10.1088/1478-3975/13/1/016003

C. Hainzl and R. Seiringer, “The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties,” Journal of Mathematical Physics, vol. 57, no. 2. American Institute of Physics, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1486
DOI: 10.1063/1.4941723

P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis,” PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1488
DOI: 10.1371/journal.pbio.1002382

O. H. Ajanki, L. Erdös, and T. H. Krüger, “Local spectral statistics of Gaussian matrices with correlated entries,” Journal of Statistical Physics, vol. 163, no. 2. Springer, pp. 280–302, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1489
DOI: 10.1007/s10955-016-1479-y

E. Russo et al., “Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels,” Cell Reports, vol. 14, no. 7. Cell Press, pp. 1723–1734, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1490
DOI: 10.1016/j.celrep.2016.01.048

S. P. Petrat and P. Pickl, “A new method and a new scaling for deriving fermionic mean-field dynamics,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1. Springer, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1493
DOI: 10.1007/s11040-016-9204-2

P. Marhavý et al., “Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation,” Genes and Development, vol. 30, no. 4. Cold Spring Harbor Laboratory Press, pp. 471–483, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1492
DOI: 10.1101/gad.276964.115
PMID:     26883363

P. Amaro et al., “Relativistic evaluation of the two-photon decay of the metastable 1 state in berylliumlike ions with an effective-potential model,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3. American Physical Society, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1496
DOI: 10.1103/PhysRevA.93.032502

G. M. Lemoult, L. Shi, K. Avila, S. V. Jalikop, M. Avila, and B. Hof, “Directed percolation phase transition to sustained turbulence in Couette flow,” Nature Physics, vol. 12, no. 3. Nature Publishing Group, pp. 254–258, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1494
DOI: 10.1038/nphys3675

M. Lewin, P. Nam, and N. Rougerie, “The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,” Transactions of the American Mathematical Society, vol. 368, no. 9. American Mathematical Society, pp. 6131–6157, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1491
DOI: 10.1090/tran/6537

P. Franek and M. Krcál, “On computability and triviality of well groups,” Discrete &; Computational Geometry, vol. 56, no. 1. Springer, pp. 126–164, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1408
DOI: 10.1007/s00454-016-9794-2

K. Lohse, M. Chmelik, S. Martin, and N. H. Barton, “Efficient strategies for calculating blockwise likelihoods under the coalescent,” Genetics, vol. 202, no. 2. Genetics Society of America, pp. 775–786, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1518
DOI: 10.1534/genetics.115.183814
PMID: 26715666

A. Beica, C. C. Guet, and T. Petrov, “Efficient reduction of kappa models by static inspection of the rule-set,” presented at the HSB: Hybrid Systems Biology, Madrid, Spain, 2016, vol. 9271, pp. 173–191.
LibreCat: https://research-explorer.ista.ac.at/record/1524
DOI: 10.1007/978-3-319-26916-0_10

J. Berrisford, R. Baradaran, and L. A. Sazanov, “Structure of bacterial respiratory complex I,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1857, no. 7. Elsevier, pp. 892–901, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1521
DOI: 10.1016/j.bbabio.2016.01.012

S. Avvakumov, “The classification of certain linked 3-manifolds in 6-space,” Moscow Mathematical Journal, vol. 16, no. 1. Independent University of Moscow, pp. 1–25, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1522
DOI: 10.17323/1609-4514-2016-16-1-1-25
arXiv: 1408.3918

A. Gundert and U. Wagner, “On topological minors in random simplicial complexes,” Proceedings of the American Mathematical Society, vol. 144, no. 4. American Mathematical Society, pp. 1815–1828, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1523
DOI: 10.1090/proc/12824

T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of timed I/O systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 250–267.
LibreCat: https://research-explorer.ista.ac.at/record/1526
DOI: 10.1007/978-3-662-49122-5_12

P. Nam, M. M. Napiórkowski, and J. Solovej, “Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations,” Journal of Functional Analysis, vol. 270, no. 11. Academic Press, pp. 4340–4368, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1545
DOI: 10.1016/j.jfa.2015.12.007

Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, and R. C. Maclean, “The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1822. Royal Society, The, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1552
DOI: 10.1098/rspb.2015.2452

O. Dunaeva et al., “The classification of endoscopy images with persistent homology,” Pattern Recognition Letters, vol. 83, no. 1. Elsevier, pp. 13–22, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1289
DOI: 10.1016/j.patrec.2015.12.012

R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity II,” presented at the GD: Graph Drawing and Network Visualization, Athens, Greece, 2016, vol. 9801, pp. 468–481.
LibreCat: https://research-explorer.ista.ac.at/record/1164
DOI: 10.1007/978-3-319-50106-2_36
arXiv: 1608.08662

M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, and M. Ohkubo, “Structure preserving signatures and commitments to group elements,” Journal of Cryptology, vol. 29, no. 2. Springer, pp. 363–421, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1592
DOI: 10.1007/s00145-014-9196-7

E. Kiermaier et al., “Polysialylation controls dendritic cell trafficking by regulating chemokine recognition,” Science, vol. 351, no. 6269. American Association for the Advancement of Science, pp. 186–190, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1599
DOI: 10.1126/science.aad0512
PMID: 26657283

J. Schwarz and M. K. Sixt, “Quantitative analysis of dendritic cell haptotaxis,” Methods in Enzymology, vol. 570. Elsevier, pp. 567–581, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1597
DOI: 10.1016/bs.mie.2015.11.004
PMID: 26921962

C. Sadel, “Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel,” Annales Henri Poincare, vol. 17, no. 7. Birkhäuser, pp. 1631–1675, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1608
DOI: 10.1007/s00023-015-0456-3

A. Kazda, “CSP for binary conservative relational structures,” Algebra Universalis, vol. 75, no. 1. Springer, pp. 75–84, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1612
DOI: 10.1007/s00012-015-0358-8

F. Pausinger and S. Steinerberger, “On the discrepancy of jittered sampling,” Journal of Complexity, vol. 33. Academic Press, pp. 199–216, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1617
DOI: 10.1016/j.jco.2015.11.003

R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “The external field dependence of the BCS critical temperature,” Communications in Mathematical Physics, vol. 342, no. 1. Springer, pp. 189–216, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1620
DOI: 10.1007/s00220-015-2526-2

D. Lundholm, P. Nam, and F. Portmann, “Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems,” Archive for Rational Mechanics and Analysis, vol. 219, no. 3. Springer, pp. 1343–1382, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1622
DOI: 10.1007/s00205-015-0923-5

J. Kelleher, A. Etheridge, A. Véber, and N. H. Barton, “Spread of pedigree versus genetic ancestry in spatially distributed populations,” Theoretical Population Biology, vol. 108. Academic Press, pp. 1–12, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1631
DOI: 10.1016/j.tpb.2015.10.008

R. Zemová, M. Zwiewka, A. Bielach, H. Robert, and J. Friml, “A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana,” Journal of Plant Growth Regulation, vol. 35, no. 2. Springer, pp. 465–476, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1641
DOI: 10.1007/s00344-015-9553-2

G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, and D. Slamanig, “Practical round-optimal blind signatures in the standard model from weaker assumptions,” presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy, 2016, vol. 9841, pp. 391–408.
LibreCat: https://research-explorer.ista.ac.at/record/1225
DOI: 10.1007/978-3-319-44618-9_21

T. Okamoto, K. Z. Pietrzak, B. Waters, and D. Wichs, “New realizations of somewhere statistically binding hashing and positional accumulators,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand, 2016, vol. 9452, pp. 121–145.
LibreCat: https://research-explorer.ista.ac.at/record/1653
DOI: 10.1007/978-3-662-48797-6_6

C. Schilling, S. Bogomolov, T. A. Henzinger, A. Podelski, and J. Ruess, “Adaptive moment closure for parameter inference of biochemical reaction networks,” Biosystems, vol. 149. Elsevier, pp. 15–25, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1148
DOI: 10.1016/j.biosystems.2016.07.005

S. Bogomolov et al., “Guided search for hybrid systems based on coarse-grained space abstractions,” International Journal on Software Tools for Technology Transfer, vol. 18, no. 4. Springer, pp. 449–467, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1705
DOI: 10.1007/s10009-015-0393-y

J. Pielorz and C. Lampert, “Optimal geospatial allocation of volunteers for crisis management,” presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1707
DOI: 10.1109/ICT-DM.2015.7402041

A. Klimova and T. Rudas, “On the closure of relational models,” Journal of Multivariate Analysis, vol. 143. Elsevier, pp. 440–452, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1833
DOI: 10.1016/j.jmva.2015.10.005

J. Lee and K. Schnelli, “Extremal eigenvalues and eigenvectors of deformed Wigner matrices,” Probability Theory and Related Fields, vol. 164, no. 1–2. Springer, pp. 165–241, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1881
DOI: 10.1007/s00440-014-0610-8

J. Matousek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” Israel Journal of Mathematics, vol. 212, no. 1. Springer, pp. 37–79, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1411
DOI: 10.1007/s11856-016-1294-9

S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3. Springer, pp. 567–605, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1479
DOI: 10.1007/s00037-015-0120-9

K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Y. Jiang et al., “Use runtime verification to improve the quality of medical care practice,” in Proceedings of the 38th International Conference on Software Engineering Companion , Austin, TX, USA, 2016, pp. 112–121.
LibreCat: https://research-explorer.ista.ac.at/record/479
DOI: 10.1145/2889160.2889233

K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with <9-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5. Elsevier, pp. 878–911, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1477
DOI: 10.1016/j.jcss.2016.02.009
arXiv: 1309.2802

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234. Elsevier, pp. 26–48, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

K. Chatterjee, M. Chmelik, and J. 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, Phoenix, AZ, USA, 2016, vol. 2016, pp. 3225–3232.
LibreCat: https://research-explorer.ista.ac.at/record/1166

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

1 Anonymous, 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

1 Anonymous, 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

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5453
DOI: 10.15479/AT:IST-2017-749-v3-1

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5451
DOI: 10.15479/AT:IST-2016-728-v1-1

1 Anonymous, 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

G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in Proceedings of the Artificial Life Conference 2016, Cancun, Mexico, 2016, vol. 28, pp. 142–143.
LibreCat: https://research-explorer.ista.ac.at/record/8094
DOI: 10.7551/978-0-262-33936-0-ch029

J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkadik, and M. Berry, “Error-robust modes of the retinal population code,” PLoS Computational Biology, vol. 12, no. 11. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1197
DOI: 10.1371/journal.pcbi.1005148

D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees.” Dryad, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9720
DOI: 10.5061/dryad.4b565

C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, and N. Bierne, “Shedding light on the grey zone of speciation along a continuum of genomic divergence,” PLoS Biology, vol. 14, no. 12. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1158
DOI: 10.1371/journal.pbio.2000234

M. P. Zagórski, Z. Burda, and B. Wacaw, “Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks,” PLoS Computational Biology, vol. 12, no. 12. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1167
DOI: 10.1371/journal.pcbi.1005218

C. Hilbe, K. Hagel, and M. Milinski, “Experimental game instructions.” Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9867
DOI: 10.1371/journal.pone.0163867.s008

C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, and N. Bierne, “Simulation study to test the robustness of ABC in face of recent times of divergence.” Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9862
DOI: 10.1371/journal.pbio.2000234.s016

C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, and N. Bierne, “Accessions of surveyed individuals, geographic locations and summary statistics.” Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9863
DOI: 10.1371/journal.pbio.2000234.s017

M. P. Zagórski, Z. Burda, and B. Wacaw, “ZIP-archived directory containing all data and computer programs.” Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9866
DOI: 10.1371/journal.pcbi.1005218.s009

T. Monk, C. Savin, and J. Lücke, “Neurons equipped with intrinsic plasticity learn stimulus intensity statistics,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spaine, 2016, vol. 29, pp. 4285–4293.
LibreCat: https://research-explorer.ista.ac.at/record/948

D. Mcmahon et al., “Elevated virulence of an emerging viral genotype as a driver of honeybee loss,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1833. Royal Society, The, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1262
DOI: 10.1098/rspb.2016.0811

D. Mcmahon et al., “Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss.” Dryad, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9704
DOI: 10.5061/dryad.cq7t1

C. Hilbe, K. Hagel, and M. Milinski, “Asymmetric power boosts extortion in an economic experiment,” PLoS One, vol. 11, no. 10. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1322
DOI: 10.1371/journal.pone.0163867

P. Hillenbrand, U. Gerland, and G. Tkadik, “Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information,” PLoS One, vol. 11, no. 9. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1270
DOI: 10.1371/journal.pone.0163628

A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, and M. Ackermann, “Genetic manipulation of glycogen allocation affects replicative lifespan in E coli,” PLoS Genetics, vol. 12, no. 4. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1250
DOI: 10.1371/journal.pgen.1005974

P. Hillenbrand, U. Gerland, and G. Tkadik, “Computation of positional information in an Ising model.” Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9870
DOI: 10.1371/journal.pone.0163628.s002

A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, and M. Ackermann, “Quantification of the growth rate reduction as a consequence of age-specific mortality.” Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9873
DOI: 10.1371/journal.pgen.1005974.s015