ISTA Research Explorer

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.

8702 Publications

2020 | Conference Paper | IST-REx-ID: 7966 |

Auerbach, B., Giacon, F., & Kiltz, E. (2020). Everybody’s a target: Scalability in public-key encryption. In Advances in Cryptology – EUROCRYPT 2020 (Vol. 12107, pp. 475–506). Springer Nature. https://doi.org/10.1007/978-3-030-45727-3_16

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2020 | Conference Paper | IST-REx-ID: 8623 |

Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-60508-7_1

[Submitted Version] View | Files available | DOI | WoS

2020 | Conference Paper | IST-REx-ID: 8732

Arroyo Guevara, A. M., Klute, F., Parada, I., Seidel, R., Vogtenhuber, B., & Wiedera, T. (2020). Inserting one edge into a simple drawing is hard. In Graph-Theoretic Concepts in Computer Science (Vol. 12301, pp. 325–338). Leeds, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-60440-0_26

View | DOI

2020 | Book Chapter | IST-REx-ID: 10865 |

Chakraborty, S., Prabhakaran, M., & Wichs, D. (2020). Witness maps and applications. In A. Kiayias (Ed.), Public-Key Cryptography (Vol. 12110, pp. 220–246). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_8

[Preprint] View | DOI | Download Preprint (ext.)

2020 | Journal Article | IST-REx-ID: 7611 |

Rademacher, S. A. E. (2020). Central limit theorem for Bose gases interacting through singular potentials. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01286-w

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 8196 |

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. Springer Nature. https://doi.org/10.1007/s11081-020-09544-5

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 7925 |

Shehu, Y., & Gibali, A. (2020). New inertial relaxed method for solving split feasibilities. Optimization Letters. Springer Nature. https://doi.org/10.1007/s11590-020-01603-1

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2020 | Journal Article | IST-REx-ID: 7236 |

Baskett, C., Schroeder, L., Weber, M. G., & Schemske, D. W. (2020). Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. Wiley. https://doi.org/10.1002/ecm.1397

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 7697 |

Zhang, Y., Hartinger, C., Wang, X., & Friml, J. (2020). Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters. New Phytologist. Wiley. https://doi.org/10.1111/nph.16629

2020 | Journal Article | IST-REx-ID: 8765 |

Schreck, C., & Wojtan, C. (2020). A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.13914

[Submitted Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 8057 |

Bouchal, R., Li, Z., Bongu, C., Le Vot, S., Berthelot, R., Rotenberg, B., … Fontaine, O. (2020). Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. Wiley. https://doi.org/10.1002/ange.202005378

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7343 |

Milutinovic, B., Stock, M., Grasse, A. V., Naderlinger, E., Hilbe, C., & Cremer, S. (2020). Social immunity modulates competition between coinfecting pathogens. Ecology Letters. Wiley. https://doi.org/10.1111/ele.13458

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 8099 |

Gammerdinger, W. J., Toups, M. A., & Vicoso, B. (2020). Disagreement in FST estimators: A case study from sex chromosomes. Molecular Ecology Resources. Wiley. https://doi.org/10.1111/1755-0998.13210

2020 | Journal Article | IST-REx-ID: 7847 |

2020 | Journal Article | IST-REx-ID: 7224 |

Rybicki, J., Abrego, N., & Ovaskainen, O. (2020). Habitat fragmentation and species diversity in competitive communities. Ecology Letters. Wiley. https://doi.org/10.1111/ele.13450

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 8329 |

Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M., Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202008253

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2020 | Research Data Reference | IST-REx-ID: 13060 |

Milutinovic, B., Stock, M., Grasse, A. V., Naderlinger, E., Hilbe, C., & Cremer, S. (2020). Social immunity modulates competition between coinfecting pathogens. Dryad. https://doi.org/10.5061/DRYAD.CRJDFN318

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2020 | Research Data Reference | IST-REx-ID: 9780 |

Schlemmer, W., Nothdurft, P., Petzold, A., Riess, G., Frühwirt, P., Schmallegger, M., … Spirk, S. (2020). CCDC 1991959: Experimental Crystal Structure Determination. CCDC. https://doi.org/10.5517/ccdc.csd.cc24vsrk

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2020 | Journal Article | IST-REx-ID: 7207 |

Martín-Belmonte, A., Aguado, C., Alfaro-Ruíz, R., Moreno-Martínez, A. E., De La Ossa, L., Martínez-Hernández, J., … Luján, R. (2020). Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. Wiley. https://doi.org/10.1111/bpa.12802

2020 | Journal Article | IST-REx-ID: 7205 |

Johannesson, K., Zagrodzka, Z., Faria, R., Westram, A. M., & Butlin, R. K. (2020). Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. Wiley. https://doi.org/10.1111/jeb.13570

2020 | Book Chapter | IST-REx-ID: 7227

Nunes Pinheiro, D. C., & Heisenberg, C.-P. J. (2020). Zebrafish gastrulation: Putting fate in motion. In Gastrulation: From Embryonic Pattern to Form (Vol. 136, pp. 343–375). Elsevier. https://doi.org/10.1016/bs.ctdb.2019.10.009

View | DOI | WoS | PubMed | Europe PMC

2020 | Journal Article | IST-REx-ID: 7417 |

Sinclair, S. A., Gille, S., Pauly, M., & Krämer, U. (2020). Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling & Behavior. Informa UK Limited. https://doi.org/10.1080/15592324.2019.1687185

2020 | Journal Article | IST-REx-ID: 6185 |

Erdös, L., Krüger, T. H., & Schröder, D. J. (2020). Cusp universality for random matrices I: Local law and the complex Hermitian case. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03657-4

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Thesis | IST-REx-ID: 7629 |

Forkert, D. L. (2020). Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7629

[Published Version] View | Files available | DOI

2020 | Thesis | IST-REx-ID: 8574 |

Szep, E. (2020). Local adaptation in metapopulations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8574

[Published Version] View | Files available | DOI

2020 | Thesis | IST-REx-ID: 7514 |

Mayer, S. (2020). The free energy of a dilute two-dimensional Bose gas. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7514

[Published Version] 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. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8353

View | Files available | DOI

2020 | Thesis | IST-REx-ID: 8589 |

Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 8284 |

Steiner, J., & Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.59407

2020 | Thesis | IST-REx-ID: 8155 |

Grah, R. (2020). Gene regulation across scales – how biophysical constraints shape evolution. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8155

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7643 |

Han, H., Rakusova, H., Verstraeten, I., Zhang, Y., & Friml, J. (2020). SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.20.00212

2020 | Preprint | IST-REx-ID: 7675 |

Grah, R., Zoller, B., & Tkačik, G. (2020). Normative models of enhancer function. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.04.08.029405

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2020 | Journal Article | IST-REx-ID: 8562 |

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

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

Guseinov, R. (2020). Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” IST Austria. https://doi.org/10.15479/AT:ISTA:8375

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7541 |

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 | Thesis | IST-REx-ID: 7460 |

Ölsböck, K. (2020). The hole system of triangulated shapes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7460

[Published Version] View | Files available | DOI

2020 | Thesis | IST-REx-ID: 7896 |

Kamath Hosdurg, C. (2020). On the average-case hardness of total search problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7896

[Published Version] View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 7936 |

Royer, A., & Lampert, C. (2020). Localizing grouped instances for efficient detection in low-resource scenarios. In IEEE Winter Conference on Applications of Computer Vision. Snowmass Village, CO, United States: IEEE. https://doi.org/10.1109/WACV45572.2020.9093288

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2020 | Conference Paper | IST-REx-ID: 7937 |

Royer, A., & Lampert, C. (2020). A flexible selection scheme for minimum-effort transfer learning. In 2020 IEEE Winter Conference on Applications of Computer Vision. Snowmass Village, CO, United States: IEEE. https://doi.org/10.1109/WACV45572.2020.9093635

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

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. In Proceedings of the 30th International Conference on Automated Planning and Scheduling (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.

View | Files available

2020 | Book Chapter | IST-REx-ID: 8092 |

Royer, A., Bousmalis, K., Gouws, S., Bertsch, F., Mosseri, I., Cole, F., & Murphy, K. (2020). XGAN: Unsupervised image-to-image translation for many-to-many mappings. In R. Singh, M. Vatsa, V. M. Patel, & N. Ratha (Eds.), Domain Adaptation for Visual Understanding (pp. 33–49). Springer Nature. https://doi.org/10.1007/978-3-030-30671-7_3

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2020 | Thesis | IST-REx-ID: 7944 |

Masárová, Z. (2020). Reconfiguration problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7944

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 8587 |

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. AIP Publishing. https://doi.org/10.1063/1.5144759

2020 | Thesis | IST-REx-ID: 8341 |

Bezeljak, U. (2020). In vitro reconstitution of a Rab activation switch. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8341

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7580 |

Bezeljak, U., Loya, H., Kaczmarek, B. M., Saunders, T. E., & Loose, M. (2020). Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1921027117

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS

2020 | Thesis | IST-REx-ID: 8032 |

Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8032

[Published Version] View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 8195 |

Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14

[Published Version] View | Files available | DOI | WoS

2020 | Conference Paper | IST-REx-ID: 8012 |

Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2020 | Thesis | IST-REx-ID: 8358 |

Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8358

[Published Version] View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 8703 |

Osang, G. F., Rouxel-Labbé, M., & Teillaud, M. (2020). Generalizing CGAL periodic Delaunay triangulations. In 28th Annual European Symposium on Algorithms (Vol. 173). Virtual, Online; Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2020.75

[Published Version] View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 7481 |

Phuong, M., & Lampert, C. (2020). Functional vs. parametric equivalence of ReLU networks. In 8th International Conference on Learning Representations. Online.

[Published Version] View | Files available

2020 | Journal Article | IST-REx-ID: 9781 |

Feliciangeli, D., & Seiringer, R. (2020). Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball. SIAM Journal on Mathematical Analysis. Society for Industrial & Applied Mathematics . https://doi.org/10.1137/19m126284x

2020 | Journal Article | IST-REx-ID: 7489 |

Fischer, J. L., & Hensel, S. (2020). Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-019-01486-2

[Published Version] View | Files available | DOI | WoS

2020 | Preprint | IST-REx-ID: 10012 |

Fischer, J. L., Hensel, S., Laux, T., & Simon, T. (n.d.). The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions. arXiv.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 8755 |

Peruzzo, M., Trioni, A., Hassani, F., Zemlicka, M., & Fink, J. M. (2020). Surpassing the resistance quantum with a geometric superinductor. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.14.044055

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Journal Article | IST-REx-ID: 7573 |

Gladbach, P., Kopfer, E., Maas, J., & Portinale, L. (2020). Homogenisation of one-dimensional discrete optimal transport. Journal de Mathematiques Pures et Appliquees. Elsevier. https://doi.org/10.1016/j.matpur.2020.02.008

2020 | Preprint | IST-REx-ID: 10022 |

Forkert, D. L., Maas, J., & Portinale, L. (n.d.). Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. arXiv.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2020 | Conference Paper | IST-REx-ID: 8724 |

Konstantinov, N. H., Frantar, E., Alistarh, D.-A., & Lampert, C. (2020). On the sample complexity of adversarial multi-source PAC learning. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 5416–5425). Online: ML Research Press.

[Published Version] View | Files available | arXiv

2020 | Journal Article | IST-REx-ID: 8644 |

Rzadkowski, W., Defenu, N., Chiacchiera, S., Trombettoni, A., & Bighin, G. (2020). Detecting composite orders in layered models via machine learning. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/abae44

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 8705 |

Mysliwy, K., & Seiringer, R. (2020). Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-020-00969-3

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Journal Article | IST-REx-ID: 7956 |

Pȩkalski, J., Rzadkowski, W., & Panagiotopoulos, A. Z. (2020). Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of Chemical Physics. AIP. https://doi.org/10.1063/5.0005194

2020 | Journal Article | IST-REx-ID: 10861

Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2020). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/10.1007/s10009-020-00582-z

View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 14125 |

Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.

2020 | Conference Paper | IST-REx-ID: 14186 |

Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B., & Bachem, O. (2020). A commentary on the unsupervised learning of disentangled representations. In The 34th AAAI Conference on Artificial Intelligence (Vol. 34, pp. 13681–13684). New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v34i09.7120

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2020 | Conference Paper | IST-REx-ID: 14188 |

Locatello, F., Poole, B., Rätsch, G., Schölkopf, B., Bachem, O., & Tschannen, M. (2020). Weakly-supervised disentanglement without compromises. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 6348–6359). Virtual.

[Preprint] View | Download Preprint (ext.) | arXiv

2020 | Conference Paper | IST-REx-ID: 14187 |

Négiar, G., Dresdner, G., Tsai, A., Ghaoui, L. E., Locatello, F., Freund, R. M., & Pedregosa, F. (2020). Stochastic Frank-Wolfe for constrained finite-sum minimization. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 7253–7262). Virtual.

[Preprint] View | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 14195 |

Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B., & Bachem, O. (2020). A sober look at the unsupervised learning of disentangled representations and their evaluation. Journal of Machine Learning Research. MIT Press.

[Published Version] View | Download Published Version (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 7569 |

Grah, R., & Friedlander, T. (2020). The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007642

[Published Version] View | Files available | DOI | WoS

2020 | Preprint | IST-REx-ID: 8813 |

Santini, L., Halbritter, F., Titz-Teixeira, F., Suzuki, T., Asami, M., Ramesmayer, J., … Leeb, M. (n.d.). Novel imprints in mouse blastocysts are predominantly DNA methylation independent. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.11.03.366948

[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC

2020 | Research Data Reference | IST-REx-ID: 9777 |

Grah, R., & Friedlander, T. (2020). Maximizing crosstalk. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007642.s002

View | Files available | DOI | Download None (ext.)

2020 | Thesis | IST-REx-ID: 8332 |

Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8332

[Published Version] View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 14326 |

Locatello, F., Weissenborn, D., Unterthiner, T., Mahendran, A., Heigold, G., Uszkoreit, J., … Kipf, T. (2020). Object-centric learning with slot attention. In Advances in Neural Information Processing Systems (Vol. 33, pp. 11525–11538). Virtual: Curran Associates.

[Preprint] View | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 7883 |

Kuzmicz-Kowalska, K., & Kicheva, A. (2020). Regulation of size and scale in vertebrate spinal cord development. Wiley Interdisciplinary Reviews: Developmental Biology. Wiley. https://doi.org/10.1002/wdev.383

2020 | Journal Article | IST-REx-ID: 71 |

Gladbach, P., Kopfer, E., & Maas, J. (2020). Scaling limits of discrete optimal transport. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/19M1243440

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Journal Article | IST-REx-ID: 5681 |

Hikaru, I., Wojtan, C., Thuerey, N., Igarashi, T., & Ando, R. (2020). Simulating liquids on dynamically warping grids. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2018.2883628

2020 | Thesis | IST-REx-ID: 8156 |

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 | Thesis | IST-REx-ID: 8958 |

Li, X. (2020). Rotation of coupled cold molecules in the presence of a many-body environment. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8958

[Published Version] View | Files available | DOI

2020 | Thesis | IST-REx-ID: 8366 |

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 | Thesis | IST-REx-ID: 8386 |

Zhang, R. (2020). Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8386

[Published Version] View | Files available | DOI

2020 | Thesis | IST-REx-ID: 7996 |

Kukucka, J. (2020). Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7996

[Published Version] View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 8272 |

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 |

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 |

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

2020 | Journal Article | IST-REx-ID: 8163 |

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 |

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 |

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 |

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 |

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 |

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

2020 | Journal Article | IST-REx-ID: 9196

Hensel, S., & Rosati, T. (2020). Modelled distributions of Triebel–Lizorkin type. Studia Mathematica. Instytut Matematyczny. https://doi.org/10.4064/sm180411-11-2

[Preprint] View | DOI | WoS | arXiv

2020 | Journal Article | IST-REx-ID: 7464 |

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

2020 | Journal Article | IST-REx-ID: 7212 |

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 |

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 |

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 |

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 |

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 |

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

Alt, J., Erdös, L., Krüger, T. H., & Schröder, D. J. (2020). Correlated random matrices: Band rigidity and edge universality. Annals of Probability. Institute of Mathematical Statistics.

[Preprint] View | Files available | Download Preprint (ext.) | WoS | arXiv

2020 | Journal Article | IST-REx-ID: 179 |

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

ISTA Research Explorer

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

8702 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

8702 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options