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 | OA
Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–56, doi:10.1109/RTSS49844.2020.00031.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 8679
Lechner, Mathias, et al. “Neural Circuit Policies Enabling Auditable Autonomy.” Nature Machine Intelligence, vol. 2, Springer Nature, 2020, pp. 642–52, doi:10.1038/s42256-020-00237-3.
View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–42, doi:10.1145/3385412.3385980.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 15055 | OA
Brázdil, Tomáš, et al. “Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes.” Proceedings of the 34th AAAI Conference on Artificial Intelligence, vol. 34, no. 06, Association for the Advancement of Artificial Intelligence, 2020, pp. 9794–801, doi:10.1609/aaai.v34i06.6531.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8324 | OA
Wang, Peixin, et al. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, 25, ACM, 2020, doi:10.1145/3371093.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 6808 | OA
Jahr, Wiebke, et al. “Strategies to Maximize Performance in STimulated Emission Depletion (STED) Nanoscopy of Biological Specimens.” Methods, vol. 174, no. 3, Elsevier, 2020, pp. 27–41, doi:10.1016/j.ymeth.2019.07.019.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8535 | OA
Skrivan, Tomas, et al. “Wave Curves: Simulating Lagrangian Water Waves on Dynamically Deforming Surfaces.” ACM Transactions on Graphics, vol. 39, no. 4, 65, Association for Computing Machinery, 2020, doi:10.1145/3386569.3392466.
[Published Version] View | Files available | DOI | WoS
 

2020 | Draft | Preprint | IST-REx-ID: 10012 | OA
Fischer, Julian L., et al. “The Local Structure of the Energy Landscape in Multiphase Mean Curvature Flow: Weak-Strong Uniqueness and Stability of Evolutions.” ArXiv, 2003.05478, doi:10.48550/arXiv.2003.05478.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7472 | OA
Käfer, Karola, et al. “Replay of Behavioral Sequences in the Medial Prefrontal Cortex during Rule Switching.” Neuron, vol. 106, no. 1, Elsevier, 2020, p. P154–165.e6, doi:10.1016/j.neuron.2020.01.015.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8737 | OA
Kampjut, Domen, and Leonid A. Sazanov. “The Coupling Mechanism of Mammalian Respiratory Complex I.” Science, vol. 370, no. 6516, eabc4209, American Association for the Advancement of Science, 2020, doi:10.1126/science.abc4209.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8634 | OA
Suri, Balachandra, et al. “Capturing Turbulent Dynamics and Statistics in Experiments with Unstable Periodic Orbits.” Physical Review Letters, vol. 125, no. 6, 064501, American Physical Society, 2020, doi:10.1103/physrevlett.125.064501.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7618 | OA
Pitrik, Jozsef, and Daniel Virosztek. “Quantum Hellinger Distances Revisited.” Letters in Mathematical Physics, vol. 110, no. 8, Springer Nature, 2020, pp. 2039–52, doi:10.1007/s11005-020-01282-0.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7805 | OA
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
 

2020 | Published | Journal Article | IST-REx-ID: 8740 | OA
Gridchyn, Igor, et al. “Optogenetic Inhibition-Mediated Activity-Dependent Modification of CA1 Pyramidal-Interneuron Connections during Behavior.” ELife, vol. 9, 61106, eLife Sciences Publications, 2020, doi:10.7554/eLife.61106.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari, Jozsef L., et al. Optogenetic Alteration of Hippocampal Network Activity. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8563.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 7650 | OA
Deuchert, Andreas, and Robert Seiringer. “Gross-Pitaevskii Limit of a Homogeneous Bose Gas at Positive Temperature.” Archive for Rational Mechanics and Analysis, vol. 236, no. 6, Springer Nature, 2020, pp. 1217–71, doi:10.1007/s00205-020-01489-4.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7235 | OA
Lieb, Elliott H., and Robert Seiringer. “Divergence of the Effective Mass of a Polaron in the Strong Coupling Limit.” Journal of Statistical Physics, vol. 180, Springer Nature, 2020, pp. 23–33, doi:10.1007/s10955-019-02322-3.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Thesis | IST-REx-ID: 7944 | OA
Masárová, Zuzana. Reconfiguration Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7944.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed