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.

3028 Publications


2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker IR, Kupferman O, Mazzocchi N. 2020. Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 51:1-51:12.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan CJ. 2020. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. 39(4), 65.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8536 | OA
Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. 2020. Simplified successive cancellation decoding of polar codes has sublinear latency. IEEE International Symposium on Information Theory - Proceedings. ISIT: Internation Symposium on Information Theory vol. 2020–June, 401–406.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8538 | OA
Akopyan A, Schwartz R, Tabachnikov S. 2020. Billiards in ellipses revisited. European Journal of Mathematics.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8539 | OA
Su C, Zhao G, Zhong C. 2020. On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. 53(3), 663–671.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8545 | OA
Contreras X, Davaatseren A, Amberg N, Hansen AH, Sonntag J, Andersen L, Bernthaler T, Heger A-M, Johnson R, Schwarz LA, Luo L, Rülicke T, Hippenmeyer S. 2020. A genome-wide library of MADM mice for single-cell genetic mosaic analysis. bioRxiv, 10.1101/2020.06.05.136192.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8546 | OA
Zhang T, Liu T, Mora N, Guegan J, Bertrand M, Contreras X, Hansen AH, Streicher C, Anderle M, Tiberi L, Hippenmeyer S, Hassan BA. Generation of neuronal diversity from common progenitors via Notch signaling in the cerebellum. bioRxiv, 10.1101/2020.03.18.997205.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8568 | OA
Prehal C, Fitzek H, Kothleitner G, Presser V, Gollas B, Freunberger SA, Abbas Q. 2020. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 11, 4838.
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.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling C. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 49–75.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8572 | OA
Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.
View | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Szep E. 2020. Local adaptation in metapopulations. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8579 | OA
Andrei A, Öztürk Y, Khalfaoui-Hassani B, Rauch J, Marckmann D, Trasnea PI, Daldal F, Koch H-G. 2020. Cu homeostasis in bacteria: The ins and outs. Membranes. 10(9), 242.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8580
Graff G, Graff B, Jablonski G, Narkiewicz K. 2020. The application of persistent homology in the analysis of heart rate variability. 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, . ESGCO: European Study Group on Cardiovascular Oscillations, 9158054.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8581
Pinke G, Zhou L, Sazanov LA. 2020. Cryo-EM structure of the entire mammalian F-type ATP synthase. Nature Structural and Molecular Biology.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8582 | OA
Li H, von Wangenheim D, Zhang X, Tan S, Darwish-Miranda N, Naramoto S, Wabnik KT, de Rycke R, Kaufmann W, Gütl DJ, Tejos R, Grones P, Ke M, Chen X, Dettmer J, Friml J. 2020. Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana. New Phytologist.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8586 | OA
Fäßler F, Zens B, Hauschild R, Schur FK. 2020. 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. 212(3), 107633.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. IST Austria.
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8761 | OA
Guseinov R. 2020. Supplementary data for ‘Computational design of cold bent glass façades’, IST Austria, 10.15479/AT:ISTA:8761.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8765 | OA
Schreck C, Wojtan CJ. 2020. A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. 39(2), 89–99.
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. 2020. Making procedural water waves boundary-aware. Computer Graphics forum. 39(8), 47–54.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8767 | OA
Kaveh K, McAvoy A, Chatterjee K, Nowak MA. 2020. The Moran process on 2-chromatic graphs. PLOS Computational Biology. 16(11), e1008402.
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 8773 | OA
Brown A, Romanov A. 2020. Contravariant forms on Whittaker modules. Proceedings of the American Mathematical Society. 149, 37–52.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8787 | OA
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8788
Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. 2020. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 3981–3992.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8789 | OA
Kleshnina M, Streipert S, Filar J, Chatterjee K. 2020. Prioritised learning in snowdrift-type games. Mathematics. 8(11), 1945.
View | Files available | DOI
 

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

2020 | Preprint | IST-REx-ID: 8813 | OA
Santini L, Halbritter F, Titz-Teixeira F, Suzuki T, Asami M, Ramesmayer J, Ma X, Lackner A, Warr N, Pauler F, Hippenmeyer S, Laue E, Farlik M, Bock C, Beyer A, Perry ACF, Leeb M. Novel imprints in mouse blastocysts are predominantly DNA methylation independent. bioRxiv, 10.1101/2020.11.03.366948.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8816 | OA
Runkel I, Szegedy L. 2020. Area-dependent quantum field theory. Communications in Mathematical Physics.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8817
Shehu Y, Iyiola OS, Thong DV, Van NTC. 2020. An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems. Mathematical Methods of Operations Research.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8818
Ramirez Villegas JF, Besserve M, Murayama Y, Evrard HC, Oeltermann A, Logothetis NK. 2020. Coupling of hippocampal theta and ripples with pontogeniculooccipital waves. Nature.
View | Files available | DOI
 

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

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

2020 | Journal Article | IST-REx-ID: 8793 | OA
Zeiner M, Schmid U, Chatterjee K. Optimal strategies for selecting coordinators. Discrete Applied Mathematics.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini S, Rafajlović M, Westram AM, Johannesson K, Butlin RK. 2020. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. 74(7), 1482–1497.
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 8562 | OA
Gavriil K, Guseinov R, Perez Rodriguez J, Pellis D, Henderson PM, Rist F, Pottmann H, Bickel B. 2020. Computational design of cold bent glass façades. ACM Transactions on Graphics. 39(6), 208.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8958 | OA
Li X. 2020. Rotation of coupled cold molecules in the presence of a many-body environment. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8966 | OA
Schauer A, Heisenberg C-PJ. Reassembling gastrulation. Developmental Biology.
View | DOI | Download Published Version (ext.)
 

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

2020 | Journal Article | IST-REx-ID: 8973 | OA
Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.
View | Files available | DOI | arXiv
 

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

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.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8987 | OA
Pietrzak KZ. 2020. Delayed authentication: Preventing replay and relay attacks in private contact tracing. Progress in Cryptology. INDOCRYPT: International Conference on Cryptology in IndiaLNCS vol. 12578, 3–15.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8931 | OA
Gelová Z, Gallei MC, Pernisová M, Brunoud G, Zhang X, Glanc M, Li L, Michalko J, Pavlovicova Z, Verstraeten I, Han H, Hajny J, Hauschild R, Čovanová M, Zwiewka M, Hörmayer L, Fendrych M, Xu T, Vernoux T, Friml J. 2020. Developmental roles of auxin binding protein 1 in Arabidopsis thaliana. Plant Science. 303, 110750.
View | DOI | Download Published Version (ext.)
 

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

2020 | Journal Article | IST-REx-ID: 8943 | OA
Tan S, Di Donato M, Glanc M, Zhang X, Klíma P, Liu J, Bailly A, Ferro N, Petrášek J, Geisler M, Friml J. 2020. Non-steroidal anti-inflammatory drugs target TWISTED DWARF1-regulated actin dynamics and auxin transport-mediated plant development. Cell Reports. 33(9), 108463.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8944 | OA
Zemlicka M, Kopčík M, Szabó P, Samuely T, Kačmarčík J, Neilinger P, Grajcar M, Samuely P. 2020. Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. 102(18), 180508.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8949 | OA
Zhang X, Mennicke CV, Xiao G, Beattie RJ, Haider M, Hippenmeyer S, Ghashghaei HT. 2020. Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. 9(12), 2662.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications