ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6105 Publications

2021 | Published | Conference Paper | IST-REx-ID: 9604 |

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (2021). Counting cells of order-k voronoi tessellations in ℝ³ with morse theory. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.16

[Published Version] View | Files available | DOI

2021 | Published | Conference Paper | IST-REx-ID: 9605 |

Corbet, R., Kerber, M., Lesnick, M., & Osang, G. F. (2021). Computing the multicover bifiltration. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.27

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

2021 | Published | Journal Article | IST-REx-ID: 9606 |

Tononi, A., Cappellaro, A., Bighin, G., & Salasnich, L. (2021). Propagation of first and second sound in a two-dimensional Fermi superfluid. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.103.L061303

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

2021 | Published | Journal Article | IST-REx-ID: 9822 |

Zisis, T., Schwarz, J., Balles, M., Kretschmer, M., Nemethova, M., Chait, R. P., … Zahler, S. (2021). Sequential and switchable patterning for studying cellular processes under spatiotemporal control. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.1c09850

2021 | Published | Journal Article | IST-REx-ID: 9641 |

Fredes, F., & Shigemoto, R. (2021). The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. Elsevier. https://doi.org/10.1016/j.nlm.2021.107486

2021 | Published | Conference Paper | IST-REx-ID: 9645 |

Asadi, A., Chatterjee, K., Fu, H., Goharshady, A. K., & Mahdavi, M. (2021). Polynomial reachability witnesses via Stellensätze. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 772–787). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454076

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

2021 | Published | Journal Article | IST-REx-ID: 9829 |

Baranov, D., Šverko, T., Moot, T., Keller, H. R., Klein, M. D., Vishnu, E. K., … Shulenberger, K. E. (2021). News in Nanocrystals seminar: Self-assembly of early career researchers toward globally accessible nanoscience. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.1c03276

2021 | Published | Journal Article | IST-REx-ID: 9759 |

Bartlett, M. J., Arslan, F. N., Bankston, A., & Sarabipour, S. (2021). Ten simple rules to improve academic work- life balance. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1009124

2021 | Published | Journal Article | IST-REx-ID: 9907 |

Labajová, N., Baranova, N. S., Jurásek, M., Vácha, R., Loose, M., & Barák, I. (2021). Cardiolipin-containing lipid membranes attract the bacterial cell division protein diviva. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms22158350

2021 | Published | Journal Article | IST-REx-ID: 9910 |

Slavskii, S. A., Kuznetsov, I. A., Shashkova, T. I., Bazykin, G. A., Axenovich, T. I., Kondrashov, F., & Aulchenko, Y. S. (2021). The limits of normal approximation for adult height. European Journal of Human Genetics. Springer Nature. https://doi.org/10.1038/s41431-021-00836-7

2021 | Published | Journal Article | IST-REx-ID: 9952 |

Chaigne, A., Smith, M. B., Cavestany, R. L., Hannezo, E. B., Chalut, K. J., & Paluch, E. K. (2021). Three-dimensional geometry controls division symmetry in stem cell colonies. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.255018

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

2021 | Published | Conference Paper | IST-REx-ID: 12767 |

Bansal, S., Chatterjee, K., & Vardi, M. Y. (2021). On satisficing in quantitative games. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12651, pp. 20–37). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-030-72016-2_2

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

2021 | Published | Conference Paper | IST-REx-ID: 10552 |

Kolmogorov, V., & Pock, T. (2021). One-sided Frank-Wolfe algorithms for saddle problems. In 38th International Conference on Machine Learning. Virtual.

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

2021 | Published | Conference Paper | IST-REx-ID: 10004 |

Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595

2021 | Published | Conference Paper | IST-REx-ID: 10414 |

Chatterjee, K., Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2021). On lexicographic proof rules for probabilistic termination. In 24th International Symposium on Formal Methods (Vol. 13047, pp. 619–639). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-90870-6_33

2021 | Published | Conference Paper | IST-REx-ID: 9356 |

Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470547

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

2021 | Published | Journal Article | IST-REx-ID: 8544 |

Takeo, Y. H., Shuster, S. A., Jiang, L., Hu, M., Luginbuhl, D. J., Rülicke, T., … Luo, L. (2021). GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.11.028

2021 | Draft | Preprint | IST-REx-ID: 12077 |

Shute, A. L. (n.d.). On the leading constant in the Manin-type conjecture for Campana points. arXiv. https://doi.org/10.48550/arXiv.2104.14946

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

2021 | Published | Conference Paper | IST-REx-ID: 9620 |

Alistarh, D.-A., & Davies, P. (2021). Collecting coupons is faster with friends. In Structural Information and Communication Complexity (Vol. 12810, pp. 3–12). Wrocław, Poland: Springer Nature. https://doi.org/10.1007/978-3-030-79527-6_1

[Preprint] View | Files available | DOI | WoS

2021 | Published | Conference Paper | IST-REx-ID: 9466 |

Walter, M. (2021). The convergence of slide-type reductions. In Public-Key Cryptography – PKC 2021 (Vol. 12710, pp. 45–67). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-75245-3_3

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

Institute of Science and Technology Austria (ISTA)

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

6105 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6105 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options