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.

2033 Publications


2015 | Published | Conference Paper | IST-REx-ID: 1667 | OA
Brázdil T, Korenčiak L, Krčál J, Novotný P, Řehák V. Optimizing performance of continuous-time stochastic systems using timeout synthesis. 2015;9259:141-159. doi:10.1007/978-3-319-22264-6_10
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1668 | OA
Gazi P, Lee J, Seurin Y, Steinberger J, Tessaro S. Relaxing full-codebook security: A refined analysis of key-length extension schemes. 2015;9054:319-341. doi:10.1007/978-3-662-48116-5_16
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1669 | OA
Pietrzak KZ, Skórski M. The chain rule for HILL pseudoentropy, revisited. 2015;9230:81-98. doi:10.1007/978-3-319-22174-8_5
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1671 | OA
Gazi P, Pietrzak KZ, Tessaro S. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. In: Vol 9215. Springer; 2015:368-387. doi:10.1007/978-3-662-47989-6_18
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1672 | OA
Alwen JF, Ostrovsky R, Zhou H, Zikas V. Incoercible multi-party computation and universally composable receipt-free voting. In: Advances in Cryptology - CRYPTO 2015. Vol 9216. Lecture Notes in Computer Science. Springer; 2015:763-780. doi:10.1007/978-3-662-48000-7_37
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1675 | OA
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of space. In: 35th Annual Cryptology Conference. Vol 9216. Springer; 2015:585-605. doi:10.1007/978-3-662-48000-7_29
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

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

2015 | Published | Conference Paper | IST-REx-ID: 1685 | OA
Cohen Addad V, de Mesmay AN. A fixed parameter tractable approximation scheme for the optimal cut graph of a surface. In: Vol 9294. Springer; 2015:386-398. doi:10.1007/978-3-662-48350-3_33
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1693 | OA
Amaro P, Franke B, Krauth J, et al. Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. 2015;92(2). doi:10.1103/PhysRevA.92.022514
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1694
Chatterjee K, Prabhu V. Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. 2015;60(9):2291-2306. doi:10.1109/TAC.2015.2404612
View | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1706 | OA
Pentina A, Ben David S. Multi-task and lifelong learning of kernels. In: Vol 9355. Springer; 2015:194-208. doi:10.1007/978-3-319-24486-0_13
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1729 | OA
Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. 2015;9207:180-197. doi:10.1007/978-3-319-21668-3_11
[Submitted Version] View | Files available | DOI | WoS
 

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

2015 | Published | Journal Article | IST-REx-ID: 17615 | OA
D’Orazio DJ, Haiman Z, Duffell P, Farris BD, MacFadyen AI. A reduced orbital period for the supermassive black hole binary candidate in the quasar PG 1302-102? Monthly Notices of the Royal Astronomical Society. 2015;452(3):2540-2545. doi:10.1093/mnras/stv1457
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 17652 | OA
D’Orazio DJ, Haiman Z, Schiminovich D. Relativistic boost as the cause of periodicity in a massive black-hole binary candidate. Nature. 2015;525(7569):351-353. doi:10.1038/nature15262
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 17663 | OA
Visbal E, Haiman Z, Bryan GL. Limits on population III star formation in minihaloes implied by Planck. Monthly Notices of the Royal Astronomical Society. 2015;453(4):4457-4467. doi:10.1093/mnras/stv1941
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 17685 | OA
Raffai P, Haiman Z, Frei Z. A statistical method to search for recoiling supermassive black holes in active galactic nuclei. Monthly Notices of the Royal Astronomical Society. 2015;455(1):484-492. doi:10.1093/mnras/stv2371
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 778 | OA
Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. Inherent limitations of hybrid transactional memory. In: Vol 9363. Springer; 2015:185-199. doi:10.1007/978-3-662-48653-5_13
View | DOI | Download None (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 780 | OA
Alistarh D-A, Gelashvili R. Polylogarithmic-time leader election in population protocols. In: Vol 9135. Springer; 2015:479-491. doi:10.1007/978-3-662-47666-6_38
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 784
Alistarh D-A, Ballani H, Costa P, et al. A high-radix, low-latency optical switch for data centers. In: ACM; 2015:367-368. doi:10.1145/2785956.2790035
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed