Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5736 Publications
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: 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: 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 | Book Chapter | IST-REx-ID: 7227
Zebrafish gastrulation: Putting fate in motion
Nunes Pinheiro, Diana C, Zebrafish gastrulation: Putting fate in motion. Gastrulation: From Embryonic Pattern to Form 136. 2020
View
| DOI
| WoS
| PubMed | Europe PMC
Nunes Pinheiro, Diana C, Zebrafish gastrulation: Putting fate in motion. Gastrulation: From Embryonic Pattern to Form 136. 2020
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: 9039 |
Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies
Fischer, Julian L, Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis 52 (6). 2020
[Published Version]
View
| Files available
| DOI
| WoS
Fischer, Julian L, Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis 52 (6). 2020
2020 | Published | Journal Article | IST-REx-ID: 8644 |
Detecting composite orders in layered models via machine learning
Rzadkowski, Wojciech, Detecting composite orders in layered models via machine learning. New Journal of Physics 22 (9). 2020
[Published Version]
View
| Files available
| DOI
| WoS
Rzadkowski, Wojciech, Detecting composite orders in layered models via machine learning. New Journal of Physics 22 (9). 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: 8325 |
Sandpile solitons via smoothing of superharmonic functions
Kalinin, Nikita, Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics 378 (9). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Kalinin, Nikita, Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics 378 (9). 2020
2020 | Research Data Reference | IST-REx-ID: 9798 |
Simulation code for Fig S2 from the distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Fraisse, J.J. Welch, (2020).