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
Clarke, E. M., Henzinger, T. A., Veith, H., & Bloem, R. (2018). Handbook of Model Checking (1st ed.). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-10575-8
View | DOI
 

2018 | Published | Book Chapter | IST-REx-ID: 37 | OA
Zagórski, M. P., & Kicheva, A. (2018). Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In Morphogen Gradients (Vol. 1863, pp. 47–63). Springer Nature. https://doi.org/10.1007/978-1-4939-8772-6_4
[Submitted Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 398
Dodier, P., Frischer, J., Wang, W., Auzinger, T., Mallouhi, A., Serles, W., … Bavinzski, G. (2018). Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. Elsevier. https://doi.org/10.1016/j.wneu.2018.02.096
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 407
Kubiasová, K., Mik, V., Nisler, J., Hönig, M., Husičková, A., Spíchal, L., … Plíhalová, L. (2018). Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry. Elsevier. https://doi.org/10.1016/j.phytochem.2018.02.015
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 425 | OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2018). Embeddability in the 3-Sphere is decidable. Journal of the ACM. ACM. https://doi.org/10.1145/3078632
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2018 | Published | Conference Paper | IST-REx-ID: 433 | OA
Fulek, R., & Pach, J. (2018). Thrackles: An improved upper bound (Vol. 10692, pp. 160–166). Presented at the GD: Graph Drawing and Network Visualization, Boston, MA, United States: Springer. https://doi.org/10.1007/978-3-319-73915-1_14
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 17575 | OA
McKernan, B., Saavik Ford, K. E., Bellovary, J., Leigh, N. W. C., Haiman, Z., Kocsis, B., … Rosen, D. J. (2018). Constraining stellar-mass black hole mergers in AGN disks detectable with LIGO. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/aadae5
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 17640 | OA
Inayoshi, K., Ichikawa, K., & Haiman, Z. (2018). Gravitational waves from supermassive black hole binaries in ultraluminous infrared galaxies. The Astrophysical Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/aad8ad
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 17679 | OA
Inayoshi, K., Ostriker, J. P., Haiman, Z., & Kuiper, R. (2018). Low-density, radiatively inefficient rotating-accretion flow on to a black hole. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty276
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 17687 | OA
Inayoshi, K., Li, M., & Haiman, Z. (2018). Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty1720
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Conference Paper | IST-REx-ID: 18282
Qiu, Q., Lezama, J., Bronstein, A. M., & Sapiro, G. (2018). ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks. In European Conference on Computer Vision (Vol. 11206). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-01216-8_27
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18283
Senouf, O., Vedula, S., Zurakhov, G., Bronstein, A. M., Zibulevsky, M., Michailovich, O., … Blondheim, D. (2018). High frame-rate cardiac ultrasound imaging with deep learning. In International Conference on Medical Image Computing and Computer Assisted Intervention (Vol. 11070, pp. 126–134). Granada, Spain: Springer Nature. https://doi.org/10.1007/978-3-030-00928-1_15
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18284
Vedula, S., Senouf, O., Zurakhov, G., Bronstein, A. M., Zibulevsky, M., Michailovich, O., … Gaitini, D. (2018). High quality ultrasonic multi-line transmission through deep learning. In First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018 (Vol. 11074, pp. 147–155). Granada, Spain: Springer Nature. https://doi.org/10.1007/978-3-030-00129-2_17
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18285
Haim, H., Elmalem, S., Giryes, R., Bronstein, A. M., & Marom, E. (2018). Deep learned phase mask for single image depth estimation and 3D scanning. In Imaging and Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C, MATH, pcAOP) (Vol. Part F99-COSI 2018). Orlando, FL, United States: OSA. https://doi.org/10.1364/cosi.2018.cw3b.3
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 183
Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems - Computation and Control, Porto, Portugal: Association for Computing Machinery. https://doi.org/10.1145/3178126.3178131
View | DOI | WoS
 

earlier version | 2018 | Published | Conference Paper | IST-REx-ID: 184 | OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2018). Shellability is NP-complete (Vol. 99, p. 41:1-41:16). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.41
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 76 | OA
Lenzen, C., & Rybicki, J. (2018). Near-optimal self-stabilising counting and firing squads. Distributed Computing. Springer. https://doi.org/10.1007/s00446-018-0342-6
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 77 | OA
Watzinger, H., Kukucka, J., Vukušić, L., Gao, F., Wang, T., Schäffler, F., … Katsaros, G. (2018). A germanium hole spin qubit. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-018-06418-4
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 7715
Yengo, L., Robinson, M. R., Keller, M. C., Kemper, K. E., Yang, Y., Trzaskowski, M., … Visscher, P. M. (2018). Imprint of assortative mating on the human genome. Nature Human Behaviour. Springer Nature. https://doi.org/10.1038/s41562-018-0476-3
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 78 | OA
Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., & Asarin, E. (2018). Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China: Springer. https://doi.org/10.1007/978-3-030-00151-3_13
[Submitted Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed