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.

5750 Publications


2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Book Chapter | IST-REx-ID: 7572 | OA
Dos Santos Caldas, P. R., Radler, P., Sommer, C. M., & Loose, M. (2020). Computational analysis of filament polymerization dynamics in cytoskeletal networks. In P. Tran (Ed.), Methods in Cell Biology (Vol. 158, pp. 145–161). Elsevier. https://doi.org/10.1016/bs.mcb.2020.01.006
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 7387 | OA
Baranova, N. S., Radler, P., Hernández-Rocamora, V. M., Alfonso, C., Lopez Pelegrin, M. D., Rivas, G., … Loose, M. (2020). Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins. Nature Microbiology. Springer Nature. https://doi.org/10.1038/s41564-019-0657-5
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

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. Akadémiai Kiadó. https://doi.org/10.1556/012.2020.57.2.1454
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8671 | OA
Shakiba, A., Goharshady, A. K., Hooshmandasl, M. R., & Alambardar Meybodi, M. (2020). A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. Iranian Academic Center for Education, Culture and Research. https://doi.org/10.29252/ijmsi.15.2.117
[Submitted Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6359 | OA
Dareiotis, K., & Gerencser, M. (2020). On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/20-EJP479
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8390
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson, P. M., Tsiminaki, V., & Lampert, C. (2020). Leveraging 2D data to learn textured 3D mesh generation. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 7498–7507). Virtual: IEEE. https://doi.org/10.1109/CVPR42600.2020.00752
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7416 | OA
Sinclair, S. A., & Krämer, U. (2020). Generation of effective zinc-deficient agar-solidified media allows identification of root morphology changes in response to zinc limitation. Plant Signaling & Behavior. Taylor & Francis. https://doi.org/10.1080/15592324.2019.1687175
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7464 | OA
Dick, R. A., Xu, C., Morado, D. R., Kravchuk, V., Ricana, C. L., Lyddon, T. D., … Schur, F. K. (2020). Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly. PLOS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1008277
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7212 | OA
Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2020). Limits on amplifiers of natural selection under death-Birth updating. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007494
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 7196 | OA
Tkadlec, J. (2020). A role of graphs in evolutionary processes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7196
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9198 | OA
Shevchenko, A., & Mondelli, M. (2020). Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 8773–8784). ML Research Press.
[Published Version] View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 9157 | OA
Akopyan, A., & Edelsbrunner, H. (2020). The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0100
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9156 | OA
Akopyan, A., & Edelsbrunner, H. (2020). The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0101
[Published Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8973 | OA
Redig, F., Saada, E., & Sau, F. (2020). Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/20-EJP536
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 179 | OA
Browning, T. D., & Heath Brown, R. (2020). Density of rational points on a quadric bundle in ℙ3×ℙ3. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-2020-0031
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Research Data Reference | IST-REx-ID: 9814 | OA
Ibsen-Jensen, R., Tkadlec, J., Chatterjee, K., & Nowak, M. (2020). Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners. Royal Society. https://doi.org/10.6084/m9.figshare.5973013.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia, B. K., Martínez-Rincón, J., Wu, Y., Hosten, O., & Kasevich, M. A. (2020). Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.043202
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9633 | OA
Confavreux, B. J., Zenke, F., Agnes, E. J., Lillicrap, T., & Vogels, T. P. (2020). A meta-learning approach to (re)discover plasticity rules that carve a desired function into a neural network. In Advances in Neural Information Processing Systems (Vol. 33, pp. 16398–16408). Vancouver, Canada.
[Published Version] View | Files available | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8943 | OA
Tan, S., Di Donato, M., Glanc, M., Zhang, X., Klíma, P., Liu, J., … Friml, J. (2020). Non-steroidal anti-inflammatory drugs target TWISTED DWARF1-regulated actin dynamics and auxin transport-mediated plant development. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2020.108463
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7932 | OA
Xu, D., Varshney, A., Ma, X., Song, B., Riedl, M., Avila, M., & Hof, B. (2020). Nonlinear hydrodynamic instability and turbulence in pulsatile flow. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1913716117
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 14694 | OA
Alt, J., Erdös, L., & Krüger, T. H. (2020). The Dyson equation with linear self-energy: Spectral bands, edges and cusps. Documenta Mathematica. EMS Press. https://doi.org/10.4171/dm/780
[Published Version] View | Files available | DOI | arXiv
 

2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov, S. (2020). Topological methods in geometry and discrete mathematics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8156
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 14891 | OA
Lewin, M., Lieb, E. H., & Seiringer, R. (2020). The local density approximation in density functional theory. Pure and Applied Analysis. Mathematical Sciences Publishers. https://doi.org/10.2140/paa.2020.2.35
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8914 | OA
Salamatina, A., Yang, J. H., Brenner-Morton, S., Bikoff, J. B., Fang, L., Kintner, C. R., … Sweeney, L. B. (2020). Differential loss of spinal interneurons in a mouse model of ALS. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2020.08.011
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Research Data | IST-REx-ID: 8834 | OA
Katsaros, G. (2020). Enhancement of proximity induced superconductivity in planar Germanium. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8834
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8097 | OA
Kavcic, B. (2020). Analysis scripts and research data for the paper “Mechanisms of drug interactions between translation-inhibiting antibiotics.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8097
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8254
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7541 | OA
Gao, F., Wang, J.-H., Watzinger, H., Hu, H., Rančić, M. J., Zhang, J.-Y., … Zhang, J.-J. (2020). Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling. Advanced Materials. Wiley. https://doi.org/10.1002/adma.201906523
[Published Version] View | Files available | DOI | WoS
 

2020 | Research Data | IST-REx-ID: 8930 | OA
Kavcic, B. (2020). Analysis scripts and research data for the paper “Minimal biophysical model of combined antibiotic action.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8930
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8951 | OA
Nagy-Staron, A. A. (2020). Sequences of gene regulatory network permutations for the article “Local genetic context shapes the function of a gene regulatory network.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8951
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 7383 | OA
Grah, R. (2020). Matlab scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression regulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7383
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 9222 | OA
Katsaros, G. (2020). Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9222
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8366
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8562 | OA
Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M., Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3414685.3417843
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros, G., Kukucka, J., Vukušić, L., Watzinger, H., Gao, F., Wang, T., … Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.0c01466
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8740 | OA
Gridchyn, I., Schönenberger, P., O’Neill, J., & Csicsvari, J. L. (2020). Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.61106
[Published Version] View | Files available | DOI | WoS
 

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.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8375
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 7689 | OA
Katsaros, G. (2020). Supplementary data for “Zero field splitting of heavy-hole states in quantum dots.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7689
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8761 | OA
Guseinov, R. (2020). Supplementary data for “Computational design of cold bent glass façades.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8761
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari, J. L., Gridchyn, I., & Schönenberger, P. (2020). Optogenetic alteration of hippocampal network activity. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8563
[Published Version] 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. Springer Nature. https://doi.org/10.1038/s41467-019-14015-2
[Published Version] View | Files available | DOI | WoS
 

2020 | Research Data | IST-REx-ID: 14592 | OA
Schur, F. K. (2020). STL-files for 3D-printed grid holders described in  Fäßler F, Zens B, et al.; 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14592
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7213 | OA
Bhatia, S., Chatterjee, B., Nathani, D., & Kaul, M. (2020). A persistent homology perspective to the link prediction problem. In Complex Networks and their applications VIII (Vol. 881, pp. 27–39). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-36687-2_3
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 10556 | OA
Kokoris Kogias, E., Malkhi, D., & Spiegelman, A. (2020). Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (pp. 1751–1767). Virtual, United States: Association for Computing Machinery. https://doi.org/10.1145/3372297.3423364
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto, M., & Prabhakar, P. (2020). Hybridization for stability verification of nonlinear switched systems. In 2020 IEEE Real-Time Systems Symposium (pp. 244–256). Houston, TX, USA : IEEE. https://doi.org/10.1109/RTSS49844.2020.00031
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 6906 | OA
Boccato, C., Brennecke, C., Cenatiempo, S., & Schlein, B. (2020). Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-019-03555-9
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6944 | OA
Sun, R., & Lampert, C. (2020). KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-019-01232-x
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8324 | OA
Wang, P., Fu, H., Chatterjee, K., Deng, Y., & Xu, M. (2020). Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In Proceedings of the ACM on Programming Languages (Vol. 4). ACM. https://doi.org/10.1145/3371093
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications