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.

6965 Publications


2023 | Conference Paper | IST-REx-ID: 15023 | OA
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: 14076 | OA
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 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 | OA
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 | OA
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 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 14974 | OA
Zhang, Cheng, et al. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version] View | Files available
 

2023 | Research Data | IST-REx-ID: 13173 | OA
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 | Journal Article | IST-REx-ID: 13182 | OA
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 | OA
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 | OA
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 | Preprint | IST-REx-ID: 14732 | OA
Olusanya, Oluwafunmilola O., et al. “Genetic Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.” BioRxiv, doi:10.1101/2023.12.02.569702.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–71, doi:10.1145/3558481.3591082.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 12979 | OA
Condor, Jorge, et al. “Gloss-Aware Color Correction for 3D Printing.” SIGGRAPH ’23 Conference Proceedings, 21, Association for Computing Machinery, 2023, doi:10.1145/3588432.3591546.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 13228 | OA
Henzinger, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi:10.1145/3593013.3594028.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14833 | OA
Stankowski, Sean, et al. “Whole-Genome Phylogeography of the Intertidal Snail Littorina Saxatilis.” Evolutionary Journal of the Linnean Society, vol. 2, no. 1, kzad002, Oxford University Press, 2023, doi:10.1093/evolinnean/kzad002.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14613 | OA
Lasne, Clementine, et al. “The Scorpionfly (Panorpa Cognata) Genome Highlights Conserved and Derived Features of the Peculiar Dipteran X Chromosome.” Molecular Biology and Evolution, vol. 40, no. 12, msad245, Oxford University Press, 2023, doi:10.1093/molbev/msad245.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

supervisor%3D499F3ABC-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications