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 TA. Infinite time horizon safety of Bayesian neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021. doi: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 IR, Zikelic D. Infinite-duration all-pay bidding games. In: Marx D, ed. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2021:617-636. doi: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. Solving partially observable stochastic shortest-path games. In: 30th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence; 2021:4182-4189. doi: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. Stateless model checking under a reads-value-from equivalence. In: 33rd International Conference on Computer-Aided Verification . Vol 12759. Springer Nature; 2021:341-366. doi: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. Improved verification techniques for concurrent systems. 2021. doi:10.15479/at:ista:10199
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10191 |
Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 2021;5(OOPSLA). doi: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. Simulating liquids on dynamically warping grids. IEEE Transactions on Visualization and Computer Graphics. 2020;26(6):2288-2302. doi:10.1109/TVCG.2018.2883628
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7545 |
Cohn JA, Cebul ER, Valperga G, et al. Long-term activity drives dendritic branch elaboration of a C. elegans sensory neuron. Developmental Biology. 2020;461(1):66-74. doi: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 LA, et al. Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression. Neuron. 2020;105(1):106-121.e10. doi: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 |
Edelsbrunner H, Nikitenko A. Weighted Poisson–Delaunay mosaics. Theory of Probability and its Applications. 2020;64(4):595-614. doi:10.1137/S0040585X97T989726
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7563 |
Yalniz G, Budanur NB. Inferring symbolic dynamics of chaotic flows from persistence. Chaos. 2020;30(3). doi: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. Coxeter triangulations have good quality. Mathematics in Computer Science. 2020;14:141-176. doi:10.1007/s11786-020-00461-5
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7569 |
Grah R, Friedlander T. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 2020;16(2). doi:10.1371/journal.pcbi.1007642
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7570 |
Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. Slow quantum thermalization and many-body revivals from mixed phase space. Physical Review X. 2020;10(1). doi:10.1103/physrevx.10.011055
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Book Chapter | IST-REx-ID: 7572 |
Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. Computational analysis of filament polymerization dynamics in cytoskeletal networks. In: Tran P, ed. Methods in Cell Biology. Vol 158. Elsevier; 2020:145-161. doi: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. Homogenisation of one-dimensional discrete optimal transport. Journal de Mathematiques Pures et Appliquees. 2020;139(7):204-234. doi: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 |
Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences. 2020;117(12):6504-6549. doi: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, et al. Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal. 2020;39. doi:10.15252/embj.2019103358
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Book Chapter | IST-REx-ID: 7591
Petit YK, Mourad E, Freunberger SA. Lithium–Oxygen batteries. In: Encyclopedia of Electrochemistry. Wiley; 2020:1-42. doi:10.1002/9783527610426.bard110017
View
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7593 |
Moon HM, Hippenmeyer S, Luo L, Wynshaw-Boris A. LIS1 determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility. eLife. 2020;9. doi:10.7554/elife.51512
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC