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.

4188 Publications


2023 | Research Data | IST-REx-ID: 13116 | OA
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13116
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13314 | OA
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02218-w
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14257 | OA
Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … Danzl, J. G. (2023). Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-023-01911-8
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 13286 | OA
Valentini, M. (2023). Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13286
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk, S. (2023). aggregation_data. Figshare.
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14758 | OA
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14654 | OA
Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., & Sherwood, S. C. (2023). Assessing memory in convection schemes using idealized tests. Journal of Advances in Modeling Earth Systems. Wiley. https://doi.org/10.1029/2023MS003726
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13139 | OA
Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_25
[Published Version] View | Files available | DOI | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., & Sherwood, S. C. (2023). Data-assessing memory in convection schemes using idealized tests. Zenodo. https://doi.org/10.5281/ZENODO.7757041
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo. https://doi.org/10.5281/ZENODO.7548214
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14260 | OA
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo. https://doi.org/10.5281/ZENODO.7877790
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., & Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14993 | OA
Currin, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja, A., … Machangara, D. (2023). A framework for grassroots research collaboration in machine learning and global health. In 1st Workshop on Machine Learning & Global Health. Kigali, Rwanda: OpenReview.
[Published Version] View | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_9
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14743 | OA
Tennage, P., Basescu, C., Kokoris Kogias, E., Syta, E., Jovanovic, P., Estrada-Galinanes, V., & Ford, B. (2023). QuePaxa: Escaping the tyranny of timeouts in consensus. In Proceedings of the 29th Symposium on Operating Systems Principles (pp. 281–297). Koblenz, Germany: Association for Computing Machinery. https://doi.org/10.1145/3600006.3613150
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. https://doi.org/10.5281/ZENODO.8191723
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Preprint | IST-REx-ID: 15039 | OA
Prach, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv. https://doi.org/10.48550/ARXIV.2311.06103
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA
Stankowski, S. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo. https://doi.org/10.5281/ZENODO.8318995
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13214 | OA
Abualia, R., Riegler, S., & Benková, E. (2023). Nitrate, auxin and cytokinin - a trio to tango. Cells. MDPI. https://doi.org/10.3390/cells12121613
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 13173 | OA
Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13173
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13236 | OA
Zheng, D. W., & Henzinger, M. H. (2023). Multiplicative auction algorithm for approximate maximum weight bipartite matching. In International Conference on Integer Programming and Combinatorial Optimization (Vol. 13904, pp. 453–465). Madison, WI, United States: Springer Nature. https://doi.org/10.1007/978-3-031-32726-1_32
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13182 | OA
Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (2023). Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-023-00126-9
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13044 | OA
Mondal, S., Jethwa, R. B., Pant, B., Hauschild, R., & Freunberger, S. A. (2023). Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/d3fd00088e
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 14587 | OA
Marveggio, A. (2023). Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14587
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14922 | OA
Esposito, A. R., & Mondelli, M. (2023). Concentration without independence via information measures. In Proceedings of 2023 IEEE International Symposium on Information Theory (pp. 400–405). Taipei, Taiwan: IEEE. https://doi.org/10.1109/isit54713.2023.10206899
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 15173 | OA
Kwan, M. A., Sah, A., & Sawhney, M. (2023). Enumerating matroids and linear spaces. Comptes Rendus Mathematique. Academie des Sciences. https://doi.org/10.5802/crmath.423
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14772 | OA
Agresti, A., & Hussein, A. (2023). Maximal Lp-regularity and H∞-calculus for block operator matrices and applications. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2023.110146
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Preprint | IST-REx-ID: 15128 | OA
Riabov, V. (n.d.). Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. https://doi.org/10.48550/arXiv.2301.01712
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Preprint | IST-REx-ID: 14732 | OA
Olusanya, O. O., Khudiakova, K., & Sachdeva, H. (n.d.). Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. https://doi.org/10.1101/2023.12.02.569702
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov, A., Hashemi, D., Nadiradze, G., & Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 12979 | OA
Condor, J., Piovarci, M., Bickel, B., & Didyk, P. (2023). Gloss-aware color correction for 3D printing. In SIGGRAPH ’23 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3588432.3591546
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 13228 | OA
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3593013.3594028
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12984 | OA
Piovarci, M., Chapiro, A., & Bickel, B. (2023). Skin-Screen: A computational fabrication framework for color tattoos. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3592432
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14833 | OA
Stankowski, S., Zagrodzka, Z. B., Galindo, J., Montaño-Rendón, M., Faria, R., Mikhailova, N., … Butlin, R. K. (2023). Whole-genome phylogeography of the intertidal snail Littorina saxatilis. Evolutionary Journal of the Linnean Society. Oxford University Press. https://doi.org/10.1093/evolinnean/kzad002
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14613 | OA
Lasne, C., Elkrewi, M. N., Toups, M. A., Layana Franco, L. A., Macon, A., & Vicoso, B. (2023). The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msad245
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 14614 | OA
Lasne, C., & Elkrewi, M. N. (2023). The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14614
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 14591 | OA
Gnyliukh, N., Johnson, A. J., Nagel, M.-K., Monzer, A., Hlavata, A., Isono, E., … Friml, J. (n.d.). Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants. bioRxiv. https://doi.org/10.1101/2023.10.09.561523
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2023 | Thesis | IST-REx-ID: 12491 | OA
Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12491
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12781 | OA
Kravchuk, V. (2023). Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12781
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12809 | OA
Alcarva, C. (2023). Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12809
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13201 | OA
Wang, Y., Yuan, Z., Wang, J., Xiao, H., Wan, L., Li, L., … Zhang, J. (2023). The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2221313120
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14226 | OA
Stephenson, E. R. (2023). Generalizing medial axes with homology switches. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14226
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12531 | OA
Kirillova, K. (2023). Panoramic functional gradients across the mouse retina. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12531
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12800 | OA
Julseth, M. (2023). The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12800
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12897 | OA
Hafner, C. (2023). Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12897
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13188 | OA
Hafner, C., & Bickel, B. (2023). The design space of Kirchhoff rods. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3606033
[Submitted Version] View | Files available | DOI | WoS
 

2023 | Thesis | IST-REx-ID: 12470 | OA
Michalska, J. M. (2023). A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12470
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10652 | OA
Hosten, O. (2022). Constraints on probing quantum coherence to infer gravitational entanglement. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.4.013023
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications