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.
1790 Publications
2017 |Published| Book Chapter | IST-REx-ID: 424 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 639 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 949 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |Published| Journal Article | IST-REx-ID: 100 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Aasen et al., “Milestones toward Majorana-based quantum computing,” Physical Review X, vol. 6, no. 3. American Physical Society, 2016.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Rueda et al., “Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1151 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Simonini et al., “A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis,” Genes and Development, vol. 30, no. 20. Cold Spring Harbor Laboratory Press, pp. 2286–2296, 2016.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 |Published| Journal Article | IST-REx-ID: 11575 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. del P. Lagos et al., “The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations,” Monthly Notices of the Royal Astronomical Society, vol. 459, no. 3. Oxford University Press, pp. 2632–2650, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11578 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. J. Matthee et al., “The CALYMHA survey: Lyα escape fraction and its dependence on galaxy properties at z = 2.23,” Monthly Notices of the Royal Astronomical Society, vol. 458, no. 1. Oxford University Press, pp. 449–467, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Z. Pietrzak and S. Maciej, “Pseudoentropy: Lower-bounds for chain rules and transformations,” presented at the TCC: Theory of Cryptography Conference, Beijing, China, 2016, vol. 9985, pp. 183–203.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 11836 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Y. K. Cheung, G. Goranci, and M. H. Henzinger, “Graph minors for preserving terminal distances approximately - lower and upper bounds,” in 43rd International Colloquium on Automata, Languages, and Programming, Rome, Italy, 2016, vol. 55.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11834 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Goranci, M. H. Henzinger, and M. Thorup, “Incremental exact min-cut in poly-logarithmic amortized update time,” in 24th Annual European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11835 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. H. Henzinger and S. Neumann, “Incremental and fully dynamic subgraph connectivity for emergency planning,” in 24th Annual European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11891 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization,” SIAM Journal on Computing, vol. 45, no. 3. Society for Industrial & Applied Mathematics, pp. 947–1006, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1212 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, and J. Friml, “Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity,” Current Biology, vol. 26, no. 22. Cell Press, pp. 3026–3032, 2016.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1216 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Kasten et al., “Acceleration feature points of unsteady shear flows,” Archives of Mechanics, vol. 68, no. 1. Polish Academy of Sciences Publishing House, pp. 55–80, 2016.
[Published Version]
View
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 122 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. R. Waitukaitis and M. Van Hecke, “Origami building blocks: Generic and special four-vertices,” Physical Review E - Statistical, Nonlinear, and Soft Matter Physics, vol. 93, no. 2. American Physiological Society, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1227 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Kong et al., “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1231 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K. Z. Pietrzak, and S. Tessaro, “On the complexity of scrypt and proofs of space in the parallel random oracle model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9666, pp. 358–387.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1233 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Fuchsbauer, F. Heuer, E. Kiltz, and K. Z. Pietrzak, “Standard security does imply security against selective opening for markov distributions,” presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel, 2016, vol. 9562, pp. 282–305.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)