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.
9311 Publications
2022 |Published| Conference Paper | IST-REx-ID: 12135 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Chen et al., “Gloss management for consistent reproduction of real and virtual objects,” in SIGGRAPH Asia 2022 Conference Papers, Daegu, South Korea, 2022, vol. 2022.
[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)
G. Börner, M. Schröder, D. Scarselli, N. B. Budanur, B. Hof, and M. Timme, “Explosive transitions in epidemic dynamics,” Journal of Physics: Complexity, vol. 3, no. 4. IOP Publishing, 2022.
[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)
B. Zoller, T. Gregor, and G. Tkačik, “Eukaryotic gene regulation at equilibrium, or non?,” Current Opinion in Systems Biology, vol. 31, no. 9. Elsevier, 2022.
[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)
M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of parametric hybrid automata from time series,” in 20th International Symposium on Automated Technology for Verification and Analysis, Virtual, 2022, vol. 13505, pp. 337–353.
[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)
M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, and A. Tereshchenko, “Brief announcement: Temporal locality in online algorithms,” in 36th International Symposium on Distributed Computing, Augusta, GA, United States, 2022, vol. 246.
[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)
T. Cremaschi and L. Dello Schiavo, “Effective contraction of Skinning maps,” Proceedings of the American Mathematical Society, Series B, vol. 9, no. 43. American Mathematical Society, pp. 445–459, 2022.
[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)
G. Cipolloni, L. Erdös, and D. J. Schröder, “On the condition number of the shifted real Ginibre ensemble,” SIAM Journal on Matrix Analysis and Applications, vol. 43, no. 3. Society for Industrial and Applied Mathematics, pp. 1469–1487, 2022.
[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)
A. Spiegelman, N. Giridharan, A. Sonnino, and E. Kokoris Kogias, “Bullshark: DAG BFT protocols made practical,” in Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Los Angeles, CA, United States, 2022, pp. 2705–2718.
[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)
M. Ljubotina, B. Roos, D. A. Abanin, and M. Serbyn, “Optimal steering of matrix product states and quantum many-body scars,” PRX Quantum, vol. 3, no. 3. American Physical Society, 2022.
[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)
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, and L. Ren, “Practical asynchronous distributed key generation,” in 2022 IEEE Symposium on Security and Privacy, San Francisco, CA, United States, 2022, pp. 2518–2534.
[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)
I. Mirković, Y. Yang, and G. Zhao, “Loop Grassmannians of Quivers and Affine Quantum Groups,” in Representation Theory and Algebraic Geometry, 1st ed., V. Baranovskky, N. Guay, and T. Schedler, Eds. Cham: Springer Nature; Birkhäuser, 2022, pp. 347–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12508 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger, K. Lehtinen, and P. Totzke, “History-deterministic timed automata,” in 33rd International Conference on Concurrency Theory, Warsaw, Poland, 2022, vol. 243, p. 14:1-14:21.
[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)
G. Avni and T. A. Henzinger, “An updated survey of bidding games on graphs,” in 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 2022, vol. 241, p. 3:1-3:6.
[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)
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, and S. Soudjani, “A direct symbolic algorithm for solving stochastic rabin games,” in 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 2022, vol. 13244, pp. 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 12530
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, and A.-K. Schmuck, “BOCoSy: Small but powerful symbolic output-feedback control,” in 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, 2022, p. 24:1-24:11.
View
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12540 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Venkataramanan, K. Kögler, and M. Mondelli, “Estimation in rotationally invariant generalized linear models via approximate message passing,” in Proceedings of the 39th International Conference on Machine Learning, Baltimore, MD, United States, 2022, vol. 162.
[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)
T. Meggendorfer, “Risk-aware stochastic shortest path,” in Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Virtual, 2022, vol. 36, no. 9, pp. 9858–9867.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 12660 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. A. Scott, M. X. Yeo, and C. Lampert, “Cross-client Label Propagation for transductive federated learning,” arXiv. .
[Preprint]
View
| Files available
| DOI
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 12662 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Súkeník and C. Lampert, “Generalization in Multi-objective machine learning,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv