Please note that IST 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.

6118 Publications


2020 | Journal Article | IST-REx-ID: 8671 | OA
Shakiba A, Goharshady AK, Hooshmandasl MR, Alambardar Meybodi M. A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. 2020;15(2):117-128. doi:10.29252/ijmsi.15.2.117
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8672 | OA
Chaigne A, Labouesse C, White IJ, et al. Abscission couples cell division to embryonic stem cell fate. Developmental Cell. doi:10.1016/j.devcel.2020.09.001
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8673 | OA
Modic KA, McDonald RD, Ruff JPC, et al. Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields. Nature Physics. 2020. doi:10.1038/s41567-020-1028-0
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8674 | OA
Henneberger C, Bard L, Panatier A, et al. LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia. Neuron. 2020;108(5):P919-936.E11. doi:10.1016/j.neuron.2020.08.030
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8679
Lechner M, Hasani R, Amini A, Henzinger TA, Rus D, Grosu R. Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. 2020;2:642-652. doi:10.1038/s42256-020-00237-3
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8680 | OA
Tsai TY-C, Sikora MK, Xia P, et al. An adhesion code ensures robust pattern formation during tissue morphogenesis. Science. 2020;370(6512):113-116. doi:10.1126/science.aba6637
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8682 | OA
Browning TD, Boudec PL, Sawin W. The Hasse principle for random Fano hypersurfaces. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8691 | OA
Koudjinan E. A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. 2020;269(6):4720-4750. doi:10.1016/j.jde.2020.03.044
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8694 | OA
Golmakani A, Koudjinan E, Luzzatto S, Pilarczyk P. Rigorous numerics for critical orbits in the quadratic family. Chaos. 2020;30(7). doi:10.1063/5.0012822
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Working Paper | IST-REx-ID: 8695 | OA
Mayer K, Rieck K, Reichmann S, et al. Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria. OANA; 2020. doi:10.5281/ZENODO.4109242
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8697 | OA
Fischer JL, Kniely M. Variance reduction for effective energies of random lattices in the Thomas-Fermi-von Weizsäcker model. Nonlinearity. 2020;33(11):5733-5772. doi:10.1088/1361-6544/ab9728
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8698 | OA
Maoz O, Tkačik G, Esteki MS, Kiani R, Schneidman E. Learning probabilistic neural representations with randomly connected circuits. Proceedings of the National Academy of Sciences of the United States of America. 2020;117(40):25066-25073. doi:10.1073/pnas.1912804117
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8699 | OA
Paris E, Tseng Y, Paerschke E, et al. Strain engineering of the charge and spin-orbital interactions in Sr2IrO4. Proceedings of the National Academy of Sciences of the United States of America. 2020;117(40):24764-24770. doi:10.1073/pnas.2012043117
View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2020 | Journal Article | IST-REx-ID: 8740 | OA
Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior. eLife. 2020;9. doi:10.7554/eLife.61106
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8741 | OA
Klose AK, Karle V, Winkelmann R, Donges JF. Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements. Royal Society Open Science. 2020;7(6). doi:10.1098/rsos.200599
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8742 | OA
Browning TD, Heath-Brown R. The geometric sieve for quadrics. Forum Mathematicum. 2020. doi:10.1515/forum-2020-0074
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8743
Salces-Castellano A, Stankowski S, Arribas P, et al. Long-term cloud forest response to climate warming revealed by insect speciation history. Evolution. 2020. doi:10.1111/evo.14111
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8744 | OA
Schulte L, Mao J, Reitz J, et al. Cysteine oxidation and disulfide formation in the ribosomal exit tunnel. Nature Communications. 2020;11. doi:10.1038/s41467-020-19372-x
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8746 | OA
Miranti R, Septianto RD, Ibáñez M, et al. Electron transport in iodide-capped core@shell PbTe@PbS colloidal nanocrystal solids. Applied Physics Letters. 2020;117(17). doi:10.1063/5.0025965
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8747
Zhang Y, Liu Y, Calcabrini M, et al. Bismuth telluride-copper telluride nanocomposites from heterostructured building blocks. Journal of Materials Chemistry C. 2020;8(40):14092-14099. doi:10.1039/D0TC02182B
View | DOI
 

2020 | Preprint | IST-REx-ID: 8750 | OA
Forets M, Freire D, Schilling C. Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8755 | OA
Peruzzo M, Trioni A, Hassani F, Zemlicka M, Fink JM. Surpassing the resistance quantum with a geometric superinductor. Physical Review Applied. 2020;14(4). doi:10.1103/PhysRevApplied.14.044055
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8757 | OA
Bozelos P, Vogels TP. Talking science, online. Nature Reviews Neuroscience. 2020. doi:10.1038/s41583-020-00408-6
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8758 | OA
Maas J, Mielke A. Modeling of chemical reaction systems with detailed balance using gradient structures. Journal of Statistical Physics. 2020. doi:10.1007/s10955-020-02663-4
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8250 | OA
Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 2020;11. doi:10.1038/s41467-020-17734-z
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8700
Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molecular Biology. 2020;54(5):739-748. doi:10.1134/S0026893320050088
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari JL, Gridchyn I, Schönenberger P. Optogenetic alteration of hippocampal network activity. 2020. doi:10.15479/AT:ISTA:8563
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8834 | OA
Katsaros G. Enhancement of proximity induced superconductivity in planar Germanium. 2020. doi:10.15479/AT:ISTA:8834
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8909 | OA
Jirovec D, Hofmann AC, Ballabio A, et al. A singlet triplet hole spin qubit in planar Ge. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8910 | OA
Valentini M, Peñaranda F, Hofmann AC, et al. Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8911 | OA
Scappucci G, Kloeffel C, Zwanenburg FA, et al. The germanium quantum information route. Nature Reviews Materials. doi:10.1038/s41578-020-00262-z
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8912 | OA
Sarac NE, Altun ÖF, Atam KT, Karahoda S, Kaya K, Yenigün H. Boosting expensive synchronizing heuristics. Expert Systems with Applications. doi:10.1016/j.eswa.2020.114203
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8914 | OA
Salamatina A, Yang JH, Brenner-Morton S, et al. Differential loss of spinal interneurons in a mouse model of ALS. Neuroscience. 2020;450:81-95. doi:10.1016/j.neuroscience.2020.08.011
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8924 | OA
Nibau C, Dadarou D, Kargios N, et al. A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. 2020;11. doi:10.3389/fpls.2020.586870
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8926
Irtem E, Arenas Esteban D, Duarte M, et al. Ligand-mode directed selectivity in Cu-Ag core-shell based gas diffusion electrodes for CO2 electroreduction. ACS Catalysis.:13468-13478. doi:10.1021/acscatal.0c03210
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8927 | OA
Nardo AD, Schneeweiss-Gleixner M, Bakail MM, Dixon ED, Lax SF, Trauner M. Pathophysiological mechanisms of liver injury in COVID-19. Liver International. 2020. doi:10.1111/liv.14730
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8928
Arnoux S, Fraisse C, Sauvage C. Genomic inference of complex domestication histories in three Solanaceae species. Journal of Evolutionary Biology. 2020. doi:10.1111/jeb.13723
View | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8822
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
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8824 | OA
Marquès-Bueno M, Armengot L, Noack L, et al. Auxin-regulated reversible inhibition of TMK1 signaling by MAKR2 modulates the dynamics of root gravitropism. Current Biology. 2020. doi:10.1016/j.cub.2020.10.011
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7427 | OA
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
View | Files available | DOI | PubMed | Europe PMC
 

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

2020 | Preprint | IST-REx-ID: 8831 | OA
Aggarwal K, Hofmann AC, Jirovec D, et al. Enhancement of proximity induced superconductivity in planar Germanium. arXiv.
View | Files available | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9002
Fazeli A, Hassani H, Mondelli M, Vardy A. Binary linear codes with optimal scaling: Polar codes with large kernels. IEEE Transactions on Information Theory. 2020. doi:10.1109/TIT.2020.3038806
View | Files available | DOI | arXiv
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7810 | OA
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
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8728 | OA
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
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 6918 | OA
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
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8983
Emtenani S. Metabolic regulation of Drosophila macrophage tissue invasion. 2020. doi:10.15479/AT:ISTA:8983
View | Files available | DOI
 

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

Search

Filter Publications