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 | Journal Article | IST-REx-ID: 8040
Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 142(20), 9220–9230.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8043 | 
Paranjape CS, Duguet Y, Hof B. 2020. Oblique stripe solutions of channel flow. Journal of Fluid Mechanics. 897, A7.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Research Data Reference | IST-REx-ID: 9326
Gupta C, Khaniya U, Chan C, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory complex I, American Chemical Society, 10.1021/jacs.9b13450.s002.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8042 |
Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2020. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 22(7), 2331–2403.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Research Data Reference | IST-REx-ID: 9713
Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Supporting information, American Chemical Society , 10.1021/jacs.9b13450.s001.
[Published Version]
View
| Files available
| DOI
2020 | Research Data Reference | IST-REx-ID: 9878
Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Movies, American Chemical Society, 10.1021/jacs.9b13450.s002.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8390 |
Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8135 |
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. Topological Data Analysis. , Abel Symposia, vol. 15, 181–218.
[Submitted Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.
View
| Files available
2020 | Published | Journal Article | IST-REx-ID: 8134 |
Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. 61(6), 061901.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 15077 |
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 168, 7.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8287 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: Embedded Software.
[Preprint]
View
| Files available
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8790 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 4018–4029.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8268 |
Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M, Zhang C. 2020. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 68, 4268–4282.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8319 |
Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. 2020. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 102(1), 012224.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7996 |
Kukucka J. 2020. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8325 |
Kalinin N, Shkolnikov M. 2020. Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. 378(9), 1649–1675.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8320
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 54(4), 475–484.
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8321
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. 54(4), 531–541.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 8600 |
Chatterjee K, Henzinger TA, Otop J. 2020. Multi-dimensional long-run average problems for vector addition systems with states. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 23.
[Published Version]
View
| Files available
| DOI
| arXiv