Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5794 Publications
2017 | Published | Conference Paper | IST-REx-ID: 637 |

Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. Be adaptive avoid overcommitting. In: Katz J, Shacham H, eds. Vol 10401. Springer; 2017:133-163. doi:10.1007/978-3-319-63688-7_5
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 559 |

Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. In: Vol 10625. Springer; 2017:357-379. doi:10.1007/978-3-319-70697-9_13
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 1187 |

Kiltz E, Pietrzak KZ, Venturi D, Cash D, Jain A. Efficient authentication from hard learning problems. Journal of Cryptology. 2017;30(4):1238-1275. doi:10.1007/s00145-016-9247-3
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1433 |

Bauer U, Kerber M, Reininghaus J, Wagner H. Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. 2017;78:76-90. doi:10.1016/j.jsc.2016.03.008
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1072 |

Bauer U, Edelsbrunner H. The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. 2017;369(5):3741-3762. doi:10.1090/tran/6991
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 836
Ethier M, Jablonski G, Mrozek M. Finding eigenvalues of self-maps with the Kronecker canonical form. In: Special Sessions in Applications of Computer Algebra. Vol 198. Springer; 2017:119-136. doi:10.1007/978-3-319-56932-1_8
View
| DOI
| WoS
2017 | Published | Book Chapter | IST-REx-ID: 634
Schroeder J, Deliu E, Novarino G, Schmeisser M. Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Schmeisser M, Boekers T, eds. Translational Anatomy and Cell Biology of Autism Spectrum Disorder. Vol 224. Advances in Anatomy Embryology and Cell Biology. Springer; 2017:189-211. doi:10.1007/978-3-319-52498-6_10
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 6519 |

Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. Improved set-based symbolic algorithms for parity games. In: Vol 82. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPICS.CSL.2017.18
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 6527 |

Alwen JF, Blocki J, Harsha B. Practical graphs for optimal side-channel resistant memory-hard functions. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. ACM; 2017:1001-1017. doi:10.1145/3133956.3134031
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Technical Report | IST-REx-ID: 5456 |

Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2017. doi:10.15479/AT:IST-2017-872-v1-1
[Published Version]
View
| Files available
| DOI
2017 | Published | Book Chapter | IST-REx-ID: 545 |

Mazur E, Friml J. Vascular tissue development and regeneration in the model plant arabidopsis. In: Jurić S, ed. Plant Engineering. Plant Engineering. IntechOpen; 2017:113-140. doi:10.5772/intechopen.69712
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 485
Rueda Sanchez AR, Sedlmeir F, Collodo M, et al. Single sideband microwave to optical photon conversion-an-electro-optic-realization. In: Optics InfoBase Conference Papers. Vol F54. Optica Publishing Group; 2017. doi:10.1364/NLO.2017.NM3A.1
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 534 |

Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-Manifolds. Discrete & Computational Geometry. 2017;58(4):871-888. doi:10.1007/s00454-017-9900-0
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 1011 |

Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1022 |

Pranav P, Edelsbrunner H, Van De Weygaert R, et al. The topology of the cosmic web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society. 2017;465(4):4281-4310. doi:10.1093/mnras/stw2862
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 947 |

De Martino D, Capuani F, De Martino A. Quantifying the entropic cost of cellular growth control. Physical Review E Statistical Nonlinear and Soft Matter Physics . 2017;96(1). doi:10.1103/PhysRevE.96.010401
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1076 |

Klaiber M, Daněk J, Yakaboylu E, Hatsagortsyan K, Keitel C. Strong-field ionization via a high-order Coulomb-corrected strong-field approximation. Physical Review A - Atomic, Molecular, and Optical Physics. 2017;95(2). doi:10.1103/PhysRevA.95.023403
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1020 |

Caixeiro S, Peruzzo M, Onelli O, Vignolini S, Sapienza R. Disordered cellulose based nanostructures for enhanced light scattering. ACS Applied Materials and Interfaces. 2017;9(9):7885-7890. doi:10.1021/acsami.6b15986
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1021 |

Lopez Alonso JM, Avila M. Boundary layer turbulence in experiments on quasi Keplerian flows. Journal of Fluid Mechanics. 2017;817:21-34. doi:10.1017/jfm.2017.109
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1079 |

Nam P, Van Den Bosch H. Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges. Mathematical Physics, Analysis and Geometry. 2017;20(2). doi:10.1007/s11040-017-9238-0
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv