Please note that ISTA 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.
3825 Publications
2015 | Conference Paper | IST-REx-ID: 1649 | 
Benhamouda F, Krenn S, Lyubashevsky V, Pietrzak KZ. 2015. Efficient zero-knowledge proofs for commitments from learning with errors over rings. 9326, 305–325.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1650 |
Skórski M, Golovnev A, Pietrzak KZ. 2015. Condensed unpredictability . ICALP: Automata, Languages and Programming, LNCS, vol. 9134, 1046–1057.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1652 |
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.
View
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1654 |
Gazi P, Pietrzak KZ, Tessaro S. 2015. Generic security of NMAC and HMAC with input whitening. 9453, 85–109.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1655 |
Martius GS, Olbrich E. 2015. Quantifying emergent behavior of autonomous robots. Entropy. 17(10), 7266–7297.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July, 7174926.
View
| Files available
| DOI
| arXiv
2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee K, Komárková Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes. , 244–256.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1658
Bogomolov S, Henzinger TA, Podelski A, Ruess J, Schilling C. 2015. Adaptive moment closure for parameter inference of biochemical reaction networks. 9308, 77–89.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1659 |
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem. LICS. LICS: Logic in Computer ScienceLogic in Computer Science, 750–761.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1660 |
Brázdil T, Kiefer S, Kučera A, Novotný P. 2015. Long-run average behaviour of probabilistic vector addition systems. LICS: Logic in Computer Science, LICS, , 44–55.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1661 |
Chatterjee K, Henzinger M, Loitzenbauer V. 2015. Improved algorithms for one-pair and k-pair Streett objectives. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July, 7174888.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2015 | Journal Article | IST-REx-ID: 1663
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.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1664 |
Barkley D, Song B, Vasudevan M, Lemoult GM, Avila M, Hof B. 2015. The rise of fully turbulent flow. Nature. 526(7574), 550–553.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1665 |
Landau D, Tausch E, Taylor Weiner A, Stewart C, Reiter J, Bahlo J, Kluth S, Božić 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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1666 |
Tugrul M, Paixao T, Barton NH, Tkačik G. 2015. Dynamics of transcription factor binding site evolution. PLoS Genetics. 11(11).
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1667 |
Brázdil T, Korenčiak L, Krčál J, Novotný P, Řehák V. 2015. Optimizing performance of continuous-time stochastic systems using timeout synthesis. 9259, 141–159.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1668 |
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.
View
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1669 |
Pietrzak KZ, Skórski M. 2015. The chain rule for HILL pseudoentropy, revisited. 9230, 81–98.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1670
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.
View
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 1671 |
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.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1672 |
Alwen JF, Ostrovsky R, Zhou H, Zikas V. 2015. Incoercible multi-party computation and universally composable receipt-free voting. 9216, 763–780.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1673 |
Adlam B, Chatterjee K, Nowak M. 2015. Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 471(2181), 20150114.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1674 |
Lee J, Schnelli K. 2015. Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. 27(8), 1550018.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2015. Proofs of space. 9216, 585–605.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1677 |
Alt J. 2015. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 56(10), 103301.
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1678 |
Inglés Prieto Á, Gschaider-Reichhart E, Muellner M, Nowak M, Nijman S, Grusch M, Janovjak HL. 2015. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 11(12), 952–954.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1679 |
Lemoult GM, Maier P, Hof B. 2015. Taylor’s Forest. Physics of Fluids. 27(9), 091102.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1681 |
Priklopil T, Chatterjee K. 2015. Evolution of decisions in population games with sequentially searching individuals. Games. 6(4), 413–437.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1682 |
Franek P, Krcál M. 2015. Robust satisfiability of systems of equations. Journal of the ACM. 62(4), 26.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1685 |
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.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1687 |
Sarris M, Sixt MK. 2015. Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. 36(10), 93–102.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1688 |
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.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1689 |
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. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 259–268.
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová M, Chmelik M, Leahy K, Eniser H, Chatterjee K, Cěrná 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.
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1692
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.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1693 |
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.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1695 |
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.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1696 |
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), 125135.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1697 |
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), e1004304.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1698 |
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.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1699 |
Uecker H, Setter D, Hermisson J. 2015. Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. 70(7), 1523–1580.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1700 |
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.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1701 |
Tkačik 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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC