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.

5870 Publications


2015 | Conference Paper | IST-REx-ID: 1667 | OA
Brázdil, Tomáš, L’Uboš Korenčiak, Jan Krčál, Petr Novotny, and Vojtěch Řehák. “Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.” Lecture Notes in Computer Science. Springer, 2015. 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, Peter, Jooyoung Lee, Yannick Seurin, John Steinberger, and Stefano Tessaro. “Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes.” Lecture Notes in Computer Science. Springer, 2015. 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, Krzysztof Z, and Maciej Skórski. “The Chain Rule for HILL Pseudoentropy, Revisited.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22174-8_5.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1670
Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior,” 42–46. AAAI Press, 2015.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1671 | OA
Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC,” 9215:368–87. Springer, 2015. https://doi.org/10.1007/978-3-662-47989-6_18.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1672 | OA
Alwen, Joel F, Rafail Ostrovsky, Hongsheng Zhou, and Vassilis Zikas. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_37.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673 | OA
Adlam, Ben, Krishnendu Chatterjee, and Martin Nowak. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471, no. 2181 (2015). https://doi.org/10.1098/rspa.2015.0114.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1674 | OA
Lee, Jioon, and Kevin Schnelli. “Edge Universality for Deformed Wigner Matrices.” Reviews in Mathematical Physics 27, no. 8 (2015). https://doi.org/10.1142/S0129055X1550018X.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. “Proofs of Space.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_29.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1676
Sixt, Michael K, and Erez Raz. “Editorial Overview: Cell Adhesion and Migration.” Current Opinion in Cell Biology 36, no. 10 (2015): 4–6. https://doi.org/10.1016/j.ceb.2015.09.004.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1677 | OA
Alt, Johannes. “The Local Semicircle Law for Random Matrices with a Fourfold Symmetry.” Journal of Mathematical Physics 56, no. 10 (2015). 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, Álvaro, Eva Gschaider-Reichhart, Markus Muellner, Matthias Nowak, Sebastian Nijman, Michael Grusch, and Harald L Janovjak. “Light-Assisted Small-Molecule Screening against Protein Kinases.” Nature Chemical Biology 11, no. 12 (2015): 952–54. https://doi.org/10.1038/nchembio.1933.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1679 | OA
Lemoult, Grégoire M, Philipp Maier, and Björn Hof. “Taylor’s Forest.” Physics of Fluids 27, no. 9 (2015). https://doi.org/10.1063/1.4930850.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1680
Michaliszyn, Jakub, Jan Otop, and Emanuel Kieroňski. “On the Decidability of Elementary Modal Logics.” ACM Transactions on Computational Logic 17, no. 1 (2015). https://doi.org/10.1145/2817825.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1681 | OA
Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.” Games 6, no. 4 (2015): 413–37. https://doi.org/10.3390/g6040413.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682 | OA
Franek, Peter, and Marek Krcál. “Robust Satisfiability of Systems of Equations.” Journal of the ACM 62, no. 4 (2015). https://doi.org/10.1145/2751524.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1683
Letts, Jame A, and Leonid A Sazanov. “Gaining Mass: The Structure of Respiratory Complex I-from Bacterial towards Mitochondrial Versions.” Current Opinion in Structural Biology 33, no. 8 (2015): 135–45. https://doi.org/10.1016/j.sbi.2015.08.008.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684 | OA
Vicoso, Beatriz, and Doris Bachtrog. “Numerous Transitions of Sex Chromosomes in Diptera.” PLoS Biology 13, no. 4 (2015). https://doi.org/10.1371/journal.pbio.1002078.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1685 | OA
Cohen Addad, Vincent, and Arnaud N De Mesmay. “A Fixed Parameter Tractable Approximation Scheme for the Optimal Cut Graph of a Surface,” 9294:386–98. Springer, 2015. https://doi.org/10.1007/978-3-662-48350-3_33.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier, Eva, and Michael K Sixt. “Fragmented Communication between Immune Cells: Neutrophils Blaze a Trail with Migratory Cues for T Cells to Follow to Sites of Infection.” Science 349, no. 6252 (2015): 1055–56. https://doi.org/10.1126/science.aad0867.
View | DOI
 

Search

Filter Publications