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.
10932 Publications
2022 | Published | Journal Article | IST-REx-ID: 9311 | 
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
2022 | Published | Journal Article | IST-REx-ID: 12109 |
Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach
F. Pertl, J.C.A. Sobarzo Ponce, L.B. Shafeek, T. Cramer, S.R. Waitukaitis, Physical Review Materials 6 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
F. Pertl, J.C.A. Sobarzo Ponce, L.B. Shafeek, T. Cramer, S.R. Waitukaitis, Physical Review Materials 6 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 11355 |
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
[Published Version]
View
| Files available
| DOI
| WoS
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
2022 | Draft | Preprint | IST-REx-ID: 14597 |
Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
2022 | Published | 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 | Research Data Reference | IST-REx-ID: 14520 |
Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, (2022).
2022 | Published | Journal Article | IST-REx-ID: 11336 |
Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, Science Advances 8 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, Science Advances 8 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10939 |
Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level
A. Davidović, R.P. Chait, G. Batt, J. Ruess, PLoS Computational Biology 18 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Davidović, R.P. Chait, G. Batt, J. Ruess, PLoS Computational Biology 18 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 10774 |
Flavors of sequential information flow
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
2022 | Published | Journal Article | IST-REx-ID: 11442 |
| 
|
Closed-loop control of direct ink writing via reinforcement learning
M. Piovarci, M. Foshey, J. Xu, T. Erps, V. Babaei, P. Didyk, S. Rusinkiewicz, W. Matusik, B. Bickel, ACM Transactions on Graphics 41 (2022).
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Piovarci, M. Foshey, J. Xu, T. Erps, V. Babaei, P. Didyk, S. Rusinkiewicz, W. Matusik, B. Bickel, ACM Transactions on Graphics 41 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12010 |
Latent imagination facilitates zero-shot transfer in autonomous racing
A. Brunnbauer, L. Berducci, A. Brandstatter, M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–7520.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Brunnbauer, L. Berducci, A. Brandstatter, M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–7520.
2022 | Published | Conference Paper | IST-REx-ID: 11839 |
Almost-orthogonal layers for efficient general-purpose Lipschitz networks
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
2022 | Published | Conference Paper | IST-REx-ID: 11185 |
Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
2022 | Published | Conference Paper | IST-REx-ID: 12011 |
The capacity of causal adversarial channels
Y. Zhang, S. Jaggi, M. Langberg, A.D. Sarwate, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2523–2528.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Zhang, S. Jaggi, M. Langberg, A.D. Sarwate, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2523–2528.
2022 | Published | Conference Paper | IST-REx-ID: 12135 |
Gloss management for consistent reproduction of real and virtual objects
B. Chen, M. Piovarci, C. Wang, H.-P. Seidel, P. Didyk, K. Myszkowski, A. Serrano, in:, SIGGRAPH Asia 2022 Conference Papers, Association for Computing Machinery, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
B. Chen, M. Piovarci, C. Wang, H.-P. Seidel, P. Didyk, K. Myszkowski, A. Serrano, in:, SIGGRAPH Asia 2022 Conference Papers, Association for Computing Machinery, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12017
New results on AVCs with omniscient and myopic adversaries
A.K. Yadav, M. Alimohammadi, Y. Zhang, A.J. Budkuley, S. Jaggi, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 2535–2540.
View
| DOI
| WoS
A.K. Yadav, M. Alimohammadi, Y. Zhang, A.J. Budkuley, S. Jaggi, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 2535–2540.
2022 | Published | Conference Paper | IST-REx-ID: 12013
On the capacity of additive AVCs with feedback
P. Joshi, A. Purkayastha, Y. Zhang, A.J. Budkuley, S. Jaggi, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 504–509.
View
| DOI
| WoS
P. Joshi, A. Purkayastha, Y. Zhang, A.J. Budkuley, S. Jaggi, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 504–509.
2022 | Published | Conference Paper | IST-REx-ID: 12016 |
Polar coded computing: The role of the scaling exponent
D. Fathollahi, M. Mondelli, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2154–2159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Fathollahi, M. Mondelli, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2154–2159.
2022 | Published | Conference Paper | IST-REx-ID: 12012 |
Heterogeneous differential privacy via graphs
S. Torkamani, J.B. Ebrahimi, P. Sadeghi, R.G.L. D’Oliveira, M. Médard, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 1623–1628.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Torkamani, J.B. Ebrahimi, P. Sadeghi, R.G.L. D’Oliveira, M. Médard, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 1623–1628.