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.
4964 Publications
2023 | Conference Paper | IST-REx-ID: 14260 | 
Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 2023, doi:10.5281/ZENODO.7877790.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 15023 |
Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14993 |
Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version]
View
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14076 |
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14743 |
Tennage, Pasindu, et al. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–97, doi:10.1145/3600006.3613150.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Abstract | IST-REx-ID: 14748
Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 5, Association for Computing Machinery, 2023, doi:10.1145/3606037.3606836.
View
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 13984
Franschitz, Anna. Individual and Social Immunity against Viral Infections in Ants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13984.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15039 |
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski, Sean. Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails. Zenodo, 2023, doi:10.5281/ZENODO.8318995.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13214 |
Abualia, R., et al. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells, vol. 12, no. 12, 1613, MDPI, 2023, doi:10.3390/cells12121613.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, Katarzyna. Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14323.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto, Ryuichi. Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:13173.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13236 |
Zheng, Da Wei, and Monika H. Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” International Conference on Integer Programming and Combinatorial Optimization, vol. 13904, Springer Nature, 2023, pp. 453–65, doi:10.1007/978-3-031-32726-1_32.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13182 |
Biswas, Ranita, et al. “Geometric Characterization of the Persistence of 1D Maps.” Journal of Applied and Computational Topology, Springer Nature, 2023, doi:10.1007/s41468-023-00126-9.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13044 |
Mondal, Soumyadip, et al. “Singlet Oxygen in Non-Aqueous Oxygen Redox: Direct Spectroscopic Evidence for Formation Pathways and Reliability of Chemical Probes.” Faraday Discussions, Royal Society of Chemistry, 2023, doi:10.1039/d3fd00088e.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14587 |
Marveggio, Alice. Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14587.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14922 |
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–05, doi:10.1109/isit54713.2023.10206899.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv