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.

6311 Publications


2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. 2020. Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society. Series B: Biological sciences. 375(1806), 20190528.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 125(1), 013001.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 8173
Kainrath S, Janovjak HL. 2020.Design and application of light-regulated receptor tyrosine kinases. In: Photoswitching Proteins. Methods in Molecular Biology, vol. 2173, 233–246.
View | DOI
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild R. 2020. Amplified centrosomes in dendritic cells promote immune cell effector functions, IST Austria, 10.15479/AT:ISTA:8181.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson PM, Tsiminaki V, Lampert C. 2020. Leveraging 2D data to learn textured 3D mesh generation. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 7498–7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8189
Yu X, Liu J, Li J, Luo Z, Zuo Y, Xing C, Llorca J, Nasiou D, Arbiol J, Pan K, Kleinhanns T, Xie Y, Cabot A. 2020. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. 77(11), 105116.
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8191
Alistarh D-A, Brown TA, Singhal N. 2020. Memory tagging: Minimalist synchronization for scalable concurrent data structures. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 37–49.
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.
View | Files available
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 12166, 13–31.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. 2020. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv, 2007.14879.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 9, 015.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić L, Watzinger H, Gao F, Wang T, Zhang J-J, Held K. 2020. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 20(7), 5201–5206.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8225 | OA
Köhler VK, Crescioli S, Singer J, Bax HJ, Hofer G, Pranger CL, Hufnagl K, Bianchini R, Flicker S, Keller W, Karagiannis SN, Jensen-Jarolim E. 2020. Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. International Journal of Molecular Sciences. 21(16), 5693.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8226 | OA
Gotovina J, Bianchini R, Singer J, Herrmann I, Pellizzari G, Haidl ID, Hufnagl K, Karagiannis SN, Marshall JS, Jensen‐Jarolim E. 2020. Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. Allergy.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat J-D, Dyer R, Ghosh A, Lieutier A, Wintraecken M. 2020. Local conditions for triangulating submanifolds of Euclidean space. Discrete and Computational Geometry.
View | DOI | Download Published Version (ext.)
 

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

2020 | Preprint | IST-REx-ID: 8253 | OA
Zenke F, Vogels TP. 2020. The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks. bioRxiv, .
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8261 | OA
Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M, Zhang C. 2020. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 68, 4268–4282.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8271
He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.
View | Files available | DOI | arXiv
 

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

2020 | Journal Article | IST-REx-ID: 8284 | OA
Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 9, e59407.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 125(4), 043202.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming , LIPIcs, vol. 168, 7.
View | Files available | DOI | arXiv
 

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 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild R. 2020. RGtracker, IST Austria, 10.15479/AT:ISTA:8294.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8307 | OA
Stewart A, Kokoris Kogias E. GRANDPA: A Byzantine finality gadget. arXiv, 2007.01560.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8308 | OA
Brighi P, Abanin DA, Serbyn M. 2020. Stability of mobility edges in disordered interacting systems. Physical Review B. 102(6), 060202(R).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8318 | OA
Gutierrez-Fernandez J, Kaszuba K, Minhas GS, Baradaran R, Tambalo M, Gallagher DT, Sazanov LA. 2020. Key role of quinone in the mechanism of respiratory complex I. Nature Communications. 11(1), 4135.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8319 | OA
Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. 2020. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 102(1), 012224.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8320
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 54(4), 475–484.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8321
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. 54(4), 531–541.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty S, Dziembowski S, Nielsen JB. 2020. Reverse firewalls for actively secure MPCs. Advances in Cryptology – CRYPTO 2020. CRYPTO: Annual International Cryptology Conference, LNCS, vol. 12171, 732–762.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach J. 2020. A farewell to Ricky Pollack. Discrete and Computational Geometry. 64, 571–574.
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
Kalinin N, Shkolnikov M. 2020. Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. 378(9), 1649–1675.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer W, Nothdurft P, Petzold A, Frühwirt P, Schmallegger M, Gescheidt-Demner G, Fischer R, Freunberger SA, Kern W, Spirk S. 2020. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 59(51), 22943–22946.
View | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova K, Montesinos López JC, Šamajová O, Nisler J, Mik V, Semeradova H, Plíhalová L, Novák O, Marhavý P, Cavallari N, Zalabák D, Berka K, Doležal K, Galuszka P, Šamaj J, Strnad M, Benková E, Plíhal O, Spíchal L. 2020. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 11, 4285.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi I, Novák O, Gelová Z, Johnson AJ, Plíhal O, Simerský R, Mik V, Vain T, Mateo-Bonmatí E, Karady M, Pernisová M, Plačková L, Opassathian K, Hejátko J, Robert S, Friml J, Doležal K, Ljung K, Turnbull C. 2020. Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. 11, 4284.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan A, Bobenko AI, Schief WK, Techter J. 2020. On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 12110, 623–651.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8340
Kampjut D. 2020. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch. IST Austria.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv, 2009.03857.
View | Download Preprint (ext.) | arXiv
 

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

2020 | Thesis | IST-REx-ID: 8353
Steiner J. 2020. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8361 | OA
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. 2020. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 480(12), 228803.
View | Files available | DOI | Download Published Version (ext.)
 

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: 8375 | OA
Guseinov R. 2020. Supplementary data for ‘Computational design of curved thin shells: from glass façades to programmable matter’, IST Austria, 10.15479/AT:ISTA:8375.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8382 | OA
Baig MA, Hendler D, Milani A, Travers C. 2020. Long-lived snapshots with polylogarithmic amortized step complexity. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 31–40.
View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8383
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2020. Brief Announcement: Why Extension-Based Proofs Fail. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 54–56.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8384 | OA
Ishida S, Synak P, Narita F, Hachisuka T, Wojtan CJ. 2020. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 39(4), 31.
View | Files available | DOI | Download Submitted Version (ext.)
 

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 | Journal Article | IST-REx-ID: 8402 | OA
Rampelt H, Sucec I, Bersch B, Horten P, Perschil I, Martinou J-C, van der Laan M, Wiedemann N, Schanda P, Pfanner N. 2020. The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. 18, 2.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8403 | OA
Sučec I, Wang Y, Dakhlaoui O, Weinhäupl K, Jores T, Costa D, Hessel A, Brennich M, Rapaport D, Lindorff-Larsen K, Bersch B, Schanda P. Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv, 10.1101/2020.06.08.140772.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8404 | OA
Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv, 10.1101/2020.03.13.990150.
View | DOI | Download Preprint (ext.)
 

2020 | Book | IST-REx-ID: 8414
Kaloshin V, Zhang K. 2020. Arnold diffusion for smooth systems of two and a half degrees of freedom 1st ed., Princeton University Press, 224p.
View
 

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 | 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.
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: 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 | 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 | Journal Article | IST-REx-ID: 8597 | OA
Merrin J. 2020. Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide. Physical Biology. 17(6), 065005.
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
 

Search

Filter Publications