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.

2583 Publications


2020 | Conference Paper | IST-REx-ID: 8135 | OA
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. Topological Data Analysis. , Abel Symposia, vol. 15, 181–218.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8138 | OA
Zhang J, Mazur E, Balla J, Gallei MC, Kalousek P, Medveďová Z, Li Y, Wang Y, Prat T, Vasileva MK, Reinöhl V, Procházka S, Halouzka R, Tarkowski P, Luschnig C, Brewer P, Friml J. 2020. Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization. Nature Communications. 11(1), 3508.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8142 | OA
Montesinos López JC, Abuzeineh A, Kopf A, Juanes Garcia A, Ötvös K, Petrášek J, Sixt MK, Benková E. 2020. Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage. The Embo Journal. 39(17), e104238.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8162 | OA
Laukoter S, Pauler F, Beattie RJ, Amberg N, Hansen AH, Streicher C, Penz T, Bock C, Hippenmeyer S. 2020. Cell-type specificity of genomic imprinting in cerebral cortex. Neuron. 107(6), 1160–1179.e9.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter G, Wintraecken M. 2020. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2), 193–199.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski S, Westram AM, Zagrodzka ZB, Eyres I, Broquet T, Johannesson K, Butlin RK. 2020. The evolution of strong reproductive isolation between sympatric intertidal snails. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806), 20190545.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 | 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 | 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 | 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: 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 | 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 | 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 | 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 | 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 | 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: 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 | 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
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications