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 | 
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10694 |
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 | Published | Conference Paper | IST-REx-ID: 10847 |
Solving partially observable stochastic shortest-path games
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
2021 | Published | Conference Paper | IST-REx-ID: 9987 |
Stateless model checking under a reads-value-from equivalence
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
2021 | Published | Thesis | IST-REx-ID: 10199 |
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 10191 |
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
2020 | Published | Journal Article | IST-REx-ID: 5681 |
Simulating liquids on dynamically warping grids
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
2020 | Published | Journal Article | IST-REx-ID: 7545 |
Long-term activity drives dendritic branch elaboration of a C. elegans sensory neuron
J.A. Cohn, E.R. Cebul, G. Valperga, L. Brose, M. de Bono, M.G. Heiman, J.T. Pierce, Developmental Biology 461 (2020) 66–74.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J.A. Cohn, E.R. Cebul, G. Valperga, L. Brose, M. de Bono, M.G. Heiman, J.T. Pierce, Developmental Biology 461 (2020) 66–74.
2020 | Published | Journal Article | IST-REx-ID: 7546 |
Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression
I. Beets, G. Zhang, L.A. Fenk, C. Chen, G.M. Nelson, M.-A. Félix, M. de Bono, Neuron 105 (2020) 106–121.e10.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Beets, G. Zhang, L.A. Fenk, C. Chen, G.M. Nelson, M.-A. Félix, M. de Bono, Neuron 105 (2020) 106–121.e10.
2020 | Published | Journal Article | IST-REx-ID: 7554 |
Weighted Poisson–Delaunay mosaics
H. Edelsbrunner, A. Nikitenko, Theory of Probability and Its Applications 64 (2020) 595–614.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Edelsbrunner, A. Nikitenko, Theory of Probability and Its Applications 64 (2020) 595–614.
2020 | Published | Journal Article | IST-REx-ID: 7563 |
Inferring symbolic dynamics of chaotic flows from persistence
G. Yalniz, N.B. Budanur, Chaos 30 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
G. Yalniz, N.B. Budanur, Chaos 30 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7567 |
Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science 14 (2020) 141–176.
[Published Version]
View
| Files available
| DOI
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science 14 (2020) 141–176.
2020 | Published | Journal Article | IST-REx-ID: 7569 |
The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7570 |
Slow quantum thermalization and many-body revivals from mixed phase space
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).
2020 | Published | Book Chapter | IST-REx-ID: 7572 |
Computational analysis of filament polymerization dynamics in cytoskeletal networks
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
2020 | Published | Journal Article | IST-REx-ID: 7573 |
Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.
2020 | Published | Journal Article | IST-REx-ID: 7580 |
Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
2020 | Published | Journal Article | IST-REx-ID: 7586 |
Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).
2020 | Published | Book Chapter | IST-REx-ID: 7591
Lithium–Oxygen batteries
Y.K. Petit, E. Mourad, S.A. Freunberger, in:, Encyclopedia of Electrochemistry, Wiley, 2020, pp. 1–42.
View
| DOI
Y.K. Petit, E. Mourad, S.A. Freunberger, in:, Encyclopedia of Electrochemistry, Wiley, 2020, pp. 1–42.
2020 | Published | Journal Article | IST-REx-ID: 7593 |
LIS1 determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility
H.M. Moon, S. Hippenmeyer, L. Luo, A. Wynshaw-Boris, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
H.M. Moon, S. Hippenmeyer, L. Luo, A. Wynshaw-Boris, ELife 9 (2020).