Gazi P, Pietrzak KZ, Tessaro S. 2015. Generic security of NMAC and HMAC with input whitening. 9453, 85–109.
LibreCat: https://research-explorer.ista.ac.at/record/1654
DOI: 10.1007/978-3-662-48800-3_4

Skórski M, Golovnev A, Pietrzak KZ. 2015. Condensed unpredictability . ICALP: Automata, Languages and Programming, LNCS, vol. 9134, 1046–1057.
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. Public-Key Cryptography - PKC 2015. PKC: Public Key Crypography, LNCS, vol. 9020, 101–124.
LibreCat: https://research-explorer.ista.ac.at/record/1651
DOI: 10.1007/978-3-662-46447-2_5

Alwen JF, Serbinenko V. 2015. High parallel complexity graphs and memory-hard functions. Proceedings of the 47th annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 595–603.
LibreCat: https://research-explorer.ista.ac.at/record/1652
DOI: 10.1145/2746539.2746622

Bogomolov S, Henzinger TA, Podelski A, Ruess J, Schilling C. 2015. Adaptive moment closure for parameter inference of biochemical reaction networks. 9308, 77–89.
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. LICS: Logic in Computer Science, LICS, , 44–55.
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, Kluth S, Boei I, Lawrence M, Böttcher S, Carter S, Cibulskis K, Mertens D, Sougnez C, Rosenberg M, Hess J, Edelmann J, Kless S, Kneba M, Ritgen M, Fink A, Fischer K, Gabriel S, Lander E, Nowak M, Döhner H, Hallek M, Neuberg D, Getz G, Stilgenbauer S, Wu C. 2015. Mutations driving CLL and their evolution in progression and relapse. Nature. 526(7574), 525–530.
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. 27(11), 2252–2260.
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. 9259, 141–159.
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 GM, Avila M, Hof B. 2015. The rise of fully turbulent flow. Nature. 526(7574), 550–553.
LibreCat: https://research-explorer.ista.ac.at/record/1664
DOI: 10.1038/nature15701

Alwen JF, Ostrovsky R, Zhou H, Zikas V. 2015. Incoercible multi-party computation and universally composable receipt-free voting. Advances in Cryptology - CRYPTO 2015. CRYPTO: International Cryptology ConferenceLecture Notes in Computer Science, LNCS, vol. 9216, 763–780.
LibreCat: https://research-explorer.ista.ac.at/record/1672
DOI: 10.1007/978-3-662-48000-7_37

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

Gazi P, Pietrzak KZ, Tessaro S. 2015. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. CRYPTO: International Cryptology Conference, LNCS, vol. 9215, 368–387.
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. 471(2181), 20150114.
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. 9054, 319–341.
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. ICAPS: International Conference on Automated Planning and Scheduling, 42–46.
LibreCat: https://research-explorer.ista.ac.at/record/1670

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

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

Sixt MK, Raz E. 2015. Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. 36(10), 4–6.
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. 13(4), e1002078.
LibreCat: https://research-explorer.ista.ac.at/record/1684
DOI: 10.1371/journal.pbio.1002078

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

Cohen Addad V, de Mesmay AN. 2015. A fixed parameter tractable approximation scheme for the optimal cut graph of a surface. ESA: European Symposium on Algorithms, LNCS, vol. 9294, 386–398.
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. 54(3), 610–636.
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. 17(1), 2.
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. 62(4), 26.
LibreCat: https://research-explorer.ista.ac.at/record/1682
DOI: 10.1145/2751524

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

Kiermaier E, Sixt MK. 2015. Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. 349(6252), 1055–1056.
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. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 149–158.
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, Machado J, Antognini A, Kottmann F, Indelicato P, Pohl R, Santos J. 2015. Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. 92(2), 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. HSCC: Hybrid Systems - Computation and Control, 128–133.
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. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 233–238.
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. 60(9), 2291–2306.
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. 252(9), 2059–2071.
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. 11(7), e1004304.
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. 70(7), 1523–1580.
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. 92(12), 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. 112(37), 11508–11513.
LibreCat: https://research-explorer.ista.ac.at/record/1701
DOI: 10.1073/pnas.1514188112
PMID: 26330611

Velner Y, Chatterjee K, Doyen L, Henzinger TA, Rabinovich A, Raskin J. 2015. The complexity of multi-mean-payoff and multi-energy games. Information and Computation. 241(4), 177–196.
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. 92(8), 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. 105(10), 1449–1466.
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. 63(5), 455–466.
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. ALT: Algorithmic Learning Theory, LNCS, vol. 9355, 194–208.
LibreCat: https://research-explorer.ista.ac.at/record/1706
DOI: 10.1007/978-3-319-24486-0_13

Ratheesh A, Belyaeva V, Siekhaus DE. 2015. Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology. 36(10), 71–79.
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. 47(4), 2754–2769.
LibreCat: https://research-explorer.ista.ac.at/record/1710
DOI: 10.1137/140993843

Colin De Verdière É, Hubard A, de Mesmay AN. 2015. Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete &; Computational Geometry. 53(3), 587–620.
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. 6.
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. 34(2), 473–480.
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, Jarosz W, Beeler T. 2015. Recent advances in facial appearance capture. Computer Graphics Forum. 34(2), 709–733.
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, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, 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. 23(6), 753–760.
LibreCat: https://research-explorer.ista.ac.at/record/1789
DOI: 10.1038/ejhg.2014.165
PMID: 25138099

Pitanti A, Fink JM, 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. 23(3), 3196–3208.
LibreCat: https://research-explorer.ista.ac.at/record/1788
DOI: 10.1364/OE.23.003196