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.
5779 Publications
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 | Journal Article | IST-REx-ID: 8679
Neural circuit policies enabling auditable autonomy
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
View
| Files available
| DOI
| WoS
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
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: 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.
2020 | Published | Journal Article | IST-REx-ID: 15055 |
Reinforcement learning of risk-constrained policies in Markov decision processes
T. Brázdil, K. Chatterjee, P. Novotný, J. Vahala, Proceedings of the 34th AAAI Conference on Artificial Intelligence 34 (2020) 9794–9801.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, P. Novotný, J. Vahala, Proceedings of the 34th AAAI Conference on Artificial Intelligence 34 (2020) 9794–9801.
2020 | Published | Conference Paper | IST-REx-ID: 8324 |
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2020.
2020 | Published | Journal Article | IST-REx-ID: 6808 |
Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens
W. Jahr, P. Velicky, J.G. Danzl, Methods 174 (2020) 27–41.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
W. Jahr, P. Velicky, J.G. Danzl, Methods 174 (2020) 27–41.
2020 | Published | Journal Article | IST-REx-ID: 8535 |
Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Draft | Preprint | IST-REx-ID: 10012 |
The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
2020 | Published | Journal Article | IST-REx-ID: 7472 |
Replay of behavioral sequences in the medial prefrontal cortex during rule switching
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) P154–165.e6.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) P154–165.e6.
2020 | Published | Journal Article | IST-REx-ID: 8737 |
The coupling mechanism of mammalian respiratory complex I
D. Kampjut, L.A. Sazanov, Science 370 (2020).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Kampjut, L.A. Sazanov, Science 370 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8634 |
Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7618 |
Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
2020 | Published | Journal Article | IST-REx-ID: 7805 |
Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance
Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos López JC, Gallemi M, Semerádová H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos López JC, Gallemi M, Semerádová H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.
2020 | Published | Journal Article | IST-REx-ID: 8740 |
Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
2020 | Research Data | IST-REx-ID: 8563 |
Optogenetic alteration of hippocampal network activity
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
[Published Version]
View
| Files available
| DOI
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
2020 | Published | Journal Article | IST-REx-ID: 7650 |
Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
2020 | Published | Journal Article | IST-REx-ID: 7235 |
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
[Published Version]
View
| Files available
| DOI
| WoS
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
2020 | Published | Thesis | IST-REx-ID: 7944 |
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.