Aichholzer, O., Biedl, T., Hackl, T., Held, M., Huber, S., Palfrader, P., &; Vogtenhuber, B. (2015). Representing directed trees as straight skeletons. In Graph Drawing and Network Visualization (Vol. 9411, pp. 335–347). Los Angeles, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-319-27261-0_28 
LibreCat: https://research-explorer.ista.ac.at/record/1590
DOI: 10.1007/978-3-319-27261-0_28

Forejt, V., Krdál, J., &; Kretinsky, J. (2015). Controller synthesis for MDPs and frequency LTL\'47U (Vol. 9450, pp. 162–177). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji: Springer.https://doi.org/10.1007/978-3-662-48899-7_12 
LibreCat: https://research-explorer.ista.ac.at/record/1594
DOI: 10.1007/978-3-662-48899-7_12

Fulek, R., &; Radoidi, R. (2015). Vertical visibility among parallel polygons in three dimensions. In Graph Drawing and Network Visualization (Vol. 9411, pp. 373–379). Los Angeles, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-319-27261-0_31 
LibreCat: https://research-explorer.ista.ac.at/record/1596
DOI: 10.1007/978-3-319-27261-0_31

Babiak, T., Blahoudek, F., Duret Lutz, A., Klein, J., Kretinsky, J., Mueller, D.,https://doi.org/10.1007/978-3-319-21690-4_31__Strejdek, J. (2015). The Hanoi omega-automata format (Vol. 9206, pp. 479–486). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-319-21690-4_31 
LibreCat: https://research-explorer.ista.ac.at/record/1601
DOI: 10.1007/978-3-319-21690-4_31

Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., &; Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer.https://doi.org/10.1007/978-3-319-26287-1_2 
LibreCat: https://research-explorer.ista.ac.at/record/1605
DOI: 10.1007/978-3-319-26287-1_2

Nguyen, L., Schilling, C., Bogomolov, S., &; Johnson, T. (2015). Runtime verification for hybrid analysis tools. In 6th International Conference (Vol. 9333, pp. 281–286). Vienna, Austria: Springer Nature.https://doi.org/10.1007/978-3-319-23820-3_19 
LibreCat: https://research-explorer.ista.ac.at/record/1606
DOI: 10.1007/978-3-319-23820-3_19

Chatterjee, K., Doyen, L., &; Vardi, M. (2015). The complexity of synthesis from probabilistic components. In 42nd International Colloquium (Vol. 9135, pp. 108–120). Kyoto, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-47666-6_9 
LibreCat: https://research-explorer.ista.ac.at/record/1609
DOI: 10.1007/978-3-662-47666-6_9

Hammer, M., Krueger Burg, D., Tuffy, L., Cooper, B., Taschenberger, H., Goswami, S.,https://doi.org/10.1016/j.celrep.2015.09.011__Brose, N. (2015). Perturbed hippocampal synaptic inhibition and ;3-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. Cell Press.https://doi.org/10.1016/j.celrep.2015.09.011 
LibreCat: https://research-explorer.ista.ac.at/record/1615
DOI: 10.1016/j.celrep.2015.09.011

Strüber, M., Jonas, P. M., &; Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1412996112 
LibreCat: https://research-explorer.ista.ac.at/record/1614
DOI: 10.1073/pnas.1412996112
PMID: 25583495

Whitfield, J., Zhang, W., Herde, M., Clifton, B., Radziejewski, J., Janovjak, H. L.,https://doi.org/10.1002/pro.2721__Jackson, C. (2015). Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. Wiley.https://doi.org/10.1002/pro.2721 
LibreCat: https://research-explorer.ista.ac.at/record/1611
DOI: 10.1002/pro.2721
PMID: 26061224

Pavlogiannis, A., Chatterjee, K., Adlam, B., &; Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep17147 
LibreCat: https://research-explorer.ista.ac.at/record/1624
DOI: 10.1038/srep17147

Hammar, P., Angermayr, A., Sjostrom, S., Van Der Meer, J., Hellingwerf, K., Hudson, E., &; Joensson, H. (2015). Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. BioMed Central.https://doi.org/10.1186/s13068-015-0380-2 
LibreCat: https://research-explorer.ista.ac.at/record/1623
DOI: 10.1186/s13068-015-0380-2

Bermano, A., Beeler, T., Kozlov, Y., Bradley, D., Bickel, B., &; Gross, M. (2015). Detailed spatio-temporal reconstruction of eyelids (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766924 
LibreCat: https://research-explorer.ista.ac.at/record/1625
DOI: 10.1145/2766924

Martin, T., Umetani, N., &; Bickel, B. (2015). OmniAD: Data-driven omni-directional aerodynamics (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766919 
LibreCat: https://research-explorer.ista.ac.at/record/1626
DOI: 10.1145/2766919

Schumacher, C., Bickel, B., Rys, J., Marschner, S., Daraio, C., &; Gross, M. (2015). Microstructures to control elasticity in 3D printing (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM.https://doi.org/10.1145/2766926 
LibreCat: https://research-explorer.ista.ac.at/record/1628
DOI: 10.1145/2766926

Pérez, J., Thomaszewski, B., Coros, S., Bickel, B., Canabal, J., Sumner, R., &; Otaduy, M. (2015). Design and fabrication of flexible rod meshes (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766998 
LibreCat: https://research-explorer.ista.ac.at/record/1627
DOI: 10.1145/2766998

Da, F., Batty, C., Wojtan, C., &; Grinspun, E. (2015). Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2767003 
LibreCat: https://research-explorer.ista.ac.at/record/1634
DOI: 10.1145/2767003

Kolmogorov, V., Rolinek, M., &; Takhanov, R. (2015). Effectiveness of structural restrictions for hybrid CSPs. In 26th International Symposium (Vol. 9472, pp. 566–577). Nagoya, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-48971-0_48 
LibreCat: https://research-explorer.ista.ac.at/record/1636
DOI: 10.1007/978-3-662-48971-0_48
arXiv: 1504.07067

Ando, R., Thuerey, N., &; Wojtan, C. (2015). A stream function solver for liquid simulations (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM.https://doi.org/10.1145/2766935 
LibreCat: https://research-explorer.ista.ac.at/record/1632
DOI: 10.1145/2766935

Guerrero, P., Jeschke, S., Wimmer, M., &; Wonka, P. (2015). Learning shape placements by example (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766933 
LibreCat: https://research-explorer.ista.ac.at/record/1630
DOI: 10.1145/2766933

Simásková, M., O’Brien, J., Khan-Djamei, M., Van Noorden, G., Ötvös, K., Vieten, A.,https://doi.org/10.1038/ncomms9717__Benková, E. (2015). Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms9717 
LibreCat: https://research-explorer.ista.ac.at/record/1640
DOI: 10.1038/ncomms9717

Fulek, R., Kyndl, J., Malinovid, I., &; Pálvölgyi, D. (2015). Clustered planarity testing revisited. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics.https://doi.org/10.37236/5002 
LibreCat: https://research-explorer.ista.ac.at/record/1642
DOI: 10.37236/5002
arXiv: 1305.4519

Maas, J., Rumpf, M., Schönlieb, C., &; Simon, S. (2015). A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. EDP Sciences.https://doi.org/10.1051/m2an/2015043 
LibreCat: https://research-explorer.ista.ac.at/record/1639
DOI: 10.1051/m2an/2015043
arXiv: 1504.01988

Sazanov, L. A. (2015). A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. Nature Publishing Group.https://doi.org/10.1038/nrm3997 
LibreCat: https://research-explorer.ista.ac.at/record/1638
DOI: 10.1038/nrm3997

Banerjee, A., Fuchsbauer, G., Peikert, C., Pietrzak, K. Z., &; Stevens, S. (2015). Key-homomorphic constrained pseudorandom functions. In 12th Theory of Cryptography Conference (Vol. 9015, pp. 31–60). Warsaw, Poland: Springer Nature.https://doi.org/10.1007/978-3-662-46497-7_2 
LibreCat: https://research-explorer.ista.ac.at/record/1646
DOI: 10.1007/978-3-662-46497-7_2

Fuchsbauer, G., Jafargholi, Z., &; Pietrzak, K. Z. (2015). A quasipolynomial reduction for generalized selective decryption on trees (Vol. 9215, pp. 601–620). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA: Springer.https://doi.org/10.1007/978-3-662-47989-6_29 
LibreCat: https://research-explorer.ista.ac.at/record/1648
DOI: 10.1007/978-3-662-47989-6_29

Benhamouda, F., Krenn, S., Lyubashevsky, V., &; Pietrzak, K. Z. (2015). Efficient zero-knowledge proofs for commitments from learning with errors over rings. Presented at the ESORICS: European Symposium on Research in Computer Security, Vienna, Austria: Springer.https://doi.org/10.1007/978-3-319-24174-6_16 
LibreCat: https://research-explorer.ista.ac.at/record/1649
DOI: 10.1007/978-3-319-24174-6_16

Demay, G., Gazi, P., Maurer, U., &; Tackmann, B. (2015). Query-complexity amplification for random oracles (Vol. 9063, pp. 159–180). Presented at the ICITS: International Conference on Information Theoretic Security, Lugano, Switzerland: Springer.https://doi.org/10.1007/978-3-319-17470-9_10 
LibreCat: https://research-explorer.ista.ac.at/record/1644
DOI: 10.1007/978-3-319-17470-9_10

Fuchsbauer, G., Hanser, C., &; Slamanig, D. (2015). Practical round-optimal blind signatures in the standard model (Vol. 9216, pp. 233–253). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-48000-7_12 
LibreCat: https://research-explorer.ista.ac.at/record/1647
DOI: 10.1007/978-3-662-48000-7_12

Gazi, P., &; Tessaro, S. (2015). Secret-key cryptography from ideal primitives: A systematic verview. In 2015 IEEE Information Theory Workshop. Jerusalem, Israel: IEEE.https://doi.org/10.1109/ITW.2015.7133163 
LibreCat: https://research-explorer.ista.ac.at/record/1645
DOI: 10.1109/ITW.2015.7133163

Gazi, P., Pietrzak, K. Z., &; Tessaro, S. (2015). Generic security of NMAC and HMAC with input whitening. Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer.https://doi.org/10.1007/978-3-662-48800-3_4 
LibreCat: https://research-explorer.ista.ac.at/record/1654
DOI: 10.1007/978-3-662-48800-3_4

Skórski, M., Golovnev, A., &; Pietrzak, K. Z. (2015). Condensed unpredictabilityhttps://doi.org/10.1007/978-3-662-47672-7_85__(Vol. 9134, pp. 1046–1057). Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer.https://doi.org/10.1007/978-3-662-47672-7_85 
LibreCat: https://research-explorer.ista.ac.at/record/1650
DOI: 10.1007/978-3-662-47672-7_85

Baldimtsi, F., Chase, M., Fuchsbauer, G., &; Kohlweiss, M. (2015). Anonymous transferable e-cash. In Public-Key Cryptography - PKC 2015 (Vol. 9020, pp. 101–124). Gaithersburg, MD, United States: Springer.https://doi.org/10.1007/978-3-662-46447-2_5 
LibreCat: https://research-explorer.ista.ac.at/record/1651
DOI: 10.1007/978-3-662-46447-2_5

Alwen, J. F., &; Serbinenko, V. (2015). High parallel complexity graphs and memory-hard functions. In Proceedings of the 47th annual ACM symposium on Theory of computing (pp. 595–603). Portland, OR, United States: ACM.https://doi.org/10.1145/2746539.2746622 
LibreCat: https://research-explorer.ista.ac.at/record/1652
DOI: 10.1145/2746539.2746622

Bogomolov, S., Henzinger, T. A., Podelski, A., Ruess, J., &; Schilling, C. (2015). Adaptive moment closure for parameter inference of biochemical reaction networks. Presented at the CMSB: Computational Methods in Systems Biology, Nantes, France: Springer.https://doi.org/10.1007/978-3-319-23401-4_8 
LibreCat: https://research-explorer.ista.ac.at/record/1658
DOI: 10.1007/978-3-319-23401-4_8

Brázdil, T., Kiefer, S., Kudera, A., &; Novotný, P. (2015). Long-run average behaviour of probabilistic vector addition systems (pp. 44–55). Presented at the LICS: Logic in Computer Science, Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.15 
LibreCat: https://research-explorer.ista.ac.at/record/1660
DOI: 10.1109/LICS.2015.15

Landau, D., Tausch, E., Taylor Weiner, A., Stewart, C., Reiter, J., Bahlo, J.,https://doi.org/10.1038/nature15395__Wu, C. (2015). Mutations driving CLL and their evolution in progression and relapse. Nature. Nature Publishing Group.https://doi.org/10.1038/nature15395 
LibreCat: https://research-explorer.ista.ac.at/record/1665
DOI: 10.1038/nature15395
PMID: 26466571

Kovács, K., Steinmann, M., Halfon, O., Magistretti, P., &; Cardinaux, J. (2015). Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2. Cellular Signalling. Elsevier.https://doi.org/10.1016/j.cellsig.2015.08.001 
LibreCat: https://research-explorer.ista.ac.at/record/1663
DOI: 10.1016/j.cellsig.2015.08.001

Brázdil, T., Korendiak, L., Krdál, J., Novotný, P., &; ehák, V. (2015). Optimizing performance of continuous-time stochastic systems using timeout synthesis. Presented at the QEST: Quantitative Evaluation of Systems, Madrid, Spain: Springer.https://doi.org/10.1007/978-3-319-22264-6_10 
LibreCat: https://research-explorer.ista.ac.at/record/1667
DOI: 10.1007/978-3-319-22264-6_10

Barkley, D., Song, B., Vasudevan, M., Lemoult, G. M., Avila, M., &; Hof, B. (2015). The rise of fully turbulent flow. Nature. Nature Publishing Group.https://doi.org/10.1038/nature15701 
LibreCat: https://research-explorer.ista.ac.at/record/1664
DOI: 10.1038/nature15701

Alwen, J. F., Ostrovsky, R., Zhou, H., &; Zikas, V. (2015). Incoercible multi-party computation and universally composable receipt-free voting. In Advances in Cryptology - CRYPTO 2015 (Vol. 9216, pp. 763–780). Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-48000-7_37 
LibreCat: https://research-explorer.ista.ac.at/record/1672
DOI: 10.1007/978-3-662-48000-7_37

Pietrzak, K. Z., &; Skórski, M. (2015). The chain rule for HILL pseudoentropy, revisited. Presented at the LATINCRYPT: Cryptology and Information Security in Latin America, Guadalajara, Mexico: Springer.https://doi.org/10.1007/978-3-319-22174-8_5 
LibreCat: https://research-explorer.ista.ac.at/record/1669
DOI: 10.1007/978-3-319-22174-8_5

Gazi, P., Pietrzak, K. Z., &; Tessaro, S. (2015). The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC (Vol. 9215, pp. 368–387). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-47989-6_18 
LibreCat: https://research-explorer.ista.ac.at/record/1671
DOI: 10.1007/978-3-662-47989-6_18

Adlam, B., Chatterjee, K., &; Nowak, M. (2015). Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London.https://doi.org/10.1098/rspa.2015.0114 
LibreCat: https://research-explorer.ista.ac.at/record/1673
DOI: 10.1098/rspa.2015.0114

Gazi, P., Lee, J., Seurin, Y., Steinberger, J., &; Tessaro, S. (2015). Relaxing full-codebook security: A refined analysis of key-length extension schemes. Presented at the FSE: Fast Software Encryption, Istanbul, Turkey: Springer.https://doi.org/10.1007/978-3-662-48116-5_16 
LibreCat: https://research-explorer.ista.ac.at/record/1668
DOI: 10.1007/978-3-662-48116-5_16

Bogomolov, S., Magazzeni, D., Minopoli, S., &; Wehrle, M. (2015). PDDL+ planning with hybrid automata: Foundations of translating must behavior (pp. 42–46). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/1670

Lee, J., &; Schnelli, K. (2015). Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/S0129055X1550018X 
LibreCat: https://research-explorer.ista.ac.at/record/1674
DOI: 10.1142/S0129055X1550018X

Lemoult, G. M., Maier, P., &; Hof, B. (2015). Taylor’s Forest. Physics of Fluids. American Institute of Physics.https://doi.org/10.1063/1.4930850 
LibreCat: https://research-explorer.ista.ac.at/record/1679
DOI: 10.1063/1.4930850

Sixt, M. K., &; Raz, E. (2015). Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2015.09.004 
LibreCat: https://research-explorer.ista.ac.at/record/1676
DOI: 10.1016/j.ceb.2015.09.004

Vicoso, B., &; Bachtrog, D. (2015). Numerous transitions of sex chromosomes in Diptera. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002078 
LibreCat: https://research-explorer.ista.ac.at/record/1684
DOI: 10.1371/journal.pbio.1002078

Sarris, M., &; Sixt, M. K. (2015). Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2015.08.001 
LibreCat: https://research-explorer.ista.ac.at/record/1687
DOI: 10.1016/j.ceb.2015.08.001

Cohen Addad, V., &; de Mesmay, A. N. (2015). A fixed parameter tractable approximation scheme for the optimal cut graph of a surface (Vol. 9294, pp. 386–398). Presented at the ESA: European Symposium on Algorithms, Patras, Greece: Springer.https://doi.org/10.1007/978-3-662-48350-3_33 
LibreCat: https://research-explorer.ista.ac.at/record/1685
DOI: 10.1007/978-3-662-48350-3_33

Karasev, R., Kyndl, J., Paták, P., Patakova, Z., &; Tancer, M. (2015). Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-015-9720-z 
LibreCat: https://research-explorer.ista.ac.at/record/1688
DOI: 10.1007/s00454-015-9720-z

Michaliszyn, J., Otop, J., &; Kieroski, E. (2015). On the decidability of elementary modal logics. ACM Transactions on Computational Logic. ACM.https://doi.org/10.1145/2817825 
LibreCat: https://research-explorer.ista.ac.at/record/1680
DOI: 10.1145/2817825

Franek, P., &; Krcál, M. (2015). Robust satisfiability of systems of equations. Journal of the ACM. ACM.https://doi.org/10.1145/2751524 
LibreCat: https://research-explorer.ista.ac.at/record/1682
DOI: 10.1145/2751524

Letts, J. A., &; Sazanov, L. A. (2015). Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions. Current Opinion in Structural Biology. Elsevier.https://doi.org/10.1016/j.sbi.2015.08.008 
LibreCat: https://research-explorer.ista.ac.at/record/1683
DOI: 10.1016/j.sbi.2015.08.008

Kiermaier, E., &; Sixt, M. K. (2015). Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aad0867 
LibreCat: https://research-explorer.ista.ac.at/record/1686
DOI: 10.1126/science.aad0867

Frehse, G., Bogomolov, S., Greitschus, M., Strump, T., &; Podelski, A. (2015). Eliminating spurious transitions in reachability with support functions. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 149–158). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728622 
LibreCat: https://research-explorer.ista.ac.at/record/1692
DOI: 10.1145/2728606.2728622

Amaro, P., Franke, B., Krauth, J., Diepold, M., Fratini, F., Safari, L.,https://doi.org/10.1103/PhysRevA.92.022514__Santos, J. (2015). Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. American Physical Society.https://doi.org/10.1103/PhysRevA.92.022514 
LibreCat: https://research-explorer.ista.ac.at/record/1693
DOI: 10.1103/PhysRevA.92.022514

Bak, S., Bogomolov, S., &; Johnson, T. (2015). HYST: A source transformation and translation tool for hybrid automaton models (pp. 128–133). Presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States: Springer.https://doi.org/10.1145/2728606.2728630 
LibreCat: https://research-explorer.ista.ac.at/record/1690
DOI: 10.1145/2728606.2728630

Svoreová, M., Chmelik, M., Leahy, K., Eniser, H., Chatterjee, K., Cbrná, I., &; Belta, C. (2015). Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 233–238). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728617 
LibreCat: https://research-explorer.ista.ac.at/record/1691
DOI: 10.1145/2728606.2728617

Chatterjee, K., &; Prabhu, V. (2015). Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. IEEE.https://doi.org/10.1109/TAC.2015.2404612 
LibreCat: https://research-explorer.ista.ac.at/record/1694
DOI: 10.1109/TAC.2015.2404612

Kaczmarczyk, J., Schickling, T., &; Bünemann, J. (2015). Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. Wiley.https://doi.org/10.1002/pssb.201552082 
LibreCat: https://research-explorer.ista.ac.at/record/1695
DOI: 10.1002/pssb.201552082

Marre, O., Botella Soler, V., Simmons, K., Mora, T., Tkadik, G., &; Berry, M. (2015). High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1004304 
LibreCat: https://research-explorer.ista.ac.at/record/1697
DOI: 10.1371/journal.pcbi.1004304

Uecker, H., Setter, D., &; Hermisson, J. (2015). Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. Springer.https://doi.org/10.1007/s00285-014-0802-y 
LibreCat: https://research-explorer.ista.ac.at/record/1699
DOI: 10.1007/s00285-014-0802-y

Wysokiski, M., Kaczmarczyk, J., &; Spaek, J. (2015). Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.92.125135 
LibreCat: https://research-explorer.ista.ac.at/record/1696
DOI: 10.1103/PhysRevB.92.125135

Tkadik, G., Mora, T., Marre, O., Amodei, D., Palmer, S., Berry Ii, M., &; Bialek, W. (2015). Thermodynamics and signatures of criticality in a network of neurons. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1514188112 
LibreCat: https://research-explorer.ista.ac.at/record/1701
DOI: 10.1073/pnas.1514188112
PMID: 26330611

Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T. A., Rabinovich, A., &; Raskin, J. (2015). The complexity of multi-mean-payoff and multi-energy games. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.03.001 
LibreCat: https://research-explorer.ista.ac.at/record/1698
DOI: 10.1016/j.ic.2015.03.001

Van Loon, E., Katsnelson, M., &; Lemeshko, M. (2015). Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.92.081106 
LibreCat: https://research-explorer.ista.ac.at/record/1700
DOI: 10.1103/PhysRevB.92.081106

Deuchert, A., Hainzl, C., &; Seiringer, R. (2015). Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics. Springer.https://doi.org/10.1007/s11005-015-0787-5 
LibreCat: https://research-explorer.ista.ac.at/record/1704
DOI: 10.1007/s11005-015-0787-5

Broadhurst, L., Fifield, G., Vanzella, B., &; Pickup, M. (2015). An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany. CSIRO.https://doi.org/10.1071/BT15023 
LibreCat: https://research-explorer.ista.ac.at/record/1703
DOI: 10.1071/BT15023

Pentina, A., &; Ben David, S. (2015). Multi-task and lifelong learning of kernels (Vol. 9355, pp. 194–208). Presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada: Springer.https://doi.org/10.1007/978-3-319-24486-0_13 
LibreCat: https://research-explorer.ista.ac.at/record/1706
DOI: 10.1007/978-3-319-24486-0_13

Ratheesh, A., Belyaeva, V., &; Siekhaus, D. E. (2015). Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2015.07.003 
LibreCat: https://research-explorer.ista.ac.at/record/1712
DOI: 10.1016/j.ceb.2015.07.003

Akopyan, A., &; Plakhov, A. (2015). Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics. SIAM.https://doi.org/10.1137/140993843 
LibreCat: https://research-explorer.ista.ac.at/record/1710
DOI: 10.1137/140993843

Colin De Verdière, É., Hubard, A., &; de Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-015-9679-9 
LibreCat: https://research-explorer.ista.ac.at/record/1730
DOI: 10.1007/s00454-015-9679-9

Cohen, M., Kicheva, A., Ribeiro, A., Blassberg, R., Page, K., Barnes, C., &; Briscoe, J. (2015). Ptc and Gli regulate Shh signalling dynamics via multiple mechanisms. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms7709 
LibreCat: https://research-explorer.ista.ac.at/record/1728
DOI: 10.1038/ncomms7709

Ando, R., Thürey, N., &; Wojtan, C. (2015). A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum. Wiley.https://doi.org/10.1111/cgf.12576 
LibreCat: https://research-explorer.ista.ac.at/record/1735
DOI: 10.1111/cgf.12576

Klehm, O., Rousselle, F., Papas, M., Bradley, D., Hery, C., Bickel, B.,https://doi.org/10.1111/cgf.12594__Beeler, T. (2015). Recent advances in facial appearance capture. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12594 
LibreCat: https://research-explorer.ista.ac.at/record/1734
DOI: 10.1111/cgf.12594

Kuechler, A., Zink, A., Wieland, T., Lüdecke, H., Cremer, K., Salviati, L.,https://doi.org/10.1038/ejhg.2014.165__Engels, H. (2015). Loss-of-function variants of SET cause intellectual disability and the core phenotype of microdeletion 3.3 syndrome. European Journal of Human Genetics. Nature Publishing Group.https://doi.org/10.1038/ejhg.2014.165 
LibreCat: https://research-explorer.ista.ac.at/record/1789
DOI: 10.1038/ejhg.2014.165
PMID: 25138099

Pitanti, A., Fink, J. M., Safavi Naeini, A., Hill, J., Lei, C., Tredicucci, A., &; Painter, O. (2015). Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity. Optics Express. Optical Society of America.https://doi.org/10.1364/OE.23.003196 
LibreCat: https://research-explorer.ista.ac.at/record/1788
DOI: 10.1364/OE.23.003196

Altmeyer, S., Do, Y., &; Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep10781 
LibreCat: https://research-explorer.ista.ac.at/record/1804
DOI: 10.1038/srep10781

Rei, D., Mason, X., Seo, J., Gräff, J., Rudenko, A., Wang, J.,https://doi.org/10.1073/pnas.1415845112__Tsai, L. (2015). Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a /Cdk5-dependent pathway. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1415845112 
LibreCat: https://research-explorer.ista.ac.at/record/1803
DOI: 10.1073/pnas.1415845112

Goldman, M., &; Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations. EDP Sciences.https://doi.org/10.1051/cocv/2014040 
LibreCat: https://research-explorer.ista.ac.at/record/1807
DOI: 10.1051/cocv/2014040

Siegert, S., Seo, J., Kwon, E., Rudenko, A., Cho, S., Wang, W.,https://doi.org/10.1038/nn.4023__Tsai, L. (2015). The schizophrenia risk gene product miR-137 alters presynaptic plasticity. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.4023 
LibreCat: https://research-explorer.ista.ac.at/record/1802
DOI: 10.1038/nn.4023

Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. Elsevier.https://doi.org/10.1016/j.mib.2015.05.008 
LibreCat: https://research-explorer.ista.ac.at/record/1810
DOI: 10.1016/j.mib.2015.05.008

Lahrz, M., Lemeshko, M., &; Mathey, L. (2015). Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/17/4/045005 
LibreCat: https://research-explorer.ista.ac.at/record/1812
DOI: 10.1088/1367-2630/17/4/045005

Safari, L., Santos, J., Amaro, P., Jänkälä, K., &; Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4921227 
LibreCat: https://research-explorer.ista.ac.at/record/1811
DOI: 10.1063/1.4921227

Schmidt, R., &; Lemeshko, M. (2015). Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.114.203001 
LibreCat: https://research-explorer.ista.ac.at/record/1813
DOI: 10.1103/PhysRevLett.114.203001

Gupta, A., &; Henzinger, T. A. (2015). Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. ACM.https://doi.org/10.1145/2745799 
LibreCat: https://research-explorer.ista.ac.at/record/1808
DOI: 10.1145/2745799

Porazinski, S., Wang, H., Asaoka, Y., Behrndt, M., Miyamoto, T., Morita, H.,https://doi.org/10.1038/nature14215__Furutani Seiki, M. (2015). YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. Nature Publishing Group.https://doi.org/10.1038/nature14215 
LibreCat: https://research-explorer.ista.ac.at/record/1817
DOI: 10.1038/nature14215
PMID: 25778702

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2015). Optimal cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence  (Vol. 5, pp. 3496–3502). Austin, TX, USA: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/1820
arXiv: 1411.3880

Jeschke, S., &; Wojtan, C. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2714572 
LibreCat: https://research-explorer.ista.ac.at/record/1814
DOI: 10.1145/2714572

Polechova, J., &; Barton, N. H. (2015). Limits to adaptation along environmental gradients. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1421515112 
LibreCat: https://research-explorer.ista.ac.at/record/1818
DOI: 10.1073/pnas.1421515112
PMID: 25941385

Zwiewka, M., Nodzyski, T., Robert, S., Vanneste, S., &; Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. Elsevier.https://doi.org/10.1016/j.molp.2015.03.007 
LibreCat: https://research-explorer.ista.ac.at/record/1819
DOI: 10.1016/j.molp.2015.03.007

Chevereau, G., &; Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. Nature Publishing Group.https://doi.org/10.15252/msb.20156098 
LibreCat: https://research-explorer.ista.ac.at/record/1823
DOI: 10.15252/msb.20156098

Knebel, J., Weber, M., Krüger, T. H., &; Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms7977 
LibreCat: https://research-explorer.ista.ac.at/record/1824
DOI: 10.1038/ncomms7977

Kappeler, P., Cremer, S., &; Nunn, C. (2015). Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2014.0116 
LibreCat: https://research-explorer.ista.ac.at/record/1831
DOI: 10.1098/rstb.2014.0116
PMID: 25870402

Akopyan, A., Pirogov, S., &; Rybko, A. (2015). Invariant measures of genetic recombination process. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-015-1238-5 
LibreCat: https://research-explorer.ista.ac.at/record/1828
DOI: 10.1007/s10955-015-1238-5

Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., &; Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46669-8_5 
LibreCat: https://research-explorer.ista.ac.at/record/1836
DOI: 10.1007/978-3-662-46669-8_5

Bloem, R., Chatterjee, K., Jacobs, S., &; Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46681-0_50 
LibreCat: https://research-explorer.ista.ac.at/record/1838
DOI: 10.1007/978-3-662-46681-0_50