ISTA Research Explorer

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.

10717 Publications

2021 | Published | Journal Article | IST-REx-ID: 10166 |

Huylmans, A. K., Macon, A., Hontoria, F., & Vicoso, B. (2021). Transitions to asexuality and evolution of gene expression in Artemia brine shrimp. Proceedings of the Royal Society B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.2021.1720

2021 | Research Data | IST-REx-ID: 9949 |

Vicoso, B. (2021). Data from Hyulmans et al 2021, “Transitions to asexuality and evolution of gene expression in Artemia brine shrimp.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9949

View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 9793 |

Baldwin, K. T., Tan, C. X., Strader, S. T., Jiang, C., Savage, J. T., Elorza-Vidal, X., … Eroglu, C. (2021). HepaCAM controls astrocyte self-organization and coupling. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2021.05.025

2021 | Submitted | Preprint | IST-REx-ID: 9082 |

Anderson, D. J., Pauler, F., McKenna, A., Shendure, J., Hippenmeyer, S., & Horwitz, M. S. (n.d.). Simultaneous identification of brain cell type and lineage via single cell RNA sequencing. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.12.31.425016

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

2021 | Published | Journal Article | IST-REx-ID: 9188 |

Pauler, F., Hudson, Q., Laukoter, S., & Hippenmeyer, S. (2021). Inducible uniparental chromosome disomy to probe genomic imprinting at single-cell level in brain and beyond. Neurochemistry International. Elsevier. https://doi.org/10.1016/j.neuint.2021.104986

2021 | Published | Journal Article | IST-REx-ID: 8546 |

Zhang, T., Liu, T., Mora, N., Guegan, J., Bertrand, M., Contreras, X., … Hassan, B. A. (2021). Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2021.109208

2021 | Published | Conference Paper | IST-REx-ID: 10053 |

Hashemi, S. A., Mondelli, M., Fazeli, A., Vardy, A., Cioffi, J., & Goldsmith, A. (2021). Parallelism versus latency in simplified successive-cancellation decoding of polar codes. In 2021 IEEE International Symposium on Information Theory (pp. 2369–2374). Melbourne, Australia: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT45174.2021.9518153

2021 | Published | Conference Paper | IST-REx-ID: 10593 |

Mondelli, M., & Venkataramanan, R. (2021). PCA initialization for approximate message passing in rotationally invariant models. In 35th Conference on Neural Information Processing Systems (Vol. 35, pp. 29616–29629). Virtual: Neural Information Processing Systems Foundation.

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

2021 | Published | Conference Paper | IST-REx-ID: 10594 |

Nguyen, Q., Bréchet, P., & Mondelli, M. (2021). When are solutions connected in deep networks? In 35th Conference on Neural Information Processing Systems (Vol. 35). Virtual: Neural Information Processing Systems Foundation.

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

2021 | Published | Conference Paper | IST-REx-ID: 10595 |

Nguyen, Q., Mondelli, M., & Montufar, G. F. (2021). Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks. In M. Meila & T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 8119–8129). Virtual: ML Research Press.

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

2021 | Published | Conference Paper | IST-REx-ID: 10599 |

Hashemi, S. A., Mondelli, M., Cioffi, J., & Goldsmith, A. (2021). Successive syndrome-check decoding of polar codes. In Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers (Vol. 2021–October, pp. 943–947). Virtual, Pacific Grove, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/IEEECONF53345.2021.9723394

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

2021 | Published | Conference Paper | IST-REx-ID: 10597 |

Fathollahi, D., Farsad, N., Hashemi, S. A., & Mondelli, M. (2021). Sparse multi-decoder recursive projection aggregation for Reed-Muller codes. In 2021 IEEE International Symposium on Information Theory (pp. 1082–1087). Virtual, Melbourne, Australia: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/isit45174.2021.9517887

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

2021 | Published | Conference Paper | IST-REx-ID: 13146 |

Nguyen, Quynh, Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks. Proceedings of the 38th International Conference on Machine Learning 139. 2021

[Published Version] View | Files available | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 10598 |

Mondelli, M., & Venkataramanan, R. (2021). Approximate message passing with spectral initialization for generalized linear models. In A. Banerjee & K. Fukumizu (Eds.), Proceedings of The 24th International Conference on Artificial Intelligence and Statistics (Vol. 130, pp. 397–405). Virtual, San Diego, CA, United States: ML Research Press.

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

2021 | Published | Journal Article | IST-REx-ID: 10281 |

Vasic, V., Jones, M. S. O., Haslinger, D., Knaus, L., Schmeisser, M. J., Novarino, G., & Chiocchetti, A. G. (2021). Translating the role of mtor-and ras-associated signalopathies in autism spectrum disorder: Models, mechanisms and treatment. Genes. MDPI. https://doi.org/10.3390/genes12111746

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

2021 | Published | Journal Article | IST-REx-ID: 10533 |

Choi, J., Lyons, D. B., & Zilberman, D. (2021). Histone H1 prevents non-CG methylation-mediated small RNA biogenesis in Arabidopsis heterochromatin. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.72676

2021 | Published | Conference Paper | IST-REx-ID: 9646 |

Wang, J., Sun, Y., Fu, H., Chatterjee, K., & Goharshady, A. K. (2021). Quantitative analysis of assertion violations in probabilistic programs. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1171–1186). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454102

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

2021 | Published | Conference Paper | IST-REx-ID: 9645 |

Asadi, Ali, Polynomial reachability witnesses via Stellensätze. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 2021

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2021 | Published | Conference Paper | IST-REx-ID: 9296 |

Aichholzer, O., Arroyo Guevara, A. M., Masárová, Z., Parada, I., Perz, D., Pilz, A., … Vogtenhuber, B. (2021). On compatible matchings. In 15th International Conference on Algorithms and Computation (Vol. 12635, pp. 221–233). Yangon, Myanmar: Springer Nature. https://doi.org/10.1007/978-3-030-68211-8_18

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

2021 | Published | Journal Article | IST-REx-ID: 10631 |

Cherepanov, I., Bighin, G., Schouder, C. A., Chatterley, A. S., Albrechtsen, S. H., Muñoz, A. V., … Lemeshko, M. (2021). Excited rotational states of molecules in a superfluid. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.104.L061303

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

2021 | Published | Journal Article | IST-REx-ID: 9912 |

Erdös, L., Krüger, T. H., & Nemish, Y. (2021). Scattering in quantum dots via noncommutative rational functions. Annales Henri Poincaré . Springer Nature. https://doi.org/10.1007/s00023-021-01085-6

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

2021 | Published | Journal Article | IST-REx-ID: 9550 |

Bao, Z., Erdös, L., & Schnelli, K. (2021). Equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2021.38

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

2021 | Published | Journal Article | IST-REx-ID: 15013 |

Alt, J., Erdös, L., & Krüger, T. H. (2021). Spectral radius of random matrices with independent entries. Probability and Mathematical Physics. Mathematical Sciences Publishers. https://doi.org/10.2140/pmp.2021.2.221

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

2021 | Published | Thesis | IST-REx-ID: 9022 |

Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9022

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 8601 |

Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-020-01003-7

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

2021 | Published | Journal Article | IST-REx-ID: 10271 |

Qi, Q., Angermayr, S. A., & Bollenbach, M. T. (2021). Uncovering Key Metabolic Determinants of the Drug Interactions Between Trimethoprim and Erythromycin in Escherichia coli. Frontiers in Microbiology. Frontiers. https://doi.org/10.3389/fmicb.2021.760017

2021 | Published | Journal Article | IST-REx-ID: 10674 |

Aghajohari, M., Avni, G., & Henzinger, T. A. (2021). Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. International Federation for Computational Logic. https://doi.org/10.23638/LMCS-17(1:10)2021

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

2021 | Published | Journal Article | IST-REx-ID: 8793 |

Zeiner, M., Schmid, U., & Chatterjee, K. (2021). Optimal strategies for selecting coordinators. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/j.dam.2020.10.022

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

2021 | Published | Journal Article | IST-REx-ID: 9239 |

Avni, G., Henzinger, T. A., & Žikelić, Đ. (2021). Bidding mechanisms in graph games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2021.02.008

2021 | Published | Journal Article | IST-REx-ID: 10191 |

Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., & Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3485541

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

2021 | Published | Conference Paper | IST-REx-ID: 9987 |

Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification (Vol. 12759, pp. 341–366). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-81685-8_16

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

2021 | Published | Journal Article | IST-REx-ID: 9293 |

Chatterjee, K., Dvořák, W., Henzinger, M., & Svozil, A. (2021). Algorithms and conditional lower bounds for planning problems. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2021.103499

2021 | Published | Journal Article | IST-REx-ID: 9640 |

Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-24271-w

2021 | Published | Journal Article | IST-REx-ID: 9393 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-021-00373-5

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

2021 | Published | Journal Article | IST-REx-ID: 9907 |

Labajová, Naďa, Cardiolipin-containing lipid membranes attract the bacterial cell division protein diviva. International Journal of Molecular Sciences 22 (15). 2021

2021 | Published | Journal Article | IST-REx-ID: 9414 |

Ishihara, K., Decker, F., Dos Santos Caldas, P. R., Pelletier, J. F., Loose, M., Brugués, J., & Mitchison, T. J. (2021). Spatial variation of microtubule depolymerization in large asters. Molecular Biology of the Cell. American Society for Cell Biology. https://doi.org/10.1091/MBC.E20-11-0723

2021 | Published | Journal Article | IST-REx-ID: 8928 |

Arnoux, Stéphanie, Genomic inference of complex domestication histories in three Solanaceae species. Journal of Evolutionary Biology 34 (2). 2021

2021 | Research Data | IST-REx-ID: 9192 |

Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2021). 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:9192

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 9073 |

Hanganu-Opatz, I. L., Butt, S. J. B., Hippenmeyer, S., De Marco García, N. V., Cardin, J. A., Voytek, B., & Muotri, A. R. (2021). The logic of developing neocortical circuits in health and disease. The Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.1655-20.2020

2021 | Published | Journal Article | IST-REx-ID: 10321 |

Amberg, N., & Hippenmeyer, S. (2021). Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers. STAR Protocols. Cell Press. https://doi.org/10.1016/j.xpro.2021.100939

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 9431 |

Obr, M., Ricana, C. L., Nikulin, N., Feathers, J.-P. R., Klanschnig, M., Thader, A., … Dick, R. A. (2021). Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer. Nature Communications. Nature Research. https://doi.org/10.1038/s41467-021-23506-0

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

2021 | Published | Journal Article | IST-REx-ID: 10103 |

Obr, M., Schur, F. K., & Dick, R. A. (2021). A structural perspective of the role of IP6 in immature and mature retroviral assembly. Viruses. MDPI. https://doi.org/10.3390/v13091853

2021 | Published | Journal Article | IST-REx-ID: 10290 |

Dimchev, G. A., Amiri, B., Fäßler, F., Falcke, M., & Schur, F. K. (2021). Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Journal of Structural Biology. Elsevier . https://doi.org/10.1016/j.jsb.2021.107808

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

2021 | Published | Conference Paper | IST-REx-ID: 9345 |

Edelsbrunner, H., Heiss, T., Kurlin , V., Smith, P., & Wintraecken, M. (2021). The density fingerprint of a periodic point set. In 37th International Symposium on Computational Geometry (SoCG 2021) (Vol. 189, p. 32:1-32:16). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.32

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 9243 |

Hernández-Rocamora, V. M., Baranova, N. S., Peters, K., Breukink, E., Loose, M., & Vollmer, W. (2021). Real time monitoring of peptidoglycan synthesis by membrane-reconstituted penicillin binding proteins. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.61525

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

2021 | Published | Journal Article | IST-REx-ID: 10023 |

Karatzas, I., Maas, J., & Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. International Press. https://doi.org/10.4310/CIS.2021.v21.n4.a1

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

2021 | Published | Journal Article | IST-REx-ID: 10070 |

Dello Schiavo, L., & Suzuki, K. (2021). Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2021.109234

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

2021 | Published | Journal Article | IST-REx-ID: 9225 |

Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (2021). Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01350-5

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

2021 | Draft | Preprint | IST-REx-ID: 9787 |

Feliciangeli, D., & Seiringer, R. (n.d.). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv. https://doi.org/10.48550/arXiv.2101.12566

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

2021 | Draft | Preprint | IST-REx-ID: 9791 |

Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (n.d.). The effective mass problem for the Landau-Pekar equations. arXiv. https://doi.org/10.48550/arXiv.2107.03720

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

ISTA Research Explorer

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

10717 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

10717 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options