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.
6372 Publications
2020 | Published | Journal Article | IST-REx-ID: 11529 | 
The nature of CR7 revealed with MUSE: A young starburst powering extended Ly α emission at z = 6.6
J.J. Matthee, G. Pezzulli, R. Mackenzie, S. Cantalupo, H. Kusakabe, F. Leclercq, D. Sobral, J. Richard, L. Wisotzki, S. Lilly, L. Boogaard, R. Marino, M. Maseda, T. Nanayakkara, Monthly Notices of the Royal Astronomical Society 498 (2020) 3043–3059.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, G. Pezzulli, R. Mackenzie, S. Cantalupo, H. Kusakabe, F. Leclercq, D. Sobral, J. Richard, L. Wisotzki, S. Lilly, L. Boogaard, R. Marino, M. Maseda, T. Nanayakkara, Monthly Notices of the Royal Astronomical Society 498 (2020) 3043–3059.
2020 | Published | Journal Article | IST-REx-ID: 11534 |
Resolved Lyman-α properties of a luminous Lyman-break galaxy in a large ionized bubble at z = 6.53
J.J. Matthee, D. Sobral, M. Gronke, G. Pezzulli, S. Cantalupo, H. Röttgering, B. Darvish, S. Santos, Monthly Notices of the Royal Astronomical Society 492 (2020) 1778–1790.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, M. Gronke, G. Pezzulli, S. Cantalupo, H. Röttgering, B. Darvish, S. Santos, Monthly Notices of the Royal Astronomical Society 492 (2020) 1778–1790.
2020 | Published | Book Chapter | IST-REx-ID: 11622 |
The impact of a fossil magnetic field on dipolar mixed-mode frequencies in sub- and red-giant stars
L.A. Bugnet, V. Prat, S. Mathis, R.A. García, S. Mathur, K. Augustson, C. Neiner, M.J. Thompson, in:, M. Monteiro, R.A. Garcia, J. Christensen-Dalsgaard, S.W. McIntosh (Eds.), Dynamics of the Sun and Stars, 1st ed., Springer Nature, Cham, 2020, pp. 251–257.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.A. Bugnet, V. Prat, S. Mathis, R.A. García, S. Mathur, K. Augustson, C. Neiner, M.J. Thompson, in:, M. Monteiro, R.A. Garcia, J. Christensen-Dalsgaard, S.W. McIntosh (Eds.), Dynamics of the Sun and Stars, 1st ed., Springer Nature, Cham, 2020, pp. 251–257.
2020 | Published | Conference Paper | IST-REx-ID: 11586 |
Unveiling the most luminous Lyman-α emitters in the epoch of reionisation
J.J. Matthee, D. Sobral, in:, Proceedings of the International Astronomical Union, Cambridge University Press, 2020, pp. 21–25.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, in:, Proceedings of the International Astronomical Union, Cambridge University Press, 2020, pp. 21–25.
2020 | Published | Conference Paper | IST-REx-ID: 10673 |
A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
[Published Version]
View
| Files available
| Download Published Version (ext.)
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
2020 | Published | Conference Paper | IST-REx-ID: 10672 |
Learning representations for binary-classification without backpropagation
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8623 |
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
2020 | Published | Journal Article | IST-REx-ID: 11954 |
Modular, self-assembling metallaphotocatalyst for cross-couplings using the full visible-light spectrum
S. Reischauer, V. Strauss, B. Pieber, ACS Catalysis 10 (2020) 13269–13274.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Reischauer, V. Strauss, B. Pieber, ACS Catalysis 10 (2020) 13269–13274.
2020 | Published | Conference Paper | IST-REx-ID: 8704 |
Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme
M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2020, pp. 5446–5452.
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2020, pp. 5446–5452.
2020 | Published | Conference Paper | IST-REx-ID: 9040 |
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
2020 | Published | Conference Paper | IST-REx-ID: 9103 |
Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
2020 | Published | Conference Paper | IST-REx-ID: 8750 |
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 9202 |
Hybridization for stability verification of nonlinear switched systems
M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–256.
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–256.
2020 | Published | Conference Paper | IST-REx-ID: 7505 |
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
2020 | Published | Conference Paper | IST-REx-ID: 7348 |
Monitoring event frequencies
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8012 |
Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
2020 | Published | Conference Paper | IST-REx-ID: 8600 |
Multi-dimensional long-run average problems for vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8599 |
A survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8195 |
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
2020 | Published | Conference Paper | IST-REx-ID: 8194 |
An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.