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.
3023 Publications
2020 | Journal Article | IST-REx-ID: 8539 |

Su C, Zhao G, Zhong C. On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. 2020;53(3):663-671. doi:10.24033/asens.2431
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 8545 |

Contreras X, Davaatseren A, Amberg N, et al. A genome-wide library of MADM mice for single-cell genetic mosaic analysis. bioRxiv. 2020. doi:10.1101/2020.06.05.136192
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8546 |

Zhang T, Liu T, Mora N, et al. Generation of neuronal diversity from common progenitors via Notch signaling in the cerebellum. bioRxiv. doi:10.1101/2020.03.18.997205
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8568 |

Prehal C, Fitzek H, Kothleitner G, et al. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 2020;11. doi:10.1038/s41467-020-18610-6
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8569 |

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
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 8571 |

Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:49-75. doi:10.29007/zkf6
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8572 |

Althoff M, Bak S, Bao Z, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:16-48. doi:10.29007/7dt2
View
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 8574 |

Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8579 |

Andrei A, Öztürk Y, Khalfaoui-Hassani B, et al. Cu homeostasis in bacteria: The ins and outs. Membranes. 2020;10(9). doi:10.3390/membranes10090242
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8580
Graff G, Graff B, Jablonski G, Narkiewicz K. The application of persistent homology in the analysis of heart rate variability. In: 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, . IEEE; 2020. doi:10.1109/ESGCO49734.2020.9158054
View
| DOI
2020 | Journal Article | IST-REx-ID: 8581
Pinke G, Zhou L, Sazanov LA. Cryo-EM structure of the entire mammalian F-type ATP synthase. Nature Structural and Molecular Biology. 2020. doi:10.1038/s41594-020-0503-8
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8582 |

Li H, von Wangenheim D, Zhang X, et al. Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana. New Phytologist. 2020. doi:10.1111/nph.16887
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8586 |

Fäßler F, Zens B, Hauschild R, Schur FK. 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. 2020;212(3). doi:10.1016/j.jsb.2020.107633
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8366 |

Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366
View
| Files available
| DOI
2020 | Research Data | IST-REx-ID: 8761 |

Guseinov R. Supplementary data for “Computational design of cold bent glass façades.” 2020. doi:10.15479/AT:ISTA:8761
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8765 |

Schreck C, Wojtan CJ. A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. 2020;39(2):89-99. doi:10.1111/cgf.13914
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8766
Jeschke S, Hafner C, Chentanez N, Macklin M, Müller-Fischer M, Wojtan CJ. Making procedural water waves boundary-aware. Computer Graphics forum. 2020;39(8):47-54. doi:10.1111/cgf.14100
View
| DOI
2020 | Journal Article | IST-REx-ID: 8767 |

Kaveh K, McAvoy A, Chatterjee K, Nowak MA. The Moran process on 2-chromatic graphs. PLOS Computational Biology. 2020;16(11). doi:10.1371/journal.pcbi.1008402
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8769 |

Yakaboylu E, Ghazaryan A, Lundholm D, Rougerie N, Lemeshko M, Seiringer R. Quantum impurity model for anyons. Physical Review B. 2020;102(14). doi:10.1103/physrevb.102.144109
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8773 |

Brown A, Romanov A. Contravariant forms on Whittaker modules. Proceedings of the American Mathematical Society. 2020;149:37-52. doi:10.1090/proc/15205
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8787 |

Nicolai L, Schiefelbein K, Lipsky S, et al. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 2020;11. doi:10.1038/s41467-020-19515-0
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8788
Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):3981-3992. doi:10.1109/TCAD.2020.3012803
View
| DOI
2020 | Journal Article | IST-REx-ID: 8789 |

Kleshnina M, Streipert S, Filar J, Chatterjee K. Prioritised learning in snowdrift-type games. Mathematics. 2020;8(11). doi:10.3390/math8111945
View
| Files available
| DOI
2020 | Research Data Reference | IST-REx-ID: 8809 |

Perini S, Rafajlovic M, Westram AM, Johannesson K, Butlin R. Data from: Assortative mating, sexual selection and their consequences for gene flow in Littorina. 2020. doi:10.5061/dryad.qrfj6q5cn
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Preprint | IST-REx-ID: 8813 |

Santini L, Halbritter F, Titz-Teixeira F, et al. Novel imprints in mouse blastocysts are predominantly DNA methylation independent. bioRxiv. doi:10.1101/2020.11.03.366948
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8816 |

Runkel I, Szegedy L. Area-dependent quantum field theory. Communications in Mathematical Physics. 2020. doi:10.1007/s00220-020-03902-1
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8817
Shehu Y, Iyiola OS, Thong DV, Van NTC. An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems. Mathematical Methods of Operations Research. 2020. doi:10.1007/s00186-020-00730-w
View
| DOI
2020 | Journal Article | IST-REx-ID: 8818
Ramirez Villegas JF, Besserve M, Murayama Y, Evrard HC, Oeltermann A, Logothetis NK. Coupling of hippocampal theta and ripples with pontogeniculooccipital waves. Nature. 2020. doi:10.1038/s41586-020-2914-4
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8790 |

Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):4018-4029. doi:10.1109/TCAD.2020.3012859
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8792 |

Marveggio A, Schimperna G. On a non-isothermal Cahn-Hilliard model based on a microforce balance. Journal of Differential Equations. doi:10.1016/j.jde.2020.10.030
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8793 |

Zeiner M, Schmid U, Chatterjee K. Optimal strategies for selecting coordinators. Discrete Applied Mathematics. doi:10.1016/j.dam.2020.10.022
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 7995 |

Perini S, Rafajlović M, Westram AM, Johannesson K, Butlin RK. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. 2020;74(7):1482-1497. doi:10.1111/evo.14027
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8287 |

Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software.
View
| Files available
| arXiv
2020 | Journal Article | IST-REx-ID: 8562 |

Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. ACM Transactions on Graphics. 2020;39(6). doi:10.1145/3414685.3417843
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Thesis | IST-REx-ID: 8958 |

Li X. Rotation of coupled cold molecules in the presence of a many-body environment. 2020. doi:10.15479/AT:ISTA:8958
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8966 |

Schauer A, Heisenberg C-PJ. Reassembling gastrulation. Developmental Biology. doi:10.1016/j.ydbio.2020.12.014
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8971 |

Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 2020;11. doi:10.1038/s41467-020-20286-x
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8973 |

Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 2020;25. doi:10.1214/20-EJP536
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8978 |

Laukoter S, Amberg N, Pauler F, Hippenmeyer S. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 2020;1(3). doi:10.1016/j.xpro.2020.100215
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8986 |

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
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 8987 |

Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8931 |

Gelová Z, Gallei MC, Pernisová M, et al. Developmental roles of auxin binding protein 1 in Arabidopsis thaliana. Plant Science. 2020;303. doi:10.1016/j.plantsci.2020.110750
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8940 |

Boissonnat J-D, Kachanovich S, Wintraecken M. Triangulating submanifolds: An elementary and quantified version of Whitney’s method. Discrete & Computational Geometry. 2020. doi:10.1007/s00454-020-00250-8
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8943 |

Tan S, Di Donato M, Glanc M, et al. Non-steroidal anti-inflammatory drugs target TWISTED DWARF1-regulated actin dynamics and auxin transport-mediated plant development. Cell Reports. 2020;33(9). doi:10.1016/j.celrep.2020.108463
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8944 |

Zemlicka M, Kopčík M, Szabó P, et al. Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. 2020;102(18). doi:10.1103/PhysRevB.102.180508
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8949 |

Zhang X, Mennicke CV, Xiao G, et al. Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. 2020;9(12). doi:10.3390/cells9122662
View
| Files available
| DOI
2020 | Research Data | IST-REx-ID: 8951 |

Nagy-Staron AA. Sequences of gene regulatory network permutations for the article “Local genetic context shapes the function of a gene regulatory network.” 2020. doi:10.15479/AT:ISTA:8951
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8955 |

Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 2020;11. doi:10.3389/fphys.2020.558070
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8957 |

Godard BG, Dumollard R, Munro E, et al. Apical relaxation during mitotic rounding promotes tension-oriented cell division. Developmental Cell. doi:10.1016/j.devcel.2020.10.016
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 9000 |

Grah R, Zoller B, Tkačik G. Nonequilibrium models of optimal enhancer function. PNAS. 2020;117(50):31614-31622. doi:10.1073/pnas.2006731117
View
| Files available
| DOI
| PubMed | Europe PMC