Kampjut D. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. 2020. doi:10.15479/AT:ISTA:8340

Morandell J, Schwarz LA, Basilico B, et al. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv. doi:10.1101/2020.01.10.902064 

Basilico B, Morandell J, Novarino G. Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. 2020;65(12):126-137. doi:10.1016/j.gde.2020.06.004

Dimchev GA, Amiri B, Humphries AC, et al. Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation. Journal of Cell Science. 2020;133(7). doi:10.1242/jcs.239020

Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, et al. Plants with genetically encoded autoluminescence. Nature Biotechnology. 2020;38:944-946. doi:10.1038/s41587-020-0500-9

Slovakova J, Sikora MK, Caballero Mancebo S, et al. Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv. 2020. doi:10.1101/2020.11.20.391284

Garcia Soto M, Prabhakar P. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 2020;36(5). doi:10.1016/j.nahs.2020.100856

Emtenani S. Metabolic regulation of Drosophila macrophage tissue invasion. 2020. doi:10.15479/AT:ISTA:8983

Belyaeva V, Wachner S, Gridchyn I, et al. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. doi:10.1101/2020.09.18.301481

Aggarwal K, Hofmann AC, Jirovec D, et al. Enhancement of proximity induced superconductivity in planar Germanium. arXiv.

Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. 2020;21(18). doi:10.3390/ijms21186737

Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In: European Symposium on Programming. Vol 12075. Springer Nature; 2020:112-140. doi:10.1007/978-3-030-44914-8_5

Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In: Automated Technology for Verification and Analysis. Vol 12302. Springer Nature; 2020:253-270. doi:10.1007/978-3-030-59152-6_14

Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi:10.1145/3385412.3385969

Goharshady AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 2020;193. doi:10.1016/j.ress.2019.106665

Shehu Y, Gibali A, Sagratella S. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. 2020;184:877–894. doi:10.1007/s10957-019-01616-6

Tomanek I, Grah R, Lagator M, et al. Gene amplification as a form of population-level gene expression regulation. Nature Ecology &; Evolution. 2020;4(4):612-625. doi:10.1038/s41559-020-1132-7

Scarselli D. New approaches to reduce friction in turbulent pipe flow. 2020. doi:10.15479/AT:ISTA:7258

Tomanek I. The evolution of gene expression by copy number and point mutations. 2020. doi:10.15479/AT:ISTA:8653

Tan S, Abas MF, Verstraeten I, et al. Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. 2020;30(3):381-395.e8. doi:10.1016/j.cub.2019.11.058

Mazur E, Kulik I, Hajny J, Friml J. Auxin canalization and vascular tissue formation by TI/AFB-mediated auxin signaling in arabidopsis. New Phytologist. 2020;226(5):1375-1383. doi:10.1111/nph.16446

Hajny J. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. 2020. doi:10.15479/AT:ISTA:8822

Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:10.15479/AT:ISTA:8350

Hansen AH, Hippenmeyer S. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 2020;8(9). doi:10.3389/fcell.2020.574382

Beattie RJ, Streicher C, Amberg N, et al. Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. 2020;(159). doi:10.3791/61147

Contreras X. Genetic dissection of neural development in health and disease at single cell resolution. 2020. doi:10.15479/AT:ISTA:7902

Sixt MK, Huttenlocher A. Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. 2020;219(8). doi:10.1083/jcb.202007029

Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 2020;6(50). doi:10.1126/sciadv.abc8895

Chen H, Lai L, Li L, et al. AcoMY, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165727

Johnson AJ, Gnyliukh N, Kaufmann W, et al. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 2020;133(15). doi:10.1242/jcs.248062

Semerádová H, Montesinos López JC, Benková E. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. 2020;1(3). doi:10.1016/j.xplc.2020.100048

Harker-Kirschneck L, Baum B, Sari A. Changes in ESCRT-III filament geometry drive membrane remodelling and fission in silico. BMC Biology. 2019;17(1). doi:10.1186/s12915-019-0700-2

Hafner AE, Krausser J, Sari A. Minimal coarse-grained models for molecular self-organisation in biology. Current Opinion in Structural Biology. 2019;58:43-52. doi:10.1016/j.sbi.2019.05.018

Polshyn H, Yankowitz M, Chen S, et al. Large linear-in-temperature resistivity in twisted bilayer graphene. Nature Physics. 2019;15(10):1011-1016. doi:10.1038/s41567-019-0596-3

Polshyn H, Naibert T, Budakian R. Manipulating multivortex states in superconducting structures. Nano Letters. 2019;19(8):5476-5482. doi:10.1021/acs.nanolett.9b01983

Yankowitz M, Chen S, Polshyn H, et al. Tuning superconductivity in twisted bilayer graphene. Science. 2019;363(6431):1059-1064. doi:10.1126/science.aav1910

Yankowitz M, Chen S, Polshyn H, et al. New correlated phenomena in magic-angle twisted bilayer graphene/s. Journal Club for Condensed Matter Physics. 2019;03. doi:10.36471/jccm_february_2019_03

Serlin M, Tschirhart CL, Polshyn H, et al. Intrinsic quantized anomalous Hall effect in a moiré heterostructure. Science. 2019;367(6480):900-903. doi:10.1126/science.aay5533

Polshyn H, Zhang Y, Yankowitz M, et al. Normal state transport in superconducting twisted bilayer graphene. In: APS March Meeting 2019. Vol 64. American Physical Society; 2019.

Serlin M, Tschirhart C, Polshyn H, Zhu J, Huber ME, Young A. Direct Imaging of magnetic structure in twisted bilayer graphene with scanning nanoSQUID-On-Tip microscopy. In: APS March Meeting 2019. Vol 64. American Physical Society; 2019.

Chen S, Yankowitz M, Polshyn H, et al. Correlated insulating and superconducting phases in twisted bilayer graphene. In: APS March Meeting 2019. Vol 64. American Physical Society; 2019.

Zhou H, Polshyn H, Tanaguchi T, Watanabe K, Young A. Spin wave transport through electron solids and fractional quantum Hall liquids in graphene. In: APS March Meeting 2019. Vol 64. American Physical Society; 2019.

Frehse G, Abate A, Adzkiya D, et al. ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn

Toyama BH, Arrojo e Drigo R, Lev-Ram V, et al. Visualization of long-lived proteins reveals age mosaicism within nuclei of postmitotic cells. Journal of Cell Biology. 2019;218(2):433-444. doi:10.1083/jcb.201809123

Arrojo e Drigo R, Lev-Ram V, Tyagi S, et al. Age mosaicism across multiple scales in adult tissues. Cell Metabolism. 2019;30(2):343-351.e3. doi:10.1016/j.cmet.2019.05.010

Nanayakkara T, Brinchmann J, Boogaard L, et al. Exploring HefII;b1640 emission line properties at z c24. Astronomy &; Astrophysics. 2019;648. doi:10.1051/0004-6361/201834565

de La Vieuville G, Bina D, Pello R, et al. Faint end of the z c 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy &; Astrophysics. 2019;628. doi:10.1051/0004-6361/201834471

Sobral D, Matthee JJ. Predicting Ly;1 escape fractions with a simple observable: Ly;1 in emission as an empirically calibrated star formation rate indicator. Astronomy &; Astrophysics. 2019;623. doi:10.1051/0004-6361/201833075

Boogaard LA, Decarli R, González-López J, et al. The ALMA spectroscopic survey in the HUDF: Nature and physical properties of gas-mass selected galaxies using MUSE spectroscopy. The Astrophysical Journal. 2019;882(2). doi:10.3847/1538-4357/ab3102

Marino RA, Cantalupo S, Pezzulli G, et al. A giant Ly;1 nebula and a small-scale clumpy outflow in the system of the exotic quasar J0952+0114 unveiled by MUSE. The Astrophysical Journal. 2019;880(1). doi:10.3847/1538-4357/ab2881

Matthee JJ, Sobral D, Boogaard LA, et al. Resolved UV and [C ii] structures of luminous galaxies within the epoch of reionization. The Astrophysical Journal. 2019;881(2). doi:10.3847/1538-4357/ab2f81

Wang E, Lilly SJ, Pezzulli G, Matthee JJ. On the elevation and suppression of star formation within galaxies. The Astrophysical Journal. 2019;877(2). doi:10.3847/1538-4357/ab1c5b

Khostovan AA, Sobral D, Mobasher B, et al. The clustering of typical Ly;1 emitters from z c 2.5–6: Host halo masses depend on Ly;1 and UV luminosities. Monthly Notices of the Royal Astronomical Society. 2019;489(1):555-573. doi:10.1093/mnras/stz2149

Sobral D, Matthee JJ, Brammer G, et al. On the nature and physical conditions of the luminous Ly;1 emitter C and its rest-frame UV components. Monthly Notices of the Royal Astronomical Society. 2019;482(2):2422-2441. doi:10.1093/mnras/sty2779

Matthee JJ, Schaye J. The origin of scatter in the star formation rate–stellar mass relation. Monthly Notices of the Royal Astronomical Society. 2019;484(1):915-932. doi:10.1093/mnras/stz030

Huber D, Chaplin WJ, Chontos A, et al. A hot Saturn orbiting an oscillating late subgiant discovered by TESS. The Astronomical Journal. 2019;157(6). doi:10.3847/1538-3881/ab1488

Mathur S, García RA, Bugnet LA, Santos ÂRG, Santiago N, Beck PG. Revisiting the impact of stellar magnetic activity on the detectability of solar-like oscillations by Kepler. Frontiers in Astronomy and Space Sciences. 2019;6. doi:10.3389/fspas.2019.00046

Hon M, Stello D, García RA, et al. A search for red giant solar-like oscillations in all Kepler data. Monthly Notices of the Royal Astronomical Society. 2019;485(4):5616-5630. doi:10.1093/mnras/stz622

Bugnet LA, García RA, Mathur S, et al. FliPerClass: In search of solar-like pulsators among TESS targets. Astronomy &; Astrophysics. 2019;624. doi:10.1051/0004-6361/201834780

Santos ARG, García RA, Mathur S, et al. Surface rotation and photometric activity for Kepler targets. I. M and K main-sequence stars. The Astrophysical Journal Supplement Series. 2019;244(1). doi:10.3847/1538-4365/ab3b56

Breton SN, Bugnet LA, Santos ARG, et al. Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques. arXiv. doi:10.48550/arXiv.1906.09609

Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. arXiv. doi:10.48550/arXiv.1906.09611

Ancona B, Henzinger MH, Roditty L, Williams VV, Wein N. Algorithms and hardness for diameter in dynamic graphs. In: 46th International Colloquium on Automata, Languages, and Programming. Vol 132. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.ICALP.2019.13

Henzinger MH, Neumann S, Schmid S. Efficient distributed workload (re-)embedding. In: SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems. Association for Computing Machinery; 2019:43–44. doi:10.1145/3309697.3331503

Bhattacharya S, Henzinger MH, Nanongkai D. A new deterministic algorithm for dynamic set cover. In: 60th Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 2019:406-423. doi:10.1109/focs.2019.00033

Daga M, Henzinger MH, Nanongkai D, Saranurak T. Distributed edge connectivity in sublinear time. In: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery; 2019:343–354. doi:10.1145/3313276.3316346

Bernstein A, Forster S, Henzinger MH. A deamortization approach for dynamic spanner and dynamic maximal matching. In: 30th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2019:1899-1918. doi:10.1137/1.9781611975482.115

Bhattacharya S, Henzinger MH, Neumann S. New amortized cell-probe lower bounds for dynamic problems. Theoretical Computer Science. 2019;779:72-87. doi:10.1016/j.tcs.2019.01.043

Guberman M, Pieber B, Seeberger PH. Safe and scalable continuous flow azidophenylselenylation of galactal to prepare galactosamine building blocks. Organic Process Research and Development. 2019;23(12):2764-2770. doi:10.1021/acs.oprd.9b00456

Cavedon C, Madani A, Seeberger PH, Pieber B. Semiheterogeneous dual nickel/photocatalytic (thio)etherification using carbon nitrides. Organic Letters. 2019;21(13):5331-5334. doi:10.1021/acs.orglett.9b01957

Browning TD, Sofos E. Counting rational points on quartic del Pezzo surfaces with a rational conic. Mathematische Annalen. 2019;373(3-4):977-1016. doi:10.1007/s00208-018-1716-6

Kalinin N, Shkolnikov M. Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. 2019;5(3):909–928. doi:10.1007/s40879-018-0218-0

Demay G, Gazi P, Maurer U, Tackmann B. Per-session security: Password-based cryptography revisited. Journal of Computer Security. 2019;27(1):75-111. doi:10.3233/JCS-181131

Dyer R, Vegter G, Wintraecken M. Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . 2019;10(1):223–256. doi:10.20382/jocg.v10i1a9

Pietrzak KZ. Simple verifiable delay functions. In: 10th Innovations in Theoretical Computer Science Conference. Vol 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.ITCS.2019.60

Kundu A, Garcia Soto M, Prabhakar P. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In: 5th Indian Control Conference Proceedings. IEEE; 2019. doi:10.1109/INDIANCC.2019.8715598

Vegter G, Wintraecken M. The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds. In: The 31st Canadian Conference in Computational Geometry. ; 2019:275-279.

Edelsbrunner H, Virk Z, Wagner H. Topological data analysis in information space. In: 35th International Symposium on Computational Geometry. Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:31:1-31:14. doi:10.4230/LIPICS.SOCG.2019.31

Zenmyo N, Tokumaru H, Uchinomiya S, et al. Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan. 2019;92(5):995-1000. doi:10.1246/bcsj.20190034

Mondelli M, Montanari A. Fundamental limits of weak recovery with applications to phase retrieval. Foundations of Computational Mathematics. 2019;19(3):703-773. doi:10.1007/s10208-018-9395-y

Boissonnat J-D, Rouxel-Labbé M, Wintraecken M. Anisotropic triangulations via discrete Riemannian Voronoi diagrams. SIAM Journal on Computing. 2019;48(3):1046-1097. doi:10.1137/17m1152292

Kolmogorov V. Testing the complexity of a valued CSP language. In: 46th International Colloquium on Automata, Languages and Programming. Vol 132. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:77:1-77:12. doi:10.4230/LIPICS.ICALP.2019.77

Walter M. Sampling the integers with low relative error. In: Buchmann J, Nitaj A, Rachidi T, eds. Progress in Cryptology – AFRICACRYPT 2019. Vol 11627. LNCS. Cham: Springer Nature; 2019:157-180. doi:10.1007/978-3-030-23696-0_9

Mondelli M, Hassani H, Urbanke R. Construction of polar codes with sublinear complexity. IEEE. 2019;65(5):2782-2791. doi:10.1109/tit.2018.2889667

Mondelli M, Montanari A. On the connection between learning two-layers neural networks and tensor  decomposition. In: Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics. Vol 89. Proceedings of Machine Learning Research; 2019:1051-1060.

Hashemi SA, Condo C, Mondelli M, Gross WJ. Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing. 2019;67(22). doi:10.1109/TSP.2019.2944738

Jelínek V, Töpfer M. On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. 2019;26(3). doi:10.37236/8096

Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: 10.1007/978-3-030-30806-3_1__Proceedings of the 13th International Conference of Reachability Problems. Vol 11674. Springer; 2019:1-12. doi:10.1007/978-3-030-30806-3_1

Chatterjee K, Dvorák W, Henzinger MH, Svozil A. Near-linear time algorithms for Streett objectives in graphs and MDPs. In: Leibniz International Proceedings in Informatics. Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.7

Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. Designing worm-inspired neural networks for interpretable robotic control. In: Proceedings - IEEE International Conference on Robotics and Automation. Vol 2019-May. IEEE; 2019. doi:10.1109/icra.2019.8793840

Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.20

Chatterjee K, Henzinger TA, Otop J. Long-run average behavior of vector addition systems with states. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.27

Chatterjee K, Piterman N. Combinations of Qualitative Winning for Stochastic Parity Games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.6

Nowak T, Rybicki J. Byzantine approximate agreement on graphs. In: 33rd International Symposium on Distributed Computing. Vol 146. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:29:1--29:17. doi:10.4230/LIPICS.DISC.2019.29

Hasani R, Amini A, Lechner M, Naser F, Grosu R, Rus D. Response characterization for auditing cell dynamics in long short-term memory networks. In: Proceedings of the International Joint Conference on Neural Networks. IEEE; 2019. doi:10.1109/ijcnn.2019.8851954

Mondelli M, Hassani SH, Urbanke R. A new coding paradigm for the primitive relay channel. Algorithms. 2019;12(10). doi:10.3390/a12100218

Geher GP, Titkos T, Virosztek D. Dirac masses and isometric rigidity. In: Kyoto RIMS Kôkyûroku. Vol 2125. Research Institute for Mathematical Sciences, Kyoto University; 2019:34-41.

Shirer KR, Modic KA, Zimmerling T, et al. Out-of-plane transport in ZrSiS and ZrSiSe microstructures. APL Materials. 2019;7(10). doi:10.1063/1.5124568

Modic KA, Meng T, Ronning F, Bauer ED, Moll PJW, Ramshaw BJ. Thermodynamic signatures of Weyl fermions in NbP. Scientific Reports. 2019;9(1). doi:10.1038/s41598-018-38161-7

Martino E, Bachmann MD, Rossi L, et al. Persistent antiferromagnetic order in heavily overdoped Cx La x FeA. Journal of Physics: Condensed Matter. 2019;31(48). doi:10.1088/1361-648x/ab3b43