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.
5760 Publications
2019 | Conference Paper | IST-REx-ID: 6822 | 
G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.
[Submitted Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6887 |
K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6888 |
M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.
[Submitted Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6886 |
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6885 |
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6889 |
K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6931 |
T. Nowak and J. Rybicki, “Byzantine approximate agreement on graphs,” in 33rd International Symposium on Distributed Computing, Budapest, Hungary, 2019, vol. 146, p. 29:1--29:17.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6985 |
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7007 |
M. Mondelli, S. H. Hassani, and R. Urbanke, “A new coding paradigm for the primitive relay channel,” Algorithms, vol. 12, no. 10. MDPI, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 7035 |
G. P. Geher, T. Titkos, and D. Virosztek, “Dirac masses and isometric rigidity,” in Kyoto RIMS Kôkyûroku, Kyoto, Japan, 2019, vol. 2125, pp. 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
2019 | Journal Article | IST-REx-ID: 7055 |
K. R. Shirer et al., “Out-of-plane transport in ZrSiS and ZrSiSe microstructures,” APL Materials, vol. 7, no. 10. AIP, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7057 |
K. A. Modic, T. Meng, F. Ronning, E. D. Bauer, P. J. W. Moll, and B. J. Ramshaw, “Thermodynamic signatures of Weyl fermions in NbP,” Scientific Reports, vol. 9, no. 1. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7056 |
E. Martino et al., “Persistent antiferromagnetic order in heavily overdoped Ca1−x La x FeAs2,” Journal of Physics: Condensed Matter, vol. 31, no. 48. IOP Publishing, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7128 |
C. Torrini et al., “Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation,” Cell Reports, vol. 27, no. 9. Elsevier, p. 2759–2771.e5, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7130 |
R. J. Cubero, J. Jo, M. Marsili, Y. Roudi, and J. Song, “Statistical criticality arises in most informative representations,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2019, no. 6. IOP Publishing, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7150 |
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, and J. Suomela, “Algebraic methods in the congested clique,” Distributed Computing, vol. 32, no. 6. Springer Nature, pp. 461–478, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7275 |
E. Mourad et al., “Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries,” Energy & Environmental Science, vol. 12, no. 8. RSC, pp. 2559–2568, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7280 |
W.-J. Kwak et al., “Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen,” Nature Communications, vol. 10. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7276 |
Y. K. Petit et al., “DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells,” Angewandte Chemie International Edition, vol. 58, no. 20. Wiley, pp. 6535–6539, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7281 |
W.-J. Kwak et al., “Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries,” ACS Catalysis, vol. 9, no. 11. ACS, pp. 9914–9922, 2019.
[Submitted Version]
View
| Files available
| DOI