Please note that ISTA 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.

4171 Publications


2021 | Journal Article | IST-REx-ID: 7939 | OA
Censor-Hillel, K., Dory, M., Korhonen, J., & Leitersdorf, D. (2021). Fast approximate shortest paths in the congested clique. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-020-00380-5
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat, J.-D., Dyer, R., Ghosh, A., Lieutier, A., & Wintraecken, M. (2021). Local conditions for triangulating submanifolds of Euclidean space. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00233-9
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 7883 | OA
Kuzmicz-Kowalska, K., & Kicheva, A. (2021). Regulation of size and scale in vertebrate spinal cord development. Wiley Interdisciplinary Reviews: Developmental Biology. Wiley. https://doi.org/10.1002/wdev.383
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 7905 | OA
Brown, A., & Wang, B. (2021). Sheaf-theoretic stratification learning from geometric and topological perspectives. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00206-y
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8601 | OA
Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-020-01003-7
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 7925 | OA
Shehu, Y., & Gibali, A. (2021). New inertial relaxed method for solving split feasibilities. Optimization Letters. Springer Nature. https://doi.org/10.1007/s11590-020-01603-1
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 15254 | OA
Li, S., Bitar, R., Jaggi, S., & Zhang, Y. (2021). Network coding with myopic adversaries. IEEE Journal on Selected Areas in Information Theory. IEEE. https://doi.org/10.1109/JSAIT.2021.3126474
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 15264 | OA
Deretic, N., Bolger-Munro, M., Choi, K., Abraham, L., & Gold, M. R. (2021). The actin-disassembly protein glia maturation factor γ enhances actin remodeling and B cell antigen receptor signaling at the immune synapse. Frontiers in Cell and Developmental Biology. Frontiers Media. https://doi.org/10.3389/fcell.2021.647063
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15262 | OA
Vinter, D. J., Hoppe, C., Minchington, T., Sutcliffe, C., & Ashe, H. L. (2021). Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo. Development. The Company of Biologists. https://doi.org/10.1242/dev.196121
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15260 | OA
Cimada daSilva, J., Balazs, D., Dunbar, T. A., & Hanrath, T. (2021). Fundamental processes and practical considerations of lead chalcogenide mesocrystals formed via self-assembly and directed attachment of nanocrystals at a fluid interface. Chemistry of Materials. American Chemical Society. https://doi.org/10.1021/acs.chemmater.1c02910
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 15259 | OA
Dubach, G., & Peled, Y. (2021). On words of non-Hermitian random matrices. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/20-aop1496
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 15277 | OA
Fuchs, A., Riegler, S., Ayatollahi, Z., Cavallari, N., Giono, L. E., Nimeth, B. A., … Kalyna, M. (2021). Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkaa1260
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15278 | OA
Cordella, F., Sanchini, C., Rosito, M., Ferrucci, L., Pediconi, N., Cortese, B., … Di Angelantonio, S. (2021). Antibiotics treatment modulates microglia–synapses interaction. Cells. MDPI. https://doi.org/10.3390/cells10102648
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15285 | OA
Rubel, P., Fayn, J., Macfarlane, P. W., Pani, D., Schlögl, A., & Värri, A. (2021). The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography. Hearts. MDPI. https://doi.org/10.3390/hearts2030031
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). Proving non-termination by program reversal. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1033–1048). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454093
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 15279 | OA
Bilu, M., & Howe, S. (2021). Motivic Euler products in motivic statistics. Algebra & Number Theory. Mathematical Sciences Publishers. https://doi.org/10.2140/ant.2021.15.2195
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Research Data Reference | IST-REx-ID: 15284 | OA
Chatterjee, K., Goharshady, A. K., Novotný, P., & Zikelic, D. (2021). RevTerm. Association for Computing Machinery. https://doi.org/10.1145/3410304
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 15276 | OA
Navarrete, F., Grujic, N., Stirnberg, A., Saado, I., Aleksza, D., Gallei, M. C., … Djamei, A. (2021). The Pleiades are a cluster of fungal effectors that inhibit host defenses. PLOS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1009641
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15273 | OA
Balmer, T. S., Borges Merjane, C., & Trussell, L. O. (2021). Incomplete removal of extracellular glutamate controls synaptic transmission and integration at a cerebellar synapse. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.63819
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15274 | OA
Khalfaoui-Hassani, B., Trasnea, P. I., Steimle, S., Koch, H.-G., & Daldal, F. (2021). Cysteine mutants of the major facilitator superfamily-type transporter CcoA provide insight into copper import. MBio. American Society for Microbiology. https://doi.org/10.1128/mbio.01567-21
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15275 | OA
Fox, J., Pach, J., & Suk, A. (2021). Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. Springer Nature. https://doi.org/10.1007/s00493-021-4530-9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 15272 | OA
Tang, L. T. H., Trivedi, M., Freund, J., Salazar, C. J., Rahman, M., Ramirez, N., … Bülow, H. E. (2021). The CATP-8/P5A-type ATPase functions in multiple pathways during neuronal patterning. PLOS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1009475
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15269 | OA
Daguerre, L., Medina Ramos, R. A., Solís, M., & Torroba, G. (2021). Aspects of quantum information in finite density field theory. Journal of High Energy Physics. Springer Nature. https://doi.org/10.1007/jhep03(2021)079
[Published Version] View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 15270 | OA
Le, D., Krasnopeeva, E., Sinjab, F., Pilizota, T., & Kim, M. (2021). Active efflux leads to heterogeneous dissipation of proton motive force by protonophores in bacteria. MBio. American Society for Microbiology. https://doi.org/10.1128/mbio.00676-21
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9350 | OA
Arslan, F. N., Eckert, J., Schmidt, T., & Heisenberg, C.-P. J. (2021). Holding it together: when cadherin meets cadherin. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2021.03.025
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9438 | OA
Vandael, D. H., Okamoto, Y., Borges Merjane, C., Vargas Barroso, V. M., Suter, B., & Jonas, P. M. (2021). Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. Springer Nature. https://doi.org/10.1038/s41596-021-00526-0
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 9992 | OA
Hörmayer, L. (2021). Wound healing in the Arabidopsis root meristem. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9992
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10816 | OA
Guzmán, J., Schlögl, A., Espinoza Martinez, C., Zhang, X., Suter, B., & Jonas, P. M. (2021). How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network. Nature Computational Science. Springer Nature. https://doi.org/10.1038/s43588-021-00157-1
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2021 | Scientific Software | IST-REx-ID: 10110 | OA
Guzmán, J., Schlögl, A., Espinoza Martinez, C., Zhang, X., Suter, B., & Jonas, P. M. (2021). How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network. IST Austria. https://doi.org/10.15479/AT:ISTA:10110
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10077 | OA
Nardin, M., Csicsvari, J. L., Tkačik, G., & Savin, C. (n.d.). The structure of hippocampal CA1 interactions optimizes spatial coding across experience. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2021.09.28.460602
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 9250 | OA
Petit, Y. K., Mourad, E., Prehal, C., Leypold, C., Windischbacher, A., Mijailovic, D., … Freunberger, S. A. (2021). Mechanism of mediated alkali peroxide oxidation and triplet versus singlet oxygen formation. Nature Chemistry. Springer Nature. https://doi.org/10.1038/s41557-021-00643-z
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 9623 | OA
Caballero Mancebo, S. (2021). Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9623
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9006 | OA
Shamipour, S., Caballero Mancebo, S., & Heisenberg, C.-P. J. (2021). Cytoplasm’s got moves. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2020.12.002
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9429 | OA
Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Dimchev, G. A., Nicolas, A., … Novarino, G. (2021). Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-23123-x
[Published Version] View | Files available | DOI | WoS
 

2021 | Thesis | IST-REx-ID: 10058 | OA
Jirovec, D. (2021). Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10058
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8909 | OA
Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll, M., … Katsaros, G. (2021). A singlet triplet hole spin qubit in planar Ge. Nature Materials. Springer Nature. https://doi.org/10.1038/s41563-021-01022-2
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Thesis | IST-REx-ID: 9397 | OA
Huljev, K. (2021). Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9397
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10066 | OA
Severin B, Lennon DT, Camenzind LC, Vigneau F, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, Kruijf M de, Carballido MJ, Svab S, Kuhlmann AV, Braakman FR, Geyer S, Froning FNM, Moon H, Osborne MA, Sejdinovic D, Katsaros G, Zumbühl DM, Briggs GAD, Ares N. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. arXiv, 2107.12975.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9437 | OA
Bhandari, P., Vandael, D. H., Fernández-Fernández, D., Fritzius, T., Kleindienst, D., Önal, H. C., … Koppensteiner, P. (2021). GABAB receptor auxiliary subunits modulate Cav2.3-mediated release from medial habenula terminals. ELife. eLife Sciences Publications. https://doi.org/10.7554/ELIFE.68274
[Published Version] View | Files available | DOI | WoS
 

2021 | Thesis | IST-REx-ID: 9562 | OA
Kleindienst, D. (2021). 2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9562
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8934
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10307 | OA
Tomasek, K. (2021). Pathogenic Escherichia coli hijack the host immune response. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10307
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10316 | OA
Tomasek, K., Leithner, A. F., Glatzová, I., Lukesch, M. S., Guet, C. C., & Sixt, M. K. (n.d.). Type 1 piliated uropathogenic Escherichia coli hijack the host immune response by binding to CD14. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2021.10.18.464770
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 9010 | OA
Ötvös, K., Marconi, M., Vega, A., O’Brien, J., Johnson, A. J., Abualia, R., … Benková, E. (2021). Modulation of plant root growth by nitrogen source-defined regulation of polar auxin transport. EMBO Journal. Embo Press. https://doi.org/10.15252/embj.2020106862
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9913 | OA
Vega, A., Fredes, I., O’Brien, J., Shen, Z., Ötvös, K., Abualia, R., … Gutiérrez, R. A. (2021). Nitrate triggered phosphoproteome changes and a PIN2 phosphosite modulating root system architecture. EMBO Reports. Wiley. https://doi.org/10.15252/embr.202051813
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 10303 | OA
Abualia, R. (2021). Role of hormones in nitrate regulated growth. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10303
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9962 | OA
Hansen, A. H. (2021). Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9962
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9428 | OA
Serbyn, M., Abanin, D. A., & Papić, Z. (2021). Quantum many-body scars and weak breaking of ergodicity. Nature Physics. Nature Research. https://doi.org/10.1038/s41567-021-01230-2
[Preprint] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8931 | OA
Gelová, Z., Gallei, M. C., Pernisová, M., Brunoud, G., Zhang, X., Glanc, M., … Friml, J. (2021). Developmental roles of auxin binding protein 1 in Arabidopsis thaliana. Plant Science. Elsevier. https://doi.org/10.1016/j.plantsci.2020.110750
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9287 | OA
Narasimhan, M., Gallei, M. C., Tan, S., Johnson, A. J., Verstraeten, I., Li, L., … Friml, J. (2021). Systematic analysis of specific and nonspecific auxin effects on endocytosis and trafficking. Plant Physiology. Oxford University Press. https://doi.org/10.1093/plphys/kiab134
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 10083 | OA
Li, L. (2021). Rapid cell growth regulation in Arabidopsis. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10083
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10015 | OA
Nikonorova, N., Murphy, E., Fonseca de Lima, C., Zhu, S., van de Cotte, B., Vu, L., … De Smet, I. (2021). The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. MDPI. https://doi.org/10.3390/cells10071665
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 10095 | OA
Li, L., Verstraeten, I., Roosjen, M., Takahashi, K., Rodriguez Solovey, L., Merrin, J., … Friml, J. (n.d.). Cell surface and intracellular auxin signalling for H+-fluxes in root growth. Research Square. https://doi.org/10.21203/rs.3.rs-266395/v3
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Thesis | IST-REx-ID: 10293 | OA
Schmid, L. (2021). Evolution of cooperation via (in)direct reciprocity under imperfect information. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10293
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9997 | OA
Schmid, L., Shati, P., Hilbe, C., & Chatterjee, K. (2021). The evolution of indirect reciprocity under action and assessment generosity. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-021-96932-1
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9402 | OA
Schmid, L., Chatterjee, K., Hilbe, C., & Nowak, M. A. (2021). A unified framework of direct and indirect reciprocity. Nature Human Behaviour. Springer Nature. https://doi.org/10.1038/s41562-021-01114-8
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9817 | OA
Hafner, C., & Bickel, B. (2021). The design space of plane elastic curves. ACM Transactions on Graphics. Virtual: Association for Computing Machinery. https://doi.org/10.1145/3450626.3459800
[Published Version] View | Files available | DOI | WoS
 

2021 | Thesis | IST-REx-ID: 10135 | OA
Semerádová, H. (2021). Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10135
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9728 | OA
Agrawal, N. (2021). Transition to turbulence and drag reduction in particle-laden pipe flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9728
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 10673 | OA
Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2020). A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In Proceedings of the 37th International Conference on Machine Learning (pp. 4082–4093). Virtual.
[Published Version] View | Files available | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 7272 | OA
Arbel-Raviv, M., Brown, T. A., & Morrison, A. (2020). Getting to the root of concurrent binary search tree performance. In Proceedings of the 2018 USENIX Annual Technical Conference (pp. 295–306). Boston, MA, United States: USENIX Association.
[Published Version] View | Download Published Version (ext.)
 

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. In Proceedings of the 23rd International Conference on Principles of Distributed Systems (Vol. 153). Neuchâtel, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2019.21
[Preprint] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7348 | OA
Ferrere, T., Henzinger, T. A., & Kragl, B. (2020). Monitoring event frequencies. In 28th EACSL Annual Conference on Computer Science Logic (Vol. 152). Barcelona, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2020.20
[Published Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7567 | OA
Choudhary, A., Kachanovich, S., & Wintraecken, M. (2020). Coxeter triangulations have good quality. Mathematics in Computer Science. Springer Nature. https://doi.org/10.1007/s11786-020-00461-5
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7594 | OA
Gotfryd, D., Paerschke, E., Chaloupka, J., Oles, A. M., & Wohlfeld, K. (2020). How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.2.013353
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7605 | OA
Alistarh, D.-A., Fedorov, A., & Koval, N. (2020). In search of the fastest concurrent union-find algorithm. In 23rd International Conference on Principles of Distributed Systems (Vol. 153, p. 15:1-15:16). Neuchatal, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2019.15
[Published Version] View | Files available | DOI | arXiv
 

2020 | Preprint | IST-REx-ID: 7601 | OA
Wei, Z., Tan, S., Liu, T., Wu, Y., Lei, J.-G., Chen, Z., … Liao, K. (2020). Plasmodesmata-like intercellular connections by plant remorin in animal cells. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/791137
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7651 | OA
Larsson, J., Westram, A. M., Bengmark, S., Lundh, T., & Butlin, R. K. (2020). A developmentally descriptive method for quantifying shape in gastropod shells. Journal of The Royal Society Interface. The Royal Society. https://doi.org/10.1098/rsif.2019.0721
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7803 | OA
Czumaj, A., Davies, P., & Parter, M. (2020). Simple, deterministic, constant-round coloring in the congested clique. In Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing (pp. 309–318). Salerno, Italy: Association for Computing Machinery. https://doi.org/10.1145/3382734.3405751
[Submitted Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7806 | OA
Filakovský, M., Wagner, U., & Zhechev, S. Y. (2020). Embeddability of simplicial complexes is undecidable. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2020–January, pp. 767–785). Salt Lake City, UT, United States: SIAM. https://doi.org/10.1137/1.9781611975994.47
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7814 | OA
Beattie, R. J., Hippenmeyer, S., & Pauler, F. (2020). SCOPES: Sparking curiosity through Open-Source platforms in education and science. Frontiers in Education. Frontiers Media. https://doi.org/10.3389/feduc.2020.00048
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7866 | OA
Fellner, K., & Kniely, M. (2020). Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model. Journal of Elliptic and Parabolic Equations. Springer Nature. https://doi.org/10.1007/s41808-020-00068-8
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7919 | OA
Mistakidis, S. I., Volosniev, A., & Schmelcher, P. (2020). Induced correlations between impurities in a one-dimensional quenched Bose gas. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.2.023154
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov, S., & Nivasch, G. (2020). Homotopic curve shortening and the affine curve-shortening flow. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.12
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova, Z. (2020). Bounding radon number via Betti numbers. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.61
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova, Z., Tancer, M., & Wagner, U. (2020). Barycentric cuts through a convex body. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.62
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara, A. M., Bensmail, J., & Bruce Richter, R. (2020). Extending drawings of graphs to arrangements of pseudolines. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.9
[Published Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis, A., Turner, C. J., Papić, Z., Abanin, D. A., & Serbyn, M. (2020). Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.2.022065
[Published Version] View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8063 | OA
Anciukevicius, T., Lampert, C., & Henderson, P. M. (n.d.). Object-centric image generation with factored depths, locations, and appearances. arXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch, M. A., Mourad, E., Fischer, W. J., Prehal, C., Eyley, S., Childress, A., … Spirk, S. (n.d.). High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.
[Submitted Version] View | Files available
 

2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi, F., Wang, J. W. J. L., Zhang, X., & Ivanov, P. C. (2020). Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality. EPJ Web of Conferences. EDP Sciences. https://doi.org/10.1051/epjconf/202023000005
[Published Version] View | Files available | DOI
 

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. In Topological Data Analysis (Vol. 15, pp. 181–218). Springer Nature. https://doi.org/10.1007/978-3-030-43408-3_8
[Submitted Version] View | Files available | DOI
 

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

2020 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild, R. (2020). RGtracker. IST Austria. https://doi.org/10.15479/AT:ISTA:8294
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26
[Preprint] View | DOI | Download Preprint (ext.)
 

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. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8572 | OA
Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., … Wetzlinger, M. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair. https://doi.org/10.29007/7dt2
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 74, pp. 49–75). EasyChair. https://doi.org/10.29007/zkf6
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8600 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2020). Multi-dimensional long-run average problems for vector addition systems with states. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.23
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8599 | OA
Avni, G., & Henzinger, T. A. (2020). A survey of bidding games on graphs. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.2
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8725 | OA
Aksenov, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2020). The splay-list: A distribution-adaptive concurrent skip-list. In 34th International Symposium on Distributed Computing (Vol. 179, p. 3:1-3:18). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2020.3
[Published Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8726 | OA
Gotfryd, D., Paerschke, E., Wohlfeld, K., & Oleś, A. M. (2020). Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. MDPI. https://doi.org/10.3390/condmat5030053
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9249 | OA
Biswas, R., Largeteau-Skapin, G., Zrour, R., & Andres, E. (2020). Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. De Gruyter. https://doi.org/10.1515/mathm-2020-0106
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9299 | OA
Pach, J., Tardos, G., & Tóth, G. (2020). Crossings between non-homotopic edges. In 28th International Symposium on Graph Drawing and Network Visualization (Vol. 12590, pp. 359–371). Virtual, Online: Springer Nature. https://doi.org/10.1007/978-3-030-68766-3_28
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9632 | OA
Singh, S. P., & Alistarh, D.-A. (2020). WoodFisher: Efficient second-order approximation for neural network compression. In Advances in Neural Information Processing Systems (Vol. 33, pp. 18098–18109). Vancouver, Canada: Curran Associates.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9630 | OA
Edelsbrunner, H., Virk, Z., & Wagner, H. (2020). Topological data analysis in information space. Journal of Computational Geometry. Carleton University. https://doi.org/10.20382/jocg.v11i2a7
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9631 | OA
Aksenov, V., Alistarh, D.-A., & Korhonen, J. (2020). Scalable belief propagation via relaxed scheduling. In Advances in Neural Information Processing Systems (Vol. 33, pp. 22361–22372). Vancouver, Canada: Curran Associates.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2020). Simplified game of life: Algorithms and complexity. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.22
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker, I. R., Kupferman, O., & Mazzocchi, N. (2020). Unary prime languages. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.51
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications