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.
7172 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: 9208
A bending-active twisted-arch plywood structure: Computational design and fabrication of the FlexMaps Pavilion
F. Laccone, L. Malomo, J. Perez Rodriguez, N. Pietroni, F. Ponchio, B. Bickel, P. Cignoni, SN Applied Sciences 2 (2020).
View
| DOI
F. Laccone, L. Malomo, J. Perez Rodriguez, N. Pietroni, F. Ponchio, B. Bickel, P. Cignoni, SN Applied Sciences 2 (2020).
2020 | Research Data | IST-REx-ID: 9222 |
Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling
G. Katsaros, (2020).
[Published Version]
View
| Files available
| DOI
G. Katsaros, (2020).
2020 | Published | Journal Article | IST-REx-ID: 9249 |
Digital objects in rhombic dodecahedron grid
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, Mathematical Morphology - Theory and Applications 4 (2020) 143–158.
[Published Version]
View
| Files available
| DOI
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, Mathematical Morphology - Theory and Applications 4 (2020) 143–158.
2020 | Published | Journal Article | IST-REx-ID: 9308 |
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, U. Wagner, I. Mabillard, A.B. Skopenkov, Russian Mathematical Surveys 75 (2020) 1156–1158.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Avvakumov, U. Wagner, I. Mabillard, A.B. Skopenkov, Russian Mathematical Surveys 75 (2020) 1156–1158.
2020 | Research Data Reference | IST-REx-ID: 9326 |
Charge transfer and chemo-mechanical coupling in respiratory complex I
C. Gupta, U. Khaniya, C. Chan, F. Dehez, M. Shekhar, M.R. Gunner, L.A. Sazanov, C. Chipot, A. Singharoy, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Gupta, U. Khaniya, C. Chan, F. Dehez, M. Shekhar, M.R. Gunner, L.A. Sazanov, C. Chipot, A. Singharoy, (2020).
2020 | Conference Paper | IST-REx-ID: 9415 |
Inducing and exploiting activation sparsity for fast neural network inference
M. Kurtz, J. Kopinsky, R. Gelashvili, A. Matveev, J. Carr, M. Goin, W. Leiserson, S. Moore, B. Nell, N. Shavit, D.-A. Alistarh, in:, 37th International Conference on Machine Learning, ICML 2020, 2020, pp. 5533–5543.
[Published Version]
View
| Files available
M. Kurtz, J. Kopinsky, R. Gelashvili, A. Matveev, J. Carr, M. Goin, W. Leiserson, S. Moore, B. Nell, N. Shavit, D.-A. Alistarh, in:, 37th International Conference on Machine Learning, ICML 2020, 2020, pp. 5533–5543.
2020 | Published | Journal Article | IST-REx-ID: 10861
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
View
| Files available
| DOI
| WoS
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
2020 | Published | Journal Article | IST-REx-ID: 10862 |
Spectral rigidity for addition of random matrices at the regular edge
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).
2020 | Published | Journal Article | IST-REx-ID: 10866 |
Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs
J. Duan, N. Capote-Robayna, J. Taboada-Gutiérrez, G. Álvarez-Pérez, I. Prieto Gonzalez, J. Martín-Sánchez, A.Y. Nikitin, P. Alonso-González, Nano Letters 20 (2020) 5323–5329.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
J. Duan, N. Capote-Robayna, J. Taboada-Gutiérrez, G. Álvarez-Pérez, I. Prieto Gonzalez, J. Martín-Sánchez, A.Y. Nikitin, P. Alonso-González, Nano Letters 20 (2020) 5323–5329.
2020 | Published | Journal Article | IST-REx-ID: 10867 |
Waist of balls in hyperbolic and spherical spaces
A. Akopyan, R. Karasev, International Mathematics Research Notices 2020 (2020) 669–697.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, R. Karasev, International Mathematics Research Notices 2020 (2020) 669–697.
2020 | Published | Other Publication | IST-REx-ID: 17444 |
Nanowires: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling (Adv. Mater. 16/2020)
F. Gao, J. Wang, H. Watzinger, H. Hu, M.J. Rančić, J. Zhang, T. Wang, Y. Yao, G. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J. Zhang, Nanowires: Site‐controlled Uniform Ge/Si Hut Wires with Electrically Tunable Spin–Orbit Coupling (Adv. Mater. 16/2020), Wiley, 2020.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
F. Gao, J. Wang, H. Watzinger, H. Hu, M.J. Rančić, J. Zhang, T. Wang, Y. Yao, G. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J. Zhang, Nanowires: Site‐controlled Uniform Ge/Si Hut Wires with Electrically Tunable Spin–Orbit Coupling (Adv. Mater. 16/2020), Wiley, 2020.
2020 | Published | Journal Article | IST-REx-ID: 177 |
A geometric version of the circle method
T.D. Browning, W. Sawin, Annals of Mathematics 191 (2020) 893–948.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, W. Sawin, Annals of Mathematics 191 (2020) 893–948.
2020 | Published | Journal Article | IST-REx-ID: 179 |
Density of rational points on a quadric bundle in ℙ3×ℙ3
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.
2020 | Published | Journal Article | IST-REx-ID: 5681 |
Simulating liquids on dynamically warping grids
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
2020 | Research Data Reference | IST-REx-ID: 13056 |
Converting microwave and telecom photons with a silicon photonic nanomechanical interface
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, (2020).
2020 | Research Data Reference | IST-REx-ID: 13060 |
Social immunity modulates competition between coinfecting pathogens
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, (2020).
2020 | Research Data Reference | IST-REx-ID: 13065 |
VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species
S. Arnoux, C. Fraisse, C. Sauvage, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Arnoux, C. Fraisse, C. Sauvage, (2020).
2020 | Research Data Reference | IST-REx-ID: 13070 |
Surpassing the resistance quantum with a geometric superinductor
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, (2020).