Basilico B, Morandell J, Novarino G. 2020. Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. 65(12), 126–137.
LibreCat: https://research-explorer.ista.ac.at/record/8131
DOI: 10.1016/j.gde.2020.06.004
WoS: 000598918900019
PMID: 32659636

Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
LibreCat: https://research-explorer.ista.ac.at/record/7889
DOI: 10.1038/s41587-020-0500-9
WoS: 000529298800003
PMID: 32341562

Slovakova J, Sikora MK, Caballero Mancebo S, Krens G, Kaufmann W, Huljev K, Heisenberg C-PJ. 2020. Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv,10.1101/2020.11.20.391284 .
LibreCat: https://research-explorer.ista.ac.at/record/9750
DOI: 10.1101/2020.11.20.391284

Garcia Soto M, Prabhakar P. 2020. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 36(5), 100856.
LibreCat: https://research-explorer.ista.ac.at/record/7426
DOI: 10.1016/j.nahs.2020.100856
WoS: 000528828600003

Reversat A, Gärtner FR, Merrin J, Stopp JA, Tasciyan S, Aguilera Servin JL, de Vries I, Hauschild R, Hons M, Piel M, Callan-Jones A, Voituriez R, Sixt MK. 2020. Cellular locomotion using environmental topography. Nature. 582, 582–585.
LibreCat: https://research-explorer.ista.ac.at/record/7885
DOI: 10.1038/s41586-020-2283-z
WoS: 000532688300008

Emtenani S. 2020. Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8983
DOI: 10.15479/AT:ISTA:8983

Belyaeva V, Wachner S, Gridchyn I, Linder M, Emtenani S, György A, Sibilia M, Siekhaus DE. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv,10.1101/2020.09.18.301481 .
LibreCat: https://research-explorer.ista.ac.at/record/8557
DOI: 10.1101/2020.09.18.301481

Aggarwal K, Hofmann AC, Jirovec D, Prieto Gonzalez I, Sammak A, Botifoll M, Marti-Sanchez S, Veldhorst M, Arbiol J, Scappucci G, Katsaros G. Enhancement of proximity induced superconductivity in planar Germanium. arXiv, 2012.00322.
LibreCat: https://research-explorer.ista.ac.at/record/8831
arXiv: 2012.00322

Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. 2020. 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. 21(18), 6737.
LibreCat: https://research-explorer.ista.ac.at/record/8532
DOI: 10.3390/ijms21186737
WoS: 000579945300001

Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075, 112–140.
LibreCat: https://research-explorer.ista.ac.at/record/7810
DOI: 10.1007/978-3-030-44914-8_5
WoS: 000681656800005

Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. 2020. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 12302, 253–270.
LibreCat: https://research-explorer.ista.ac.at/record/8728
DOI: 10.1007/978-3-030-59152-6_14
WoS: 000723555700014

Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant generation for non-deterministic recursive programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 672–687.
LibreCat: https://research-explorer.ista.ac.at/record/8089
DOI: 10.1145/3385412.3385969
WoS: 000614622300045
arXiv: 1902.04373

Goharshady AK, Mohammadi F. 2020. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 193, 106665.
LibreCat: https://research-explorer.ista.ac.at/record/6918
DOI: 10.1016/j.ress.2019.106665
WoS: 000501641400050
arXiv: 1712.09692

Shehu Y, Gibali A, Sagratella S. 2020. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. 184, 877–894.
LibreCat: https://research-explorer.ista.ac.at/record/7161
DOI: 10.1007/s10957-019-01616-6
WoS: 000511805200009

Tomanek I, Grah R, Lagator M, Andersson AMC, Bollback JP, Tkadik G, Guet CC. 2020. Gene amplification as a form of population-level gene expression regulation. Nature Ecology &; Evolution. 4(4), 612–625.
LibreCat: https://research-explorer.ista.ac.at/record/7652
DOI: 10.1038/s41559-020-1132-7
WoS: 000519008300005

Scarselli D. 2020. New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7258
DOI: 10.15479/AT:ISTA:7258

Tomanek I. 2020. The evolution of gene expression by copy number and point mutations. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8653
DOI: 10.15479/AT:ISTA:8653

Tan S, Abas MF, Verstraeten I, Glanc M, Molnar G, Hajny J, Lasák P, Petík I, Russinova E, Petrásek J, Novák O, Pospísil J, Friml J. 2020. Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. 30(3), 381–395.e8.
LibreCat: https://research-explorer.ista.ac.at/record/7427
DOI: 10.1016/j.cub.2019.11.058
WoS: 000511287900018
PMID: 31956021

Mazur E, Kulik I, Hajny J, Friml J. 2020. Auxin canalization and vascular tissue formation by TI/AFB-mediated auxin signaling in arabidopsis. New Phytologist. 226(5), 1375–1383.
LibreCat: https://research-explorer.ista.ac.at/record/7500
DOI: 10.1111/nph.16446
WoS: 000514939700001
PMID: 31971254

Hajny J. 2020. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8822
DOI: 10.15479/AT:ISTA:8822

Shamipour S. 2020. Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8350
DOI: 10.15479/AT:ISTA:8350

Hansen AH, Hippenmeyer S. 2020. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 8(9), 574382.
LibreCat: https://research-explorer.ista.ac.at/record/8569
DOI: 10.3389/fcell.2020.574382
WoS: 000577915900001
PMID: 33102480

Beattie RJ, Streicher C, Amberg N, Cheung GT, Contreras X, Hansen AH, Hippenmeyer S. 2020. Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. (159), e61147.
LibreCat: https://research-explorer.ista.ac.at/record/7815
DOI: 10.3791/61147
WoS: 000546406600043

Contreras X. 2020. Genetic dissection of neural development in health and disease at single cell resolution. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7902
DOI: 10.15479/AT:ISTA:7902

Sixt MK, Huttenlocher A. 2020. Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. 219(8), e202007029.
LibreCat: https://research-explorer.ista.ac.at/record/8190
DOI: 10.1083/jcb.202007029
WoS: 000573631000004

Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. 2020. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 6(50), eab95.
LibreCat: https://research-explorer.ista.ac.at/record/8986
DOI: 10.1126/sciadv.abc8895
WoS: 000599903600014
PMID: 33310852

Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y. 2020. AcoMY, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 21(16), 5272.
LibreCat: https://research-explorer.ista.ac.at/record/8283
DOI: 10.3390/ijms21165727
WoS: 000565090300001
PMID: 32785037

Johnson AJ, Gnyliukh N, Kaufmann W, Narasimhan M, Vert G, Bednarek S, Friml J. 2020. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 133(15), j62.
LibreCat: https://research-explorer.ista.ac.at/record/8139
DOI: 10.1242/jcs.248062
WoS: 000561047900021
PMID: 32616560

Semerádová H, Montesinos López JC, Benková E. 2020. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. 1(3), 100048.
LibreCat: https://research-explorer.ista.ac.at/record/9160
DOI: 10.1016/j.xplc.2020.100048
WoS: 000654052800010
PMID: 33367243

Harker-Kirschneck L, Baum B, Sari A. 2019. Changes in ESCRT-III filament geometry drive membrane remodelling and fission in silico. BMC Biology. 17(1), 82.
LibreCat: https://research-explorer.ista.ac.at/record/10354
DOI: 10.1186/s12915-019-0700-2
PMID: 31640700

Hafner AE, Krausser J, Sari A. 2019. Minimal coarse-grained models for molecular self-organisation in biology. Current Opinion in Structural Biology. 58, 43–52.
LibreCat: https://research-explorer.ista.ac.at/record/10355
DOI: 10.1016/j.sbi.2019.05.018
PMID: 31226513

Polshyn H, Yankowitz M, Chen S, Zhang Y, Watanabe K, Taniguchi T, Dean CR, Young AF. 2019. Large linear-in-temperature resistivity in twisted bilayer graphene. Nature Physics. 15(10), 1011–1016.
LibreCat: https://research-explorer.ista.ac.at/record/10621
DOI: 10.1038/s41567-019-0596-3
arXiv: 1902.00763

Polshyn H, Naibert T, Budakian R. 2019. Manipulating multivortex states in superconducting structures. Nano Letters. 19(8), 5476–5482.
LibreCat: https://research-explorer.ista.ac.at/record/10622
DOI: 10.1021/acs.nanolett.9b01983
PMID: 31246034
arXiv: 1905.06303

Yankowitz M, Chen S, Polshyn H, Zhang Y, Watanabe K, Taniguchi T, Graf D, Young AF, Dean CR. 2019. Tuning superconductivity in twisted bilayer graphene. Science. 363(6431), 1059–1064.
LibreCat: https://research-explorer.ista.ac.at/record/10625
DOI: 10.1126/science.aav1910
PMID: 30679385 
arXiv: 1808.07865

Zhou H, Polshyn H, Taniguchi T, Watanabe K, Young AF. 2019. Solids of quantum Hall skyrmions in graphene. Nature Physics. 16(2), 154–158.
LibreCat: https://research-explorer.ista.ac.at/record/10620
DOI: 10.1038/s41567-019-0729-8

Yankowitz M, Chen S, Polshyn H, Watanabe K, Taniguchi T, Graf D, Young AF, Dean CR, Sharpe AL, Fox EJ, Barnard AW, Finney J. 2019. New correlated phenomena in magic-angle twisted bilayer graphene/s. Journal Club for Condensed Matter Physics. 03.
LibreCat: https://research-explorer.ista.ac.at/record/10664
DOI: 10.36471/jccm_february_2019_03

Serlin M, Tschirhart CL, Polshyn H, Zhang Y, Zhu J, Watanabe K, Taniguchi T, Balents L, Young AF. 2019. Intrinsic quantized anomalous Hall effect in a moiré heterostructure. Science. 367(6480), 900–903.
LibreCat: https://research-explorer.ista.ac.at/record/10619
DOI: 10.1126/science.aay5533
PMID: 31857492
arXiv: 1907.00261

Polshyn H, Zhang Y, Yankowitz M, Chen S, Taniguchi T, Watanabe K, Graf DE, Dean CR, Young A. 2019. Normal state transport in superconducting twisted bilayer graphene. APS March Meeting 2019. APS: American Physical Society, Bulletin of the American Physical Society, vol. 64, .00008.
LibreCat: https://research-explorer.ista.ac.at/record/10724

Serlin M, Tschirhart C, Polshyn H, Zhu J, Huber ME, Young A. 2019. Direct Imaging of magnetic structure in twisted bilayer graphene with scanning nanoSQUID-On-Tip microscopy. APS March Meeting 2019. APS: American Physical Society, Bulletin of the American Physical Society, vol. 64, L14.00006.
LibreCat: https://research-explorer.ista.ac.at/record/10722

Chen S, Yankowitz M, Polshyn H, Watanabe K, Taniguchi T, Graf DE, Young A, Dean CR. 2019. Correlated insulating and superconducting phases in twisted bilayer graphene. APS March Meeting 2019. APS: American Physical Society, Bulletin of the American Physical Society, vol. 64, .00004.
LibreCat: https://research-explorer.ista.ac.at/record/10725

Zhou H, Polshyn H, Tanaguchi T, Watanabe K, Young A. 2019. Spin wave transport through electron solids and fractional quantum Hall liquids in graphene. APS March Meeting 2019. APS: American Physical Society vol. 64, .00004.
LibreCat: https://research-explorer.ista.ac.at/record/10723

Frehse G, Abate A, Adzkiya D, Becchi A, Bu L, Cimatti A, Giacobbe M, Griggio A, Mover S, Mufid MS, Riouak I, Tonetta S, Zaffanella E. 2019. ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics. ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems, EPiC Series in Computing, vol. 61, 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/10877
DOI: 10.29007/rjwn

Toyama BH, Arrojo e Drigo R, Lev-Ram V, Ramachandra R, Deerinck TJ, Lechene C, Ellisman MH, Hetzer M. 2019. Visualization of long-lived proteins reveals age mosaicism within nuclei of postmitotic cells. Journal of Cell Biology. 218(2), 433–444.
LibreCat: https://research-explorer.ista.ac.at/record/11061
DOI: 10.1083/jcb.201809123
PMID: 30552100

Arrojo e Drigo R, Lev-Ram V, Tyagi S, Ramachandra R, Deerinck T, Bushong E, Phan S, Orphan V, Lechene C, Ellisman MH, Hetzer M. 2019. Age mosaicism across multiple scales in adult tissues. Cell Metabolism. 30(2), 343–351.e3.
LibreCat: https://research-explorer.ista.ac.at/record/11062
DOI: 10.1016/j.cmet.2019.05.010
PMID: 31178361

Buchwalter A, Kaneshiro JM, Hetzer M. 2019. Coaching from the sidelines: The nuclear periphery in genome regulation. Nature Reviews Genetics. 20(1), 39–50.
LibreCat: https://research-explorer.ista.ac.at/record/11059
DOI: 10.1038/s41576-018-0063-5
PMID: 30356165

Nanayakkara T, Brinchmann J, Boogaard L, Bouwens R, Cantalupo S, Feltre A, Kollatschny W, Marino RA, Maseda M, Matthee JJ, Paalvast M, Richard J, Verhamme A. 2019. Exploring HefII;b1640 emission line properties at z c24. Astronomy &; Astrophysics. 648, .
LibreCat: https://research-explorer.ista.ac.at/record/11499
DOI: 10.1051/0004-6361/201834565
arXiv: 1902.05960

de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z c 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy &; Astrophysics. 628, .
LibreCat: https://research-explorer.ista.ac.at/record/11505
DOI: 10.1051/0004-6361/201834471
arXiv: 1905.13696

Sobral D, Matthee JJ. 2019. Predicting Ly;1 escape fractions with a simple observable: Ly;1 in emission as an empirically calibrated star formation rate indicator. Astronomy &; Astrophysics. 623, 7.
LibreCat: https://research-explorer.ista.ac.at/record/11507
DOI: 10.1051/0004-6361/201833075
arXiv: 1803.08923

Boogaard LA, Decarli R, González-López J, van der Werf P, Walter F, Bouwens R, Aravena M, Carilli C, Bauer FE, Brinchmann J, Contini T, Cox P, da Cunha E, Daddi E, Díaz-Santos T, Hodge J, Inami H, Ivison R, Maseda M, Matthee JJ, Oesch P, Popping G, Riechers D, Schaye J, Schouws S, Smail I, Weiss A, Wisotzki L, Bacon R, Cortes PC, Rix H-W, Somerville RS, Swinbank M, Wagg J. 2019. The ALMA spectroscopic survey in the HUDF: Nature and physical properties of gas-mass selected galaxies using MUSE spectroscopy. The Astrophysical Journal. 882(2), 140.
LibreCat: https://research-explorer.ista.ac.at/record/11514
DOI: 10.3847/1538-4357/ab3102
arXiv: 1903.09167

Marino RA, Cantalupo S, Pezzulli G, Lilly SJ, Gallego S, Mackenzie R, Matthee JJ, Brinchmann J, Bouché N, Feltre A, Muzahid S, Schroetter I, Johnson SD, Nanayakkara T. 2019. 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. 880(1), 47.
LibreCat: https://research-explorer.ista.ac.at/record/11516
DOI: 10.3847/1538-4357/ab2881
arXiv: 1906.06347

Matthee JJ, Sobral D, Boogaard LA, Röttgering H, Vallini L, Ferrara A, Paulino-Afonso A, Boone F, Schaerer D, Mobasher B. 2019. Resolved UV and [C ii] structures of luminous galaxies within the epoch of reionization. The Astrophysical Journal. 881(2), 124.
LibreCat: https://research-explorer.ista.ac.at/record/11515
DOI: 10.3847/1538-4357/ab2f81
arXiv: 1903.08171

Wang E, Lilly SJ, Pezzulli G, Matthee JJ. 2019. On the elevation and suppression of star formation within galaxies. The Astrophysical Journal. 877(2), 132.
LibreCat: https://research-explorer.ista.ac.at/record/11517
DOI: 10.3847/1538-4357/ab1c5b
arXiv: 1901.10276

Khostovan AA, Sobral D, Mobasher B, Matthee JJ, Cochrane RK, Chartab N, Jafariyazani M, Paulino-Afonso A, Santos S, Calhau J. 2019. 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. 489(1), 555–573.
LibreCat: https://research-explorer.ista.ac.at/record/11535
DOI: 10.1093/mnras/stz2149
arXiv: 1811.00556

Sobral D, Matthee JJ, Brammer G, Ferrara A, Alegre L, Röttgering H, Schaerer D, Mobasher B, Darvish B. 2019. 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. 482(2), 2422–2441.
LibreCat: https://research-explorer.ista.ac.at/record/11541
DOI: 10.1093/mnras/sty2779
arXiv: 1710.08422

Matthee JJ, Schaye J. 2019. The origin of scatter in the star formation rate–stellar mass relation. Monthly Notices of the Royal Astronomical Society. 484(1), 915–932.
LibreCat: https://research-explorer.ista.ac.at/record/11540
DOI: 10.1093/mnras/stz030
arXiv: 1805.05956

Huber D et al. 2019. A hot Saturn orbiting an oscillating late subgiant discovered by TESS. The Astronomical Journal. 157(6), 245.
LibreCat: https://research-explorer.ista.ac.at/record/11616
DOI: 10.3847/1538-3881/ab1488
arXiv: 1901.01643

Mathur S, García RA, Bugnet LA, Santos ÂRG, Santiago N, Beck PG. 2019. Revisiting the impact of stellar magnetic activity on the detectability of solar-like oscillations by Kepler. Frontiers in Astronomy and Space Sciences. 6, 46.
LibreCat: https://research-explorer.ista.ac.at/record/11613
DOI: 10.3389/fspas.2019.00046
arXiv: 1907.01415

Hon M, Stello D, García RA, Mathur S, Sharma S, Colman IL, Bugnet LA. 2019. A search for red giant solar-like oscillations in all Kepler data. Monthly Notices of the Royal Astronomical Society. 485(4), 5616–5630.
LibreCat: https://research-explorer.ista.ac.at/record/11615
DOI: 10.1093/mnras/stz622
arXiv: 1903.00115

Bugnet LA, García RA, Mathur S, Davies GR, Hall OJ, Lund MN, Rendle BM. 2019. FliPerClass: In search of solar-like pulsators among TESS targets. Astronomy &; Astrophysics. 624, .
LibreCat: https://research-explorer.ista.ac.at/record/11614
DOI: 10.1051/0004-6361/201834780
arXiv: 1902.09854

Santos ARG, García RA, Mathur S, Bugnet LA, van Saders JL, Metcalfe TS, Simonian GVA, Pinsonneault MH. 2019. Surface rotation and photometric activity for Kepler targets. I. M and K main-sequence stars. The Astrophysical Journal Supplement Series. 244(1), 21.
LibreCat: https://research-explorer.ista.ac.at/record/11623
DOI: 10.3847/1538-4365/ab3b56
arXiv: 1908.05222

Breton SN, Bugnet LA, Santos ARG, Saux AL, Mathur S, Palle PL, Garcia RA. Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques. arXiv, 1906.09609.
LibreCat: https://research-explorer.ista.ac.at/record/11627
DOI: 10.48550/arXiv.1906.09609
arXiv: 1906.09609

Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. arXiv, 1906.09611.
LibreCat: https://research-explorer.ista.ac.at/record/11630
DOI: 10.48550/arXiv.1906.09611
arXiv: 1906.09611

Ancona B, Henzinger MH, Roditty L, Williams VV, Wein N. 2019. Algorithms and hardness for diameter in dynamic graphs. 46th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 132, 13.
LibreCat: https://research-explorer.ista.ac.at/record/11826
DOI: 10.4230/LIPICS.ICALP.2019.13
arXiv: 811.12527

Henzinger MH, Neumann S, Schmid S. 2019. Efficient distributed workload (re-)embedding. SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems. SIGMETRICS: International Conference on Measurement and Modeling of Computer Systems, 43–44.
LibreCat: https://research-explorer.ista.ac.at/record/11850
DOI: 10.1145/3309697.3331503
arXiv: 1904.05474

Biedermann S, Henzinger MH, Schulz C, Schuster B. 2019.Vienna Graph Clustering. In: Protein-Protein Interaction Networks. Methods in Molecular Biology, vol. 2074, 215–231.
LibreCat: https://research-explorer.ista.ac.at/record/11847
DOI: 10.1007/978-1-4939-9873-9_16
PMID: 31583641

Bhattacharya S, Henzinger MH, Nanongkai D. 2019. A new deterministic algorithm for dynamic set cover. 60th Annual Symposium on Foundations of Computer Science. FOCS: Annual Symposium on Foundations of Computer Science, 406–423.
LibreCat: https://research-explorer.ista.ac.at/record/11853
DOI: 10.1109/focs.2019.00033
arXiv: 1909.11600

Henzinger MH, Noe A, Schulz C. 2019. Shared-memory exact minimum cuts. 33rd International Parallel and Distributed Processing Symposium. IPDPS: International Parallel and Distributed Processing Symposium, 8820968.
LibreCat: https://research-explorer.ista.ac.at/record/11851
DOI: 10.1109/ipdps.2019.00013
arXiv: 1808.05458

Daga M, Henzinger MH, Nanongkai D, Saranurak T. 2019. Distributed edge connectivity in sublinear time. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 343–354.
LibreCat: https://research-explorer.ista.ac.at/record/11865
DOI: 10.1145/3313276.3316346
arXiv: 1904.04341

Bernstein A, Forster S, Henzinger MH. 2019. A deamortization approach for dynamic spanner and dynamic maximal matching. 30th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1899–1918.
LibreCat: https://research-explorer.ista.ac.at/record/11871
DOI: 10.1137/1.9781611975482.115
arXiv: 1810.10932

Bhattacharya S, Henzinger MH, Neumann S. 2019. New amortized cell-probe lower bounds for dynamic problems. Theoretical Computer Science. 779, 72–87.
LibreCat: https://research-explorer.ista.ac.at/record/11898
DOI: 10.1016/j.tcs.2019.01.043
arXiv: 1902.02304

Pieber B, Malik JA, Cavedon C, Gisbertz S, Savateev A, Cruz D, Heil T, Zhang G, Seeberger PH. 2019. Semiheterogeneous dual nickel/photocatalysis using carbon nitrides: Esterification of carboxylic acids with aryl halides. Angewandte Chemie International Edition. 58(28), 9575–9580.
LibreCat: https://research-explorer.ista.ac.at/record/11957
DOI: 10.1002/anie.201902785
PMID: 31050132

Guberman M, Pieber B, Seeberger PH. 2019. Safe and scalable continuous flow azidophenylselenylation of galactal to prepare galactosamine building blocks. Organic Process Research and Development. 23(12), 2764–2770.
LibreCat: https://research-explorer.ista.ac.at/record/11984
DOI: 10.1021/acs.oprd.9b00456

Cavedon C, Madani A, Seeberger PH, Pieber B. 2019. Semiheterogeneous dual nickel/photocatalytic (thio)etherification using carbon nitrides. Organic Letters. 21(13), 5331–5334.
LibreCat: https://research-explorer.ista.ac.at/record/11982
DOI: 10.1021/acs.orglett.9b01957
PMID: 31247752

Browning TD, Sofos E. 2019. Counting rational points on quartic del Pezzo surfaces with a rational conic. Mathematische Annalen. 373(3–4), 977–1016.
LibreCat: https://research-explorer.ista.ac.at/record/170
DOI: 10.1007/s00208-018-1716-6
arXiv: 1609.09057

Kalinin N, Shkolnikov M. 2019. Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. 5(3), 909–928.
LibreCat: https://research-explorer.ista.ac.at/record/441
DOI: 10.1007/s40879-018-0218-0
arXiv: 1711.02089

Asaoka Y, Morita H, Furumoto H, Heisenberg C-PJ, Furutani-Seiki M. 2019.Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In: The hippo pathway. MIMB, vol. 1893, 167–181.
LibreCat: https://research-explorer.ista.ac.at/record/5793
DOI: 10.1007/978-1-4939-8910-2_14

Demay G, Gazi P, Maurer U, Tackmann B. 2019. Per-session security: Password-based cryptography revisited. Journal of Computer Security. 27(1), 75–111.
LibreCat: https://research-explorer.ista.ac.at/record/5887
DOI: 10.3233/JCS-181131

Biswas R, Largeteau-Skapin G, Zrour R, Andres E. 2019. Rhombic dodecahedron grid—coordinate system and 3D digital object definitions. 21st IAPR International Conference on Discrete Geometry for Computer Imagery. DGCI: International Conference on Discrete Geometry for Computer Imagery, LNCS, vol. 11414, 27–37.
LibreCat: https://research-explorer.ista.ac.at/record/6163
DOI: 10.1007/978-3-030-14085-4_3

Dyer R, Vegter G, Wintraecken M. 2019. Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . 10(1), 223–256.
LibreCat: https://research-explorer.ista.ac.at/record/6515
DOI: 10.20382/jocg.v10i1a9

Pietrzak KZ. 2019. Simple verifiable delay functions. 10th Innovations in Theoretical Computer Science Conference. ITCS 2019: Innovations in Theoretical Computer Science, LIPIcs, vol. 124, 60.
LibreCat: https://research-explorer.ista.ac.at/record/6528
DOI: 10.4230/LIPICS.ITCS.2019.60

Kundu A, Garcia Soto M, Prabhakar P. 2019. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. ICC 2019 - Indian Control Conference, 8715598.
LibreCat: https://research-explorer.ista.ac.at/record/6565
DOI: 10.1109/INDIANCC.2019.8715598

Vegter G, Wintraecken M. 2019. The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds. The 31st Canadian Conference in Computational Geometry. CCCG: Canadian Conference in Computational Geometry, 275–279.
LibreCat: https://research-explorer.ista.ac.at/record/6628

Edelsbrunner H, Virk Z, Wagner H. 2019. Topological data analysis in information space. 35th International Symposium on Computational Geometry. SoCG 2019: Symposium on Computational Geometry, LIPIcs, vol. 129, 31:1-31:14.
LibreCat: https://research-explorer.ista.ac.at/record/6648
DOI: 10.4230/LIPICS.SOCG.2019.31
arXiv: 1903.08510

Zenmyo N, Tokumaru H, Uchinomiya S, Fuchida H, Tabata S, Hamachi I, Shigemoto R, Ojida A. 2019. 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. 92(5), 995–1000.
LibreCat: https://research-explorer.ista.ac.at/record/6659
DOI: 10.1246/bcsj.20190034

Mondelli M, Montanari A. 2019. Fundamental limits of weak recovery with applications to phase retrieval. Foundations of Computational Mathematics. 19(3), 703–773.
LibreCat: https://research-explorer.ista.ac.at/record/6662
DOI: 10.1007/s10208-018-9395-y
arXiv: 1708.05932

Boissonnat J-D, Rouxel-Labbé M, Wintraecken M. 2019. Anisotropic triangulations via discrete Riemannian Voronoi diagrams. SIAM Journal on Computing. 48(3), 1046–1097.
LibreCat: https://research-explorer.ista.ac.at/record/6672
DOI: 10.1137/17m1152292
arXiv: 1703.06487

Kolmogorov V. 2019. Testing the complexity of a valued CSP language. 46th International Colloquium on Automata, Languages and Programming. ICALP 2019: International Colloquim on Automata, Languages and Programming, LIPIcs, vol. 132, 77:1-77:12.
LibreCat: https://research-explorer.ista.ac.at/record/6725
DOI: 10.4230/LIPICS.ICALP.2019.77
arXiv: 1803.02289

Walter M. 2019.Sampling the integers with low relative error. In: Progress in Cryptology – AFRICACRYPT 2019. vol. 11627, 157–180.
LibreCat: https://research-explorer.ista.ac.at/record/6726
DOI: 10.1007/978-3-030-23696-0_9

Mondelli M, Hassani H, Urbanke R. 2019. Construction of polar codes with sublinear complexity. IEEE. 65(5), 2782–2791.
LibreCat: https://research-explorer.ista.ac.at/record/6663
DOI: 10.1109/tit.2018.2889667
arXiv: 1612.05295

Mondelli M, Montanari A. 2019. On the connection between learning two-layers neural networks and tensor  decomposition. Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics. AISTATS: Artificial Intelligence and Statistics vol. 89, 1051–1060.
LibreCat: https://research-explorer.ista.ac.at/record/6747
arXiv: 1802.07301

Hashemi SA, Condo C, Mondelli M, Gross WJ. 2019. Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing. 67(22), 8854897.
LibreCat: https://research-explorer.ista.ac.at/record/6750
DOI: 10.1109/TSP.2019.2944738
arXiv: 1903.09203

Jelínek V, Töpfer M. 2019. On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. 26(3), .17.
LibreCat: https://research-explorer.ista.ac.at/record/6759
DOI: 10.37236/8096
arXiv: 1808.04148

Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. 2019. Bidding games on Markov decision processes.  Proceedings of the 13th International Conference of Reachability Problems. RP: Reachability Problems, LNCS, vol. 11674, 1–12.
LibreCat: https://research-explorer.ista.ac.at/record/6822
DOI: 10.1007/978-3-030-30806-3_1

Chatterjee K, Dvorák W, Henzinger MH, Svozil A. 2019. Near-linear time algorithms for Streett objectives in graphs and MDPs. Leibniz International Proceedings in Informatics. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 7.
LibreCat: https://research-explorer.ista.ac.at/record/6887
DOI: 10.4230/LIPICS.CONCUR.2019.7

Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. 2019. Designing worm-inspired neural networks for interpretable robotic control. Proceedings - IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, ICRA, vol. 2019–May, 8793840.
LibreCat: https://research-explorer.ista.ac.at/record/6888
DOI: 10.1109/icra.2019.8793840

Aghajohari M, Avni G, Henzinger TA. 2019. Determinacy in discrete-bidding infinite-duration games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 20.
LibreCat: https://research-explorer.ista.ac.at/record/6886
DOI: 10.4230/LIPICS.CONCUR.2019.20
arXiv: 1905.03588

Chatterjee K, Henzinger TA, Otop J. 2019. Long-run average behavior of vector addition systems with states. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 27.
LibreCat: https://research-explorer.ista.ac.at/record/6885
DOI: 10.4230/LIPICS.CONCUR.2019.27

Chatterjee K, Piterman N. 2019. Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 6.
LibreCat: https://research-explorer.ista.ac.at/record/6889
DOI: 10.4230/LIPICS.CONCUR.2019.6

Nowak T, Rybicki J. 2019. Byzantine approximate agreement on graphs. 33rd International Symposium on Distributed Computing. DISC: International Symposium on Distributed Computing, LIPIcs, vol. 146, 29:1--29:17.
LibreCat: https://research-explorer.ista.ac.at/record/6931
DOI: 10.4230/LIPICS.DISC.2019.29
arXiv: 1908.02743

Hasani R, Amini A, Lechner M, Naser F, Grosu R, Rus D. 2019. Response characterization for auditing cell dynamics in long short-term memory networks. Proceedings of the International Joint Conference on Neural Networks. IJCNN: International Joint Conference on Neural Networks, 8851954.
LibreCat: https://research-explorer.ista.ac.at/record/6985
DOI: 10.1109/ijcnn.2019.8851954
arXiv: 1809.03864