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.

4858 Publications


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 | 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 | Epub ahead of print | 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 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk, S. (2023). aggregation_data. Figshare.
[Published Version] View | Files available | 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 | Submitted | 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 | Accepted | Conference Paper | IST-REx-ID: 13053 | OA
Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., & Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13074 | OA
Peste, E.-A. (2023). Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13074
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13081
Bocanegra, L. (2023). Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13081
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 13091 | OA
Browning, T. D., & Sawin, W. (2023). Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. Mathematical Sciences Publishers. https://doi.org/10.2140/ant.2023.17.719
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13092 | OA
Nan, B., Song, X., Chang, C., Xiao, K., Zhang, Y., Yang, L., … Cabot, A. (2023). Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.3c00625
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Epub ahead of print | Journal Article | IST-REx-ID: 13093 | OA
Nan, B., Li, M., Zhang, Y., Xiao, K., Lim, K. H., Chang, C., … Cabot, A. (2023). Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials. American Chemical Society. https://doi.org/10.1021/acsaelm.3c00055
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 13094 | OA
Azadbakht, A., Meadowcroft, B., Varkevisser, T., Šarić, A., & Kraft, D. J. (2023). Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c00375
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 13095 | OA
Troussicot, L., Vallet, A., Molin, M., Burmann, B. M., & Schanda, P. (2023). Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.3c01200
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 13096 | OA
Degen, M., Santos, J. C., Pluhackova, K., Cebrero, G., Ramos, S., Jankevicius, G., … Hiller, S. (2023). Structural basis of NINJ1-mediated plasma membrane rupture in cell death. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-05991-z
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 13097 | OA
Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13106 | OA
Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., & Fink, J. M. (2023). Entangling microwaves with light. American Association for the Advancement of Science. https://doi.org/10.1126/science.adg3812
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13107 | OA
Knaus, L. (2023). The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13107
[Published Version] View | Files available | DOI
 

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 | Published | Journal Article | IST-REx-ID: 13117 | OA
Redchenko, E., Poshakinskiy, A. V., Sett, R., Zemlicka, M., Poddubny, A. N., & Fink, J. M. (2023). Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38761-6
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed