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 | OA
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
 

2021 | Conference Paper | IST-REx-ID: 10004 | OA
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
 

2021 | Journal Article | IST-REx-ID: 10000 | OA
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
 

2021 | Journal Article | IST-REx-ID: 10005 | OA
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
 
 

2021 | Preprint | IST-REx-ID: 10013 | OA View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10024 | OA
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
 

2021 | Journal Article | IST-REx-ID: 10023 | OA
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
 

2021 | Journal Article | IST-REx-ID: 10025 | OA
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
 

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

2021 | Conference Paper | IST-REx-ID: 10041 | OA
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.)
 

2021 | Journal Article | IST-REx-ID: 10051 | OA
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
 

2021 | Conference Paper | IST-REx-ID: 10049 | OA
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.)
 

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

2021 | Conference Paper | IST-REx-ID: 10052 | OA
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
 

2021 | Conference Paper | IST-REx-ID: 10054 | OA
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
 

2021 | Conference Paper | IST-REx-ID: 10055 | OA
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
 

2021 | Journal Article | IST-REx-ID: 10069 | OA
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
 

2021 | Journal Article | IST-REx-ID: 10067 | OA
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
 

2021 | Journal Article | IST-REx-ID: 10070 | OA
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
 

Filters and Search Terms

year=2021

Search

Filter Publications