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 |
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
2020 |
Published |
Book Chapter |
IST-REx-ID: 9096
Parasites and Pathogens
P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.
View
| DOI
P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.
2020 |
Published |
Conference Paper |
IST-REx-ID: 9103 |
Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
2020 |
Published |
Journal Article |
IST-REx-ID: 9104 |
On the support of the free additive convolution
Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348.
2020 |
Published |
Journal Article |
IST-REx-ID: 9114 |
Bidirectional electro-optic wavelength conversion in the quantum ground state
W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H.G.L. Schwefel, J.M. Fink, PRX Quantum 1 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H.G.L. Schwefel, J.M. Fink, PRX Quantum 1 (2020).
2020 |
Published |
Book Chapter |
IST-REx-ID: 9123
Inversions and Evolution
A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.
View
| DOI
A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 9156 |
The weighted Gaussian curvature derivative of a space-filling diagram
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 74–88.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 74–88.
2020 |
Published |
Journal Article |
IST-REx-ID: 9157 |
The weighted mean curvature derivative of a space-filling diagram
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 51–67.
[Published Version]
View
| Files available
| DOI
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 51–67.
2020 |
Published |
Journal Article |
IST-REx-ID: 9160 |
All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways
H. Semerádová, J.C. Montesinos López, E. Benková, Plant Communications 1 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Semerádová, J.C. Montesinos López, E. Benková, Plant Communications 1 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 9194 |
Perspectives on quantum transduction
N. Lauk, N. Sinclair, S. Barzanjeh, J.P. Covey, M. Saffman, M. Spiropulu, C. Simon, Quantum Science and Technology 5 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
N. Lauk, N. Sinclair, S. Barzanjeh, J.P. Covey, M. Saffman, M. Spiropulu, C. Simon, Quantum Science and Technology 5 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 9195 |
Coherent conversion between microwave and optical photons - An overview of physical implementations
N.J. Lambert, A.R. Rueda Sanchez, F. Sedlmeir, H.G.L. Schwefel, Advanced Quantum Technologies 3 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
N.J. Lambert, A.R. Rueda Sanchez, F. Sedlmeir, H.G.L. Schwefel, Advanced Quantum Technologies 3 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 9196
Modelled distributions of Triebel–Lizorkin type
S. Hensel, T. Rosati, Studia Mathematica 252 (2020) 251–297.
[Preprint]
View
| DOI
| WoS
| arXiv
S. Hensel, T. Rosati, Studia Mathematica 252 (2020) 251–297.
2020 |
Published |
Journal Article |
IST-REx-ID: 9197
All-pay bidding games on graphs
G. Avni, R. Ibsen-Jensen, J. Tkadlec, Proceedings of the AAAI Conference on Artificial Intelligence 34 (2020) 1798–1805.
[Preprint]
View
| DOI
| arXiv
G. Avni, R. Ibsen-Jensen, J. Tkadlec, Proceedings of the AAAI Conference on Artificial Intelligence 34 (2020) 1798–1805.
2020 |
Published |
Conference Paper |
IST-REx-ID: 9198 |
Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
[Published Version]
View
| Files available
| arXiv
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
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 |
Published |
Conference Paper |
IST-REx-ID: 9221 |
Global convergence of deep networks with one wide layer followed by pyramidal topology
Q. Nguyen, M. Mondelli, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 11961–11972.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
Q. Nguyen, M. Mondelli, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 11961–11972.
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 |
Conference Paper |
IST-REx-ID: 9299 |
Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.