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.
9789 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8194 | 
Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8571 |
Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 49–75, doi:10.29007/zkf6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 7808 |
Giacobbe, Mirco, et al. “How Many Bits Does It Take to Quantize Your Neural Network?” International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 12079, Springer Nature, 2020, pp. 79–97, doi:10.1007/978-3-030-45237-7_5.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8332 |
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8332.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 6761 |
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, vol. 807, Elsevier, 2020, pp. 42–55, doi:10.1016/j.tcs.2019.06.031.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 11674 |
Henzinger, Monika H., et al. “Dynamic Clustering to Minimize the Sum of Radii.” Algorithmica, vol. 82, no. 11, Springer Nature, 2020, pp. 3183–94, doi:10.1007/s00453-020-00721-7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 11818 |
Henzinger, Monika H., and Sagar Kale. “Fully-Dynamic Coresets.” 28th Annual European Symposium on Algorithms, vol. 173, 57, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ESA.2020.57.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 11816 |
Henzinger, Monika H., et al. “Dynamic Matching Algorithms in Practice.” 8th Annual European Symposium on Algorithms, vol. 173, 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ESA.2020.58.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 11819 |
Henzinger, Monika H., et al. “Finding All Global Minimum Cuts in Practice.” 28th Annual European Symposium on Algorithms, vol. 173, 59, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ESA.2020.59.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 11824 |
Henzinger, Monika H., et al. “Dynamic Approximate Maximum Independent Set of Intervals, Hypercubes and Hyperrectangles.” 36th International Symposium on Computational Geometry, vol. 164, 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.51.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 11822 |
Hanauer, Kathrin, et al. “Faster Fully Dynamic Transitive Closure in Practice.” 18th International Symposium on Experimental Algorithms, vol. 160, 14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SEA.2020.14.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 11825 |
Henzinger, Monika H., and Pan Peng. “Constant-Time Dynamic (Δ+1)-Coloring.” 37th International Symposium on Theoretical Aspects of Computer Science, vol. 154, 53, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.STACS.2020.53.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 11894 |
Goranci, Gramoz, et al. “Improved Guarantees for Vertex Sparsification in Planar Graphs.” SIAM Journal on Discrete Mathematics, vol. 34, no. 1, Society for Industrial & Applied Mathematics, 2020, pp. 130–62, doi:10.1137/17m1163153.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 11978 |
Malik, Jamal A., et al. “Evidence for Photocatalyst Involvement in Oxidative Additions of Nickel-Catalyzed Carboxylate O-Arylations.” Journal of the American Chemical Society, vol. 142, no. 25, American Chemical Society, 2020, pp. 11042–49, doi:10.1021/jacs.0c02848.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 11986 |
Rosso, Cristian, et al. “An Oscillatory Plug Flow Photoreactor Facilitates Semi-Heterogeneous Dual Nickel/Carbon Nitride Photocatalytic C–N Couplings.” Reaction Chemistry and Engineering, vol. 5, no. 3, Royal Society of Chemistry, 2020, pp. 597–604, doi:10.1039/d0re00036a.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 11979 |
Gisbertz, Sebastian, et al. “Overcoming Limitations in Dual Photoredox/Nickel-Catalysed C–N Cross-Couplings Due to Catalyst Deactivation.” Nature Catalysis, vol. 3, no. 8, Springer Nature, 2020, pp. 611–20, doi:10.1038/s41929-020-0473-6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Published | Journal Article | IST-REx-ID: 11969 |
Cavedon, Cristian, et al. “Photochemical Strategies for Carbon–Heteroatom Bond Formation.” European Journal of Organic Chemistry, vol. 2020, no. 10, Wiley, 2020, pp. 1379–92, doi:10.1002/ejoc.201901173.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Submitted | Preprint | IST-REx-ID: 9699 |
Monserrat, Bartomeu, et al. “Extracting Ice Phases from Liquid Water: Why a Machine-Learning Water Model Generalizes so Well.” ArXiv, 2006.13316, doi:10.48550/arXiv.2006.13316.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 11966
Gisbertz, Sebastian, and Bartholomäus Pieber. “Heterogeneous Photocatalysis in Organic Synthesis.” ChemPhotoChem, vol. 4, no. 7, Wiley, 2020, pp. 454–454, doi:10.1002/cptc.202000137.
View
| DOI
2020 | Published | Journal Article | IST-REx-ID: 13361 |
Grommet, Angela B., et al. “Molecular Photoswitching in Confined Spaces.” Accounts of Chemical Research, vol. 53, no. 11, American Chemical Society, 2020, pp. 2600–10, doi:10.1021/acs.accounts.0c00434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC