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.
3829 Publications
2022 | Conference Paper | IST-REx-ID: 11180 |

Multi-queues can be state-of-the-art priority schedulers
A. Postnikova, N. Koval, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, pp. 353–367.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Postnikova, N. Koval, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, pp. 353–367.
2022 | Conference Paper | IST-REx-ID: 11181
PathCAS: An efficient middle ground for concurrent search data structures
T.A. Brown, W. Sigouin, D.-A. Alistarh, in:, Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, pp. 385–399.
View
| DOI
T.A. Brown, W. Sigouin, D.-A. Alistarh, in:, Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, pp. 385–399.
2022 | Journal Article | IST-REx-ID: 11182 |

Quantifying the probing and selection of microenvironmental pores by motile immune cells
J. Kroll, M.J.A. Ruiz-Fernandez, M.B. Braun, J. Merrin, J. Renkawitz, Current Protocols 2 (2022).
View
| Files available
| DOI
| PubMed | Europe PMC
J. Kroll, M.J.A. Ruiz-Fernandez, M.B. Braun, J. Merrin, J. Renkawitz, Current Protocols 2 (2022).
2022 | Conference Paper | IST-REx-ID: 11183 |

Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters
A. Nikabadi, J. Korhonen, in:, Q. Bramas, V. Gramoli, A. Milani (Eds.), 25th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
View
| Files available
| DOI
A. Nikabadi, J. Korhonen, in:, Q. Bramas, V. Gramoli, A. Milani (Eds.), 25th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Conference Paper | IST-REx-ID: 11184 |

Fast graphical population protocols
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, Q. Bramas, V. Gramoli, A. Milani (Eds.), 25th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, Q. Bramas, V. Gramoli, A. Milani (Eds.), 25th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Conference Paper | IST-REx-ID: 11185 |

Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
View
| DOI
| Download Preprint (ext.)
| arXiv
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
2022 | Journal Article | IST-REx-ID: 11186 |

Large deviations in random latin squares
M.A. Kwan, A. Sah, M. Sawhney, Bulletin of the London Mathematical Society (2022).
View
| DOI
| Download Published Version (ext.)
| arXiv
M.A. Kwan, A. Sah, M. Sawhney, Bulletin of the London Mathematical Society (2022).
2022 | Journal Article | IST-REx-ID: 11187 |

Unlocking capacities of genomics for the COVID-19 response and future pandemics
Knyazev S, Chhugani K, Sarwal V, Ayyala R, Singh H, Karthikeyan S, Deshpande D, Baykal PI, Comarova Z, Lu A, Porozov Y, Vasylyeva TI, Wertheim JO, Tierney BT, Chiu CY, Sun R, Wu A, Abedalthagafi MS, Pak VM, Nagaraj SH, Smith AL, Skums P, Pasaniuc B, Komissarov A, Mason CE, Bortz E, Lemey P, Kondrashov F, Beerenwinkel N, Lam TTY, Wu NC, Zelikovsky A, Knight R, Crandall KA, Mangul S. 2022. Unlocking capacities of genomics for the COVID-19 response and future pandemics. Nature Methods. 19(4), 374–380.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Knyazev S, Chhugani K, Sarwal V, Ayyala R, Singh H, Karthikeyan S, Deshpande D, Baykal PI, Comarova Z, Lu A, Porozov Y, Vasylyeva TI, Wertheim JO, Tierney BT, Chiu CY, Sun R, Wu A, Abedalthagafi MS, Pak VM, Nagaraj SH, Smith AL, Skums P, Pasaniuc B, Komissarov A, Mason CE, Bortz E, Lemey P, Kondrashov F, Beerenwinkel N, Lam TTY, Wu NC, Zelikovsky A, Knight R, Crandall KA, Mangul S. 2022. Unlocking capacities of genomics for the COVID-19 response and future pandemics. Nature Methods. 19(4), 374–380.
2022 | Thesis | IST-REx-ID: 11193
Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, ISTA, 2022.
View
| Files available
| DOI
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11196
Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, ISTA, 2022.
View
| Files available
| DOI
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, ISTA, 2022.
2022 | Research Data | IST-REx-ID: 11321 |

Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2022).
View
| Files available
| DOI
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2022).
2022 | Journal Article | IST-REx-ID: 11330 |

A dual formula for the noncommutative transport distance
M. Wirth, Journal of Statistical Physics 187 (2022).
View
| Files available
| DOI
M. Wirth, Journal of Statistical Physics 187 (2022).
2022 | Conference Paper | IST-REx-ID: 11331 |

Narwhal and Tusk: A DAG-based mempool and efficient BFT consensus
G. Danezis, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, Proceedings of the 17th European Conference on Computer Systems, Association for Computing Machinery, 2022, pp. 34–50.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Danezis, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, Proceedings of the 17th European Conference on Computer Systems, Association for Computing Machinery, 2022, pp. 34–50.
2022 | Journal Article | IST-REx-ID: 11332
Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices
K. Schnelli, Y. Xu, Communications in Mathematical Physics (2022).
View
| DOI
| arXiv
K. Schnelli, Y. Xu, Communications in Mathematical Physics (2022).
2022 | Journal Article | IST-REx-ID: 11333
Dynamic control of microbial movement by photoswitchable ATP antagonists
S. Thayyil, Y. Nishigami, M.J. Islam, P.K. Hashim, K. Furuta, K. Oiwa, J. Yu, M. Yao, T. Nakagaki, N. Tamaoki, Chemistry - A European Journal (2022).
View
| DOI
| PubMed | Europe PMC
S. Thayyil, Y. Nishigami, M.J. Islam, P.K. Hashim, K. Furuta, K. Oiwa, J. Yu, M. Yao, T. Nakagaki, N. Tamaoki, Chemistry - A European Journal (2022).
2022 | Journal Article | IST-REx-ID: 11334 |

Parthenogenesis in Darevskia lizards: A rare outcome of common hybridization, not a common outcome of rare hybridization
S. Freitas, A.M. Westram, T. Schwander, M. Arakelyan, Ç. Ilgaz, Y. Kumlutas, D.J. Harris, M.A. Carretero, R.K. Butlin, Evolution (2022).
View
| DOI
| Download Published Version (ext.)
S. Freitas, A.M. Westram, T. Schwander, M. Arakelyan, Ç. Ilgaz, Y. Kumlutas, D.J. Harris, M.A. Carretero, R.K. Butlin, Evolution (2022).
2022 | Preprint | IST-REx-ID: 11336 |

Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, BioRxiv (n.d.).
View
| DOI
| Download Preprint (ext.)
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, BioRxiv (n.d.).
2022 | Journal Article | IST-REx-ID: 11337 |

Entanglement and precession in two-dimensional dynamical quantum phase transitions
S. De Nicola, A. Michailidis, M. Serbyn, Physical Review B 105 (2022).
View
| DOI
| Download Preprint (ext.)
| arXiv
S. De Nicola, A. Michailidis, M. Serbyn, Physical Review B 105 (2022).
2022 | Journal Article | IST-REx-ID: 11339 |

Nutrient and salt depletion synergistically boosts glucose metabolism in individual Escherichia coli cells
G. Glover, M. Voliotis, U. Łapińska, B.M. Invergo, D. Soanes, P. O’Neill, K. Moore, N. Nikolic, P. Petrov, D.S. Milner, S. Roy, K. Heesom, T.A. Richards, K. Tsaneva-Atanasova, S. Pagliara, Communications Biology 5 (2022).
View
| Files available
| DOI
| PubMed | Europe PMC
G. Glover, M. Voliotis, U. Łapińska, B.M. Invergo, D. Soanes, P. O’Neill, K. Moore, N. Nikolic, P. Petrov, D.S. Milner, S. Roy, K. Heesom, T.A. Richards, K. Tsaneva-Atanasova, S. Pagliara, Communications Biology 5 (2022).
2022 | Journal Article | IST-REx-ID: 11340 |

Like-charge attraction at the nanoscale: Ground-state correlations and water destructuring
I. Palaia, A. Goyal, E. Del Gado, L. Šamaj, E. Trizac, Journal of Physical Chemistry B 126 (2022) 3143–3149.
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Palaia, A. Goyal, E. Del Gado, L. Šamaj, E. Trizac, Journal of Physical Chemistry B 126 (2022) 3143–3149.
2022 | Journal Article | IST-REx-ID: 11344 |

Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia
N. Dranenko, M. Tutukina, M. Gelfand, F. Kondrashov, O. Bochkareva, Scientific Reports 12 (2022).
View
| Files available
| DOI
| PubMed | Europe PMC
N. Dranenko, M. Tutukina, M. Gelfand, F. Kondrashov, O. Bochkareva, Scientific Reports 12 (2022).
2022 | Journal Article | IST-REx-ID: 10284 |

Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, Ecology Letters 25 (2022) 89–100.
View
| Files available
| DOI
| PubMed | Europe PMC
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, Ecology Letters 25 (2022) 89–100.
2022 | Journal Article | IST-REx-ID: 9311 |

Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
2022 | Journal Article | IST-REx-ID: 9977 |

Resurgence analysis of quantum invariants of Seifert fibered homology spheres
W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764.
View
| Files available
| DOI
| arXiv
W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764.
2022 | Journal Article | IST-REx-ID: 11353 |

Dissipative quantum feedback in measurements using a parametrically coupled microcavity
L. Qiu, G. Huang, I. Shomroni, J. Pan, P. Seidler, T.J. Kippenberg, PRX Quantum 3 (2022).
View
| Files available
| DOI
L. Qiu, G. Huang, I. Shomroni, J. Pan, P. Seidler, T.J. Kippenberg, PRX Quantum 3 (2022).
2022 | Conference Paper | IST-REx-ID: 11355 |

Information-flow Interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
View
| Files available
| DOI
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
2022 | Journal Article | IST-REx-ID: 11351 |

Cryo-electron tomography of the onion cell wall shows bimodally oriented cellulose fibers and reticulated homogalacturonan networks
W.J. Nicolas, F. Fäßler, P. Dutka, F.K. Schur, G. Jensen, E. Meyerowitz, Current Biology (2022).
View
| Files available
| DOI
W.J. Nicolas, F. Fäßler, P. Dutka, F.K. Schur, G. Jensen, E. Meyerowitz, Current Biology (2022).
2022 | Journal Article | IST-REx-ID: 11354 |

The Dirichlet–Ferguson diffusion on the space of probability measures over a closed Riemannian manifold
L. Dello Schiavo, Annals of Probability 50 (2022) 591–648.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Dello Schiavo, Annals of Probability 50 (2022) 591–648.
2022 | Journal Article | IST-REx-ID: 11356
Distinct electron and hole transports in SnSe crystals
C. Chang, B. Qin, L. Su, L.D. Zhao, Science Bulletin (n.d.).
View
| DOI
C. Chang, B. Qin, L. Su, L.D. Zhao, Science Bulletin (n.d.).
2022 | Journal Article | IST-REx-ID: 11343 |

Vortices nucleation by inherent fluctuations in nematic liquid crystal cells
E. Aguilera, M.G. Clerc, V. Zambra, Nonlinear Dynamics (2022).
View
| DOI
| Download Published Version (ext.)
E. Aguilera, M.G. Clerc, V. Zambra, Nonlinear Dynamics (2022).
2022 | Research Data | IST-REx-ID: 10934 |

In vitro reconstitution of Escherichia coli divisome activation
P. Radler, (2022).
View
| Files available
| DOI
P. Radler, (2022).
2022 | Journal Article | IST-REx-ID: 11373 |

In vitro reconstitution of Escherichia coli divisome activation
P. Radler, N.S. Baranova, P.R. Dos Santos Caldas, C.M. Sommer, M.D. Lopez Pelegrin, D. Michalik, M. Loose, Nature Communications 13 (2022).
View
| Files available
| DOI
P. Radler, N.S. Baranova, P.R. Dos Santos Caldas, C.M. Sommer, M.D. Lopez Pelegrin, D. Michalik, M. Loose, Nature Communications 13 (2022).
2022 | Journal Article | IST-REx-ID: 11379 |

Spontaneous gully-polarized quantum hall states in ABA trilayer graphene
F. Winterer, A.M. Seiler, A. Ghazaryan, F.R. Geisenhof, K. Watanabe, T. Taniguchi, M. Serbyn, R.T. Weitz, Nano Letters 22 (2022) 3317–3322.
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Winterer, A.M. Seiler, A. Ghazaryan, F.R. Geisenhof, K. Watanabe, T. Taniguchi, M. Serbyn, R.T. Weitz, Nano Letters 22 (2022) 3317–3322.
2022 | Journal Article | IST-REx-ID: 10652 |

Constraints on probing quantum coherence to infer gravitational entanglement
O. Hosten, Physical Review Research 4 (2022).
View
| Files available
| DOI
O. Hosten, Physical Review Research 4 (2022).
2022 | Journal Article | IST-REx-ID: 10042 |

Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance
Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.
2022 | Journal Article | IST-REx-ID: 9364 |

On the size of the maximum of incomplete Kloosterman sums
D. Bonolis, Mathematical Proceedings of the Cambridge Philosophical Society 172 (2022) 563–590.
View
| Files available
| DOI
| arXiv
D. Bonolis, Mathematical Proceedings of the Cambridge Philosophical Society 172 (2022) 563–590.
2022 | Thesis | IST-REx-ID: 11393
Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, ISTA, 2022.
View
| Files available
| DOI
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11362 |

Learning verifiable representations
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
2022 | Preprint | IST-REx-ID: 11366
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).
View
| Files available
| DOI
| arXiv
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 7900 |

Bosonic collective excitations in Fermi gases
N.P. Benedikter, Reviews in Mathematical Physics 33 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
N.P. Benedikter, Reviews in Mathematical Physics 33 (2021).
2021 | Book Chapter | IST-REx-ID: 7941
Simple multi-color super-resolution by X10 microscopy
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
View
| DOI
| PubMed | Europe PMC
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
2021 | Journal Article | IST-REx-ID: 8198 |

Impact of drive harmonics on the stability of Floquet many-body localization
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
2021 | Journal Article | IST-REx-ID: 8253 |

The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks
F. Zenke, T.P. Vogels, Neural Computation 33 (2021) 899–925.
View
| Files available
| DOI
| PubMed | Europe PMC
F. Zenke, T.P. Vogels, Neural Computation 33 (2021) 899–925.
2021 | Journal Article | IST-REx-ID: 8286 |

Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica (2021).
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica (2021).
2021 | Journal Article | IST-REx-ID: 8317 |

Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
2021 | Journal Article | IST-REx-ID: 8373 |

A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
2021 | Journal Article | IST-REx-ID: 8430 |

Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis
S.E. Ojavee, A. Kousathanas, D. Trejo Banos, E.J. Orliac, M. Patxot, K. Lall, R. Magi, K. Fischer, Z. Kutalik, M.R. Robinson, Nature Communications 12 (2021).
View
| Files available
| DOI
S.E. Ojavee, A. Kousathanas, D. Trejo Banos, E.J. Orliac, M. Patxot, K. Lall, R. Magi, K. Fischer, Z. Kutalik, M.R. Robinson, Nature Communications 12 (2021).
2021 | Journal Article | IST-REx-ID: 8544 |

GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells
Y.H. Takeo, S.A. Shuster, L. Jiang, M. Hu, D.J. Luginbuhl, T. Rülicke, X. Contreras, S. Hippenmeyer, M.J. Wagner, S. Ganguli, L. Luo, Neuron 109 (2021) P629–644.E8.
View
| DOI
| Download Preprint (ext.)
Y.H. Takeo, S.A. Shuster, L. Jiang, M. Hu, D.J. Luginbuhl, T. Rülicke, X. Contreras, S. Hippenmeyer, M.J. Wagner, S. Ganguli, L. Luo, Neuron 109 (2021) P629–644.E8.
2021 | Journal Article | IST-REx-ID: 8546 |

Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
View
| Files available
| DOI
| PubMed | Europe PMC
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
2021 | Journal Article | IST-REx-ID: 8582 |

Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
View
| Files available
| DOI
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
2021 | Journal Article | IST-REx-ID: 8602 |

Theory of mechanochemical patterning and optimal migration in cell monolayers
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics 17 (2021) 267–274.
View
| Files available
| DOI
| Download Preprint (ext.)
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics 17 (2021) 267–274.
2021 | Journal Article | IST-REx-ID: 8603 |

Quantum corrections to the Pekar asymptotics of a strongly coupled polaron
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
View
| Files available
| DOI
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
2021 | Journal Article | IST-REx-ID: 8606 |

GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
View
| Files available
| DOI
| PubMed | Europe PMC
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
2021 | Journal Article | IST-REx-ID: 8608 |

Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana
M. Ke, Z. Ma, D. Wang, Y. Sun, C. Wen, D. Huang, Z. Chen, L. Yang, S. Tan, R. Li, J. Friml, Y. Miao, X. Chen, New Phytologist 229 (2021) 963–978.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Ke, Z. Ma, D. Wang, Y. Sun, C. Wen, D. Huang, Z. Chen, L. Yang, S. Tan, R. Li, J. Friml, Y. Miao, X. Chen, New Phytologist 229 (2021) 963–978.
2021 | Journal Article | IST-REx-ID: 6965 |

The positivity of local equivariant Hirzebruch class for toric varieties
K.P. Rychlewicz, Bulletin of the London Mathematical Society 53 (2021) 560–574.
View
| DOI
| Download Preprint (ext.)
| arXiv
K.P. Rychlewicz, Bulletin of the London Mathematical Society 53 (2021) 560–574.
2021 | Technical Report | IST-REx-ID: 6995 |

Identification of neural oscillations and epileptiform changes in human brain organoids
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
2021 | Journal Article | IST-REx-ID: 7463 |

Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
View
| DOI
| Download Preprint (ext.)
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
2021 | Journal Article | IST-REx-ID: 7551 |

Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
View
| Files available
| DOI
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
2021 | Journal Article | IST-REx-ID: 7553 |

Statistical analysis and optimality of neural systems
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.
View
| Files available
| DOI
| Download Preprint (ext.)
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.
2021 | Journal Article | IST-REx-ID: 7685 |

The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics 33 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Boccato, Reviews in Mathematical Physics 33 (2021).
2021 | Conference Paper | IST-REx-ID: 10552 |

One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
2021 | Conference Paper | IST-REx-ID: 10553 |

Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol
R. Gelashvili, E. Kokoris Kogias, A. Spiegelman, Z. Xiang, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 187–190.
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Gelashvili, E. Kokoris Kogias, A. Spiegelman, Z. Xiang, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 187–190.
2021 | Conference Paper | IST-REx-ID: 10554 |

All You Need is DAG
I. Keidar, E. Kokoris Kogias, O. Naor, A. Spiegelman, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 165–175.
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Keidar, E. Kokoris Kogias, O. Naor, A. Spiegelman, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 165–175.
2021 | Conference Paper | IST-REx-ID: 10556 |

Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures
E. Kokoris Kogias, D. Malkhi, A. Spiegelman, in:, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2021, pp. 1751–1767.
View
| DOI
| Download Preprint (ext.)
E. Kokoris Kogias, D. Malkhi, A. Spiegelman, in:, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2021, pp. 1751–1767.
2021 | Journal Article | IST-REx-ID: 10565 |

Minimally invasive protocols and quantification for microglia-mediated perineuronal net disassembly in mouse brain
A. Venturino, S. Siegert, STAR Protocols 2 (2021).
View
| Files available
| DOI
A. Venturino, S. Siegert, STAR Protocols 2 (2021).
2021 | Journal Article | IST-REx-ID: 10568 |

Pipefish locally adapted to low salinity in the Baltic Sea retain phenotypic plasticity to cope with ancestral salinity levels
H. Goehlich, L. Sartoris, K.-S. Wagner, C.C. Wendling, O. Roth, Frontiers in Ecology and Evolution 9 (2021).
View
| Files available
| DOI
H. Goehlich, L. Sartoris, K.-S. Wagner, C.C. Wendling, O. Roth, Frontiers in Ecology and Evolution 9 (2021).
2021 | Journal Article | IST-REx-ID: 10569 |

Naïve poison frog tadpoles use bi-modal cues to avoid insect predators but not heterospecific predatory tadpoles
B. Szabo, R. Mangione, M. Rath, A. Pašukonis, S. Reber, J. Oh, M. Ringler, E. Ringler, Journal of Experimental Biology 224 (2021).
View
| Files available
| DOI
| PubMed | Europe PMC
B. Szabo, R. Mangione, M. Rath, A. Pašukonis, S. Reber, J. Oh, M. Ringler, E. Ringler, Journal of Experimental Biology 224 (2021).
2021 | Journal Article | IST-REx-ID: 10573 |

Extracellular hyaluronate pressure shaped by cellular tethers drives tissue morphogenesis
A. Munjal, E.B. Hannezo, T.Y.C. Tsai, T.J. Mitchison, S.G. Megason, Cell 184 (2021) 6313–6325.e18.
View
| DOI
| Download Preprint (ext.)
A. Munjal, E.B. Hannezo, T.Y.C. Tsai, T.J. Mitchison, S.G. Megason, Cell 184 (2021) 6313–6325.e18.
2021 | Journal Article | IST-REx-ID: 10574 |

The effect of geometry and illumination on appearance perception of different material categories
B. Chen, C. Wang, M. Piovarci, H.P. Seidel, P. Didyk, K. Myszkowski, A. Serrano, Visual Computer 37 (2021) 2975–2987.
View
| Files available
| DOI
B. Chen, C. Wang, M. Piovarci, H.P. Seidel, P. Didyk, K. Myszkowski, A. Serrano, Visual Computer 37 (2021) 2975–2987.
2021 | Preprint | IST-REx-ID: 10579 |

On token-driven totally asymmetric simple exclusion process
B. Kavcic, G. Tkačik, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
B. Kavcic, G. Tkačik, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 10585 |

Emergence of anyons on the two-sphere in molecular impurities
M. Brooks, M. Lemeshko, D. Lundholm, E. Yakaboylu, Atoms 9 (2021).
View
| Files available
| DOI
| arXiv
M. Brooks, M. Lemeshko, D. Lundholm, E. Yakaboylu, Atoms 9 (2021).
2021 | Journal Article | IST-REx-ID: 10586 |

Fe2O3 nanoparticles deposited over self-floating facial sponge for facile interfacial seawater solar desalination
Y. Lu, N. Arshad, M.S. Irshad, I. Ahmed, S. Ahmad, L.A. Alshahrani, M. Yousaf, A.E. Sayed, M. Nauman, Crystals 11 (2021).
View
| Files available
| DOI
Y. Lu, N. Arshad, M.S. Irshad, I. Ahmed, S. Ahmad, L.A. Alshahrani, M. Yousaf, A.E. Sayed, M. Nauman, Crystals 11 (2021).
2021 | Journal Article | IST-REx-ID: 10587
Inkjet printing of epitaxially connected nanocrystal superlattices
D. Balazs, N.D. Erkan, M. Quien, T. Hanrath, Nano Research (2021) 1–8.
View
| DOI
D. Balazs, N.D. Erkan, M. Quien, T. Hanrath, Nano Research (2021) 1–8.
2021 | Journal Article | IST-REx-ID: 10588 |

Sobolev-to-Lipschitz property on QCD - spaces and applications
L. Dello Schiavo, K. Suzuki, Mathematische Annalen (2021).
View
| Files available
| DOI
| arXiv
L. Dello Schiavo, K. Suzuki, Mathematische Annalen (2021).
2021 | Conference Paper | IST-REx-ID: 10593 |

PCA initialization for approximate message passing in rotationally invariant models
M. Mondelli, R. Venkataramanan, in:, 35th Conference on Neural Information Processing Systems, NeurIPS, n.d.
View
| Download Preprint (ext.)
| arXiv
M. Mondelli, R. Venkataramanan, in:, 35th Conference on Neural Information Processing Systems, NeurIPS, n.d.
2021 | Conference Paper | IST-REx-ID: 10594 |

When are solutions connected in deep networks?
Q. Nguyen, P. Bréchet, M. Mondelli, in:, 35th Conference on Neural Information Processing Systems, NeurIPS, n.d.
View
| Download Preprint (ext.)
| arXiv
Q. Nguyen, P. Bréchet, M. Mondelli, in:, 35th Conference on Neural Information Processing Systems, NeurIPS, n.d.
2021 | Conference Paper | IST-REx-ID: 10595 |

Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
View
| Download Published Version (ext.)
| arXiv
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
2021 | Conference Paper | IST-REx-ID: 10597 |

Sparse multi-decoder recursive projection aggregation for Reed-Muller codes
D. Fathollahi, N. Farsad, S.A. Hashemi, M. Mondelli, in:, 2021 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2021, pp. 1082–1087.
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Fathollahi, N. Farsad, S.A. Hashemi, M. Mondelli, in:, 2021 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2021, pp. 1082–1087.
2021 | Conference Paper | IST-REx-ID: 10598 |

Approximate message passing with spectral initialization for generalized linear models
M. Mondelli, R. Venkataramanan, in:, A. Banerjee, K. Fukumizu (Eds.), Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2021, pp. 397–405.
View
| Download Preprint (ext.)
| arXiv
M. Mondelli, R. Venkataramanan, in:, A. Banerjee, K. Fukumizu (Eds.), Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2021, pp. 397–405.
2021 | Journal Article | IST-REx-ID: 10602 |

Index appearance record with preorders
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica (2021).
View
| Files available
| DOI
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica (2021).
2021 | Journal Article | IST-REx-ID: 10606 |

Combined effect of cell geometry and polarity domains determines the orientation of unequal division
B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
View
| Files available
| DOI
B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
2021 | Journal Article | IST-REx-ID: 10607 |

Toll-like receptor 4 deficiency facilitates α-synuclein propagation and neurodegeneration in a mouse model of prodromal Parkinson's disease
S. Venezia, W. Kaufmann, G.K. Wenning, N. Stefanova, Parkinsonism & Related Disorders 91 (2021) 59–65.
View
| Files available
| DOI
| PubMed | Europe PMC
S. Venezia, W. Kaufmann, G.K. Wenning, N. Stefanova, Parkinsonism & Related Disorders 91 (2021) 59–65.
2021 | Journal Article | IST-REx-ID: 10608 |

Coarse infinite-dimensionality of hyperspaces of finite subsets
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
View
| Files available
| DOI
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
2021 | Conference Paper | IST-REx-ID: 10609 |

Reverse firewalls for adaptively secure MPC without setup
S. Chakraborty, C. Ganesh, M. Pancholi, P. Sarkar, in:, 27th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2021, pp. 335–364.
View
| DOI
| Download Preprint (ext.)
S. Chakraborty, C. Ganesh, M. Pancholi, P. Sarkar, in:, 27th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2021, pp. 335–364.
2021 | Journal Article | IST-REx-ID: 10613 |

Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
View
| Files available
| Download Preprint (ext.)
| arXiv
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
2021 | Journal Article | IST-REx-ID: 10628 |

Shadow surface states in topological Kondo insulators
A. Ghazaryan, E.M. Nica, O. Erten, P. Ghaemi, New Journal of Physics 23 (2021).
View
| Files available
| DOI
| arXiv
A. Ghazaryan, E.M. Nica, O. Erten, P. Ghaemi, New Journal of Physics 23 (2021).
2021 | Conference Paper | IST-REx-ID: 10629 |

Quantitative verification on product graphs of small treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10630 |

On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
View
| Files available
| DOI
| arXiv
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Journal Article | IST-REx-ID: 10631 |

Excited rotational states of molecules in a superfluid
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, S.H. Albrechtsen, A.V. Muñoz, L. Christiansen, H. Stapelfeldt, M. Lemeshko, Physical Review A 104 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, S.H. Albrechtsen, A.V. Muñoz, L. Christiansen, H. Stapelfeldt, M. Lemeshko, Physical Review A 104 (2021).
2021 | Journal Article | IST-REx-ID: 10635 |

Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
View
| Files available
| DOI
| arXiv
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
2021 | Other Publication | IST-REx-ID: 10644 |

The Bluefors dilution refrigerator as an integrated quantum measurement system
R. Lake, S. Simbierowicz, P. Krantz, F. Hassani, J.M. Fink, The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
View
| Download Published Version (ext.)
R. Lake, S. Simbierowicz, P. Krantz, F. Hassani, J.M. Fink, The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
2021 | Other Publication | IST-REx-ID: 10645 |

Qubit energy-relaxation statistics in the Bluefors quantum measurement system
S. Simbierowicz, C. Shi, M. Collodo, M. Kirste, F. Hassani, J.M. Fink, J. Bylander, D. Perez Lozano, R. Lake, Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
View
| Download Published Version (ext.)
S. Simbierowicz, C. Shi, M. Collodo, M. Kirste, F. Hassani, J.M. Fink, J. Bylander, D. Perez Lozano, R. Lake, Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
2021 | Journal Article | IST-REx-ID: 10655 |

Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor degenerative environment
M.E. Maes, G.M. Wögenstein, G. Colombo, R. Casado Polanco, S. Siegert, Molecular Therapy - Methods and Clinical Development 23 (2021) 210–224.
View
| Files available
| DOI
M.E. Maes, G.M. Wögenstein, G. Colombo, R. Casado Polanco, S. Siegert, Molecular Therapy - Methods and Clinical Development 23 (2021) 210–224.
2021 | Conference Paper | IST-REx-ID: 10668 |

On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
View
| Files available
| Download Published Version (ext.)
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
2021 | Conference Paper | IST-REx-ID: 10669 |

On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
View
| Files available
| arXiv
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
2021 | Conference Paper | IST-REx-ID: 10670 |

Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
View
| Files available
| Download Published Version (ext.)
| arXiv
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Conference Paper | IST-REx-ID: 10671 |

Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
View
| Files available
| arXiv
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
2021 | Conference Paper | IST-REx-ID: 10688 |

The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 | Conference Paper | IST-REx-ID: 10694 |

Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 | Journal Article | IST-REx-ID: 10711 |

The distribution of the maximum of partial sums of Kloosterman sums and other trace functions
P. Autissier, D. Bonolis, Y. Lamzouri, Compositio Mathematica 157 (2021) 1610–1651.
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Autissier, D. Bonolis, Y. Lamzouri, Compositio Mathematica 157 (2021) 1610–1651.