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.

5954 Publications

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

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

Fazeli, A., Hassani, H., Mondelli, M., & Vardy, A. (2021). Binary linear codes with optimal scaling: Polar codes with large kernels. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.2020.3038806

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

Chang C, Chen W, Chen Y, Chen Y, Chen Y, Ding F, Fan C, Fan HJ, Fan Z, Gong C, Gong Y, He Q, Hong X, Hu S, Hu W, Huang W, Huang Y, Ji W, Li D, Li LJ, Li Q, Lin L, Ling C, Liu M, Liu N, Liu Z, Loh KP, Ma J, Miao F, Peng H, Shao M, Song L, Su S, Sun S, Tan C, Tang Z, Wang D, Wang H, Wang J, Wang X, Wang X, Wee ATS, Wei Z, Wu Y, Wu ZS, Xiong J, Xiong Q, Xu W, Yin P, Zeng H, Zeng Z, Zhai T, Zhang H, Zhang H, Zhang Q, Zhang T, Zhang X, Zhao LD, Zhao M, Zhao W, Zhao Y, Zhou KG, Zhou X, Zhou Y, Zhu H, Zhang H, Liu Z. 2021. Recent progress on two-dimensional materials. Acta Physico-Chimica Sinica. 37(12), 2108017.

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

Research Groups

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

5954 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

5954 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options