Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6743 Publications

2023 | Published | Conference Paper | IST-REx-ID: 14259 | OA
Kretinsky, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20
[Published Version] View | Files available | DOI | WoS
 
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 | Published | Journal Article | IST-REx-ID: 12960 | OA
Boissonnat, J. D., Kachanovich, S., & Wintraecken, M. (2023). Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations. SIAM Journal on Computing. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21M1412918
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14256 | OA
Mathis, S., & Bugnet, L. A. (2023). Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202346832
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14547 | OA
Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria. https://doi.org/10.15479/14547
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 14749 | OA
Mishra, U., Li, V., Wald, S., Agafonova, S., Diorico, F. R., & Hosten, O. (2023). Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. Optica Publishing Group. https://doi.org/10.1364/ol.495553
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13233 | OA
Agafonova, S., Lemeshko, M., & Volosniev, A. (2023). Finite-range bias in fitting three-body loss to the zero-range model. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.107.L061304
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13264 | OA
Phan, D. T., Falthansl-Scheinecker, P., Mishra, U., Strickland, W. M., Langone, D., Shabani, J., & Higginbotham, A. P. (2023). Gate-tunable superconductor-semiconductor parametric amplifier. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.19.064032
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14641
Hennessey-Wesen, M. (2023). Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14641
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 14666 | OA
Chintaluri, C., & Vogels, T. P. (2023). Metabolically regulated spiking could serve neuronal energy homeostasis and protect from reactive oxygen species. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2306525120
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 12675 | OA
Becker, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B., … Schanda, P. (2023). The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202219314
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 12114 | OA
Gauto, D. F., Lebedenko, O. O., Becker, L. M., Ayala, I., Lichtenecker, R., Skrynnikov, N. R., & Schanda, P. (2023). Aromatic ring flips in differently packed ubiquitin protein crystals from MAS NMR and MD. Journal of Structural Biology: X. Elsevier. https://doi.org/10.1016/j.yjsbx.2022.100079
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13968 | OA
Hasler, R., Steger-Polt, M. H., Reiner-Rozman, C., Fossati, S., Lee, S., Aspermair, P., … Knoll, W. (2023). Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing. Frontiers in Physics. Frontiers. https://doi.org/10.3389/fphy.2023.1202132
[Published Version] View | Files available | DOI | WoS
 
2023 | Research Data Reference | IST-REx-ID: 19308 | OA
Hasler, R., Polt, M.-H., Reiner-Rozman, C., Fossati, S., Lee, S., Aspermair, P., … Knoll, W. (2023). Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing. Zenodo. https://doi.org/10.5281/ZENODO.7716920
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Draft | 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 | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14771 | OA
Iofinova, E. B., Krumes, A., & Alistarh, D.-A. (2023). Bias in pruned vision models: In-depth analysis and countermeasures. In 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24364–24373). Vancouver, BC, Canada: IEEE. https://doi.org/10.1109/cvpr52729.2023.02334
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
Svoboda, J., Tkadlec, J., Kaveh, K., & Chatterjee, K. (2023). Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. The Royal Society. https://doi.org/10.1098/rspa.2022.0685
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 12762 | OA
Lombardi, F., Pepic, S., Shriki, O., Tkačik, G., & De Martino, D. (2023). Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. Springer Nature. https://doi.org/10.1038/s43588-023-00410-9
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
earlier version | 2023 | Draft | Preprint | IST-REx-ID: 13312 | OA
Valentini, M., Sagi, O., Baghumyan, L., Gijsel, T. de, Jung, J., Calcaterra, S., … Katsaros, G. (n.d.). Radio frequency driven superconducting diode and parity conserving  Cooper pair transport in a two-dimensional germanium hole gas. arXiv. https://doi.org/10.48550/arXiv.2306.07109
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13340 | OA
Gemen, J., Church, J. R., Ruoko, T.-P., Durandin, N., Białek, M. J., Weissenfels, M., … Klajn, R. (2023). Disequilibrating azoarenes by visible-light sensitization under confinement. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.adh9059
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | chemRxiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed