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.
588 Publications
2021 | Conference Paper | IST-REx-ID: 10002 |

Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
2021 | Conference Paper | IST-REx-ID: 10004 |

Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
2021 | Journal Article | IST-REx-ID: 10000 |

Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression
H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021).
View
| Files available
| DOI
| PubMed | Europe PMC
H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021).
2021 | Journal Article | IST-REx-ID: 10005 |

On nonlinear problems of parabolic type with implicit constitutive equations involving flux
M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).
2021 | Preprint | IST-REx-ID: 10011 |

A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, ArXiv (n.d.).
2021 | Preprint | IST-REx-ID: 10013 |

Weak-strong uniqueness for the mean curvature flow of double bubbles
S. Hensel, T. Laux, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 10024 |

Hydrodynamics for the partial exclusion process in random environment
S. Floreani, F. Redig, F. Sau, Stochastic Processes and Their Applications 142 (2021) 124–158.
View
| Files available
| DOI
| arXiv
S. Floreani, F. Redig, F. Sau, Stochastic Processes and Their Applications 142 (2021) 124–158.
2021 | Journal Article | IST-REx-ID: 10023 |

Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
2021 | Journal Article | IST-REx-ID: 10025 |

Half and quarter metals in rhombohedral trilayer graphene
H. Zhou, T. Xie, A. Ghazaryan, T. Holder, J.R. Ehrets, E.M. Spanton, T. Taniguchi, K. Watanabe, E. Berg, M. Serbyn, A.F. Young, Nature (2021).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
H. Zhou, T. Xie, A. Ghazaryan, T. Holder, J.R. Ehrets, E.M. Spanton, T. Taniguchi, K. Watanabe, E. Berg, M. Serbyn, A.F. Young, Nature (2021).
2021 | Journal Article | IST-REx-ID: 10033 |

The Atiyah-Bott formula and connectivity in chiral Koszul duality
Q.P. Ho, Advances in Mathematics 392 (2021).
View
| Files available
| DOI
| arXiv
Q.P. Ho, Advances in Mathematics 392 (2021).
2021 | Conference Paper | IST-REx-ID: 10041 |

Limits on the Adaptive Security of Yao’s Garbling
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, D. Wichs, in:, 41st Annual International Cryptology Conference, Part II , Springer Nature, Cham, 2021, pp. 486–515.
View
| Files available
| DOI
| Download Preprint (ext.)
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, D. Wichs, in:, 41st Annual International Cryptology Conference, Part II , Springer Nature, Cham, 2021, pp. 486–515.
2021 | Journal Article | IST-REx-ID: 10051 |

RIM-binding protein 2 organizes Ca21 channel topography and regulates release probability and vesicle replenishment at a fast central synapse
T. Butola, T. Alvanos, A. Hintze, P. Koppensteiner, D. Kleindienst, R. Shigemoto, C. Wichmann, T. Moser, Journal of Neuroscience 41 (2021) 7742–7767.
View
| Files available
| DOI
| PubMed | Europe PMC
T. Butola, T. Alvanos, A. Hintze, P. Koppensteiner, D. Kleindienst, R. Shigemoto, C. Wichmann, T. Moser, Journal of Neuroscience 41 (2021) 7742–7767.
2021 | Conference Paper | IST-REx-ID: 10049 |

Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement
K. Klein, G. Pascual Perez, M. Walter, C. Kamath Hosdurg, M. Capretto, M. Cueto Noval, I. Markov, M.X. Yeo, J.F. Alwen, K.Z. Pietrzak, in:, 2021 IEEE Symposium on Security and Privacy , IEEE, 2021, pp. 268–284.
View
| Files available
| DOI
| Download Preprint (ext.)
K. Klein, G. Pascual Perez, M. Walter, C. Kamath Hosdurg, M. Capretto, M. Cueto Noval, I. Markov, M.X. Yeo, J.F. Alwen, K.Z. Pietrzak, in:, 2021 IEEE Symposium on Security and Privacy , IEEE, 2021, pp. 268–284.
2021 | Preprint | IST-REx-ID: 10045 |

Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
2021 | Conference Paper | IST-REx-ID: 10052 |

Decomposing permutation automata
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
View
| Files available
| DOI
| arXiv
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10054 |

Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
View
| Files available
| DOI
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10055 |

A Ramsey theorem for finite monoids
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
View
| Files available
| DOI
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Journal Article | IST-REx-ID: 10069 |

Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy
M.R. Robinson, M. Patxot, M. Stojanov, S. Blum, D. Baud, Scientific Reports 11 (2021).
View
| Files available
| DOI
| PubMed | Europe PMC
M.R. Robinson, M. Patxot, M. Stojanov, S. Blum, D. Baud, Scientific Reports 11 (2021).
2021 | Journal Article | IST-REx-ID: 10067 |

Entanglement transitions from restricted Boltzmann machines
R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).
2021 | Journal Article | IST-REx-ID: 10070 |

Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces
L. Dello Schiavo, K. Suzuki, Journal of Functional Analysis 281 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Dello Schiavo, K. Suzuki, Journal of Functional Analysis 281 (2021).