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.

4134 Publications


2022 | Book Chapter | IST-REx-ID: 10820
Liu, J., Marensi, E., & Wu, X. (2022). Effects of streaky structures on the instability of supersonic boundary layers. In S. Sherwin, P. Schmid, & X. Wu (Eds.), IUTAM Laminar-Turbulent Transition (1st ed., Vol. 38, pp. 587–598). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-67902-6_51
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 11844 | OA
Alistarh, D.-A., Rybicki, J., & Voitovych, S. (2022). Near-optimal leader election in population protocols on graphs. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (pp. 246–256). Salerno, Italy. https://doi.org/10.1145/3519270.3538435
View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11917 | OA
Rademacher, S. A. E., & Seiringer, R. (2022). Large deviation estimates for weakly interacting bosons. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-022-02940-4
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10614 | OA
Belyaeva, V., Wachner, S., György, A., Emtenani, S., Gridchyn, I., Akhmanova, M., … Siekhaus, D. E. (2022). Fos regulates macrophage infiltration against surrounding tissue resistance by a cortical actin-based mechanism in Drosophila. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3001494
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11193
Wachner, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. ISTA. https://doi.org/10.15479/at:ista:11193
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10653 | OA
Abramian, S., Muller, C. J., & Risi, C. (2022). Shear-convection interactions and orientation of tropical squall lines. Geophysical Research Letters. Wiley. https://doi.org/10.1029/2021GL095184
View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11777 | OA
Wild, P. (2022). High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology (ISTA). https://doi.org/10.15479/at:ista:11777
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11938 | OA
Aichholzer, O., Arroyo Guevara, A. M., Masárová, Z., Parada, I., Perz, D., Pilz, A., … Vogtenhuber, B. (2022). On compatible matchings. Journal of Graph Algorithms and Applications. Brown University. https://doi.org/10.7155/jgaa.00591
View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11937 | OA
Reinhardt, A., Bethkenhagen, M., Coppari, F., Millot, M., Hamel, S., & Cheng, B. (2022). Thermodynamics of high-pressure ice phases explored with atomistic simulations. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32374-1
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11932
Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria (ISTA). https://doi.org/10.15479/at:ista:11932
View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10788 | OA
Wilsch, F. A. (n.d.). Integral points of bounded height on a certain toric variety. arXiv.
View | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 11362 | OA
Lechner, M. (2022). Learning verifiable representations. ISTA. https://doi.org/10.15479/at:ista:11362
View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 10891
Henzinger, T. A. (2022). Quantitative monitoring of software. In Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature. https://doi.org/10.1007/978-3-030-95561-8_1
View | DOI
 

2022 | Preprint | IST-REx-ID: 11366 | OA
Lechner, M., Amini, A., Rus, D., & Henzinger, T. A. (n.d.). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv. https://doi.org/10.48550/arXiv.2204.07373
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99429-7_1
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11951 | OA
Ben Simon, Y., Käfer, K., Velicky, P., Csicsvari, J. L., Danzl, J. G., & Jonas, P. M. (2022). A direct excitatory projection from entorhinal layer 6b neurons to the hippocampus contributes to spatial coding and memory. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32559-8
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10604 | OA
Turelli, M., & Barton, N. H. (2022). Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics, and disease control. Evolution Letters. Wiley. https://doi.org/10.1002/evl3.270
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11451 | OA
Parvizian, M., Duràn Balsa, A., Pokratath, R., Kalha, C., Lee, S., Van Den Eynden, D., … De Roo, J. (2022). The chemistry of Cu₃N and Cu₃PdN nanocrystals. Angewandte Chemie - International Edition. Wiley. https://doi.org/10.1002/anie.202207013
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10829 | OA
Hasler, R., Reiner-Rozman, C., Fossati, S., Aspermair, P., Dostalek, J., Lee, S., … Knoll, W. (2022). Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device. ACS Sensors. ACS Publications. https://doi.org/10.1021/acssensors.1c02313
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11704 | OA
Budanur, N. B., & Hof, B. (2022). An autonomous compartmental model for accelerating epidemics. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0269975
View | Files available | DOI
 

2022 | Research Data Reference | IST-REx-ID: 11686 | OA
Turelli, M., & Barton, N. H. (2022). Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control. Dryad. https://doi.org/10.25338/B81931
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 10833 | OA
Hasler, R., Reiner-Rozman, C., Fossati, S., Aspermair, P., Dostalek, J., Lee, S., … Knoll, W. (2022). Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device. Zenodo. https://doi.org/10.5281/ZENODO.5500360
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 11695 | OA
Parvizian, M., Duran Balsa, A., Pokratath, R., Kalha, C., Lee, S., Van den Eynden, D., … De Roo, J. (2022). Data for “The chemistry of Cu3N and Cu3PdN nanocrystals.” Zenodo. https://doi.org/10.5281/ZENODO.6542908
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 11711 | OA
Budanur, N. B. (2022). burakbudanur/autoacc-public. Zenodo. https://doi.org/10.5281/ZENODO.6802720
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 12000 | OA
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
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11998 | OA
Cherepanov, I., Bighin, G., Schouder, C. A., Chatterley, A. S., Stapelfeldt, H., & Lemeshko, M. (2022). A simple model for high rotational excitations of molecules in a superfluid. New Journal of Physics. IOP. https://doi.org/10.1088/1367-2630/ac8113
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12001 | OA
Hearn, K. E., Koch, E. L., Stankowski, S., Butlin, R. K., Faria, R., Johannesson, K., & Westram, A. M. (2022). Differing associations between sex determination and sex-linked inversions in two ecotypes of Littorina saxatilis. Evolution Letters. Wiley. https://doi.org/10.1002/evl3.295
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11999 | OA
Arroyo Guevara, A. M., Klute, F., Parada, I., Vogtenhuber, B., Seidel, R., & Wiedera, T. (2022). Inserting one edge into a simples drawing is hard. Discrete and Computational Geometry. Springer. https://doi.org/10.1007/s00454-022-00394-9
View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11995 | OA
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
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11945 | OA
Schulz, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria (ISTA). https://doi.org/10.15479/at:ista:11945
View | Files available | DOI
 

2022 | Research Data | IST-REx-ID: 11542 | OA
Schulz, R. (2022). Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). ISTA. https://doi.org/10.15479/AT:ISTA:11542
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11735 | OA
Chen, R., Wang, Z., Song, P., & Bickel, B. (2022). Computational design of high-level interlocking puzzles. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3528223.3530071
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11997 | OA
Bighin, G., Burchianti, A., Minardi, F., & Macrì, T. (2022). Impurity in a heteronuclear two-component Bose mixture. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.106.023301
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11996
Palacci, J. A. (2022). A soft active matter that can climb walls. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.adc9202
View | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11991 | OA
Krokhin, A., & Opršal, J. (2022). An invitation to the promise constraint satisfaction problem. ACM SIGLOG News. Association for Computing Machinery. https://doi.org/10.1145/3559736.3559740
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12009 | OA
Jia, D. W., Vogels, T. P., & Costa, R. P. (2022). Developmental depression-to-facilitation shift controls excitation-inhibition balance. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-022-03801-2
View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12010 | OA
Brunnbauer, A., Berducci, L., Brandstatter, A., Lechner, M., Hasani, R., Rus, D., & Grosu, R. (2022). Latent imagination facilitates zero-shot transfer in autonomous racing. In 2022 International Conference on Robotics and Automation (pp. 7513–7520). Philadelphia, PA, United States: IEEE. https://doi.org/10.1109/ICRA46639.2022.9811650
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12013
Joshi, P., Purkayastha, A., Zhang, Y., Budkuley, A. J., & Jaggi, S. (2022). On the capacity of additive AVCs with feedback. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 504–509). Espoo, Finland: IEEE. https://doi.org/10.1109/ISIT50566.2022.9834850
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12016 | OA
Fathollahi, D., & Mondelli, M. (2022). Polar coded computing: The role of the scaling exponent. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2154–2159). Espoo, Finland: IEEE. https://doi.org/10.1109/ISIT50566.2022.9834712
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12012 | OA
Torkamani, S., Ebrahimi, J. B., Sadeghi, P., D’Oliveira, R. G. L., & Médard, M. (2022). Heterogeneous differential privacy via graphs. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 1623–1628). Espoo, Finland: IEEE. https://doi.org/10.1109/ISIT50566.2022.9834711
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12011 | OA
Zhang, Y., Jaggi, S., Langberg, M., & Sarwate, A. D. (2022). The capacity of causal adversarial channels. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2523–2528). Espoo, Finland: IEEE. https://doi.org/10.1109/ISIT50566.2022.9834709
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12015
Zhang, Y., & Vatedka, S. (2022). Lower bounds for multiple packing. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 3085–3090). Espoo, Finland: IEEE. https://doi.org/10.1109/ISIT50566.2022.9834443
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12014
Zhang, Y., & Vatedka, S. (2022). List-decodability of Poisson Point Processes. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2559–2564). Espoo, Finland: IEEE. https://doi.org/10.1109/ISIT50566.2022.9834512
View | DOI
 

2022 | Journal Article | IST-REx-ID: 12084 | OA
Christodoulou, G., Vogels, T. P., & Agnes, E. J. (2022). Regimes and mechanisms of transient amplification in abstract and biological neural networks. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1010365
View | Files available | DOI
 

2022 | Research Data | IST-REx-ID: 10934 | OA
Radler, P. (2022). In vitro reconstitution of Escherichia coli divisome activation. IST Austria. https://doi.org/10.15479/AT:ISTA:10934
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11373 | OA
Radler, Philipp, In vitro reconstitution of Escherichia coli divisome activation. Nature Communications 13. 2022
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11589 | OA
Wang, Ren, Constitutive active CPK30 interferes with root growth and endomembrane trafficking in Arabidopsis thaliana. Frontiers in Plant Science 13. 2022
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11553 | OA
Clark, Trevor, The dynamics of complex box mappings. Arnold Mathematical Journal 8 (2). 2022
View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12072 | OA
Shute, Alec L, Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12083 | OA
Rademacher, Simone Anna Elvira, Dependent random variables in quantum dynamics. Journal of Mathematical Physics 63 (8). 2022
View | Files available | DOI | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications