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.
1621 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10002 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| 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 |Published| Conference Paper | IST-REx-ID: 10004 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| 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 |Published| Journal Article | IST-REx-ID: 10033 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The Atiyah-Bott formula and connectivity in chiral Koszul duality
Q.P. Ho, Advances in Mathematics 392 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Q.P. Ho, Advances in Mathematics 392 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 10055 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
| WoS
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 |Published| Journal Article | IST-REx-ID: 10069 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.R. Robinson, M. Patxot, M. Stojanov, S. Blum, D. Baud, Scientific Reports 11 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 10076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Reactive key-loss protection in blockchains
S. Blackshear, K. Chalkias, P. Chatzigiannis, R. Faizullabhoy, I. Khaburzaniya, E. Kokoris Kogias, J. Lind, D. Wong, T. Zakian, in:, FC 2021 Workshops, Springer Nature, 2021, pp. 431–450.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Blackshear, K. Chalkias, P. Chatzigiannis, R. Faizullabhoy, I. Khaburzaniya, E. Kokoris Kogias, J. Lind, D. Wong, T. Zakian, in:, FC 2021 Workshops, Springer Nature, 2021, pp. 431–450.
2021 |Published| Conference Paper | IST-REx-ID: 10108 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2021 |Published| Journal Article | IST-REx-ID: 10163 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC
Appel L-M, Franke V, Bruno M, Grishkovskaya I, Kasiliauskaite A, Kaufmann T, Schoeberl UE, Puchinger MG, Kostrhon S, Ebenwaldner C, Sebesta M, Beltzung E, Mechtler K, Lin G, Vlasova A, Leeb M, Pavri R, Stark A, Akalin A, Stefl R, Bernecky C, Djinovic-Carugo K, Slade D. 2021. PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC. Nature Communications. 12(1), 6078.
[Published Version]
View
| Files available
| DOI
| WoS
Appel L-M, Franke V, Bruno M, Grishkovskaya I, Kasiliauskaite A, Kaufmann T, Schoeberl UE, Puchinger MG, Kostrhon S, Ebenwaldner C, Sebesta M, Beltzung E, Mechtler K, Lin G, Vlasova A, Leeb M, Pavri R, Stark A, Akalin A, Stefl R, Bernecky C, Djinovic-Carugo K, Slade D. 2021. PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC. Nature Communications. 12(1), 6078.
2021 |Published| Journal Article | IST-REx-ID: 10203 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bright single photon emitters with enhanced quantum efficiency in a two-dimensional semiconductor coupled with dielectric nano-antennas
L. Sortino, P.G. Zotev, C.L. Phillips, A.J. Brash, J. Cambiasso, E. Marensi, A.M. Fox, S.A. Maier, R. Sapienza, A.I. Tartakovskii, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Sortino, P.G. Zotev, C.L. Phillips, A.J. Brash, J. Cambiasso, E. Marensi, A.M. Fox, S.A. Maier, R. Sapienza, A.I. Tartakovskii, Nature Communications 12 (2021).
2021 |Published| Journal Article | IST-REx-ID: 10220 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Eliminating higher-multiplicity intersections. III. Codimension 2
S. Avvakumov, I. Mabillard, A.B. Skopenkov, U. Wagner, Israel Journal of Mathematics 245 (2021) 501–534.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Avvakumov, I. Mabillard, A.B. Skopenkov, U. Wagner, Israel Journal of Mathematics 245 (2021) 501–534.
2021 |Published| Journal Article | IST-REx-ID: 10222 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The beauty of random polytopes inscribed in the 2-sphere
A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.
2021 |Published| Conference Paper | IST-REx-ID: 10325 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
SoK: Communication across distributed ledgers
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 3–36.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 3–36.
2021 |Published| Conference Paper | IST-REx-ID: 10324 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brick: Asynchronous incentive-compatible payment channels
Z. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 209–230.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Z. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 209–230.
2021 |Published| Conference Paper | IST-REx-ID: 10407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Trojan-resilience without cryptography
S. Chakraborty, S. Dziembowski, M. Gałązka, T. Lizurej, K.Z. Pietrzak, M.X. Yeo, in:, Springer Nature, 2021, pp. 397–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Chakraborty, S. Dziembowski, M. Gałązka, T. Lizurej, K.Z. Pietrzak, M.X. Yeo, in:, Springer Nature, 2021, pp. 397–428.
2021 |Published| Conference Paper | IST-REx-ID: 10408 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grafting key trees: Efficient key management for overlapping groups
J.F. Alwen, B. Auerbach, M.A. Baig, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 222–253.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
J.F. Alwen, B. Auerbach, M.A. Baig, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 222–253.
2021 |Published| Journal Article | IST-REx-ID: 10549 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems
J.L. Fischer, S. Neukamm, Archive for Rational Mechanics and Analysis 242 (2021) 343–452.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J.L. Fischer, S. Neukamm, Archive for Rational Mechanics and Analysis 242 (2021) 343–452.
2021 |Published| Conference Paper | IST-REx-ID: 10409 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On treewidth, separators and Yao’s garbling
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th International Conference, Springer Nature, 2021, pp. 486–517.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th International Conference, Springer Nature, 2021, pp. 486–517.
2021 |Published| Journal Article | IST-REx-ID: 10545 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT)
R.A. Medina Ramos, M. Serbyn, Physical Review A 104 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R.A. Medina Ramos, M. Serbyn, Physical Review A 104 (2021).
2021 |Published| Journal Article | IST-REx-ID: 10573 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Extracellular hyaluronate pressure shaped by cellular tethers drives tissue morphogenesis
A. Munjal, E.B. Hannezo, T.Y.C. Tsai, T.J. Mitchison, S.G. Megason, Cell 184 (2021) 6313–6325.e18.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
A. Munjal, E.B. Hannezo, T.Y.C. Tsai, T.J. Mitchison, S.G. Megason, Cell 184 (2021) 6313–6325.e18.
2021 |Published| Conference Paper | IST-REx-ID: 10609 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Reverse firewalls for adaptively secure MPC without setup
S. Chakraborty, C. Ganesh, M. Pancholi, P. Sarkar, in:, 27th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2021, pp. 335–364.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Chakraborty, C. Ganesh, M. Pancholi, P. Sarkar, in:, 27th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2021, pp. 335–364.