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.

8978 Publications


2020 | Journal Article | IST-REx-ID: 7889 | OA
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.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 9750 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7885
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.
View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto M, Prabhakar P. 2020. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 36(5), 100856.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 8983 | OA
Emtenani S. 2020. Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8557 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8831 | OA
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.
[Submitted Version] View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 7810 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8728 | OA
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.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8089 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6918 | OA
Goharshady AK, Mohammadi F. 2020. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 193, 106665.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7161 | OA
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.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7652 | OA
Tomanek I, Grah R, Lagator M, Andersson AMC, Bollback JP, Tkačik G, Guet CC. 2020. Gene amplification as a form of population-level gene expression regulation. Nature Ecology & Evolution. 4(4), 612–625.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 7258 | OA
Scarselli D. 2020. New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8653 | OA
Tomanek I. 2020. The evolution of gene expression by copy number and point mutations. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7427 | OA
Tan S, Abas MF, Verstraeten I, Glanc M, Molnar G, Hajny J, Lasák P, Petřík I, Russinova E, Petrášek J, Novák O, Pospíšil J, Friml J. 2020. Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. 30(3), 381–395.e8.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7500 | OA
Mazur E, Kulik I, Hajny J, Friml J. 2020. Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis. New Phytologist. 226(5), 1375–1383.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8822 | OA
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.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8350 | OA
Shamipour S. 2020. Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8569 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7815 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 7902 | OA
Contreras X. 2020. Genetic dissection of neural development in health and disease at single cell resolution. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt MK, Huttenlocher A. 2020. Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. 219(8), e202007029.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8986 | OA
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), eabc8895.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y. 2020. AcoMYB4, 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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8139 | OA
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), jcs248062.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9160 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 10354 | OA
Harker-Kirschneck L, Baum B, Šarić A. 2019. Changes in ESCRT-III filament geometry drive membrane remodelling and fission in silico. BMC Biology. 17(1), 82.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 10355 | OA
Hafner AE, Krausser J, Šarić A. 2019. Minimal coarse-grained models for molecular self-organisation in biology. Current Opinion in Structural Biology. 58, 43–52.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 10621 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 10622 | OA
Polshyn H, Naibert T, Budakian R. 2019. Manipulating multivortex states in superconducting structures. Nano Letters. 19(8), 5476–5482.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Journal Article | IST-REx-ID: 10625 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Journal Article | IST-REx-ID: 10620
Zhou H, Polshyn H, Taniguchi T, Watanabe K, Young AF. 2019. Solids of quantum Hall skyrmions in graphene. Nature Physics. 16(2), 154–158.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 10664 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 10619 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Conference Paper | IST-REx-ID: 10724 | OA
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, V14.00008.
[Published Version] View | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 10722 | OA
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.
[Published Version] View | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 10725 | OA
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, R14.00004.
[Published Version] View | Files available | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 10723 | OA
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, P01.00004.
[Published Version] View | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
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-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. ARCH19. 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.
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 11061 | OA
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.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11062 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11059
Buchwalter A, Kaneshiro JM, Hetzer M. 2019. Coaching from the sidelines: The nuclear periphery in genome regulation. Nature Reviews Genetics. 20(1), 39–50.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11499 | OA
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 He II λ1640 emission line properties at z ∼2−4. Astronomy & Astrophysics. 648, A89.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11505 | OA
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 ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11507 | OA
Sobral D, Matthee JJ. 2019. Predicting Lyα escape fractions with a simple observable: Lyα in emission as an empirically calibrated star formation rate indicator. Astronomy & Astrophysics. 623, A157.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11514 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11516 | OA
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α 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11515 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11517 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11535 | OA
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 α emitters from z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities. Monthly Notices of the Royal Astronomical Society. 489(1), 555–573.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11541 | OA
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 α emitter CR7 and its rest-frame UV components. Monthly Notices of the Royal Astronomical Society. 482(2), 2422–2441.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11540 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11616 | OA
Huber D et al. 2019. A hot Saturn orbiting an oscillating late subgiant discovered by TESS. The Astronomical Journal. 157(6), 245.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11613 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11615 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11614 | OA
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, A79.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11623 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 11627 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 11630 | OA
Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. arXiv, 1906.09611.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 11826 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 11850 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Book Chapter | IST-REx-ID: 11847
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.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 11853 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 11851
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 11865 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 11871 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11898 | OA
Bhattacharya S, Henzinger MH, Neumann S. 2019. New amortized cell-probe lower bounds for dynamic problems. Theoretical Computer Science. 779, 72–87.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11957
Pieber B, Malik JA, Cavedon C, Gisbertz S, Savateev A, Cruz D, Heil T, Zhang G, Seeberger PH. 2019. Semi‐heterogeneous dual nickel/photocatalysis using carbon nitrides: Esterification of carboxylic acids with aryl halides. Angewandte Chemie International Edition. 58(28), 9575–9580.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11984 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 11982 | OA
Cavedon C, Madani A, Seeberger PH, Pieber B. 2019. Semiheterogeneous dual nickel/photocatalytic (thio)etherification using carbon nitrides. Organic Letters. 21(13), 5331–5334.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 170 | OA
Browning TD, Sofos E. 2019. Counting rational points on quartic del Pezzo surfaces with a rational conic. Mathematische Annalen. 373(3–4), 977–1016.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 441 | OA
Kalinin N, Shkolnikov M. 2019. Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. 5(3), 909–928.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Book Chapter | IST-REx-ID: 5793
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.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5887 | OA
Demay G, Gazi P, Maurer U, Tackmann B. 2019. Per-session security: Password-based cryptography revisited. Journal of Computer Security. 27(1), 75–111.
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6163
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.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6515 | OA
Dyer R, Vegter G, Wintraecken M. 2019. Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . 10(1), 223–256.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6528 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6565 | OA
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.
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6628 | OA
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.
[Submitted Version] View | Files available
 

2019 | Conference Paper | IST-REx-ID: 6648 | OA
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.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6659 | OA
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.
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6662 | OA
Mondelli M, Montanari A. 2019. Fundamental limits of weak recovery with applications to phase retrieval. Foundations of Computational Mathematics. 19(3), 703–773.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6672 | OA
Boissonnat J-D, Rouxel-Labbé M, Wintraecken M. 2019. Anisotropic triangulations via discrete Riemannian Voronoi diagrams. SIAM Journal on Computing. 48(3), 1046–1097.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6725 | OA
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.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Book Chapter | IST-REx-ID: 6726 | OA
Walter M. 2019.Sampling the integers with low relative error. In: Progress in Cryptology – AFRICACRYPT 2019. vol. 11627, 157–180.
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Journal Article | IST-REx-ID: 6663 | OA
Mondelli M, Hassani H, Urbanke R. 2019. Construction of polar codes with sublinear complexity. IEEE. 65(5), 2782–2791.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6747 | OA
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.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6750 | OA
Hashemi SA, Condo C, Mondelli M, Gross WJ. 2019. Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing. 67(22), 8854897.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6759 | OA
Jelínek V, Töpfer M. 2019. On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. 26(3), P3.17.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6822 | OA
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.
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
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.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888 | OA
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.
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari M, Avni G, Henzinger TA. 2019. Determinacy in discrete-bidding infinite-duration games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 20.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885 | OA
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.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee K, Piterman N. 2019. Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 6.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6931 | OA
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.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7007 | OA
Mondelli M, Hassani SH, Urbanke R. 2019. A new coding paradigm for the primitive relay channel. Algorithms. 12(10), 218.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications