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.
2079 Publications
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 |
Book Chapter |
IST-REx-ID: 37 |
Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
[Submitted Version]
View
| Files available
| DOI
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
2018 |
Published |
Journal Article |
IST-REx-ID: 398
Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
View
| DOI
| WoS
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
2018 |
Published |
Journal Article |
IST-REx-ID: 407
Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
View
| DOI
| WoS
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
2018 |
Published |
Journal Article |
IST-REx-ID: 425 |
Embeddability in the 3-Sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
earlier version | 2018 |
Published |
Conference Paper |
IST-REx-ID: 433 |
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
2018 |
Published |
Journal Article |
IST-REx-ID: 17575 |
Constraining stellar-mass black hole mergers in AGN disks detectable with LIGO
B. McKernan, K.E. Saavik Ford, J. Bellovary, N.W.C. Leigh, Z. Haiman, B. Kocsis, W. Lyra, M.-M. Mac Low, B. Metzger, M. O’Dowd, S. Endlich, D.J. Rosen, The Astrophysical Journal 866 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. McKernan, K.E. Saavik Ford, J. Bellovary, N.W.C. Leigh, Z. Haiman, B. Kocsis, W. Lyra, M.-M. Mac Low, B. Metzger, M. O’Dowd, S. Endlich, D.J. Rosen, The Astrophysical Journal 866 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 17640 |
Gravitational waves from supermassive black hole binaries in ultraluminous infrared galaxies
K. Inayoshi, K. Ichikawa, Z. Haiman, The Astrophysical Journal Letters 863 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Inayoshi, K. Ichikawa, Z. Haiman, The Astrophysical Journal Letters 863 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 17679 |
Low-density, radiatively inefficient rotating-accretion flow on to a black hole
K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the Royal Astronomical Society 476 (2018) 1412–1426.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the Royal Astronomical Society 476 (2018) 1412–1426.
2018 |
Published |
Journal Article |
IST-REx-ID: 17687 |
Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories
K. Inayoshi, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 479 (2018) 4017–4027.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Inayoshi, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 479 (2018) 4017–4027.
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.
earlier version | 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 |
Journal Article |
IST-REx-ID: 76 |
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
[Published Version]
View
| Files available
| DOI
| WoS
C. Lenzen, J. Rybicki, Distributed Computing (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 77 |
A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 7715
Imprint of assortative mating on the human genome
L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski, J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J. Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
View
| DOI
L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski, J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J. Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
2018 |
Published |
Conference Paper |
IST-REx-ID: 78 |
Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.