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.
2032 Publications
2018 |
Published |
Journal Article |
IST-REx-ID: 312 |
On the optimality of the FCC lattice for soft sphere packing
H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
2018 |
Published |
Book |
IST-REx-ID: 3300
Handbook of Model Checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
View
| DOI
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
2018 |
Published |
Journal Article |
IST-REx-ID: 13473 |
Clues about the scarcity of stripped-envelope stars from the evolutionary state of the sdO+Be binary system φ Persei
A. Schootemeijer, Y.L.L. Götberg, S.E. de Mink, D. Gies, E. Zapartas, Astronomy & Astrophysics 615 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Schootemeijer, Y.L.L. Götberg, S.E. de Mink, D. Gies, E. Zapartas, Astronomy & Astrophysics 615 (2018).
2018 |
Published |
Conference Paper |
IST-REx-ID: 140 |
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
[Published Version]
View
| Files available
| DOI
| WoS
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
2018 |
Published |
Conference Paper |
IST-REx-ID: 141 |
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, M. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
2018 |
Published |
Conference Paper |
IST-REx-ID: 142 |
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
[Published Version]
View
| Files available
| DOI
| WoS
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
2018 |
Published |
Conference Paper |
IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View
| DOI
| WoS
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
2018 |
Published |
Conference Paper |
IST-REx-ID: 18282
ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks
Q. Qiu, J. Lezama, A.M. Bronstein, G. Sapiro, in:, European Conference on Computer Vision, Springer Nature, 2018.
View
| DOI
Q. Qiu, J. Lezama, A.M. Bronstein, G. Sapiro, in:, European Conference on Computer Vision, Springer Nature, 2018.
2018 |
Published |
Conference Paper |
IST-REx-ID: 18283
High frame-rate cardiac ultrasound imaging with deep learning
O. Senouf, S. Vedula, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich, D. Adam, D. Blondheim, in:, International Conference on Medical Image Computing and Computer Assisted Intervention, Springer Nature, 2018, pp. 126–134.
View
| DOI
O. Senouf, S. Vedula, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich, D. Adam, D. Blondheim, in:, International Conference on Medical Image Computing and Computer Assisted Intervention, Springer Nature, 2018, pp. 126–134.
2018 |
Published |
Conference Paper |
IST-REx-ID: 18284
High quality ultrasonic multi-line transmission through deep learning
S. Vedula, O. Senouf, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich, D. Adam, D. Gaitini, in:, First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Springer Nature, 2018, pp. 147–155.
View
| DOI
S. Vedula, O. Senouf, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich, D. Adam, D. Gaitini, in:, First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Springer Nature, 2018, pp. 147–155.
2018 |
Published |
Conference Paper |
IST-REx-ID: 18285
Deep learned phase mask for single image depth estimation and 3D scanning
H. Haim, S. Elmalem, R. Giryes, A.M. Bronstein, E. Marom, in:, Imaging and Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C, MATH, PcAOP), OSA, 2018.
View
| DOI
H. Haim, S. Elmalem, R. Giryes, A.M. Bronstein, E. Marom, in:, Imaging and Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C, MATH, PcAOP), OSA, 2018.
2018 |
Published |
Conference Paper |
IST-REx-ID: 183
Localizing faults in simulink/stateflow models with STL
E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, 2018, pp. 197–206.
View
| DOI
| WoS
E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, 2018, pp. 197–206.
2018 |
Published |
Conference Paper |
IST-REx-ID: 184 |
Shellability is NP-complete
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
[Published Version]
View
| Files available
| DOI
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
2018 |
Published |
Conference Paper |
IST-REx-ID: 185 |
Hanani-Tutte for approximating maps of graphs
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |
Published |
Journal Article |
IST-REx-ID: 124
The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system
S.R. Waitukaitis, D. Schrader, K. Nagashima, J. Davidson, T. Mccoy, H. Conolly Jr, D. Lauretta, Geochimica et Cosmochimica Acta 223 (2018) 405–421.
View
| DOI
S.R. Waitukaitis, D. Schrader, K. Nagashima, J. Davidson, T. Mccoy, H. Conolly Jr, D. Lauretta, Geochimica et Cosmochimica Acta 223 (2018) 405–421.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 200 |
Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
2018 |
Published |
Journal Article |
IST-REx-ID: 192 |
Rapid and reversible root growth inhibition by TIR1 auxin signalling
M. Fendrych, M. Akhmanova, J. Merrin, M. Glanc, S. Hagihara, K. Takahashi, N. Uchida, K.U. Torii, J. Friml, Nature Plants 4 (2018) 453–459.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M. Fendrych, M. Akhmanova, J. Merrin, M. Glanc, S. Hagihara, K. Takahashi, N. Uchida, K.U. Torii, J. Friml, Nature Plants 4 (2018) 453–459.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 149 |
Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
2018 |
Published |
Journal Article |
IST-REx-ID: 15233 |
Physics and astrophysics of strong magnetic field systems with eXTP
Santangelo A, Zane S, Feng H, Xu R, Doroshenko V, Bozzo E, Caiazzo I, Zelati FC, Esposito P, González-Caniulef D, Heyl J, Huppenkothen D, Israel G, Li Z, Lin L, Mignani R, Rea N, Orlandini M, Taverna R, Tong H, Turolla R, Baglio C, Bernardini F, Bucciantini N, Feroci M, Fürst F, Göğüş E, Güngör C, Ji L, Lu F, Manousakis A, Mereghetti S, Mikusincova R, Paul B, Prescod-Weinstein C, Younes G, Tiengo A, Xu Y, Watts A, Zhang S, Zhan S-N. 2018. Physics and astrophysics of strong magnetic field systems with eXTP. Science China Physics, Mechanics & Astronomy. 62(2), 29505.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Santangelo A, Zane S, Feng H, Xu R, Doroshenko V, Bozzo E, Caiazzo I, Zelati FC, Esposito P, González-Caniulef D, Heyl J, Huppenkothen D, Israel G, Li Z, Lin L, Mignani R, Rea N, Orlandini M, Taverna R, Tong H, Turolla R, Baglio C, Bernardini F, Bucciantini N, Feroci M, Fürst F, Göğüş E, Güngör C, Ji L, Lu F, Manousakis A, Mereghetti S, Mikusincova R, Paul B, Prescod-Weinstein C, Younes G, Tiengo A, Xu Y, Watts A, Zhang S, Zhan S-N. 2018. Physics and astrophysics of strong magnetic field systems with eXTP. Science China Physics, Mechanics & Astronomy. 62(2), 29505.
2018 |
Published |
Journal Article |
IST-REx-ID: 154 |
Stability of the 2+2 fermionic system with point interactions
T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).