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.
594 Publications
2022 |Published| Conference Paper | IST-REx-ID: 12101 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Complexity of spatial games. In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.FSTTCS.2022.11
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12111 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stocker L, Sack S, Ferguson MS, Zilberberg O. Entanglement-based observables for quantum impurities. Physical Review Research. 2022;4(4). doi:10.1103/PhysRevResearch.4.043177
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12135 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chen B, Piovarci M, Wang C, et al. Gloss management for consistent reproduction of real and virtual objects. In: SIGGRAPH Asia 2022 Conference Papers. Vol 2022. Association for Computing Machinery; 2022. doi:10.1145/3550469.3555406
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12134 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. 2022;3(4). doi:10.1088/2632-072x/ac99cd
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12156 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zoller B, Gregor T, Tkačik G. Eukaryotic gene regulation at equilibrium, or non? Current Opinion in Systems Biology. 2022;31(9). doi:10.1016/j.coisb.2022.100435
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12171 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of parametric hybrid automata from time series. In: 20th International Symposium on Automated Technology for Verification and Analysis. Vol 13505. Springer Nature; 2022:337-353. doi:10.1007/978-3-031-19992-9_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12182 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. Brief announcement: Temporal locality in online algorithms. In: 36th International Symposium on Distributed Computing. Vol 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.DISC.2022.52
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12177 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cremaschi T, Dello Schiavo L. Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. 2022;9(43):445-459. doi:10.1090/bproc/134
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cipolloni G, Erdös L, Schröder DJ. On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 2022;43(3):1469-1487. doi:10.1137/21m1424408
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12229 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Spiegelman A, Giridharan N, Sonnino A, Kokoris Kogias E. Bullshark: DAG BFT protocols made practical. In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery; 2022:2705–2718. doi:10.1145/3548606.3559361
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12276 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ljubotina M, Roos B, Abanin DA, Serbyn M. Optimal steering of matrix product states and quantum many-body scars. PRX Quantum. 2022;3(3). doi:10.1103/prxquantum.3.030343
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12300 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Das S, Yurek T, Xiang Z, Miller A, Kokoris Kogias E, Ren L. Practical asynchronous distributed key generation. In: 2022 IEEE Symposium on Security and Privacy. Institute of Electrical and Electronics Engineers; 2022:2518-2534. doi:10.1109/sp46214.2022.9833584
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Book Chapter | IST-REx-ID: 12303 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mirković I, Yang Y, Zhao G. Loop Grassmannians of Quivers and Affine Quantum Groups. In: Baranovskky V, Guay N, Schedler T, eds. Representation Theory and Algebraic Geometry. 1st ed. TM. Cham: Springer Nature; Birkhäuser; 2022:347-392. doi:10.1007/978-3-030-82007-7_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12307
Shipman BA, Stephenson ER. Tangible topology through the lens of limits. PRIMUS. 2022;32(5):593-609. doi:10.1080/10511970.2021.1872750
View
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12508 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Lehtinen K, Totzke P. History-deterministic timed automata. In: 33rd International Conference on Concurrency Theory. Vol 243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:14:1-14:21. doi:10.4230/LIPIcs.CONCUR.2022.14
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12509 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni G, Henzinger TA. An updated survey of bidding games on graphs. In: 47th International Symposium on Mathematical Foundations of Computer Science. Vol 241. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:3:1-3:6. doi:10.4230/LIPIcs.MFCS.2022.3
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12529 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. A direct symbolic algorithm for solving stochastic rabin games. In: 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 13244. Springer Nature; 2022:81-98. doi:10.1007/978-3-030-99527-0_5
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 12530
Finkbeiner B, Mallik K, Passing N, Schledjewski M, Schmuck A-K. BOCoSy: Small but powerful symbolic output-feedback control. In: 25th ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2022:24:1-24:11. doi:10.1145/3501710.3519535
View
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12540 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Venkataramanan R, Kögler K, Mondelli M. Estimation in rotationally invariant generalized linear models via approximate message passing. In: Proceedings of the 39th International Conference on Machine Learning. Vol 162. ML Research Press; 2022.
[Published Version]
View
| Files available
2022 |Published| Conference Paper | IST-REx-ID: 12568 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Meggendorfer T. Risk-aware stochastic shortest path. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. Vol 36. Association for the Advancement of Artificial Intelligence; 2022:9858-9867. doi:10.1609/aaai.v36i9.21222
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv