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.

6097 Publications

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

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

Volhejn, V., & Lampert, C. (2021). Does SGD implicitly optimize for smoothness? In 42nd German Conference on Pattern Recognition (Vol. 12544, pp. 246–259). Tübingen, Germany: Springer. https://doi.org/10.1007/978-3-030-71278-5_18

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

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

Aichholzer, O., Arroyo Guevara, A. M., Masárová, Z., Parada, I., Perz, D., Pilz, A., … Vogtenhuber, B. (2021). On compatible matchings. In 15th International Conference on Algorithms and Computation (Vol. 12635, pp. 221–233). Yangon, Myanmar: Springer Nature. https://doi.org/10.1007/978-3-030-68211-8_18

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

Bloch-Hansen, A., Samei, N., & Solis-Oba, R. (2021). Experimental evaluation of a local search approximation algorithm for the multiway cut problem. In Conference on Algorithms and Discrete Applied Mathematics (Vol. 12601, pp. 346–358). Rupnagar, India: Springer Nature. https://doi.org/10.1007/978-3-030-67899-9_28

View | DOI | WoS

Institute of Science and Technology Austria (ISTA)

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

6097 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).

6097 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options