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.
10574 Publications
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: 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 | Conference Paper | IST-REx-ID: 8704 |
Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme
Lechner, Mathias, Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme. Proceedings - IEEE International Conference on Robotics and Automation. 2020
[Submitted Version]
View
| Files available
| DOI
| WoS
Lechner, Mathias, Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme. Proceedings - IEEE International Conference on Robotics and Automation. 2020
2020 | Published | Conference Paper | IST-REx-ID: 9040 |
Formal methods with a touch of magic
Alamdari, Par Alizadeh, Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. 2020
[Published Version]
View
| Files available
| DOI
Alamdari, Par Alizadeh, Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. 2020
2020 | Published | Conference Paper | IST-REx-ID: 8599 |
A survey of bidding games on graphs
Avni, Guy, A survey of bidding games on graphs. 31st International Conference on Concurrency Theory 171. 2020
[Published Version]
View
| Files available
| DOI
Avni, Guy, A survey of bidding games on graphs. 31st International Conference on Concurrency Theory 171. 2020
2020 | Published | Journal Article | IST-REx-ID: 7866 |
Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model
Fellner, Klemens, Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model. Journal of Elliptic and Parabolic Equations 6. 2020
[Published Version]
View
| Files available
| DOI
Fellner, Klemens, Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model. Journal of Elliptic and Parabolic Equations 6. 2020
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 | Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
Chatterjee, Krishnendu, Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling 30. 2020
View
| Files available
Chatterjee, Krishnendu, Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling 30. 2020
2020 | Published | Journal Article | IST-REx-ID: 7389 |
Isometric study of Wasserstein spaces - the real line
Geher, Gyorgy Pal, Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society 373 (8). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Geher, Gyorgy Pal, Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society 373 (8). 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: 7207 |
Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
Martín-Belmonte, Alejandro, Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease. Brain Pathology 30 (3). 2020
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Martín-Belmonte, Alejandro, Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease. Brain Pathology 30 (3). 2020
2020 | Published | Journal Article | IST-REx-ID: 8038 |
Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator
J.M. Fink, M. Kalaee, R. Norte, A. Pitanti, O. Painter, Quantum Science and Technology 5 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
J.M. Fink, M. Kalaee, R. Norte, A. Pitanti, O. Painter, Quantum Science and Technology 5 (2020).
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: 8680 |
An adhesion code ensures robust pattern formation during tissue morphogenesis
T.Y.-C. Tsai, M.K. Sikora, P. Xia, T. Colak-Champollion, H. Knaut, C.-P.J. Heisenberg, S.G. Megason, Science 370 (2020) 113–116.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
T.Y.-C. Tsai, M.K. Sikora, P. Xia, T. Colak-Champollion, H. Knaut, C.-P.J. Heisenberg, S.G. Megason, Science 370 (2020) 113–116.