S. G. Walt, N. B. Ram, A. von Conta, D. R. Baykusheva, M. Atala, and H. J. Wörner, “Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography,” Journal of Physics: Conference Series, vol. 635, no. 11. IOP Publishing, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/14014
DOI: 10.1088/1742-6596/635/11/112135

S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria.” Dryad, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

J. Reiter, A. Kanodia, R. Gupta, M. Nowak, and K. Chatterjee, “Biological auctions with multiple rewards,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812. Royal Society, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

J. Reiter, “The subclonal evolution of cancer,” Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1400

F. Pausinger and A. Svane, “A Koksma-Hlawka inequality for general discrepancy systems,” Journal of Complexity, vol. 31, no. 6. Academic Press, pp. 773–797, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1792
DOI: 10.1016/j.jco.2015.06.002

F. Pausinger, “On the approximation of intrinsic volumes,” Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1399

M. Tugrul, T. Paixao, N. H. Barton, and G. Tkadik, “Dynamics of transcription factor binding site evolution,” PLoS Genetics, vol. 11, no. 11. Public Library of Science, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

N. Benes, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 10.1145/2737166.2737175

K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for compositional analysis of qualitative properties in Markov decision processes,” Formal Methods in System Design, vol. 47, no. 2. Springer, pp. 230–264, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 10.1007/s10703-015-0235-2

K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, and P. Goyal, “Faster algorithms for algebraic path properties in recursive state machines with constant treewidth,” ACM SIGPLAN Notices, vol. 50, no. 1. ACM, pp. 97–109, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

K. Chatterjee, A. Pavlogiannis, and Y. Velner, “Quantitative interprocedural analysis,” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1. ACM, pp. 539–551, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1604
DOI: 10.1145/2676726.2676968

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.
LibreCat: https://research-explorer.ista.ac.at/record/1607
DOI: 10.1007/978-3-319-21690-4_9

K. Chatterjee, A. Pavlogiannis, A. Kößler, and U. Schmid, “A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks,” in Real-Time Systems Symposium, Rome, Italy, 2015, vol. 2015, no. January, pp. 118–127.
LibreCat: https://research-explorer.ista.ac.at/record/1714
DOI: 10.1109/RTSS.2014.9

D. Hahn and C. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4. Cell Press, pp. 673–685, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” Plant Cell, vol. 27, no. 1. American Society of Plant Biologists, pp. 20–32, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1591
DOI: 10.1105/tpc.114.134874
PMID: 25604445

J. Alt, “The local semicircle law for random matrices with a fourfold symmetry,” Journal of Mathematical Physics, vol. 56, no. 10. American Institute of Physics, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

Á. Inglés Prieto et al., “Light-assisted small-molecule screening against protein kinases,” Nature Chemical Biology, vol. 11, no. 12. Nature Publishing Group, pp. 952–954, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

S. A. Cepeda Humerez, G. Rieckh, and G. Tkadik, “Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation,” Physical Review Letters, vol. 115, no. 24. American Physical Society, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101

S. Avvakumov, I. Mabillard, A. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections, III. Codimension 2,” arXiv. .
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5441
DOI: 10.15479/AT:IST-2015-340-v1-1

1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5442

M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 259–268.
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1729
DOI: 10.1007/978-3-319-21668-3_11

M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1835
DOI: 10.1007/978-3-662-46681-0_47

J. Michalko, M. Lukacisinova, M. T. Bollenbach, and J. Friml, “Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene,” 00 Research , vol. 4. 00 Research, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1509
DOI: 10.12688/f1000research.7143.1

T. Priklopil and K. Chatterjee, “Evolution of decisions in population games with sequentially searching individuals,” Games, vol. 6, no. 4. MDPI, pp. 413–437, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1681
DOI: 10.3390/g6040413

G. S. Martius and E. Olbrich, “Quantifying emergent behavior of autonomous robots,” Entropy, vol. 17, no. 10. MDPI, pp. 7266–7297, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1655
DOI: 10.3390/e17107266

C. Chen et al., “Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats,” ASN Neuro, vol. 7, no. 2. SAGE Publications, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 10.1177/1759091415575845

M. Erbar, J. Maas, and P. Tetali, “Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models,” Annales de la faculté des sciences de Toulouse, vol. 24, no. 4. Faculté des sciences de Toulouse, pp. 781–800, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1635
DOI: 10.5802/afst.1464
arXiv: 1409.8605

B. Kick, F. M. Praetorius, H. Dietz, and D. Weuster-Botz, “Efficient production of single-stranded phage DNA as scaffolds for DNA origami,” Nano Letters, vol. 15, no. 7. ACS Publications, pp. 4672–4676, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/14303
DOI: 10.1021/acs.nanolett.5b01461
PMID: 26028443

T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.
LibreCat: https://research-explorer.ista.ac.at/record/1603
DOI: 10.1007/978-3-319-21690-4_10

A. Fellner, “Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.” Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5549
DOI: 10.15479/AT:ISTA:28

X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding Helly numbers via Betti numbers,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 507–521.
LibreCat: https://research-explorer.ista.ac.at/record/1512
DOI: 10.4230/LIPIcs.SOCG.2015.507

T. D. Browning and S. Prendiville, “Improvements in Birch’s theorem on forms in many variables,” Journal fur die Reine und Angewandte Mathematik, vol. 2017, no. 731. Walter de Gruyter, pp. 203–234.
LibreCat: https://research-explorer.ista.ac.at/record/271
DOI: 10.1515/crelle-2014-0122
arXiv: 1402.4489

S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, “Proofs of space,” in 35th Annual Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 585–605.
LibreCat: https://research-explorer.ista.ac.at/record/1675
DOI: 10.1007/978-3-662-48000-7_29

A. K. Michael et al., “Cancer/Testis antigen PAS silences the circadian clock,” Molecular Cell, vol. 58, no. 5. Elsevier, pp. 743–754, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/15160
DOI: 10.1016/j.molcel.2015.03.031

A. K. Michael, H. Asimgil, and C. L. Partch, “Cytosolic BMAL1 moonlights as a translation factor,” Trends in Biochemical Sciences, vol. 40, no. 9. Elsevier, pp. 489–490, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/15159
DOI: 10.1016/j.tibs.2015.07.006

G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11. Public Library of Science, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299

A. Sari, Y. C. Chebaro, T. P. J. Knowles, and D. Frenkel, “Crucial role of nonspecific interactions in amyloid nucleation,” Proceedings of the National Academy of Sciences, vol. 111, no. 50. National Academy of Sciences, pp. 17869–17874, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/10382
DOI: 10.1073/pnas.1410159111
PMID: 25453085
arXiv: 1412.0897

S. A. Mallory, A. Sari, C. Valeriani, and A. Cacciuto, “Anomalous thermomechanical properties of a self-propelled colloidal fluid,” Physical Review E, vol. 89, no. 5. American Physical Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/10383
DOI: 10.1103/physreve.89.052303
PMID: 25353796
arXiv: 1310.0826

N. Jensen et al., “Coordinate-targeted and coordinate-stochastic super-resolution microscopy with the reversibly switchable fluorescent protein dreiklang,” ChemPhysChem, vol. 15, no. 4. Wiley-Blackwell, pp. 756–762, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1058
DOI: 10.1002/cphc.201301034

M. Hashimoto, H. Morita, and N. Ueno, “Molecular and cellular mechanisms of development underlying congenital diseases,” Congenital Anomalies, vol. 54, no. 1. Wiley, pp. 1–7, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/10815
DOI: 10.1111/cga.12039
PMID: 24666178

E. Zaeímalová, J. Petrásek, and E. Benková, Eds., Auxin and Its Role in Plant Development, 1st ed. Vienna: Springer Nature, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/10811
DOI: 10.1007/978-3-7091-1526-8

B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.
LibreCat: https://research-explorer.ista.ac.at/record/10884
DOI: 10.1007/978-3-642-54013-4_15
arXiv: 1311.4425

J. Kasten, J. Reininghaus, W. Reich, and G. Scheuermann, “Toward the extraction of saddle periodic orbits,” in Topological Methods in Data Analysis and Visualization III , vol. 1, P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Cham: Springer, 2014, pp. 55–69.
LibreCat: https://research-explorer.ista.ac.at/record/10893
DOI: 10.1007/978-3-319-04099-8_4

A. Buchwalter and M. Hetzer, “Nuclear pores set the speed limit for mitosis,” Cell, vol. 156, no. 5. Elsevier, pp. 868–869, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/11080
DOI: 10.1016/j.cell.2014.02.004
PMID: 24581486

A. L. Buchwalter, Y. Liang, and M. Hetzer, “Nu is required for cell differentiation and exhibits transcription-dependent dynamics,” Molecular Biology of the Cell, vol. 25, no. 16. American Society for Cell Biology, pp. 2472–2484, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/11082
DOI: 10.1091/mbc.e14-04-0865

E. Hatch and M. Hetzer, “Breaching the nuclear envelope in development and disease,” Journal of Cell Biology, vol. 205, no. 2. Rockefeller University Press, pp. 133–141, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/11081
DOI: 10.1083/jcb.201402003
PMID: 24751535