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.
1621 Publications
2018 |Published| Conference Paper | IST-REx-ID: 311 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Quantitative Analysis of Smart Contracts. Vol. 10801, Springer, 2018, pp. 739–67, doi:10.1007/978-3-319-89884-1_26.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 6340 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.” Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–48, doi:10.1109/Cybermatics_2018.2018.00231.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 461 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kühnen, Jakob, et al. “Destabilizing Turbulence in Pipe Flow.” Nature Physics, vol. 14, Nature Publishing Group, 2018, pp. 386–90, doi:10.1038/s41567-017-0018-3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 11066 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Franks, Tobias M., et al. “Nup98 Recruits the Wdr82–Set1A/COMPASS Complex to Promoters to Regulate H3K4 Trimethylation in Hematopoietic Progenitor Cells.” Genes & Development, vol. 31, no. 22, Cold Spring Harbor Laboratory, 2017, pp. 2222–34, doi:10.1101/gad.306753.117.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 11562 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sobral, David, et al. “The CALYMHA Survey: Lyα Luminosity Function and Global Escape Fraction of Lyα Photons at z = 2.23.” Monthly Notices of the Royal Astronomical Society, vol. 466, no. 1, Oxford University Press, 2017, pp. 1242–58, doi:10.1093/mnras/stw3090.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 11564 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matthee, Jorryt J., et al. “The Production and Escape of Lyman-Continuum Radiation from Star-Forming Galaxies at z ∼ 2 and Their Redshift Evolution.” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 3, Oxford University Press, 2017, pp. 3637–55, doi:10.1093/mnras/stw2973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 11561 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matthee, Jorryt J., et al. “Boötes-HiZELS: An Optical to near-Infrared Survey of Emission-Line Galaxies at z = 0.4–4.7.” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 1, Oxford University Press, 2017, pp. 629–49, doi:10.1093/mnras/stx1569.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 11572 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matthee, Jorryt J., et al. “Spectroscopic Properties of Luminous Ly α Emitters at z ≈ 6–7 and Comparison to the Lyman-Break Population.” Monthly Notices of the Royal Astronomical Society, vol. 472, no. 1, Oxford University Press, 2017, pp. 772–87, doi:10.1093/mnras/stx2061.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Submitted| Preprint | IST-REx-ID: 11633 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bugnet, Lisa Annabelle, et al. “FliPer: Checking the Reliability of Global Seismic Parameters from Automatic Pipelines.” ArXiv, 1711.02890, doi:10.48550/arXiv.1711.02890.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 11772
Henzinger, Monika H. “The State of the Art in Dynamic Graph Algorithms.” 44th International Conference on Current Trends in Theory and Practice of Computer Science, vol. 10706, Springer Nature, 2017, pp. 40–44, doi:10.1007/978-3-319-73117-9_3.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 11829 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Monika H., et al. “Conditional Hardness for Sensitivity Problems.” 8th Innovations in Theoretical Computer Science Conference, vol. 67, 26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ITCS.2017.26.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 11833 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goranci, Gramoz, et al. “The Power of Vertex Sparsifiers in Dynamic Graph Algorithms.” 25th Annual European Symposium on Algorithms, vol. 87, 45, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ESA.2017.45.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 11832 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Monika H., et al. “Dynamic Clustering to Minimize the Sum of Radii.” 25th Annual European Symposium on Algorithms, vol. 87, 48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ESA.2017.48.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 11874 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bhattacharya, Sayan, et al. “Fully Dynamic Approximate Maximum Matching and Minimum Vertex Cover in o(Log3 n) Worst Case Update Time.” 28th Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 0, Society for Industrial and Applied Mathematics, 2017, pp. 470–89, doi:10.1137/1.9781611974782.30.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 11831 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goranci, Gramoz, et al. “Improved Guarantees for Vertex Sparsification in Planar Graphs.” 25th Annual European Symposium on Algorithms, vol. 87, 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ESA.2017.44.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 1191 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.” Bulletin of Mathematical Biology, vol. 79, no. 3, Springer, 2017, pp. 525–59, doi:10.1007/s11538-016-0244-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 12571 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Approximate Vertex Cover and Fractional Matching in O(1) Amortized Update Time.” 19th International Conference on Integer Programming and Combinatorial Optimization, vol. 10328, Springer Nature, 2017, pp. 86–98, doi:10.1007/978-3-319-59250-3_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 464 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 484 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:10.4310/ATMP.2017.v21.n3.a4.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 534 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Burton, Benjamin, et al. “Finding Non-Orientable Surfaces in 3-Manifolds.” Discrete & Computational Geometry, vol. 58, no. 4, Springer, 2017, pp. 871–88, doi:10.1007/s00454-017-9900-0.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv