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.

4930 Publications


2017 | Journal Article | IST-REx-ID: 6196 | OA
Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact Security of PMAC.” IACR Transactions on Symmetric Cryptology. Ruhr University Bochum, 2017. https://doi.org/10.13154/TOSC.V2016.I2.145-161.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_858.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski, Maciek. “Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_842.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek, Michal. “Complexity of Constraint Satisfaction.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_815.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 718 | OA
Edelsbrunner, Herbert, Anton Nikitenko, and Matthias Reitzner. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.” Advances in Applied Probability. Cambridge University Press, 2017. https://doi.org/10.1017/apr.2017.20.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 559 | OA
Abusalah, Hamza M, Joel F Alwen, Bram Cohen, Danylo Khilko, Krzysztof Z Pietrzak, and Leonid Reyzin. “Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space,” 10625:357–79. Springer, 2017. https://doi.org/10.1007/978-3-319-70697-9_13.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 550 | OA
Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-ECP97.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.
[Submitted Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,” 10205:589–606. Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_34.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/16-ECP38.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 486 | OA
Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.” ACM Transactions on Graphics. ACM, 2017. https://doi.org/10.1145/3130800.3130890.
[Submitted Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.” edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63688-7_5.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842 | OA
Etheridge, Alison, and Nicholas H Barton. “Data for: Establishment in a New Habitat by Polygenic Adaptation.” Mendeley Data, 2017. https://doi.org/10.17632/nw68fxzjpm.1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Thesis | IST-REx-ID: 202 | OA
Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_873.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127 | OA
Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez, Abraham, Sarah A Cepeda Humerez, and Caroline Uhler. “Exact Goodness-of-Fit Testing for the Ising Model.” Scandinavian Journal of Statistics. Wiley-Blackwell, 2017. https://doi.org/10.1111/sjos.12251.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” Probability Theory and Related Fields. Springer, 2017. https://doi.org/10.1007/s00440-015-0692-y.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1433 | OA
Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “Phat - Persistent Homology Algorithms Toolbox.” Journal of Symbolic Computation. Academic Press, 2017. https://doi.org/10.1016/j.jsc.2016.03.008.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2017. https://doi.org/10.1016/j.nahs.2016.04.006.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, Pierre, Chris Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum. Wiley-Blackwell, 2017. https://doi.org/10.1111/cgf.12941.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-016-0256-5.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-016-0278-x.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1336 | OA
Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica. Springer, 2017. https://doi.org/10.1007/s00453-016-0212-1.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields. Springer, 2017. https://doi.org/10.1007/s00440-016-0740-2.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences. Elsevier, 2017. https://doi.org/10.1016/j.jcss.2016.09.009.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf, Ulrich, Roberto Sacco, Gaia Novarino, Marco Niello, Ana Weidenauer, Nicole Praschak Rieder, Harald Sitte, and Matthaeus Willeit. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.” European Journal of Neuroscience. Wiley-Blackwell, 2017. https://doi.org/10.1111/ejn.13418.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 1213
Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.” In Cytokinesis, edited by Arnaud Echard, 137:355–70. Academic Press, 2017. https://doi.org/10.1016/bs.mcb.2016.03.036.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1198 | OA
Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.” Letters in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s11005-016-0915-x.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1207 | OA
Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s00220-016-2805-6.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A, and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2017. https://doi.org/10.1016/j.nahs.2016.09.001.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1199 | OA
Barton, Nicholas H. “How Does Epistasis Influence the Response to Selection?” Heredity. Nature Publishing Group, 2017. https://doi.org/10.1038/hdy.2016.109.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1208 | OA
Zwiernik, Piotr, Caroline Uhler, and Donald Richards. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” Journal of the Royal Statistical Society. Series B: Statistical Methodology. Wiley-Blackwell, 2017. https://doi.org/10.1111/rssb.12217.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Conference Paper | IST-REx-ID: 1174 | OA
Skórski, Maciej. “Lower Bounds on Key Derivation for Square-Friendly Applications,” Vol. 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.STACS.2017.57.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Conference Paper | IST-REx-ID: 1176 | OA
Alwen, Joel F, and Jeremiah Blocki. “Towards Practical Attacks on Argon2i and Balloon Hashing.” IEEE, 2017. https://doi.org/10.1109/EuroSP.2017.47.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1187 | OA
Kiltz, Eike, Krzysztof Z Pietrzak, Daniele Venturi, David Cash, and Abhishek Jain. “Efficient Authentication from Hard Learning Problems.” Journal of Cryptology. Springer, 2017. https://doi.org/10.1007/s00145-016-9247-3.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Conference Paper | IST-REx-ID: 1192 | OA
Kazda, Alexandr, Vladimir Kolmogorov, and Michal Rolinek. “Even Delta-Matroids and the Complexity of Planar Boolean CSPs,” 307–26. SIAM, 2017. https://doi.org/10.1137/1.9781611974782.20.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1180 | OA
Akopyan, Arseniy, Imre Bárány, and Sinai Robins. “Algebraic Vertices of Non-Convex Polyhedra.” Advances in Mathematics. Academic Press, 2017. https://doi.org/10.1016/j.aim.2016.12.026.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
Steenackers, Ward, Petr Klíma, Mussa Quareshy, Igor Cesarino, Robert Kumpf, Sander Corneillie, Pedro Araújo, et al. “Cis-Cinnamic Acid Is a Novel Natural Auxin Efflux Inhibitor That Promotes Lateral Root Formation.” Plant Physiology. American Society of Plant Biologists, 2017. https://doi.org/10.1104/pp.16.00943.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1169 | OA
Novak, Sebastian, and Richard Kollár. “Spatial Gene Frequency Waves under Genotype Dependent Dispersal.” Genetics. Genetics Society of America, 2017. https://doi.org/10.1534/genetics.116.193946.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1160 | OA
Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Dynamics of Ferrofluidic Flow in the Taylor-Couette System with a Small Aspect Ratio.” Scientific Reports. Nature Publishing Group, 2017. https://doi.org/10.1038/srep40012.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1162 | OA
Spałek, Jozef, Michał Zegrodnik, and Jan Kaczmarczyk. “Universal Properties of High Temperature Superconductors from Real Space Pairing T-J-U Model and Its Quantitative Comparison with Experiment.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2017. https://doi.org/10.1103/PhysRevB.95.024506.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1152 | OA
Gajda-Zagorska, Ewa P, Robert Schaefer, Maciej Smołka, David Pardo, and Julen Alvarez Aramberri. “A Multi Objective Memetic Inverse Solver Reinforced by Local Optimization Methods.” Journal of Computational Science. Elsevier, 2017. https://doi.org/10.1016/j.jocs.2016.06.007.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1168 | OA
Perrone, Elisa, Andreas Rappold, and Werner Müller. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications. Springer, 2017. https://doi.org/10.1007/s10260-016-0375-6.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1163
Wysokiński, Marcin, and Jan Kaczmarczyk. “Unconventional Superconductivity in Generalized Hubbard Model Role of Electron–Hole Symmetry Breaking Terms.” Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2017. https://doi.org/10.1088/1361-648X/aa532f.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1173 | OA
Edelsbrunner, Herbert, Alexey Glazyrin, Oleg Musin, and Anton Nikitenko. “The Voronoi Functional Is Maximized by the Delaunay Triangulation in the Plane.” Combinatorica. Springer, 2017. https://doi.org/10.1007/s00493-016-3308-y.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1161
Müller, Jan, and Michael K Sixt. “Cell Migration: Making the Waves.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2016.11.035.
View | DOI | WoS
 

2017 | Conference Paper | IST-REx-ID: 1116 | OA
Avni, Guy, Shubham Goel, Thomas A Henzinger, and Guillermo Rodríguez Navas. “Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults,” 10206:169–87. Springer, 2017. https://doi.org/10.1007/978-3-662-54580-5_10.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1118 | OA
Gan, Jian, Shih-Ming Weng, Alejandro Pernia-Andrade, Jozsef L Csicsvari, and Peter M Jonas. “Phase-Locked Inhibition, but Not Excitation, Underlies Hippocampal Ripple Oscillations in Awake Mice in Vivo.” Neuron. Elsevier, 2017. https://doi.org/10.1016/j.neuron.2016.12.018.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1117 | OA
Chen, Chong, itaru Arai, Rachel Satterield, Samuel Young, and Peter M Jonas. “Synaptotagmin 2 Is the Fast Ca2+ Sensor at a Central Inhibitory Synapse.” Cell Reports. Cell Press, 2017. https://doi.org/10.1016/j.celrep.2016.12.067.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications