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.
9311 Publications
2023 |Published| Technical Report | IST-REx-ID: 12407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa, Marek, et al. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12407.
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12866
Currin, Christopher, and Chad Beyer. “Altered Childhood Brain Development in Autism and Epilepsy.” Encyclopedia of Child and Adolescent Health, edited by Bonnie Halpern-Felsher, 1st ed., Elsevier, 2023, pp. 86–98, doi:10.1016/b978-0-12-818872-9.00129-1.
View
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12668 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhao, Long, et al. “Dynamic Chromatin Regulatory Programs during Embryogenesis of Hexaploid Wheat.” Genome Biology, vol. 24, 7, Springer Nature, 2023, doi:10.1186/s13059-022-02844-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12920 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Traxler, Michael, et al. “Programmable Photocatalytic Activity of Multicomponent Covalent Organic Frameworks Used as Metallaphotocatalysts.” Chemistry – A European Journal, vol. 29, no. 4, e202202967, Wiley, 2023, doi:10.1002/chem.202202967.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 12921 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Madani, Amiera, and Bartholomäus Pieber. “In Situ Reaction Monitoring in Photocatalytic Organic Synthesis.” ChemCatChem, vol. 15, no. 7, e202201583, Wiley, 2023, doi:10.1002/cctc.202201583.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 12919
Murakami, Sho, et al. “Photocatalytic Cleavage of Trityl Protected Thiols and Alcohols.” Synthesis, vol. 55, no. 09, Georg Thieme Verlag, 2023, pp. 1367–74, doi:10.1055/a-1979-5933.
View
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13048 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable Subsets of the Medial Axis.” Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–76, doi:10.1145/3564246.3585113.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13143 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” Public-Key Cryptography - PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:10.1007/978-3-031-31368-4_19.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 13142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13141 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:10.1007/978-3-031-30820-8_15.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 12826 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pokusaeva, Victoria. Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12826.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12086 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner, Herbert, and Georg F. Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica, vol. 85, Springer Nature, 2023, pp. 277–95, doi:10.1007/s00453-022-01027-6.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12104 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.” Journal of Evolution Equations, vol. 23, no. 1, 9, Springer Nature, 2023, doi:10.1007/s00028-022-00859-7.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 11434
GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.” Climate Dynamics, vol. 60, Springer Nature, 2023, pp. 427–42, doi:10.1007/s00382-022-06337-7.
View
| Files available
| DOI
| WoS
2023 |Published| Conference Paper | IST-REx-ID: 12467 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13180 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13251 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wei, Yujing, et al. “Bond Polarizability as a Probe of Local Crystal Fields in Hybrid Lead-Halide Perovskites.” The Journal of Physical Chemistry Letters, vol. 14, no. 27, American Chemical Society, 2023, pp. 6309–14, doi:10.1021/acs.jpclett.3c01158.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13292 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:10.4230/LIPIcs.ICALP.2023.129.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13277 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tucci, Gennaro, et al. “Stochastic Representation of the Quantum Quartic Oscillator.” SciPost Physics Core, vol. 6, no. 2, 029, SciPost Foundation, 2023, doi:10.21468/scipostphyscore.6.2.029.
[Published Version]
View
| Files available
| DOI
| arXiv