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.

4958 Publications


2021 | Published | Thesis | IST-REx-ID: 10199 | OA
Toman, V. (2021). Improved verification techniques for concurrent systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10199
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 10191 | OA
Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., & Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3485541
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 5681 | OA
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
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7546 | OA
Beets, I., Zhang, G., Fenk, L. A., Chen, C., Nelson, G. M., Félix, M.-A., & de Bono, M. (2020). Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2019.10.001
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7554 | OA
Edelsbrunner, H., & Nikitenko, A. (2020). Weighted Poisson–Delaunay mosaics. Theory of Probability and Its Applications. SIAM. https://doi.org/10.1137/S0040585X97T989726
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7563 | OA
Yalniz, G., & Budanur, N. B. (2020). Inferring symbolic dynamics of chaotic flows from persistence. Chaos. AIP Publishing. https://doi.org/10.1063/1.5122969
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2020 | Published | 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 | Published | Journal Article | IST-REx-ID: 7569 | OA
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 | Published | Journal Article | IST-REx-ID: 7570 | OA
Michailidis, A., Turner, C. J., Papić, Z., Abanin, D. A., & Serbyn, M. (2020). Slow quantum thermalization and many-body revivals from mixed phase space. Physical Review X. American Physical Society. https://doi.org/10.1103/physrevx.10.011055
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | 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 | Published | Journal Article | IST-REx-ID: 7573 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7580 | OA
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 | Published | Journal Article | IST-REx-ID: 7586 | OA
Weinert, S., Gimber, N., Deuschel, D., Stuhlmann, T., Puchkov, D., Farsi, Z., … Jentsch, T. J. (2020). Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal. EMBO Press. https://doi.org/10.15252/embj.2019103358
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7593 | OA
Moon, H. M., Hippenmeyer, S., Luo, L., & Wynshaw-Boris, A. (2020). LIS1 determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.51512
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | 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 | Published | Journal Article | IST-REx-ID: 7600 | OA
Tan, S., Zhang, X., Kong, W., Yang, X.-L., Molnar, G., Vondráková, Z., … Xue, H.-W. (2020). The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis. Nature Plants. Springer Nature. https://doi.org/10.1038/s41477-020-0648-9
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | 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 | Published | Journal Article | IST-REx-ID: 7603 | OA
Nimeth, B. A., Riegler, S., & Kalyna, M. (2020). Alternative splicing and DNA damage response in plants. Frontiers in Plant Science. Frontiers. https://doi.org/10.3389/fpls.2020.00091
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | 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 | Published | Journal Article | IST-REx-ID: 7611 | OA
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
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed