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.
554 Publications
2022 | Conference Paper | IST-REx-ID: 12171 | 
Synthesis of parametric hybrid automata from time series
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
2022 | Conference Paper | IST-REx-ID: 12182 |
Brief announcement: Temporal locality in online algorithms
M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, A. Tereshchenko, in:, 36th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, A. Tereshchenko, in:, 36th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Journal Article | IST-REx-ID: 12177 |
Effective contraction of Skinning maps
T. Cremaschi, L. Dello Schiavo, Proceedings of the American Mathematical Society, Series B 9 (2022) 445–459.
[Published Version]
View
| Files available
| DOI
T. Cremaschi, L. Dello Schiavo, Proceedings of the American Mathematical Society, Series B 9 (2022) 445–459.
2022 | Journal Article | IST-REx-ID: 12179 |
On the condition number of the shifted real Ginibre ensemble
G. Cipolloni, L. Erdös, D.J. Schröder, SIAM Journal on Matrix Analysis and Applications 43 (2022) 1469–1487.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, SIAM Journal on Matrix Analysis and Applications 43 (2022) 1469–1487.
2022 | Conference Paper | IST-REx-ID: 12229 |
Bullshark: DAG BFT protocols made practical
A. Spiegelman, N. Giridharan, A. Sonnino, E. Kokoris Kogias, in:, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2022, pp. 2705–2718.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Spiegelman, N. Giridharan, A. Sonnino, E. Kokoris Kogias, in:, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2022, pp. 2705–2718.
2022 | Journal Article | IST-REx-ID: 12276 |
Optimal steering of matrix product states and quantum many-body scars
M. Ljubotina, B. Roos, D.A. Abanin, M. Serbyn, PRX Quantum 3 (2022).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Ljubotina, B. Roos, D.A. Abanin, M. Serbyn, PRX Quantum 3 (2022).
2022 | Conference Paper | IST-REx-ID: 12300 |
Practical asynchronous distributed key generation
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, L. Ren, in:, 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–2534.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, L. Ren, in:, 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–2534.
2022 | Book Chapter | IST-REx-ID: 12303 |
Loop Grassmannians of Quivers and Affine Quantum Groups
I. Mirković, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Mirković, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
2022 | Journal Article | IST-REx-ID: 12307
Tangible topology through the lens of limits
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
View
| DOI
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
2022 | Conference Paper | IST-REx-ID: 12508 |
History-deterministic timed automata
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
2022 | Conference Paper | IST-REx-ID: 12509 |
An updated survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
[Published Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
2022 | Conference Paper | IST-REx-ID: 12529 |
A direct symbolic algorithm for solving stochastic rabin games
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
2022 | Conference Paper | IST-REx-ID: 12530
BOCoSy: Small but powerful symbolic output-feedback control
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
View
| DOI
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
2022 | Conference Paper | IST-REx-ID: 12540 |
Estimation in rotationally invariant generalized linear models via approximate message passing
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
[Published Version]
View
| Files available
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
2022 | Preprint | IST-REx-ID: 12536 |
The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation?
J. Barbier, T. Hou, M. Mondelli, M. Saenz, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Barbier, T. Hou, M. Mondelli, M. Saenz, ArXiv (n.d.).
2022 | Conference Paper | IST-REx-ID: 12568 |
Risk-aware stochastic shortest path
T. Meggendorfer, in:, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–9867.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Meggendorfer, in:, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–9867.
2022 | Preprint | IST-REx-ID: 12660 |
Cross-client Label Propagation for transductive federated learning
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| arXiv
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
2022 | Preprint | IST-REx-ID: 12662 |
Generalization in Multi-objective machine learning
P. Súkeník, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Súkeník, C. Lampert, ArXiv (n.d.).
2022 | Conference Paper | IST-REx-ID: 12664 |
Intriguing properties of input-dependent randomized smoothing
P. Súkeník, A. Kuvshinov, S. Günnemann, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022, pp. 20697–20743.
[Published Version]
View
| Files available
| arXiv
P. Súkeník, A. Kuvshinov, S. Günnemann, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022, pp. 20697–20743.
2022 | Journal Article | IST-REx-ID: 12495 |
FLEA: Provably robust fair multisource learning from unreliable training data
E.B. Iofinova, N.H. Konstantinov, C. Lampert, Transactions on Machine Learning Research (2022).
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
E.B. Iofinova, N.H. Konstantinov, C. Lampert, Transactions on Machine Learning Research (2022).