Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2383 Publications


2015 | Conference Paper | IST-REx-ID: 1667 | OA
Brázdil, T., Korenčiak, L., Krčál, J., Novotny, 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
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1668 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1669 | OA
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
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1671 | OA
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
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1672 | OA
Alwen, J. F., Ostrovsky, R., Zhou, H., & Zikas, V. (2015). Incoercible multi-party computation and universally composable receipt-free voting. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_37
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673 | OA
Adlam, B., Chatterjee, K., & Nowak, M. (2015). Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 471(2181). https://doi.org/10.1098/rspa.2015.0114
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1674 | OA
Lee, J., & Schnelli, K. (2015). Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics, 27(8). https://doi.org/10.1142/S0129055X1550018X
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1677 | OA
Alt, J. (2015). The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics, 56(10). https://doi.org/10.1063/1.4932606
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1678 | OA
Inglés Prieto, Á., Gschaider-Reichhart, E., Muellner, M., Nowak, M., Nijman, S., Grusch, M., & Janovjak, H. L. (2015). Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology, 11(12), 952–954. https://doi.org/10.1038/nchembio.1933
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1679 | OA
Lemoult, G. M., Maier, P., & Hof, B. (2015). Taylor’s Forest. Physics of Fluids, 27(9). https://doi.org/10.1063/1.4930850
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681 | OA
Priklopil, T., & Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games, 6(4), 413–437. https://doi.org/10.3390/g6040413
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682 | OA
Franek, P., & Krcál, M. (2015). Robust satisfiability of systems of equations. Journal of the ACM, 62(4). https://doi.org/10.1145/2751524
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1685 | OA
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
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1687 | OA
Sarris, M., & Sixt, M. K. (2015). Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology, 36(10), 93–102. https://doi.org/10.1016/j.ceb.2015.08.001
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev, R., Kynčl, 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. https://doi.org/10.1007/s00454-015-9720-z
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2015). 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 (pp. 259–268). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728608
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693 | OA
Amaro, P., Franke, B., Krauth, J., Diepold, M., Fratini, F., Safari, L., … Santos, J. (2015). Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A, 92(2). https://doi.org/10.1103/PhysRevA.92.022514
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1695 | OA
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. https://doi.org/10.1002/pssb.201552082
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński, M., Kaczmarczyk, J., & Spałek, J. (2015). Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B, 92(12). https://doi.org/10.1103/PhysRevB.92.125135
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1697 | OA
Marre, O., Botella Soler, V., Simmons, K., Mora, T., Tkačik, G., & Berry, M. (2015). High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology, 11(7). https://doi.org/10.1371/journal.pcbi.1004304
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1698 | OA
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, 241(4), 177–196. https://doi.org/10.1016/j.ic.2015.03.001
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1699 | OA
Uecker, H., Setter, D., & Hermisson, J. (2015). Adaptive gene introgression after secondary contact. Journal of Mathematical Biology, 70(7), 1523–1580. https://doi.org/10.1007/s00285-014-0802-y
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1700 | OA
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). https://doi.org/10.1103/PhysRevB.92.081106
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701 | OA
Tkacik, 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. https://doi.org/10.1073/pnas.1514188112
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1704 | OA
Deuchert, A., Hainzl, C., & Seiringer, R. (2015). Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics, 105(10), 1449–1466. https://doi.org/10.1007/s11005-015-0787-5
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706 | OA
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
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709 | OA
Reiter, J., Kanodia, A., Gupta, R., Nowak, M., & Chatterjee, K. (2015). Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences, 282(1812). https://doi.org/10.1098/rspb.2015.1041
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1710 | OA
Akopyan, A., & Plakhov, A. (2015). Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics, 47(4), 2754–2769. https://doi.org/10.1137/140993843
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712 | OA
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, 36(10), 71–79. https://doi.org/10.1016/j.ceb.2015.07.003
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1730 | OA
Colin De Verdière, É., Hubard, A., & De Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete & Computational Geometry, 53(3), 587–620. https://doi.org/10.1007/s00454-015-9679-9
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2015). Randomness for free. Information and Computation, 245(12), 3–16. https://doi.org/10.1016/j.ic.2015.06.003
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1732 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE. https://doi.org/10.1109/ICRA.2015.7139019
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1735 | OA
Ando, R., Thürey, N., & Wojtan, C. J. (2015). A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum, 34(2), 473–480. https://doi.org/10.1111/cgf.12576
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1789 | OA
Kuechler, A., Zink, A., Wieland, T., Lüdecke, H., Cremer, K., Salviati, L., … Engels, H. (2015). Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics, 23(6), 753–760. https://doi.org/10.1038/ejhg.2014.165
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1793 | OA
Symonova, O., Topp, C., & Edelsbrunner, H. (2015). DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One, 10(6). https://doi.org/10.1371/journal.pone.0127657
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1804 | OA
Altmeyer, S., Do, Y., & Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports, 5. https://doi.org/10.1038/srep10781
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1807 | OA
Goldman, M., & Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations, 21(3), 603–624. https://doi.org/10.1051/cocv/2014040
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1809 | OA
Trubenova, B., Novak, S., & Hager, R. (2015). Indirect genetic effects and the dynamics of social interactions. PLoS One, 10(5). https://doi.org/10.1371/journal.pone.0126907
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1810 | OA
Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology, 27, 1–9. https://doi.org/10.1016/j.mib.2015.05.008
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811 | OA
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, 56(5). https://doi.org/10.1063/1.4921227
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1812 | OA
Lahrz, M., Lemeshko, M., & Mathey, L. (2015). Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics, 17(4). https://doi.org/10.1088/1367-2630/17/4/045005
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813 | OA
Schmidt, R., & Lemeshko, M. (2015). Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters, 114(20). https://doi.org/10.1103/PhysRevLett.114.203001
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1814 | OA
Jeschke, S., & Wojtan, C. J. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics, 34(3). https://doi.org/10.1145/2714572
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1817 | OA
Porazinski, S., Wang, H., Asaoka, Y., Behrndt, M., Miyamoto, T., Morita, H., … Furutani Seiki, M. (2015). YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature, 521(7551), 217–221. https://doi.org/10.1038/nature14215
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1818 | OA
Polechova, J., & Barton, N. H. (2015). Limits to adaptation along environmental gradients. PNAS, 112(20), 6401–6406. https://doi.org/10.1073/pnas.1421515112
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1820 | OA
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.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1823 | OA
Chevereau, G., & Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. Molecular Systems Biology, 11(4). https://doi.org/10.15252/msb.20156098
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824 | OA
Knebel, J., Weber, M., Krüger, T. H., & Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. Nature Communications, 6. https://doi.org/10.1038/ncomms7977
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1827 | OA
Friedlander, T., Mayo, A., Tlusty, T., & Alon, U. (2015). Evolution of bow-tie architectures in biology. PLoS Computational Biology, 11(3). https://doi.org/10.1371/journal.pcbi.1004055
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1828 | OA
Akopyan, A., Pirogov, S., & Rybko, A. (2015). Invariant measures of genetic recombination process. Journal of Statistical Physics, 160(1), 163–167. https://doi.org/10.1007/s10955-015-1238-5
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications