Frantar, Elias, and Dan-Adrian Alistarh. “SPDY: Accurate Pruning with Speedup Guarantees.” 39th International Conference on Machine Learning, vol. 162, ML Research Press, 2022, pp. 6726–43.
LibreCat: https://research-explorer.ista.ac.at/record/17059
WoS: 000922378801029

Gonzalez Somermeyer, Louisa, et al. “Heterogeneity of the GFP Fitness Landscape and Data-Driven Protein Design.”10.7554/elife.75842__ELife, vol. 11, 75842, eLife Sciences Publications, 2022, doi:10.7554/elife.75842.
LibreCat: https://research-explorer.ista.ac.at/record/11448
DOI: 10.7554/elife.75842
WoS: 000799197200001

Fischer, Julian L., and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.”10.48550/ARXIV.2203.17143__ArXiv, doi:10.48550/ARXIV.2203.17143.
LibreCat: https://research-explorer.ista.ac.at/record/14597
DOI: 10.48550/ARXIV.2203.17143
arXiv: 2203.17143

Sammler, Michael Joachim, et al. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.”10.1145/3519939.3523434__Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–40, doi:10.1145/3519939.3523434.
LibreCat: https://research-explorer.ista.ac.at/record/17502
DOI: 10.1145/3519939.3523434

Gäher, Lennard, et al. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.”10.1145/3498689__Proceedings of the ACM on Programming Languages, vol. 6, no. POPL, Association for Computing Machinery, 2022, pp. 1–31, doi:10.1145/3498689.
LibreCat: https://research-explorer.ista.ac.at/record/17504
DOI: 10.1145/3498689

Zhu, Fengmin, et al. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.”10.1145/3563345__Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSL, Association for Computing Machinery, 2022, pp. 1613–38, doi:10.1145/3563345.
LibreCat: https://research-explorer.ista.ac.at/record/17501
DOI: 10.1145/3563345

Lepigre, Rodolphe, et al. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.”10.1145/3498681__Proceedings of the ACM on Programming Languages, vol. 6, no. POPL, Association for Computing Machinery, 2022, pp. 1–32, doi:10.1145/3498681.
LibreCat: https://research-explorer.ista.ac.at/record/17503
DOI: 10.1145/3498681

Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.”10.1103/physrevd.105.103010__Physical Review D, vol. 105, no. 10, 103010, American Physical Society (APS), 2022, doi:10.1103/physrevd.105.103010.
LibreCat: https://research-explorer.ista.ac.at/record/17526
DOI: 10.1103/physrevd.105.103010

Lampert, Jasmin, and Christoph Lampert. “Overcoming Rare-Language Discrimination in Multi-Lingual Sentiment Analysis.”10.1109/bigdata52589.2021.9672003__2021 IEEE International Conference on Big Data, IEEE, 2022, pp. 5185–92, doi:10.1109/bigdata52589.2021.9672003.
LibreCat: https://research-explorer.ista.ac.at/record/10752
DOI: 10.1109/bigdata52589.2021.9672003
WoS: 000800559505036

Samsing, J., et al. “AGN as Potential Factories for Eccentric Black Hole Mergers.”10.1038/s41586-021-04333-1__Nature, vol. 603, no. 7900, Springer Science and Business Media LLC, 2022, pp. 237–40, doi:10.1038/s41586-021-04333-1.
LibreCat: https://research-explorer.ista.ac.at/record/17536
DOI: 10.1038/s41586-021-04333-1
arXiv: 2010.09765

Shevchenko, Aleksandr, et al. “Mean-Field Analysis of Piecewise Linear Solutions for Wide ReLU Networks.” Journal of Machine Learning Research, vol. 23, no. 130, Journal of Machine Learning Research, 2022, pp. 1–55.
LibreCat: https://research-explorer.ista.ac.at/record/11420
arXiv: 2111.02278

Markov, Ilia, et al. “CGX: Adaptive System Support for Communication-Efficient Deep Learning.”10.1145/3528535.3565248__Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–54, doi:10.1145/3528535.3565248.
LibreCat: https://research-explorer.ista.ac.at/record/12780
DOI: 10.1145/3528535.3565248
arXiv: 2111.08617

Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.”10.1103/physrevlett.128.191101__Physical Review Letters, vol. 128, no. 19, 191101, American Physical Society, 2022, doi:10.1103/physrevlett.128.191101.
LibreCat: https://research-explorer.ista.ac.at/record/17547
DOI: 10.1103/physrevlett.128.191101
arXiv: 2112.05829

Tiede, Christopher, et al. “How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.”10.3847/1538-4357/ac6c2b__The Astrophysical Journal, vol. 932, no. 1, 24, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac6c2b.
LibreCat: https://research-explorer.ista.ac.at/record/17553
DOI: 10.3847/1538-4357/ac6c2b

Sabyr, Alina, et al. “Cosmological Constraints from Weak Lensing Peaks: Can Halo Models Accurately Predict Peak Counts?”10.1103/physrevd.105.023505__Physical Review D, vol. 105, no. 2, 023505, American Physical Society, 2022, doi:10.1103/physrevd.105.023505.
LibreCat: https://research-explorer.ista.ac.at/record/17563
DOI: 10.1103/physrevd.105.023505

Hu, Haojie, et al. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic Dawn: Coevolution with Massive Quasar Hosts.”10.3847/1538-4357/ac7daa__The Astrophysical Journal, vol. 935, no. 2, 140, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac7daa.
LibreCat: https://research-explorer.ista.ac.at/record/17560
DOI: 10.3847/1538-4357/ac7daa

Lu, Tianhuan, et al. “Simultaneously Constraining Cosmology and Baryonic Physics via Deep Learning from Weak Lensing.”10.1093/mnras/stac161__Monthly Notices of the Royal Astronomical Society, vol. 511, no. 1, Oxford University Press, 2022, pp. 1518–28, doi:10.1093/mnras/stac161.
LibreCat: https://research-explorer.ista.ac.at/record/17562
DOI: 10.1093/mnras/stac161

Yang, Y., et al. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic Nuclei.”10.3847/2041-8213/ac7c0b__The Astrophysical Journal Letters, vol. 933, no. 2, L28, American Astronomical Society, 2022, doi:10.3847/2041-8213/ac7c0b.
LibreCat: https://research-explorer.ista.ac.at/record/17561
DOI: 10.3847/2041-8213/ac7c0b

Zhang, Yihan, and Shashank Vatedka. “Lower Bounds on List Decoding Capacity Using Error Exponents.”10.1109/ISIT50566.2022.9834815__2022 IEEE International Symposium on Information Theory, vol. 2022, Institute of Electrical and Electronics Engineers, 2022, pp. 1324–29, doi:10.1109/ISIT50566.2022.9834815.
LibreCat: https://research-explorer.ista.ac.at/record/12018
DOI: 10.1109/ISIT50566.2022.9834815

Tagawa, Hiromichi, et al. “Can Stellar-Mass Black Hole Growth Disrupt Disks of Active Galactic Nuclei? The Role of Mechanical Feedback.”10.3847/1538-4357/ac45f8__The Astrophysical Journal, vol. 927, no. 1, 41, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac45f8.
LibreCat: https://research-explorer.ista.ac.at/record/17568
DOI: 10.3847/1538-4357/ac45f8

D’Orazio, Daniel J., et al. “Multimessenger Constraints on Magnetic Fields in Merging Black Hole–Neutron Star Binaries.”10.3847/1538-4357/ac4bdb__The Astrophysical Journal, vol. 927, no. 1, 56, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac4bdb.
LibreCat: https://research-explorer.ista.ac.at/record/17572
DOI: 10.3847/1538-4357/ac4bdb

Scoggins, Matthew T., et al. “How Long Do High Redshift Massive Black Hole Seeds Remain Outliers in Black Hole versus Host Galaxy Relations?”10.1093/mnras/stac3715__Monthly Notices of the Royal Astronomical Society, vol. 519, no. 2, Oxford University Press, 2022, pp. 2155–68, doi:10.1093/mnras/stac3715.
LibreCat: https://research-explorer.ista.ac.at/record/17571
DOI: 10.1093/mnras/stac3715

Gurvits, Leonid I., et al. “The Science Case and Challenges of Space-Borne Sub-Millimeter Interferometry.”10.1016/j.actaastro.2022.04.020__Acta Astronautica, vol. 196, Elsevier BV, 2022, pp. 314–33, doi:10.1016/j.actaastro.2022.04.020.
LibreCat: https://research-explorer.ista.ac.at/record/17576
DOI: 10.1016/j.actaastro.2022.04.020

Westernacher-Schneider, John Ryan, et al. “Multiband Light Curves from Eccentric Accreting Supermassive Black Hole Binaries.”10.1103/physrevd.106.103010__Physical Review D, vol. 106, no. 10, 103010, American Physical Society, 2022, doi:10.1103/physrevd.106.103010.
LibreCat: https://research-explorer.ista.ac.at/record/17582
DOI: 10.1103/physrevd.106.103010
arXiv: 2111.06882

De Rosa, Alessandra, et al. “The X-Ray View of Optically Selected Dual AGN.”10.1093/mnras/stac3664__Monthly Notices of the Royal Astronomical Society, vol. 519, no. 4, Oxford University Press, 2022, pp. 5149–60, doi:10.1093/mnras/stac3664.
LibreCat: https://research-explorer.ista.ac.at/record/17580
DOI: 10.1093/mnras/stac3664

Toyouchi, Daisuke, et al. “Radiative Feedback on Supermassive Star Formation: The Massive End of the Population III Initial Mass Function.”10.1093/mnras/stac3191__Monthly Notices of the Royal Astronomical Society, vol. 518, no. 2, Oxford University Press, 2022, pp. 1601–16, doi:10.1093/mnras/stac3191.
LibreCat: https://research-explorer.ista.ac.at/record/17588
DOI: 10.1093/mnras/stac3191

Alwen, Joël, et al. “CoCoA: Concurrent Continuous Group Key Agreement.”10.1007/978-3-031-07085-3_28__Advances in Cryptology – EUROCRYPT 2022, vol. 13276, Springer Nature, 2022, pp. 815–844, doi:10.1007/978-3-031-07085-3_28.
LibreCat: https://research-explorer.ista.ac.at/record/11476
DOI: 10.1007/978-3-031-07085-3_28
WoS: 000832305300028

Frantar, Elias, et al. “Optimal Brain Compression: A Framework for Accurate Post-Training Quantization and Pruning.” 36th Conference on Neural Information Processing Systems, vol. 35, ML Research Press, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/17087
arXiv: 2208.11580

Kim, Olena. Nanoarchitecture of Hippocampal Mossy Fiber-C Pyramidal Neuron Synapses. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11196.
LibreCat: https://research-explorer.ista.ac.at/record/11196
DOI: 10.15479/at:ista:11196

Metzler, Sina. Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies. Institute of Science and Technology Austria, 2022, doi:10.15479/AT:ISTA:10727.
LibreCat: https://research-explorer.ista.ac.at/record/10727
DOI: 10.15479/AT:ISTA:10727

Artner, Christina. Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11879.
LibreCat: https://research-explorer.ista.ac.at/record/11879
DOI: 10.15479/at:ista:11879

Jevtic, Marijo. Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11393.
LibreCat: https://research-explorer.ista.ac.at/record/11393
DOI: 10.15479/at:ista:11393

Kravchuk, Vladyslav, et al. “A Universal Coupling Mechanism of Respiratory Complex I.”10.1038/s41586-022-05199-7__Nature, vol. 609, no. 7928, Springer Nature, 2022, pp. 808–14, doi:10.1038/s41586-022-05199-7.
LibreCat: https://research-explorer.ista.ac.at/record/12138
DOI: 10.1038/s41586-022-05199-7
WoS: 000854788200001
PMID: 36104567

Redchenko, Elena. Controllable States of Superconducting Qubit Ensembles. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12132.
LibreCat: https://research-explorer.ista.ac.at/record/12366
DOI: 10.15479/at:ista:12132

Nardin, Michele. On the Encoding, Transfer, and Consolidation of Spatial Memories. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11932.
LibreCat: https://research-explorer.ista.ac.at/record/11932
DOI: 10.15479/at:ista:11932

Colombo, Gloria, et al. “A Tool for Mapping Microglial Morphology, MorphOMICs, Reveals Brain-Region and Sex-Dependent Phenotypes.”10.1038/s41593-022-01167-6__Nature Neuroscience, vol. 25, no. 10, Springer Nature, 2022, pp. 1379–93, doi:10.1038/s41593-022-01167-6.
LibreCat: https://research-explorer.ista.ac.at/record/12244
DOI: 10.1038/s41593-022-01167-6
WoS: 000862214700001
PMID: 36180790

Colombo, Gloria. MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12378.
LibreCat: https://research-explorer.ista.ac.at/record/12378
DOI: 10.15479/at:ista:12378

Goudarzi, Samira, et al. “A Context-Aware Dimension Reduction Framework for Trajectory and Health Signal Analyses.”10.1007/s12652-021-03569-z__Journal of Ambient Intelligence and Humanized Computing, vol. 13, Springer Nature, 2022, pp. 2621–2635, doi:10.1007/s12652-021-03569-z.
LibreCat: https://research-explorer.ista.ac.at/record/10208
DOI: 10.1007/s12652-021-03569-z
WoS: 000712198000001

Gaertner, Florian, et al. “WASp Triggers Mechanosensitive Actin Patches to Facilitate Immune Cell Migration in Dense Tissues.”10.1016/j.devcel.2021.11.024__Developmental Cell, vol. 57, no. 1, Cell Pressf; Elsevier, 2022, p. 47–62.e9, doi:10.1016/j.devcel.2021.11.024.
LibreCat: https://research-explorer.ista.ac.at/record/10703
DOI: 10.1016/j.devcel.2021.11.024
WoS: 000768933800005
PMID: 34919802

Belohlavy, Stefanie. The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11388.
LibreCat: https://research-explorer.ista.ac.at/record/11388
DOI: 10.15479/at:ista:11388

Tasciyan, Saren. Role of Microenvironment Heterogeneity in Cancer Cell Invasion. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12401.
LibreCat: https://research-explorer.ista.ac.at/record/12401
DOI: 10.15479/at:ista:12401

Enshoji, Mariko, et al. “Ep/Pan1p Is a Master Regulator of the Late Stages of the Endocytic Pathway.”10.1083/jcb.202112138__Journal of Cell Biology, vol. 221, no. 10, e202112138, Rockefeller University Press, 2022, doi:10.1083/jcb.202112138.
LibreCat: https://research-explorer.ista.ac.at/record/12080
DOI: 10.1083/jcb.202112138
WoS: 000932770500001
PMID: 35984332

Belyaeva, Vera, et al. “Fos Regulates Macrophage Infiltration against Surrounding Tissue Resistance by a Cortical Actin-Based Mechanism in Drosophila.”10.1371/journal.pbio.3001494__PLoS Biology, vol. 20, no. 1, Public Library of Science, 2022, p. e3001494, doi:10.1371/journal.pbio.3001494.
LibreCat: https://research-explorer.ista.ac.at/record/10614
DOI: 10.1371/journal.pbio.3001494
WoS: 000971223700001
PMID: 34990456

Wachner, Stephanie. Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11193.
LibreCat: https://research-explorer.ista.ac.at/record/11193
DOI: 10.15479/at:ista:11193

Villa, Carlo Emanuele, et al. “CH Haploinsufficiency Links Autism to Transient Alterations in Excitatory and Inhibitory Trajectories.”10.1016/j.celrep.2022.110615__Cell Reports, vol. 39, no. 1, 110615, Elsevier, 2022, doi:10.1016/j.celrep.2022.110615.
LibreCat: https://research-explorer.ista.ac.at/record/11160
DOI: 10.1016/j.celrep.2022.110615
WoS: 000785983900003
PMID: 35385734

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.
LibreCat: https://research-explorer.ista.ac.at/record/12364
DOI: 10.15479/at:ista:12094

Elkrewi, Marwan N., et al. “ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.”10.1093/genetics/iyac123__Genetics, vol. 222, no. 2, iy, Oxford University Press, 2022, doi:10.1093/genetics/iyac123.
LibreCat: https://research-explorer.ista.ac.at/record/12248
DOI: 10.1093/genetics/iyac123
WoS: 000850270300001
PMID: 35977389

Elkrewi, Marwan N. 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, 2022, doi:10.15479/AT:ISTA:11653.
LibreCat: https://research-explorer.ista.ac.at/record/11653
DOI: 10.15479/AT:ISTA:11653

Shehu, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.”10.1080/00036811.2020.1736287__Applicable Analysis, vol. 101, no. 1, Taylor &; Francis, 2022, pp. 192–216, doi:10.1080/00036811.2020.1736287.
LibreCat: https://research-explorer.ista.ac.at/record/7577
DOI: 10.1080/00036811.2020.1736287
WoS: 000518364100001
arXiv: 2101.08057

Velicky, Philipp, et al. “Saturated Reconstruction of Living Brain Tissue.”10.1101/2022.03.16.484431__BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.03.16.484431.
LibreCat: https://research-explorer.ista.ac.at/record/11943
DOI: 10.1101/2022.03.16.484431

Michalska, Julia M., et al. “Uncovering Brain Tissue Architecture across Scales with Super-Resolution Light Microscopy.”10.1101/2022.08.17.504272__BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.08.17.504272.
LibreCat: https://research-explorer.ista.ac.at/record/11950
DOI: 10.1101/2022.08.17.504272

Karatzas, Ioannis, et al. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.”10.4310/CIS.2021.v21.n4.a1__Communications in Information and Systems, vol. 21, no. 4, International Press, 2021, pp. 481–536, doi:10.4310/CIS.2021.v21.n4.a1.
LibreCat: https://research-explorer.ista.ac.at/record/10023
DOI: 10.4310/CIS.2021.v21.n4.a1
arXiv: 2005.14177

Jecker, Ismael R., et al. “Decomposing Permutation Automata.”10.4230/LIPIcs.CONCUR.2021.18__32nd International Conference on Concurrency Theory, vol. 203, 18, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.CONCUR.2021.18.
LibreCat: https://research-explorer.ista.ac.at/record/10052
DOI: 10.4230/LIPIcs.CONCUR.2021.18
arXiv: 2107.04683

Chatterjee, Krishnendu, et al. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.”10.4230/LIPIcs.ICALP.2021.124__48th International Colloquium on Automata, Languages, and Programming, vol. 198, 124, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.ICALP.2021.124.
LibreCat: https://research-explorer.ista.ac.at/record/10054
DOI: 10.4230/LIPIcs.ICALP.2021.124

Adams, Henry, et al. “How to Tutorial-a-Thon.”10.1090/noti2349__Notices of the American Mathematical Society, vol. 68, no. 9, American Mathematical Society, 2021, pp. 1511–14, doi:10.1090/noti2349.
LibreCat: https://research-explorer.ista.ac.at/record/10071
DOI: 10.1090/noti2349

Harris, David G., et al. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.”10.4230/LIPIcs.APPROX/RANDOM.2021.31__Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, vol. 207, 31, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.APPROX/RANDOM.2021.31.
LibreCat: https://research-explorer.ista.ac.at/record/10072
DOI: 10.4230/LIPIcs.APPROX/RANDOM.2021.31
arXiv: 2008.05569

Guha, Shibashis, et al. “A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.”10.4230/LIPIcs.MFCS.2021.53__46th International Symposium on Mathematical Foundations of Computer Science, vol. 202, 53, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.MFCS.2021.53.
LibreCat: https://research-explorer.ista.ac.at/record/10075
DOI: 10.4230/LIPIcs.MFCS.2021.53
arXiv: 2105.02611

Nardin, Michele, et al. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.”10.1101/2021.09.30.462269__BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2021.09.30.462269.
LibreCat: https://research-explorer.ista.ac.at/record/10080
DOI: 10.1101/2021.09.30.462269

Palaia, Ivan, et al. “Durotaxis of Passive Nanoparticles on Elastic Membranes.”10.1021/acsnano.1c02777 __ACS Nano, American Chemical Society, 2021, doi:10.1021/acsnano.1c02777 .
LibreCat: https://research-explorer.ista.ac.at/record/10124
DOI: 10.1021/acsnano.1c02777 
PMID: 34550677 

Harker-Kirschneck, L., et al. “Physical Mechanisms of ESCRT-III-Driven Cell Division in Archaea.”10.1101/2021.03.23.436559__BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2021.03.23.436559.
LibreCat: https://research-explorer.ista.ac.at/record/10125
DOI: 10.1101/2021.03.23.436559

Rauschendorfer, Theresa, et al. “Acute and Chronic Effects of a Light-Activated FGF Receptor in Keratinocytes in Vitro and in Mice.”10.26508/lsa.202101100__Life Science Alliance, vol. 4, no. 11, e202101100, Life Science Alliance, 2021, doi:10.26508/lsa.202101100.
LibreCat: https://research-explorer.ista.ac.at/record/10144
DOI: 10.26508/lsa.202101100
PMID: 34548382

Mühlböck, Fabian, and Ross Tate. “Transitioning from Structural to Nominal Code with Efficient Gradual Typing.”10.1145/3485504__Proceedings of the ACM on Programming Languages, vol. 5, 127, Association for Computing Machinery, 2021, doi:10.1145/3485504.
LibreCat: https://research-explorer.ista.ac.at/record/10153
DOI: 10.1145/3485504

Degraen, Donald, et al. “Capturing Tactile Properties of Real Surfaces for Haptic Reproduction.”10.1145/3472749.3474798__34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–71, doi:10.1145/3472749.3474798.
LibreCat: https://research-explorer.ista.ac.at/record/10148
DOI: 10.1145/3472749.3474798

Clozeau, Nicolas, and Antoine Gloria. “Quantitative Nonlinear Homogenization: Control of Oscillations.” ArXiv, 2104.04263.
LibreCat: https://research-explorer.ista.ac.at/record/10174
arXiv: 2104.04263

Hoefler, Torsten, et al. “Sparsity in Deep Learning: Pruning and Growth for Efficient Inference and Training in Neural Networks.” Journal of Machine Learning Research, vol. 22, no. 241, Journal of Machine Learning Research, 2021, pp. 1–124.
LibreCat: https://research-explorer.ista.ac.at/record/10180
arXiv: 2102.00554

Alistarh, Dan-Adrian, et al. “Brief Announcement: Fast Graphical Population Protocols.”10.4230/LIPIcs.DISC.2021.43__35th International Symposium on Distributed Computing, vol. 209, 43, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.43.
LibreCat: https://research-explorer.ista.ac.at/record/10218
DOI: 10.4230/LIPIcs.DISC.2021.43
arXiv: 2102.08808

Alistarh, Dan-Adrian, et al. “Lower Bounds for Shared-Memory Leader Election under Bounded Write Contention.”10.4230/LIPIcs.DISC.2021.4__35th International Symposium on Distributed Computing, vol. 209, 4, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.4.
LibreCat: https://research-explorer.ista.ac.at/record/10217
DOI: 10.4230/LIPIcs.DISC.2021.4

Chatterjee, Bapi, et al. “Brief Announcement: Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds.”10.4230/LIPIcs.DISC.2021.52__35th International Symposium on Distributed Computing, vol. 209, 52, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.52.
LibreCat: https://research-explorer.ista.ac.at/record/10216
DOI: 10.4230/LIPIcs.DISC.2021.52
arXiv: 2003.01697

Korhonen, Janne, et al. “Brief Announcement: Sinkless Orientation Is Hard Also in the Supported LOCAL Model.”10.4230/LIPIcs.DISC.2021.58__35th International Symposium on Distributed Computing, vol. 209, 58, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.58.
LibreCat: https://research-explorer.ista.ac.at/record/10219
DOI: 10.4230/LIPIcs.DISC.2021.58
arXiv: 2108.02655

Zhang, Yuzhou, et al. “Evaluation of Gravitropism in Non-Seed Plants.”10.1007/978-1-0716-1677-2_2__Plant Gravitropism, edited by Elison B Blancaflor, vol. 2368, Springer Nature, 2021, pp. 43–51, doi:10.1007/978-1-0716-1677-2_2.
LibreCat: https://research-explorer.ista.ac.at/record/10267
DOI: 10.1007/978-1-0716-1677-2_2
PMID: 34647246

Hörmayer, Lukas, et al. “Automated Time-Lapse Imaging and Manipulation of Cell Divisions in Arabidopsis Roots by Vertical-Stage Confocal Microscopy.”10.1007/978-1-0716-1744-1_6__Plant Cell Division, vol. 2382, Humana Press, 2021, pp. 105–14, doi:10.1007/978-1-0716-1744-1_6.
LibreCat: https://research-explorer.ista.ac.at/record/10268
DOI: 10.1007/978-1-0716-1744-1_6
PMID: 34705235

Dubach, Guillaume. “On Eigenvector Statistics in the Spherical and Truncated Unitary Ensembles.”10.1214/21-EJP686__Electronic Journal of Probability, vol. 26, 124, Institute of Mathematical Statistics, 2021, doi:10.1214/21-EJP686.
LibreCat: https://research-explorer.ista.ac.at/record/10285
DOI: 10.1214/21-EJP686

Paraschiv, Alexandru, et al. “Influence of Membrane-Cortex Linkers on the Extrusion of Membrane Tubes.”10.1016/j.bpj.2020.12.028__Biophysical Journal, vol. 120, no. 4, Cell Press, 2021, pp. 598–606, doi:10.1016/j.bpj.2020.12.028.
LibreCat: https://research-explorer.ista.ac.at/record/10340
DOI: 10.1016/j.bpj.2020.12.028
PMID: 33460596

Davis, Luke K., et al. “Physical Modeling of Multivalent Interactions in the Nuclear Pore Complex.”10.1016/j.bpj.2021.01.039__Biophysical Journal, vol. 120, no. 9, Elsevier, 2021, pp. 1565–77, doi:10.1016/j.bpj.2021.01.039.
LibreCat: https://research-explorer.ista.ac.at/record/10338
DOI: 10.1016/j.bpj.2021.01.039
PMID: 33617830

Zeng, Longhui, et al. “PLC;31 Promotes Phase Separation of T Cell Signaling Components.”10.1083/jcb.202009154__Journal of Cell Biology, vol. 220, no. 6, e202009154, Rockefeller University Press, 2021, doi:10.1083/jcb.202009154.
LibreCat: https://research-explorer.ista.ac.at/record/10337
DOI: 10.1083/jcb.202009154
PMID: 33929486

Vanhille-Campos, Christian, and Anela Sari. “Modelling the Dynamics of Vesicle Reshaping and Scission under Osmotic Shocks.”10.1039/d0sm02012e__Soft Matter, vol. 17, no. 14, Royal Society of Chemistry, 2021, pp. 3798–806, doi:10.1039/d0sm02012e.
LibreCat: https://research-explorer.ista.ac.at/record/10339
DOI: 10.1039/d0sm02012e
PMID: 33629089

Ilharco, Cesar, et al. “Recognizing Multimodal Entailment.”10.18653/v1/2021.acl-tutorials.6__59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30, doi:10.18653/v1/2021.acl-tutorials.6.
LibreCat: https://research-explorer.ista.ac.at/record/10367
DOI: 10.18653/v1/2021.acl-tutorials.6

Browning, Timothy D. Cubic Forms and the Circle Method. Vol. 343, Springer Nature, 2021, doi:10.1007/978-3-030-86872-7.
LibreCat: https://research-explorer.ista.ac.at/record/10415
DOI: 10.1007/978-3-030-86872-7

Bodova, Katarina, et al. “Dynamic Maximum Entropy Provides Accurate Approximation of Structured Population Dynamics.”10.1371/journal.pcbi.1009661__PLoS Computational Biology, vol. 17, no. 12, e1009661, Public Library of Science, 2021, doi:10.1371/journal.pcbi.1009661.
LibreCat: https://research-explorer.ista.ac.at/record/10535
DOI: 10.1371/journal.pcbi.1009661
PMID: 34851948
arXiv: 2102.03669

Kolmogorov, Vladimir, and Thomas Pock. “One-Sided Frank-Wolfe Algorithms for Saddle Problems.” 38th International Conference on Machine Learning, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10552
arXiv: 2101.12617

Nguyen, Quynh, et al. “Tight Bounds on the Smallest Eigenvalue of the Neural Tangent Kernel for Deep ReLU Networks.” Proceedings of the 38th International Conference on Machine Learning, edited by Marina Meila and Tong Zhang, vol. 139, ML Research Press, 2021, pp. 8119–29.
LibreCat: https://research-explorer.ista.ac.at/record/10595
arXiv: 2012.11654

Hashemi, Seyyed Ali, et al. “Successive Syndrome-Check Decoding of Polar Codes.”10.1109/IEEECONF53345.2021.9723394__Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, vol. 2021–October, Institute of Electrical and Electronics Engineers, 2021, pp. 943–47, doi:10.1109/IEEECONF53345.2021.9723394.
LibreCat: https://research-explorer.ista.ac.at/record/10599
DOI: 10.1109/IEEECONF53345.2021.9723394
arXiv: 2112.00057

Chen, Joe P., and Federico Sau. “Higher-Order Hydrodynamics and Equilibrium Fluctuations of Interacting Particle Systems.” Markov Processes And Related Fields, vol. 27, no. 3, Polymat Publishing, 2021, pp. 339–80.
LibreCat: https://research-explorer.ista.ac.at/record/10613
arXiv: 2008.13403

Tschirhart, C. L., et al. “Imaging Orbital Ferromagnetism in a Moiré Chern Insulator.”10.1126/science.abd3190__Science, vol. 372, no. 6548, American Association for the Advancement of Science, 2021, pp. 1323–27, doi:10.1126/science.abd3190.
LibreCat: https://research-explorer.ista.ac.at/record/10616
DOI: 10.1126/science.abd3190
PMID: 34045322
arXiv: 2006.08053

Polshyn, Hryhoriy, et al. “Topological Charge Density Waves at Half-Integer Filling of a Moiré Superlattice.”10.1038/s41567-021-01418-6__Nature Physics, Springer Nature, 2021, doi:10.1038/s41567-021-01418-6.
LibreCat: https://research-explorer.ista.ac.at/record/10617
DOI: 10.1038/s41567-021-01418-6
arXiv: 2104.01178

Arrighi, Emmanuel, et al. “On the Complexity of Intersection Non-Emptiness for Star-Free Language Classes.”10.4230/LIPIcs.FSTTCS.2021.34__41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 213, 34, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.FSTTCS.2021.34.
LibreCat: https://research-explorer.ista.ac.at/record/10630
DOI: 10.4230/LIPIcs.FSTTCS.2021.34
arXiv: 2110.01279

Chatterjee, Krishnendu, et al. “Quantitative Verification on Product Graphs of Small Treewidth.”10.4230/LIPIcs.FSTTCS.2021.42__41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 213, 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.FSTTCS.2021.42.
LibreCat: https://research-explorer.ista.ac.at/record/10629
DOI: 10.4230/LIPIcs.FSTTCS.2021.42

Nardin, Michele, et al. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.”10.24072/pcjournal.69__Peer Community Journal, vol. 1, e68, Centre Mersennef; Peer Community In, 2021, doi:10.24072/pcjournal.69.
LibreCat: https://research-explorer.ista.ac.at/record/10635
DOI: 10.24072/pcjournal.69
arXiv: 2009.03857

Tschirhart, Charles, et al. “Probing Orbital Chern Ferromagnet Phase in Twisted Bilayer Graphene.” APS March Meeting 2021, vol. 66, no. 1, L42.00012, American Physical Society, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10651

Naibert, Tyler R., et al. “Imaging and Controlling Vortex Dynamics in Mesoscopic Superconductor-Normal-Metal-Superconductor Arrays.”10.1103/physrevb.103.224526__Physical Review B, vol. 103, no. 22, 224526, American Physical Society, 2021, doi:10.1103/physrevb.103.224526.
LibreCat: https://research-explorer.ista.ac.at/record/10649
DOI: 10.1103/physrevb.103.224526
arXiv: 1705.08956

Simbierowicz, Slawomir, et al. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. Bluefors Oy, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10645

Lake, Russell, et al. The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System. Bluefors Oy, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10644

Grunbacher, Sophie, et al. “On the Verification of Neural ODEs with Stochastic Guarantees.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, AAAI Press, 2021, pp. 11525–35.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Hasani, Ramin, et al. “Liquid Time-Constant Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 9, AAAI Press, 2021, pp. 7657–66.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

Babaiee, Zahra, et al. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” Proceedings of the 38th International Conference on Machine Learning, vol. 139, ML Research Press, 2021, pp. 478–89.
LibreCat: https://research-explorer.ista.ac.at/record/10668

Vorbach, Charles J., et al. “Causal Navigation by Continuous-Time Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.”10.34727/2021/isbn.978-3-85448-046-4_23__Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 143–152, doi:10.34727/2021/isbn.978-3-85448-046-4_23.
LibreCat: https://research-explorer.ista.ac.at/record/10688
DOI: 10.34727/2021/isbn.978-3-85448-046-4_23

Polshyn, Hryhoriy, et al. “Orbital Chern Insulator States in Twisted Monolayer-Bilayer Graphene and Electrical Switching of Topological and Magnetic Order.” APS March Meeting 2021, vol. 66, no. 1, .00010, American Physical Society, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10692

Avni, Guy, et al. “Infinite-Duration All-Pay Bidding Games.”10.1137/1.9781611976465.38__Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, Society for Industrial and Applied Mathematics, 2021, pp. 617–36, doi:10.1137/1.9781611976465.38.
LibreCat: https://research-explorer.ista.ac.at/record/10694
DOI: 10.1137/1.9781611976465.38
arXiv: 2005.06636

Tomásek, Petr, et al. “Solving Partially Observable Stochastic Shortest-Path Games.”10.24963/ijcai.2021/575__30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–89, doi:10.24963/ijcai.2021/575.
LibreCat: https://research-explorer.ista.ac.at/record/10847
DOI: 10.24963/ijcai.2021/575