Long-run average behaviour of probabilistic vector addition systems
T. Brázdil, S. Kiefer, A. Kudera, P. Novotný, in:, IEEE, 2015, pp. 44–55.
LibreCat: https://research-explorer.ista.ac.at/record/1660
DOI: 10.1109/LICS.2015.15

Mutations driving CLL and their evolution in progression and relapse
D. Landau, E. Tausch, A. Taylor Weiner, C. Stewart, J. Reiter, J. Bahlo, S. Kluth, I. Boei, M. Lawrence, S. Böttcher, S. Carter, K. Cibulskis, D. Mertens, C. Sougnez, M. Rosenberg, J. Hess, J. Edelmann, S. Kless, M. Kneba, M. Ritgen, A. Fink, K. Fischer, S. Gabriel, E. Lander, M. Nowak, H. Döhner, M. Hallek, D. Neuberg, G. Getz, S. Stilgenbauer, C. Wu, Nature 526 (2015) 525–530.
LibreCat: https://research-explorer.ista.ac.at/record/1665
DOI: 10.1038/nature15395
PMID: 26466571

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

Optimizing performance of continuous-time stochastic systems using timeout synthesis
T. Brázdil, L. Korendiak, J. Krdál, P. Novotný, V. ehák, 9259 (2015) 141–159.
LibreCat: https://research-explorer.ista.ac.at/record/1667
DOI: 10.1007/978-3-319-22264-6_10

The rise of fully turbulent flow
D. Barkley, B. Song, M. Vasudevan, G.M. Lemoult, M. Avila, B. Hof, Nature 526 (2015) 550–553.
LibreCat: https://research-explorer.ista.ac.at/record/1664
DOI: 10.1038/nature15701

Incoercible multi-party computation and universally composable receipt-free voting
J.F. Alwen, R. Ostrovsky, H. Zhou, V. Zikas, in:, Advances in Cryptology - CRYPTO 2015, Springer, 2015, pp. 763–780.
LibreCat: https://research-explorer.ista.ac.at/record/1672
DOI: 10.1007/978-3-662-48000-7_37

The chain rule for HILL pseudoentropy, revisited
K.Z. Pietrzak, M. Skórski, 9230 (2015) 81–98.
LibreCat: https://research-explorer.ista.ac.at/record/1669
DOI: 10.1007/978-3-319-22174-8_5

The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC
P. Gazi, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2015, pp. 368–387.
LibreCat: https://research-explorer.ista.ac.at/record/1671
DOI: 10.1007/978-3-662-47989-6_18

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

Relaxing full-codebook security: A refined analysis of key-length extension schemes
P. Gazi, J. Lee, Y. Seurin, J. Steinberger, S. Tessaro, 9054 (2015) 319–341.
LibreCat: https://research-explorer.ista.ac.at/record/1668
DOI: 10.1007/978-3-662-48116-5_16

PDDL+ planning with hybrid automata: Foundations of translating must behavior
S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.
LibreCat: https://research-explorer.ista.ac.at/record/1670

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

Taylor's Forest
G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1679
DOI: 10.1063/1.4930850

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

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

A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
LibreCat: https://research-explorer.ista.ac.at/record/1685
DOI: 10.1007/978-3-662-48350-3_33

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

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

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

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