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.
591 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 | Journal Article | IST-REx-ID: 36 | 
Vu, L., Zhu, T., Verstraeten, I., Van De Cotte, B., Gevaert, K., & De Smet, I. (2018). Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/ery204
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 384 |
Hönigschmid, P., Bykova, N., Schneider, R., Ivankov, D., & Frishman, D. (2018). Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evy049
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 394 |
Mahmood, F., Alpichshev, Z., Lee, Y., Kong, J., & Gedik, N. (2018). Observation of exciton-exciton interaction mediated valley Depolarization in Monolayer MoSe2. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.7b03953
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 397
Arbel Raviv, M., & Brown, T. A. (2018). Harnessing epoch-based reclamation for efficient range queries (Vol. 53, pp. 14–27). Presented at the PPoPP: Principles and Practice of Parallel Programming, Vienna, Austria: ACM. https://doi.org/10.1145/3178487.3178489
View
| DOI
| WoS
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: 401 |
Qin, X., Hannezo, E. B., Mangeat, T., Liu, C., Majumder, P., Liu, J., … Wang, X. (2018). A biochemical network controlling basal myosin oscillation. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-018-03574-5
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 403 |
Cavallari, N., Nibau, C., Fuchs, A., Dadarou, D., Barta, A., & Doonan, J. (2018). The cyclin‐dependent kinase G group defines a thermo‐sensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A. The Plant Journal. Wiley. https://doi.org/10.1111/tpj.13914
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 404 |
Fischer, J. L., & Grün, G. (2018). Existence of positive solutions to stochastic thin-film equations. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/16M1098796
[Published Version]
View
| Files available
| 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 | Book Chapter | IST-REx-ID: 408
Trinh, H., Verstraeten, I., & Geelen, D. (2018). In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In Root Development (Vol. 1761, pp. 95–102). Springer Nature. https://doi.org/10.1007/978-1-4939-7747-5_7
View
| DOI
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 410 |
Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox, D. (2018). A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-018-23247-z
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Book Chapter | IST-REx-ID: 411
Karampelias, M., Tejos, R., Friml, J., & Vanneste, S. (2018). Optimized whole mount in situ immunolocalization for Arabidopsis thaliana root meristems and lateral root primordia. In D. Ristova & E. Barbez (Eds.), Root Development. Methods and Protocols (Vol. 1761, pp. 131–143). Springer. https://doi.org/10.1007/978-1-4939-7747-5_10
View
| DOI
2018 | Published | Journal Article | IST-REx-ID: 42 |
Cucinotta, M., Manrique, S., Cuesta, C., Benková, E., Novák, O., & Colombo, L. (2018). Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/ery281
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 421 |
Dasbiswas, K., Hannezo, E. B., & Gov, N. (2018). Theory of eppithelial cell shape transitions induced by mechanoactive chemical gradients. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2017.12.022
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 18273 |
Baskin, C., Liss, N., Zheltonozhskii, E., Bronstein, A. M., & Mendelson, A. (2018). Streaming architecture for large-scale quantized neural networks on an FPGA-based dataflow platform. In 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). Vancouver, BC, Canada: IEEE. https://doi.org/10.1109/ipdpsw.2018.00032
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 18276 |
Vestner, M., Lahner, Z., Boyarski, A., Litany, O., Slossberg, R., Remez, T., … Cremers, D. (2018). Efficient deformable shape correspondence via kernel matching. In 2017 International Conference on 3D Vision (3DV) (pp. 517–526). Qingdao, China: IEEE. https://doi.org/10.1109/3dv.2017.00065
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 18402
Remez, T., Litany, O., Giryes, R., & Bronstein, A. M. (2018). Deep class-aware image denoising. In 2017 IEEE International Conference on Image Processing (ICIP) (pp. 1895–1899). Beijing, China: IEEE. https://doi.org/10.1109/icip.2017.8296611
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18270 |
Litany, O., Bronstein, A. M., Bronstein, M., & Makadia, A. (2018). Deformable shape completion with graph convolutional autoencoders. In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Salt Lake City, UT, United States: IEEE. https://doi.org/10.1109/cvpr.2018.00202
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 18272
Giryes, R., Eldar, Y. C., Bronstein, A. M., & Sapiro, G. (2018). The learned inexact project gradient descent algorithm. In 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Calgary, AB, Canada: IEEE. https://doi.org/10.1109/icassp.2018.8462136
View
| DOI