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.
5183 Publications
2022 |Published| Journal Article | IST-REx-ID: 10791 |
Hansen, A. H., Pauler, F., Riedl, M., Streicher, C., Heger, A.-M., Laukoter, S., … Hippenmeyer, S. (2022). Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. Oxford Academic. https://doi.org/10.1093/oons/kvac009
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. https://doi.org/10.1007/978-3-031-13185-1_4
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12511 |
Lechner, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i7.20695
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 14601 |
Zikelic, D., Lechner, M., Chatterjee, K., & Henzinger, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. arXiv. https://doi.org/10.48550/arXiv.2205.11991
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10851 |
Phan, D. T., Senior, J. L., Ghazaryan, A., Hatefipour, M., Strickland, W. M., Shabani, J., … Higginbotham, A. P. (2022). Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.128.107701
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12538 |
Amani, M. H., Bombari, S., Mondelli, M., Pukdee, R., & Rini, S. (2022). Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop. Mumbai, India: IEEE. https://doi.org/10.1109/ITW54588.2022.9965870
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12537 |
Bombari, S., Amani, M. H., & Mondelli, M. (2022). Memorization and optimization in deep neural networks with minimum over-parameterization. In 36th Conference on Neural Information Processing Systems (Vol. 35, pp. 7628–7640). Curran Associates.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12272 |
Stopp, J. A., & Sixt, M. K. (2022). Plan your trip before you leave: The neutrophils’ search-and-run journey. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.202206127
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12155
Qin, Y., Qin, B., Wang, D., Chang, C., & Zhao, L.-D. (2022). Solid-state cooling: Thermoelectrics. Energy & Environmental Science. Royal Society of Chemistry. https://doi.org/10.1039/d2ee02408j
View
| Files available
| DOI
| WoS
2022 |Submitted| Preprint | IST-REx-ID: 14600 |
Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (n.d.). Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. https://doi.org/10.48550/ARXIV.2210.05308
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 14216 |
Norelli, A., Fumero, M., Maiorca, V., Moschella, L., Rodolà, E., & Locatello, F. (n.d.). ASIF: Coupled data turns unimodal models to multimodal without training. arXiv. https://doi.org/10.48550/arXiv.2210.01738
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11373 |
Radler, P., Baranova, N. S., Dos Santos Caldas, P. R., Sommer, C. M., Lopez Pelegrin, M. D., Michalik, D., & Loose, M. (2022). In vitro reconstitution of Escherichia coli divisome activation. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-30301-y
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 11995 |
Schulz, R., Korkut, M., Venturino, A., Colombo, G., & Siegert, S. (2022). Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32390-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12118 |
Valentini, M., Borovkov, M., Prada, E., Martí-Sánchez, S., Botifoll, M., Hofmann, A. C., … Katsaros, G. (2022). Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. Springer Nature. https://doi.org/10.1038/s41586-022-05382-w
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11411 |
Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyac083
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 7791 |
Akopyan, A., & Karasev, R. (2022). When different norms lead to same billiard trajectories? European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-020-00405-0
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12358 |
Sperl, G. (2022). Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12103
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 10759 |
Rzadkowski, W. (2022). Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10759
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 13240 |
Ingole, K. D., Nagarajan, N., Uhse, S., Giannini, C., & Djamei, A. (2022). Tetracycline-controlled (TetON) gene expression system for the smut fungus Ustilago maydis. Frontiers in Fungal Biology. Frontiers Media. https://doi.org/10.3389/ffunb.2022.1029114
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10755 |
Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (2022). The effective mass problem for the Landau-Pekar equations. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/ac3947
[Published Version]
View
| Files available
| DOI
| arXiv