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.
8157 Publications
2022 | Journal Article | IST-REx-ID: 12232 |

Cipolloni, Giorgio, et al. “Density of Small Singular Values of the Shifted Real Ginibre Ensemble.” Annales Henri Poincaré, vol. 23, no. 11, Springer Nature, 2022, pp. 3981–4002, doi:10.1007/s00023-022-01188-8.
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12229 |

Spiegelman, Alexander, et al. “Bullshark: DAG BFT Protocols Made Practical.” Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2022, pp. 2705–2718, doi:10.1145/3548606.3559361.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12239 |

Johnson, Alexander J., et al. “Three-Dimensional Visualization of Planta Clathrin-Coated Vesicles at Ultrastructural Resolution.” Molecular Plant, vol. 15, no. 10, Elsevier, 2022, pp. 1533–42, doi:10.1016/j.molp.2022.09.003.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12235 |

Patxot, Marion, et al. “Haematological Changes from Conception to Childbirth: An Indicator of Major Pregnancy Complications.” European Journal of Haematology, vol. 109, no. 5, Wiley, 2022, pp. 566–75, doi:10.1111/ejh.13844.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12238
Hino, Naoya, et al. “A Feedback Loop between Lamellipodial Extension and HGF-ERK Signaling Specifies Leader Cells during Collective Cell Migration.” Developmental Cell, vol. 57, no. 19, Elsevier, 2022, p. 2290–2304.e7, doi:10.1016/j.devcel.2022.09.003.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12234 |

Stankowski, Sean. “Digest: On the Origin of a Possible Hybrid Species.” Evolution, vol. 76, no. 11, Wiley, 2022, pp. 2784–85, doi:10.1111/evo.14632.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12233 |

Doan, Nghia, et al. “Decoding Reed-Muller Codes with Successive Codeword Permutations.” IEEE Transactions on Communications, vol. 70, no. 11, Institute of Electrical and Electronics Engineers, 2022, pp. 7134–45, doi:10.1109/tcomm.2022.3211101.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12236
Wang, Xiang, et al. “CoFeNiMnZnB as a High-Entropy Metal Boride to Boost the Oxygen Evolution Reaction.” ACS Applied Materials & Interfaces, vol. 14, no. 42, American Chemical Society, 2022, pp. 48212–19, doi:10.1021/acsami.2c11627.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12243 |

Cipolloni, Giorgio, et al. “Directional Extremal Statistics for Ginibre Eigenvalues.” Journal of Mathematical Physics, vol. 63, no. 10, 103303, AIP Publishing, 2022, doi:10.1063/5.0104290.
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 12245 |

Soto, Ximena, et al. “Sequential and Additive Expression of MiR-9 Precursors Control Timing of Neurogenesis.” Development, vol. 149, no. 19, dev200474, The Company of Biologists, 2022, doi:10.1242/dev.200474.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12246 |

Lewin, Mathieu, et al. “Improved Lieb–Oxford Bound on the Indirect and Exchange Energies.” Letters in Mathematical Physics, vol. 112, no. 5, 92, Springer Nature, 2022, doi:10.1007/s11005-022-01584-5.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12252 |

Dormeshkin, Dmitri, et al. “Isolation of an Escape-Resistant SARS-CoV-2 Neutralizing Nanobody from a Novel Synthetic Nanobody Library.” Frontiers in Immunology, vol. 13, 965446, Frontiers Media, 2022, doi:10.3389/fimmu.2022.965446.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12253 |

Stock, Jessica, et al. “A Self-Generated Toddler Gradient Guides Mesodermal Cell Migration.” Science Advances, vol. 8, no. 37, eadd2488, American Association for the Advancement of Science, 2022, doi:10.1126/sciadv.add2488.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12251 |

Weiffert, Tanja, et al. “Influence of Denaturants on Amyloid Β42 Aggregation Kinetics.” Frontiers in Neuroscience, vol. 16, 943355, Frontiers Media, 2022, doi:10.3389/fnins.2022.943355.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12249 |

Cheng, Bingqing. “Computing Chemical Potentials of Solutions from Structure Factors.” The Journal of Chemical Physics, vol. 157, no. 12, 121101, AIP Publishing, 2022, doi:10.1063/5.0107059.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12261 |

Angermayr, Andreas, et al. “Growth‐mediated Negative Feedback Shapes Quantitative Antibiotic Response.” Molecular Systems Biology, vol. 18, no. 9, e10490, Embo Press, 2022, doi:10.15252/msb.202110490.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12262 |

Prattes, Michael, et al. “Visualizing Maturation Factor Extraction from the Nascent Ribosome by the AAA-ATPase Drg1.” Nature Structural & Molecular Biology, vol. 29, no. 9, Springer Nature, 2022, pp. 942–53, doi:10.1038/s41594-022-00832-5.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12259 |

Choueiri, George H., et al. “Crises and Chaotic Scattering in Hydrodynamic Pilot-Wave Experiments.” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 32, no. 9, 093138, AIP Publishing, 2022, doi:10.1063/5.0102904.
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 12257 |

Chatterjee, Krishnendu, et al. “Social Balance on Networks: Local Minima and Best-Edge Dynamics.” Physical Review E, vol. 106, no. 3, 034321, American Physical Society, 2022, doi:10.1103/physreve.106.034321.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12268 |

Basilico, Bernadette, et al. “Substrate Stiffness Effect on Molecular Crosstalk of Epithelial-Mesenchymal Transition Mediators of Human Glioblastoma Cells.” Frontiers in Oncology, vol. 12, 983507, Frontiers Media, 2022, doi:10.3389/fonc.2022.983507.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12264 |

Westram, Anja M., et al. “What Is Reproductive Isolation?” Journal of Evolutionary Biology, vol. 35, no. 9, Wiley, 2022, pp. 1143–64, doi:10.1111/jeb.14005.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12265 |

Westram, Anja M., et al. “Reproductive Isolation, Speciation, and the Value of Disagreement: A Reply to the Commentaries on ‘What Is Reproductive Isolation?’” Journal of Evolutionary Biology, vol. 35, no. 9, Wiley, 2022, pp. 1200–05, doi:10.1111/jeb.14082.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12269 |

Ljubotina, Marko, et al. “Absence of Thermalization of Free Systems Coupled to Gapped Interacting Reservoirs.” Physical Review B, vol. 106, no. 5, 054314, American Physical Society, 2022, doi:10.1103/physrevb.106.054314.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12277 |

Brückner, David, et al. “Geometry Adaptation of Protrusion and Polarity Dynamics in Confined Cell Migration.” Physical Review X, vol. 12, no. 3, 031041, American Physical Society, 2022, doi:10.1103/physrevx.12.031041.
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 12276 |

Ljubotina, Marko, et al. “Optimal Steering of Matrix Product States and Quantum Many-Body Scars.” PRX Quantum, vol. 3, no. 3, 030343, American Physical Society, 2022, doi:10.1103/prxquantum.3.030343.
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 12274
Azkanaz M, Corominas-Murtra B, Ellenbroek SIJ, Bruens L, Webb AT, Laskaris D, Oost KC, Lafirenze SJA, Annusver K, Messal HA, Iqbal S, Flanagan DJ, Huels DJ, Rojas-Rodríguez F, Vizoso M, Kasper M, Sansom OJ, Snippert HJ, Liberali P, Simons BD, Katajisto P, Hannezo EB, van Rheenen J. 2022. Retrograde movements determine effective stem cell numbers in the intestine. Nature. 607(7919), 548–554.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12278 |

Shuvaev, Alexey, et al. “Band Structure near the Dirac Point in HgTe Quantum Wells with Critical Thickness.” Nanomaterials, vol. 12, no. 14, 2492, Multidisciplinary Digital Publishing Institute, 2022, doi:10.3390/nano12142492.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12272 |

Stopp, Julian A., and Michael K. Sixt. “Plan Your Trip before You Leave: The Neutrophils’ Search-and-Run Journey.” Journal of Cell Biology, vol. 221, no. 8, e202206127, Rockefeller University Press, 2022, doi:10.1083/jcb.202206127.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12273 |

Zhang, Yihan, et al. “Quadratically Constrained Myopic Adversarial Channels.” IEEE Transactions on Information Theory, vol. 68, no. 8, Institute of Electrical and Electronics Engineers, 2022, pp. 4901–48, doi:10.1109/tit.2022.3167554.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12279 |

Kumar, M. Vijay, et al. “Relaminarization of Elastic Turbulence.” Physical Review Fluids, vol. 7, no. 8, L081301, American Physical Society, 2022, doi:10.1103/physrevfluids.7.l081301.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12288 |

Sumser, Anton L., et al. “Fast, High-Throughput Production of Improved Rabies Viral Vectors for Specific, Efficient and Versatile Transsynaptic Retrograde Labeling.” ELife, vol. 11, 79848, eLife Sciences Publications, 2022, doi:10.7554/elife.79848.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12280 |

Schmid, Laura, et al. “Direct Reciprocity between Individuals That Use Different Strategy Spaces.” PLOS Computational Biology, vol. 18, no. 6, e1010149, Public Library of Science, 2022, doi:10.1371/journal.pcbi.1010149.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12283 |

Atherton, Joseph, et al. “Visualising the Cytoskeletal Machinery in Neuronal Growth Cones Using Cryo-Electron Tomography.” Journal of Cell Science, vol. 135, no. 7, 259234, The Company of Biologists, 2022, doi:10.1242/jcs.259234.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12286 |

Cooley, Oliver, et al. “Loose Cores and Cycles in Random Hypergraphs.” The Electronic Journal of Combinatorics, vol. 29, no. 4, P4.13, The Electronic Journal of Combinatorics, 2022, doi:10.37236/10794.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12281 |

Franceschini, Chiara, et al. “Symmetric Inclusion Process with Slow Boundary: Hydrodynamics and Hydrostatics.” Bernoulli, vol. 28, no. 2, Bernoulli Society for Mathematical Statistics and Probability, 2022, pp. 1340–81, doi:10.3150/21-bej1390.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12282
Amberg, Nicole, et al. “Operation STEM Fatale – How an Equity, Diversity and Inclusion Initiative Has Brought Us to Reflect on the Current Challenges in Cell Biology and Science as a Whole.” Journal of Cell Science, vol. 135, no. 8, 260017, The Company of Biologists, 2022, doi:10.1242/jcs.260017.
View
| DOI
| PubMed | Europe PMC
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.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12290 |

Cipolloni, Giorgio, et al. “Optimal Multi-Resolvent Local Laws for Wigner Matrices.” Electronic Journal of Probability, vol. 27, Institute of Mathematical Statistics, 2022, pp. 1–38, doi:10.1214/22-ejp838.
View
| Files available
| DOI
2022 | Book Chapter | IST-REx-ID: 12294
Kumar, Roshan, et al. “An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis.” Biochemical Pathways and Environmental Responses in Plants: Part A, edited by Joseph Jez, vol. 676, Elsevier, 2022, pp. 49–69, doi:10.1016/bs.mie.2022.07.019.
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12298 |

Gelashvili, Rati, et al. “Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback.” Financial Cryptography and Data Security, vol. 13411, Springer Nature, 2022, pp. 296–315, doi:10.1007/978-3-031-18283-9_14.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12300 |

Das, Sourav, et al. “Practical Asynchronous Distributed Key Generation.” 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–34, doi:10.1109/sp46214.2022.9833584.
View
| DOI
| Download Preprint (ext.)
2022 | Conference Paper | IST-REx-ID: 12302 |

Doveri, Kyveli, et al. “FORQ-Based Language Inclusion Formal Testing.” Computer Aided Verification, vol. 13372, Springer Nature, 2022, pp. 109–29, doi:10.1007/978-3-031-13188-2_6.
View
| Files available
| DOI
| arXiv
2022 | Book Chapter | IST-REx-ID: 12303 |

Mirković, Ivan, et al. “Loop Grassmannians of Quivers and Affine Quantum Groups.” Representation Theory and Algebraic Geometry, edited by Vladimir Baranovskky et al., 1st ed., Springer Nature; Birkhäuser, 2022, pp. 347–92, doi:10.1007/978-3-030-82007-7_8.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12305 |

Abels, Helmut, and Maximilian Moser. “Convergence of the Allen--Cahn Equation with a Nonlinear Robin Boundary Condition to Mean Curvature Flow with Contact Angle Close to 90°.” SIAM Journal on Mathematical Analysis, vol. 54, no. 1, Society for Industrial and Applied Mathematics, 2022, pp. 114–72, doi:10.1137/21m1424925.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12304 |

De Nitti, Nicola, and Julian L. Fischer. “Sharp Criteria for the Waiting Time Phenomenon in Solutions to the Thin-Film Equation.” Communications in Partial Differential Equations, vol. 47, no. 7, Taylor & Francis, 2022, pp. 1394–434, doi:10.1080/03605302.2022.2056702.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12307
Shipman, Barbara A., and Elizabeth R. Stephenson. “Tangible Topology through the Lens of Limits.” PRIMUS, vol. 32, no. 5, Taylor & Francis, 2022, pp. 593–609, doi:10.1080/10511970.2021.1872750.
View
| DOI
2022 | Preprint | IST-REx-ID: 12312 |

Lombardo, Davide, and Matteo Verzobio. “On the Local-Global Principle for Isogenies of Abelian Surfaces.” ArXiv, 2206.15240, doi:10.48550/arXiv.2206.15240.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12332 |

Mlynarski, Wiktor F., and Gašper Tkačik. “Efficient Coding Theory of Dynamic Attentional Modulation.” PLoS Biology, vol. 20, no. 12, Public Library of Science, 2022, p. e3001889, doi:10.1371/journal.pbio.3001889.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12333 |

Tomanek, Isabella, and Calin C. Guet. “Adaptation Dynamics between Copynumber and Point Mutations.” ELife, vol. 11, e82240, eLife Sciences Publications, 2022, doi:10.7554/ELIFE.82240.
View
| Files available
| DOI
2022 | Research Data Reference | IST-REx-ID: 12339 |

Tomanek, Isabella, and Calin C. Guet. Flow Cytometry YFP and CFP Data and Deep Sequencing Data of Populations Evolving in Galactose. Dryad, 2022, doi:10.5061/dryad.rfj6q57ds.
View
| Files available
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 11160 |

Villa, Carlo Emanuele, et al. “CHD8 Haploinsufficiency Links Autism to Transient Alterations in Excitatory and Inhibitory Trajectories.” Cell Reports, vol. 39, no. 1, 110615, Elsevier, 2022, doi:10.1016/j.celrep.2022.110615.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12431 |

Ishida, Sadashige, et al. “Hidden Degrees of Freedom in Implicit Vortex Filaments.” ACM Transactions on Graphics, vol. 41, no. 6, 241, Association for Computing Machinery, 2022, doi:10.1145/3550454.3555459.
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12432
Anastos, Michael. “Solving the Hamilton Cycle Problem Fast on Average.” 63rd Annual IEEE Symposium on Foundations of Computer Science, vol. 2022–October, Institute of Electrical and Electronics Engineers, 2022, pp. 919–30, doi:10.1109/FOCS54457.2022.00091.
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12452 |

Rao, Pramod, et al. “VoRF: Volumetric Relightable Faces.” 33rd British Machine Vision Conference, 708, British Machine Vision Association and Society for Pattern Recognition, 2022.
View
| Files available
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12480 |

Mondelli, Marco, and Ramji Venkataramanan. “Approximate Message Passing with Spectral Initialization for Generalized Linear Models.” Journal of Statistical Mechanics: Theory and Experiment, vol. 2022, no. 11, 114003, IOP Publishing, 2022, doi:10.1088/1742-5468/ac9828.
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 11943 |

Velicky, Philipp, et al. “Saturated Reconstruction of Living Brain Tissue.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.03.16.484431.
View
| Files available
| DOI
| Download Preprint (ext.)
2022 | Preprint | IST-REx-ID: 11950 |

Michalska, Julia M., et al. “Uncovering Brain Tissue Architecture across Scales with Super-Resolution Light Microscopy.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.08.17.504272.
View
| Files available
| DOI
| Download Preprint (ext.)
2022 | Preprint | IST-REx-ID: 12478 |

Guet, Calin C., et al. “Monitoring Lineages of Growing and Dividing Bacteria Reveals an Inducible Memory of Mar Operon Expression.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.09.16.508303.
View
| DOI
| Download Preprint (ext.)
2022 | Preprint | IST-REx-ID: 12486 |

Agresti, Antonio. “Delayed Blow-up and Enhanced Diffusion by Transport Noise for Systems of Reaction-Diffusion Equations.” ArXiv, 2207.08293, doi:10.48550/ARXIV.2207.08293.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12485 |

Agresti, Antonio, and Mark Veraar. “The Critical Variational Setting for Stochastic Evolution Equations.” ArXiv, 2206.00230, doi:10.48550/ARXIV.2206.00230.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12487 |

Scarpetta, Silvia, et al. “Criticality of Neuronal Avalanches in Human Sleep and Their Relationship with Sleep Macro- and Micro-Architecture.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.07.12.499725.
View
| DOI
| Download Preprint (ext.)
2022 | Conference Paper | IST-REx-ID: 12508 |

Henzinger, Thomas A., et al. “History-Deterministic Timed Automata.” 33rd International Conference on Concurrency Theory, vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21, doi:10.4230/LIPIcs.CONCUR.2022.14.
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12509 |

Avni, Guy, and Thomas A. Henzinger. “An Updated Survey of Bidding Games on Graphs.” 47th International Symposium on Mathematical Foundations of Computer Science, vol. 241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 3:1-3:6, doi:10.4230/LIPIcs.MFCS.2022.3.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12510
Gruenbacher, Sophie A., et al. “GoTube: Scalable Statistical Verification of Continuous-Depth Models.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 6, Association for the Advancement of Artificial Intelligence, 2022, pp. 6755–64, doi:10.1609/aaai.v36i6.20631.
View
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 12511
Lechner, Mathias, et al. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7, Association for the Advancement of Artificial Intelligence, 2022, pp. 7326–36, doi:10.1609/aaai.v36i7.20695.
View
| DOI
| arXiv
2022 | Conference Paper | IST-REx-ID: 12529 |

Banerjee, Tamajit, et al. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.” 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 13244, Springer Nature, 2022, pp. 81–98, doi:10.1007/978-3-030-99527-0_5.
View
| DOI
| Download Published Version (ext.)
2022 | Conference Paper | IST-REx-ID: 12516 |

Bogdanov, Andrej, et al. “Public-Key Encryption from Homogeneous CLWE.” Theory of Cryptography, vol. 13748, Springer Nature, 2022, pp. 565–92, doi:10.1007/978-3-031-22365-5_20.
View
| DOI
| Download Preprint (ext.)
2022 | Conference Paper | IST-REx-ID: 12530
Finkbeiner, Bernd, et al. “BOCoSy: Small but Powerful Symbolic Output-Feedback Control.” 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11, doi:10.1145/3501710.3519535.
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12540 |

Venkataramanan, Ramji, et al. “Estimation in Rotationally Invariant Generalized Linear Models via Approximate Message Passing.” Proceedings of the 39th International Conference on Machine Learning, vol. 162, 22, ML Research Press, 2022.
View
| Files available
2022 | Preprint | IST-REx-ID: 12536 |

Barbier, Jean, et al. “The Price of Ignorance: How Much Does It Cost to Forget Noise Structure in Low-Rank Matrix Estimation?” ArXiv, 2205.10009, doi:10.48550/arXiv.2205.10009.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12538 |

Amani, Mohammad Hossein, et al. “Sharp Asymptotics on the Compression of Two-Layer Neural Networks.” ArXiv, 2205.08199, doi:10.48550/arXiv.2205.08199.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12537 |

Bombari, Simone, et al. “Memorization and Optimization in Deep Neural Networks with Minimum Over-Parameterization.” ArXiv, 2205.10217, doi:10.48550/arXiv.2205.10217.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12568 |

Meggendorfer, Tobias. “Risk-Aware Stochastic Shortest Path.” Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, vol. 36, no. 9, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–67, doi:10.1609/aaai.v36i9.21222.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12660 |

Scott, Jonathan A., et al. “Cross-Client Label Propagation for Transductive Federated Learning.” ArXiv, 2210.06434, doi:10.48550/arXiv.2210.06434.
View
| Files available
| DOI
| arXiv
2022 | Preprint | IST-REx-ID: 12662 |

Súkeník, Peter, and Christoph Lampert. “Generalization in Multi-Objective Machine Learning.” ArXiv, 2208.13499, doi:10.48550/arXiv.2208.13499.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12664 |

Súkeník, Peter, et al. “Intriguing Properties of Input-Dependent Randomized Smoothing.” Proceedings of the 39th International Conference on Machine Learning, vol. 162, ML Research Press, 2022, pp. 20697–743.
View
| Files available
| arXiv
2022 | Journal Article | IST-REx-ID: 11593 |

Fulek, Radoslav, and Jan Kynčl. “The Z2-Genus of Kuratowski Minors.” Discrete and Computational Geometry, Springer Nature, 2022, doi:10.1007/s00454-022-00412-w.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12495 |

Iofinova, Eugenia B., et al. “FLEA: Provably Robust Fair Multisource Learning from Unreliable Training Data.” Transactions on Machine Learning Research, ML Research Press, 2022.
View
| Files available
| Download Published Version (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 12364
Dotter, Christoph. Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12094.
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11932
Nardin, Michele. On the Encoding, Transfer, and Consolidation of Spatial Memories. Institute of Science and Technology Austria (ISTA), 2022, doi:10.15479/at:ista:11932.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11402 |

Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” Journal of Computer and System Sciences, vol. 129, Elsevier, 2022, pp. 1–21, doi:10.1016/j.jcss.2022.04.003.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 11362 |

Lechner, Mathias. Learning Verifiable Representations. ISTA, 2022, doi:10.15479/at:ista:11362.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12129 |

Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane.” Discrete & Computational Geometry, vol. 68, no. 4, Springer Nature, 2022, pp. 1227–84, doi:10.1007/s00454-022-00436-2.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11411 |

Surendranadh, Parvathy, et al. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Genetics, vol. 221, no. 3, iyac083, Oxford University Press, 2022, doi:10.1093/genetics/iyac083.
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Research Data | IST-REx-ID: 11321 |

Surendranadh, Parvathy, et al. Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus. ISTA, 2022, doi:10.15479/at:ista:11321.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11938 |

Aichholzer, Oswin, et al. “On Compatible Matchings.” Journal of Graph Algorithms and Applications, vol. 26, no. 2, Brown University, 2022, pp. 225–40, doi:10.7155/jgaa.00591.
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 9649 |

Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics , vol. 22, Springer Nature, 2022, pp. 967–1012, doi:10.1007/s10208-021-09520-0.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9652 |

Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics, Springer Nature, 2022, doi:10.1007/s11856-022-2448-6.
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 10766 |

Slovakova, Jana, et al. “Tension-Dependent Stabilization of E-Cadherin Limits Cell-Cell Contact Expansion in Zebrafish Germ-Layer Progenitor Cells.” Proceedings of the National Academy of Sciences of the United States of America, vol. 119, no. 8, e2122030119, Proceedings of the National Academy of Sciences, 2022, doi:10.1073/pnas.2122030119.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9794 |

Assen, Frank P., et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” Nature Immunology, vol. 23, Springer Nature, 2022, pp. 1246–55, doi:10.1038/s41590-022-01257-4.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9955
Reyes‐Pinto, Rosana, et al. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology, vol. 530, no. 2, Wiley, 2022, pp. 553–73, doi:10.1002/cne.25229.
View
| DOI
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 11473 |

Mysliwy, Krzysztof. Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates. Institute of Science and Technology Austria (ISTA), 2022, doi:10.15479/at:ista:11473.
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 12390 |

Brooks, Morris. Translation-Invariant Quantum Systems with Effectively Broken Symmetry. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12390.
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11626 |

Gallei, Michelle C. Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana. Institute of Science and Technology Austria (ISTA), 2022, doi:10.15479/at:ista:11626.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9311 |

Chatterjee, Krishnendu, et al. “Finite-Memory Strategies in POMDPs with Long-Run Average Objectives.” Mathematics of Operations Research, vol. 47, no. 1, Institute for Operations Research and the Management Sciences, 2022, pp. 100–19, doi:10.1287/moor.2020.1116.
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 12368 |

Arslan, Feyza N. Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12153.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9364 |

Bonolis, Dante. “On the Size of the Maximum of Incomplete Kloosterman Sums.” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 172, no. 3, Cambridge University Press, 2022, pp. 563–90, doi:10.1017/S030500412100030X.
View
| Files available
| DOI
| arXiv
2022 | Thesis | IST-REx-ID: 12401
Tasciyan, Saren. Role of Microenvironment Heterogeneity in Cancer Cell Invasion. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12401.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10755 |

Feliciangeli, Dario, et al. “The Effective Mass Problem for the Landau-Pekar Equations.” Journal of Physics A: Mathematical and Theoretical, vol. 55, no. 1, 015201, IOP Publishing, 2022, doi:10.1088/1751-8121/ac3947.
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 9977 |

Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:10.1112/jlms.12506.
View
| Files available
| DOI
| arXiv