ISTA Research Explorer

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.

237 Publications

2022 | Conference Paper | IST-REx-ID: 11476 |

Alwen, J., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., Pietrzak, K. Z., & Walter, M. (2022). CoCoA: Concurrent continuous group key agreement. In Advances in Cryptology – EUROCRYPT 2022 (Vol. 13276, pp. 815–844). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-07085-3_28

[Preprint] View | DOI | Download Preprint (ext.) | WoS

2022 | Journal Article | IST-REx-ID: 11556 |

Kalinov, A., Osinskiy, A. I., Matveev, S. A., Otieno, W., & Brilliantov, N. V. (2022). Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. Elsevier. https://doi.org/10.1016/j.jcp.2022.111439

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2022 | Journal Article | IST-REx-ID: 11723 |

Li, L., Chen, H., Alotaibi, S. S., Pěnčík, A., Adamowski, M., Novák, O., & Friml, J. (2022). RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2121058119

2022 | Thesis | IST-REx-ID: 11945 |

Schulz, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11945

[Published Version] View | Files available | DOI

2022 | Conference Paper | IST-REx-ID: 11775 |

Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/10.1007/978-3-031-17196-3_11

[Published Version] View | Files available | DOI | WoS

2022 | Thesis | IST-REx-ID: 12390 |

Brooks, M. (2022). Translation-invariant quantum systems with effectively broken symmetry. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12390

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 11362 |

Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11362

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 9311 |

Chatterjee, K., Saona Urmeneta, R. J., & Ziliotto, B. (2022). Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2020.1116

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2022 | Journal Article | IST-REx-ID: 11732 |

Henheik, S. J., & Lauritsen, A. B. (2022). The BCS energy gap at high density. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-022-02965-9

[Published Version] View | Files available | DOI | WoS

2022 | Journal Article | IST-REx-ID: 10842

Köse, S., & Özbudak, F. (2022). Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes. Cryptography and Communications. Springer Nature. https://doi.org/10.1007/s12095-022-00557-8

View | DOI | WoS

2022 | Thesis | IST-REx-ID: 11473 |

Mysliwy, K. (2022). Polarons in Bose gases and polar crystals: Some rigorous energy estimates. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11473

[Published Version] View | Files available | DOI

2022 | Preprint | IST-REx-ID: 12750 |

Brighi, P., Ljubotina, M., & Serbyn, M. (n.d.). Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. arXiv. https://doi.org/10.48550/arXiv.2210.15607

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 | Journal Article | IST-REx-ID: 14355 |

Cali E, Lin S-J, Rocca C, Sahin Y, Al Shamsi A, El Chehadeh S, Chaabouni M, Mankad K, Galanaki E, Efthymiou S, Sudhakar S, Athanasiou-Fragkouli A, Celik T, Narli N, Bianca S, Murphy D, Moreira FMDC, Accogli A, Petree C, Huang K, Monastiri K, Edizadeh M, Nardello R, Ognibene M, De Marco P, Ruggieri M, Zara F, Striano P, Sahin Y, Al-Gazali L, Warde MTA, Gerard B, Zifarelli G, Beetz C, Fortuna S, Soler M, Valente EM, Varshney G, Maroofian R, Salpietro V, Houlden H, Grp SynS. 2022. A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. 24(10), 2194–2203.

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 11462

Dormeshkin, D., Shapira, M., Karputs, A., Kavaleuski, A., Kuzminski, I., Stepanova, E., & Gilep, A. (2022). Combining of synthetic VHH and immune scFv libraries for pregnancy-associated glycoproteins ELISA development. Applied Microbiology and Biotechnology. Springer Nature. https://doi.org/10.1007/s00253-022-12022-w

View | DOI | WoS | PubMed | Europe PMC

2022 | Thesis | IST-REx-ID: 10799 |

Konstantinov, N. H. (2022). Robustness and fairness in machine learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10799

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 10850 |

Roos, B., & Seiringer, R. (2022). Two-particle bound states at interfaces and corners. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2022.109455

[Published Version] View | Files available | DOI | WoS | arXiv

2022 | Journal Article | IST-REx-ID: 12117 |

Hübschmann, V., Korkut, M., & Siegert, S. (2022). Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. STAR Protocols. Elsevier. https://doi.org/10.1016/j.xpro.2022.101866

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 12291 |

Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.

2022 | Thesis | IST-REx-ID: 11626 |

Gallei, M. C. (2022). Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11626

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 11403

Stöllner, A. (2022). Measuring airborne nanoplastics using aerosol physics. Nature Reviews Earth and Environment. Springer Nature. https://doi.org/10.1038/s43017-022-00302-y

View | DOI | WoS

2022 | Research Data | IST-REx-ID: 10934 |

Radler, P. (2022). In vitro reconstitution of Escherichia coli divisome activation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:10934

[Submitted Version] View | Files available | DOI

2022 | Research Data | IST-REx-ID: 11542 |

Schulz, R. (2022). Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:11542

View | Files available | DOI

2022 | 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

2022 | Research Data | IST-REx-ID: 11321 |

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. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11321

[Published Version] View | Files available | DOI

2022 | 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 | 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 | Journal Article | IST-REx-ID: 11660 |

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (n.d.). A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

[Submitted Version] View | Files available

2022 | Journal Article | IST-REx-ID: 11658 |

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (n.d.). Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Leibniz International Proceedings on Mathematics. Schloss Dagstuhl - Leibniz Zentrum für Informatik.

[Submitted Version] View | Files available

2022 | Journal Article | IST-REx-ID: 10787 |

Barton, N. H., & Olusanya, O. O. (2022). The response of a metapopulation to a changing environment. Philosophical Transactions of the Royal Society B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2021.0009

2022 | Journal Article | IST-REx-ID: 10658 |

Sachdeva, H., Olusanya, O. O., & Barton, N. H. (2022). Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity. Philosophical Transactions of the Royal Society B. The Royal Society. https://doi.org/10.1098/rstb.2021.0010

2022 | Thesis | IST-REx-ID: 12368 |

Arslan, F. N. (2022). Remodeling of E-cadherin-mediated contacts via cortical flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12153

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 11196 |

Kim, O. (2022). Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11196

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 10727 |

Metzler, S. (2022). Pathogen-mediated sexual selection and immunization in ant colonies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:10727

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 11879 |

Artner, C. (2022). Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11879

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 11393 |

Jevtic, M. (2022). Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11393

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 12366 |

Redchenko, E. (2022). Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12132

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 11932 |

Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11932

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 12378 |

Colombo, G. (2022). MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12378

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 11388 |

Belohlavy, S. (2022). The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11388

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 12401 |

Tasciyan, S. (2022). Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12401

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 11193 |

Wachner, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11193

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 12364 |

Dotter, C. (2022). Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12094

[Published Version] View | Files available | DOI

2022 | Research Data | IST-REx-ID: 11653 |

Elkrewi, M. N. (2022). Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:11653

[Published Version] View | Files available | DOI

2021 | Preprint | IST-REx-ID: 10080 |

Nardin, M., Käfer, K., & Csicsvari, J. L. (n.d.). The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2021.09.30.462269

[Preprint] View | DOI | Download Preprint (ext.)

2021 | Journal Article | IST-REx-ID: 10635 |

Nardin, M., Phillips, J. W., Podlaski, W. F., & Keemink, S. W. (2021). Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. Centre Mersenne ; Peer Community In. https://doi.org/10.24072/pcjournal.69

[Published Version] View | Files available | DOI | arXiv

2021 | Conference Paper | IST-REx-ID: 10669 |

Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 | Conference Paper | IST-REx-ID: 10671 |

Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 | Conference Paper | IST-REx-ID: 10668 |

Babaiee, Z., Hasani, R., Lechner, M., Rus, D., & Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 478–489). Virtual: ML Research Press.

[Published Version] View | Files available | Download Published Version (ext.)

2021 | Conference Paper | IST-REx-ID: 10670 |

Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., & Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 | Conference Paper | IST-REx-ID: 10694 |

Avni, G., Jecker, I. R., & Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976465.38

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

Various

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

237 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Various

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

237 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options