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.

4966 Publications


2020 | Published | Conference Paper | IST-REx-ID: 9040 | OA
P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, Online Conference, 2020, pp. 138–147.
[Published Version] View | Files available | DOI
 

2020 | Published | Book Chapter | IST-REx-ID: 9096
P. Schmid-Hempel and S. Cremer, “Parasites and Pathogens,” in Encyclopedia of Social Insects, C. Starr, Ed. Cham: Springer Nature, 2020.
View | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 9103 | OA
S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R. Grosu, “Lagrangian reachtubes: The next generation,” in Proceedings of the 59th IEEE Conference on Decision and Control, Jeju Islang, Korea (South), 2020, vol. 2020, pp. 1556–1563.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 9104 | OA
Z. Bao, L. Erdös, and K. Schnelli, “On the support of the free additive convolution,” Journal d’Analyse Mathematique, vol. 142. Springer Nature, pp. 323–348, 2020.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 9114 | OA
W. J. Hease et al., “Bidirectional electro-optic wavelength conversion in the quantum ground state,” PRX Quantum, vol. 1, no. 2. American Physical Society, 2020.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Book Chapter | IST-REx-ID: 9123
A. M. Westram, R. Faria, R. Butlin, and K. Johannesson, “Inversions and Evolution,” in eLS, Wiley, 2020.
View | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 9156 | OA
A. Akopyan and H. Edelsbrunner, “The weighted Gaussian curvature derivative of a space-filling diagram,” Computational and Mathematical Biophysics, vol. 8, no. 1. De Gruyter, pp. 74–88, 2020.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 9157 | OA
A. Akopyan and H. Edelsbrunner, “The weighted mean curvature derivative of a space-filling diagram,” Computational and Mathematical Biophysics, vol. 8, no. 1. De Gruyter, pp. 51–67, 2020.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 9160 | OA
H. Semerádová, J. C. Montesinos López, and E. Benková, “All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways,” Plant Communications, vol. 1, no. 3. Elsevier, 2020.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 9194 | OA
N. Lauk et al., “Perspectives on quantum transduction,” Quantum Science and Technology, vol. 5, no. 2. IOP Publishing, 2020.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 9195 | OA
N. J. Lambert, A. R. Rueda Sanchez, F. Sedlmeir, and H. G. L. Schwefel, “Coherent conversion between microwave and optical photons - An overview of physical implementations,” Advanced Quantum Technologies, vol. 3, no. 1. Wiley, 2020.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 9196
S. Hensel and T. Rosati, “Modelled distributions of Triebel–Lizorkin type,” Studia Mathematica, vol. 252, no. 3. Instytut Matematyczny, pp. 251–297, 2020.
[Preprint] View | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 9197
G. Avni, R. Ibsen-Jensen, and J. Tkadlec, “All-pay bidding games on graphs,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 02. Association for the Advancement of Artificial Intelligence, pp. 1798–1805, 2020.
[Preprint] View | DOI | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 9198 | OA
A. Shevchenko and M. Mondelli, “Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks,” in Proceedings of the 37th International Conference on Machine Learning, 2020, vol. 119, pp. 8773–8784.
[Published Version] View | Files available | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 9202 | OA
M. Garcia Soto and P. Prabhakar, “Hybridization for stability verification of nonlinear switched systems,” in 2020 IEEE Real-Time Systems Symposium, Houston, TX, USA , 2020, pp. 244–256.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 9208
F. Laccone et al., “A bending-active twisted-arch plywood structure: Computational design and fabrication of the FlexMaps Pavilion,” SN Applied Sciences, vol. 2, no. 9. Springer Nature, 2020.
View | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 9221 | OA
Q. Nguyen and M. Mondelli, “Global convergence of deep networks with one wide layer followed by pyramidal topology,” in 34th Conference on Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33, pp. 11961–11972.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Research Data | IST-REx-ID: 9222 | OA
G. Katsaros, “Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling.” Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 9249 | OA
R. Biswas, G. Largeteau-Skapin, R. Zrour, and E. Andres, “Digital objects in rhombic dodecahedron grid,” Mathematical Morphology - Theory and Applications, vol. 4, no. 1. De Gruyter, pp. 143–158, 2020.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 9299 | OA
J. Pach, G. Tardos, and G. Tóth, “Crossings between non-homotopic edges,” in 28th International Symposium on Graph Drawing and Network Visualization, Virtual, Online, 2020, vol. 12590, pp. 359–371.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed