Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3383 Publications

2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl G, Narain R, Wojtan CJ. 2020. Homogenized yarn-level cloth. ACM Transactions on Graphics. 39(4), 48.
View | Files available | DOI | Download Submitted Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8386 | OA
Zhang R. 2020. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. IST Austria.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8390 | OA
Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. IST Austria.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot M, Trejo Banos D, Kousathanas A, Orliac EJ, Ojavee SE, Moser G, Sidorenko J, Kutalik Z, Magi R, Visscher PM, Ronnegard L, Robinson MR. 2020. Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv, 10.1101/2020.09.04.20188433.
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 8529 | OA
Arnold GM, Wulf M, Barzanjeh S, Redchenko E, Rueda Sanchez AR, Hease WJ, Hassani F, Fink JM. 2020. Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. 11, 4460.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2020. Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 22:1-22:13.
View | Files available | DOI | arXiv
 
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 | Files available | 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: 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.
View | Files available | DOI | Download Preprint (ext.)
 
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 | 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 | 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. 27(11), 1077–1085.
View | Files available | DOI | PubMed | Europe PMC
 
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 | Journal Article | IST-REx-ID: 8587 | OA
Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. 2020. Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. 152(16), 164302.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8588 | OA
Hubert C, Cohen K, Ghazaryan A, Lemeshko M, Rapaport R, Santos PV. 2020. Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids. Physical Review B. 102(4), 045307.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 8589
Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis development. IST Austria.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8592 | OA
Tian A, Kang B, Li B, Qiu B, Jiang W, Shao F, Gao Q, Liu R, Cai C, Jing R, Wang W, Chen P, Liang Q, Bao L, Man J, Wang Y, Shi Y, Li J, Yang M, Wang L, Zhang J, Hippenmeyer S, Zhu J, Bian X, Wang Y, Liu C. 2020. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 7(21), 2001724.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8599 | OA
Avni G, Henzinger TA. 2020. A survey of bidding games on graphs. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 2.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8600 | OA
Chatterjee K, Henzinger TA, Otop J. 2020. Multi-dimensional long-run average problems for vector addition systems with states. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 23.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8601 | OA
Cipolloni G, Erdös L, Schröder DJ. 2020. Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8607 | OA
Liu D, Kumar R, LAN C, Johnson AJ, Siao W, Vanhoutte I, Wang P, Bender K, Yperman K, Martins S, Zhao X, Vert G, Van Damme D, Friml J, Russinova E. 2020. Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif. Plant Cell. 32(11), 3598–3612.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Preprint | IST-REx-ID: 8616 | OA
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
View | DOI | Download Preprint (ext.)
 
2020 | Thesis | IST-REx-ID: 8620
Morandell J. 2020. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. IST Austria.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8634 | OA
Suri B, Kageorge L, Grigoriev RO, Schatz MF. 2020. Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits. Physical Review Letters. 125(6), 064501.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8643 | OA
Deichler A, Carrasco D, Lopez-Jury L, Vega Zuniga TA, Marquez N, Mpodozis J, Marin G. 2020. A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents. Scientific Reports. 10, 16220.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8644 | OA
Rzadkowski W, Defenu N, Chiacchiera S, Trombettoni A, Bighin G. 2020. Detecting composite orders in layered models via machine learning. New Journal of Physics. 22(9), 093026.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8645 | OA
Esteban LA, Lonishin LR, Bobrovskiy DM, Leleytner G, Bogatyreva NS, Kondrashov F, Ivankov DN. 2020. HypercubeME: Two hundred million combinatorially complete datasets from a single experiment. Bioinformatics. 36(6), 1960–1962.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8652 | OA
Ghazaryan A, Lemeshko M, Volosniev A. 2020. Filtering spins by scattering from a lattice of point magnets. Communications Physics. 3, 178.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8657
Kavcic B. 2020. Perturbations of protein synthesis: from antibiotics to genetics and physiology. IST Austria.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8669 | OA
Sznurkowska MK, Hannezo EB, Azzarelli R, Chatzeli L, Ikeda T, Yoshida S, Philpott A, Simons BD. 2020. Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. 11, 5037.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8670 | OA
Zhang H. 2020. Equality conditions of data processing inequality for α-z Rényi relative entropies. Journal of Mathematical Physics. 61(10), 102201.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8671 | OA
Shakiba A, Goharshady AK, Hooshmandasl MR, Alambardar Meybodi M. 2020. A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. 15(2), 117–128.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8672 | OA
Chaigne A, Labouesse C, White IJ, Agnew M, Hannezo EB, Chalut KJ, Paluch EK. 2020. Abscission couples cell division to embryonic stem cell fate. Developmental Cell. 55(2), 195–208.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8674 | OA
Henneberger C, Bard L, Panatier A, Reynolds JP, Kopach O, Medvedev NI, Minge D, Herde MK, Anders S, Kraev I, Heller JP, Rama S, Zheng K, Jensen TP, Sanchez-Romero I, Jackson CJ, Janovjak HL, Ottersen OP, Nagelhus EA, Oliet SHR, Stewart MG, Nägerl UVa, Rusakov DA. 2020. LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia. Neuron. 108(5), P919–936.E11.
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. 2020. Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. 2, 642–652.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8680 | OA
Tsai TY-C, Sikora MK, Xia P, Colak-Champollion T, Knaut H, Heisenberg C-PJ, Megason SG. 2020. An adhesion code ensures robust pattern formation during tissue morphogenesis. Science. 370(6512), 113–116.
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, 2006.02356.
View | Files available | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8697 | OA
Fischer JL, Kniely M. 2020. Variance reduction for effective energies of random lattices in the Thomas-Fermi-von Weizsäcker model. Nonlinearity. 33(11), 5733–5772.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8698 | OA
Maoz O, Tkačik G, Esteki MS, Kiani R, Schneidman E. 2020. Learning probabilistic neural representations with randomly connected circuits. Proceedings of the National Academy of Sciences of the United States of America. 117(40), 25066–25073.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8699 | OA
Paris E, Tseng Y, Paerschke E, Zhang W, Upton MH, Efimenko A, Rolfs K, McNally DE, Maurel L, Naamneh M, Caputo M, Strocov VN, Wang Z, Casa D, Schneider CW, Pomjakushina E, Wohlfeld K, Radovic M, Schmitt T. 2020. Strain engineering of the charge and spin-orbital interactions in Sr2IrO4. Proceedings of the National Academy of Sciences of the United States of America. 117(40), 24764–24770.
View | Files available | DOI | PubMed | Europe PMC | arXiv
 
2020 | Journal Article | IST-REx-ID: 8700
Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. 2020. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molecular Biology. 54(5), 739–748.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8701
Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. 2020. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molekuliarnaia biologiia. 54(5), 837–848.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8703 | OA
Osang GF, Rouxel-Labbé M, Teillaud M. 2020. Generalizing CGAL periodic Delaunay triangulations. 28th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 173, 75.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8704 | OA
Lechner M, Hasani R, Rus D, Grosu R. 2020. Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme. Proceedings - IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, ICRA, , 5446–5452.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8705 | OA
Mysliwy K, Seiringer R. 2020. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 21(12), 4003–4025.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8707
Galan S, Machnik NN, Kruse K, Díaz N, Marti-Renom MA, Vaquerizas JM. 2020. CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction. Nature Genetics. 52, 1247–1255.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8721
Hajny J, Prat T, Rydza N, Rodriguez Solovey L, Tan S, Verstraeten I, Domjan D, Mazur E, Smakowska-Luzan E, Smet W, Mor E, Nolf J, Yang B, Grunewald W, Molnar G, Belkhadir Y, De Rybel B, Friml J. 2020. Receptor kinase module targets PIN-dependent auxin transport during canalization. Science. 370(6516), 550–557.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8722 | OA
Li S, Tal Ben-Nun TB-N, Girolamo SD, Alistarh D-A, Hoefler T. 2020. Taming unbalanced training workloads in deep learning with partial collective operations. Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP: Sympopsium on Principles and Practice of Parallel Programming, 45–61.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8726 | OA
Gotfryd D, Paerschke E, Wohlfeld K, Oleś AM. 2020. Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. 5(3), 53.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. 2020. Inserting one edge into a simple drawing is hard. Graph-Theoretic Concepts in Computer Science. WG: Workshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol. 12301, 325–338.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8737 | OA
Kampjut D, Sazanov LA. 2020. The coupling mechanism of mammalian respiratory complex I. Science. 370(6516), eabc4209.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8741 | OA
Klose AK, Karle V, Winkelmann R, Donges JF. 2020. Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements. Royal Society Open Science. 7(6), 200599.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8746 | OA
Miranti R, Septianto RD, Ibáñez M, Kovalenko MV, Matsushita N, Iwasa Y, Bisri SZ. 2020. Electron transport in iodide-capped core@shell PbTe@PbS colloidal nanocrystal solids. Applied Physics Letters. 117(17), 173101.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8747
Zhang Y, Liu Y, Calcabrini M, Xing C, Han X, Arbiol J, Cadavid D, Ibáñez M, Cabot A. 2020. Bismuth telluride-copper telluride nanocomposites from heterostructured building blocks. Journal of Materials Chemistry C. 8(40), 14092–14099.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8758 | OA
Maas J, Mielke A. 2020. Modeling of chemical reaction systems with detailed balance using gradient structures. Journal of Statistical Physics. 181(6), 2257–2303.
View | Files available | DOI | arXiv
 
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: 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 | 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 | 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 | Journal Article | IST-REx-ID: 177 | OA
Browning TD, Sawin W. 2020. A geometric version of the circle method. Annals of Mathematics. 191(3), 893–948.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 179 | OA
Browning TD, Heath Brown R. 2020. Density of rational points on a quadric bundle in ℙ3×ℙ3. Duke Mathematical Journal. 169(16), 3099–3165.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7148
Nakamoto C, Konno K, Miyazaki T, Nakatsukasa E, Natsume R, Abe M, Kawamura M, Fukazawa Y, Shigemoto R, Yamasaki M, Sakimura K, Watanabe M. 2020. Expression mapping, quantification, and complex formation of GluD1 and GluD2 glutamate receptors in adult mouse brain. Journal of Comparative Neurology. 528(6), 1003–1027.
View | DOI | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 7196 | OA
Tkadlec J. 2020. A role of graphs in evolutionary processes. IST Austria.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7204 | OA
Li Y, Wang Y, Tan S, Li Z, Yuan Z, Glanc M, Domjan D, Wang K, Xuan W, Guo Y, Gong Z, Friml J, Zhang J. 2020. Root growth adaptation is mediated by PYLs ABA receptor-PP2A protein phosphatase complex. Advanced Science. 7(3), 1901455.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7205 | OA
Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin RK. 2020. Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. 33(3), 342–351.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7207 | OA
Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, Moreno-Martínez AE, De La Ossa L, Martínez-Hernández J, Buisson A, Früh S, Bettler B, Shigemoto R, Fukazawa Y, Luján R. 2020. Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. 30(3), 554–575.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7212 | OA
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2020. Limits on amplifiers of natural selection under death-Birth updating. PLoS computational biology. 16, e1007494.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7218
Dodier P, Winter F, Auzinger T, Mistelbauer G, Frischer JM, Wang WT, Mallouhi A, Marik W, Wolfsberger S, Reissig L, Hammadi F, Matula C, Baumann A, Bavinzski G. 2020. Single-stage bone resection and cranioplastic reconstruction: Comparison of a novel software-derived PEEK workflow with the standard reconstructive method. International Journal of Oral and Maxillofacial Surgery. 49(8), 1007–1015.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7219
Xiao G, Zhang Y. 2020. Adaptive growth: Shaping auxin-mediated root system architecture. Trends in Plant Science. 25(2), 121–123.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7220
Dodier P, Auzinger T, Mistelbauer G, Wang WT, Ferraz-Leite H, Gruber A, Marik W, Winter F, Fischer G, Frischer JM, Bavinzski G. 2020. Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography. World Neurosurgery. 134(2), e892–e902.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7224 | OA
Rybicki J, Abrego N, Ovaskainen O. 2020. Habitat fragmentation and species diversity in competitive communities. Ecology Letters. 23(3), 506–517.
View | Files available | DOI
 
2020 | Book Chapter | IST-REx-ID: 7227
Nunes Pinheiro DC, Heisenberg C-PJ. 2020.Zebrafish gastrulation: Putting fate in motion. In: Gastrulation: From Embryonic Pattern to Form. Current Topics in Developmental Biology, vol. 136, 343–375.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7234 | OA
Obeidy P, Ju LA, Oehlers SH, Zulkhernain NS, Lee Q, Galeano Niño JL, Kwan RYQ, Tikoo S, Cavanagh LL, Mrass P, Cook AJL, Jackson SP, Biro M, Roediger B, Sixt MK, Weninger W. 2020. Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes. Immunology and Cell Biology. 98(2), 93–113.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7235 | OA
Lieb EH, Seiringer R. 2020. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics. 180, 23–33.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7236 | OA
Baskett C, Schroeder L, Weber MG, Schemske DW. 2020. Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. 90(1), e01397.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7253 | OA
Laukoter S, Beattie RJ, Pauler F, Amberg N, Nakayama KI, Hippenmeyer S. 2020. Imprinted Cdkn1c genomic locus cell-autonomously promotes cell survival in cerebral cortex development. Nature Communications. 11, 195.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7262 | OA
Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. 2020. Programming temporal morphing of self-actuated shells. Nature Communications. 11, 237.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7272 | OA
Arbel-Raviv M, Brown TA, Morrison A. 2020. Getting to the root of concurrent binary search tree performance. Proceedings of the 2018 USENIX Annual Technical Conference. USENIX: Annual Technical Conference, 295–306.
View | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7339 | OA
Piriya Ananda Babu L, Wang HY, Eguchi K, Guillaud L, Takahashi T. 2020. Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission. Journal of neuroscience. 40(1), 131–142.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7343 | OA
Milutinovic B, Stock M, Grasse AV, Naderlinger E, Hilbe C, Cremer S. 2020. Social immunity modulates competition between coinfecting pathogens. Ecology Letters. 23(3), 565–574.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7346 | OA
Schmid L, Chatterjee K, Schmid S. 2020. The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. Proceedings of the 23rd International Conference on Principles of Distributed Systems. OPODIS: International Conference on Principles of Distributed Systems, LIPIcs, vol. 153, 21.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7348 | OA
Ferrere T, Henzinger TA, Kragl B. 2020. Monitoring event frequencies. 28th EACSL Annual Conference on Computer Science Logic. CSL: Computer Science Logic, LIPIcs, vol. 152, 20.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7350 | OA
Nibau C, Gallemi M, Dadarou D, Doonan JH, Cavallari N. 2020. Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase G2. Frontiers in Plant Science. 10, 1680.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7364 | OA
Lopez Alonso JM, Feldmann D, Rampp M, Vela-Martín A, Shi L, Avila M. 2020. nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow. SoftwareX. 11, 100395.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7369 | OA
Cubero RJ, Marsili M, Roudi Y. 2020. Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. 48, 85–102.
View | Files available | DOI
 

Search

Filter Publications