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.

8915 Publications

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

Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. https://doi.org/10.48550/arXiv.2111.03165

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

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

Avni, G., Jecker, I. R., & Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976465.38

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

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

Tomášek, P., Horák, K., Aradhye, A., Bošanský, B., & Chatterjee, K. (2021). Solving partially observable stochastic shortest-path games. In 30th International Joint Conference on Artificial Intelligence (pp. 4182–4189). Virtual, Online: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2021/575

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

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

Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification (Vol. 12759, pp. 341–366). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-81685-8_16

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

2021 | Published | Thesis | IST-REx-ID: 10199 |

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 |

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 |

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 | Published | Journal Article | IST-REx-ID: 7545 |

Cohn, J. A., Cebul, E. R., Valperga, G., Brose, L., de Bono, M., Heiman, M. G., & Pierce, J. T. (2020). Long-term activity drives dendritic branch elaboration of a C. elegans sensory neuron. Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2020.01.005

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

2020 | Published | Journal Article | IST-REx-ID: 7546 |

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

2020 | Published | Journal Article | IST-REx-ID: 7554 |

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 |

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 |

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 |

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 |

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 |

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 |

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 | Published | 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 | Published | Journal Article | IST-REx-ID: 7586 |

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

2020 | Published | Book Chapter | IST-REx-ID: 7591

Petit, Y. K., Mourad, E., & Freunberger, S. A. (2020). Lithium–Oxygen batteries. In Encyclopedia of Electrochemistry (pp. 1–42). Wiley. https://doi.org/10.1002/9783527610426.bard110017

View | DOI

2020 | Published | Journal Article | IST-REx-ID: 7593 |

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

ISTA Research Explorer

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

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

8915 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options