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.

2030 Publications


2018 | Published | Journal Article | IST-REx-ID: 13473 | OA
Schootemeijer A, Götberg YLL, de Mink SE, Gies D, Zapartas E. 2018. Clues about the scarcity of stripped-envelope stars from the evolutionary state of the sdO+Be binary system φ Persei. Astronomy & Astrophysics. 615, A30.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 140 | OA
Frehse G, Giacobbe M, Henzinger TA. 2018. Space-time interpolants. CAV: Computer Aided Verification, LNCS, vol. 10981, 468–486.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee K, Henzinger M, Loitzenbauer V, Oraee S, Toman V. 2018. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. CAV: Computer Aided Verification, LNCS, vol. 10982, 178–197.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
Kong H, Bartocci E, Henzinger TA. 2018. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. CAV: Computer Aided Verification, LNCS, vol. 10981, 449–467.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 144
Ferrere T, Henzinger TA, Saraç E. 2018. A theory of register monitors. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. Part F138033, 394–403.
View | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 18282
Qiu Q, Lezama J, Bronstein AM, Sapiro G. 2018. ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks. European Conference on Computer Vision. ECCV: European Conference on Computer Vision, LNCS, vol. 11206.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18283
Senouf O, Vedula S, Zurakhov G, Bronstein AM, Zibulevsky M, Michailovich O, Adam D, Blondheim D. 2018. High frame-rate cardiac ultrasound imaging with deep learning. International Conference on Medical Image Computing and Computer Assisted Intervention. MICCAI: Medical Image Computing and Computer Assisted Intervention, LNCS, vol. 11070, 126–134.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18284
Vedula S, Senouf O, Zurakhov G, Bronstein AM, Zibulevsky M, Michailovich O, Adam D, Gaitini D. 2018. High quality ultrasonic multi-line transmission through deep learning. First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018. MLMIR: Workshop on Machine Learning for Medical Image Reconstruction, LNCS, vol. 11074, 147–155.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18285
Haim H, Elmalem S, Giryes R, Bronstein AM, Marom E. 2018. Deep learned phase mask for single image depth estimation and 3D scanning. Imaging and Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C, MATH, pcAOP). COSI: Computational Optical Sensing and Imaging vol. Part F99-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. HSCC: Hybrid Systems - Computation and Control, HSCC Proceedings, , 197–206.
View | DOI | WoS
 

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. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 41:1-41:16.
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 185 | OA
Fulek R, Kynčl J. 2018. Hanani-Tutte for approximating maps of graphs. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 39.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 124
Waitukaitis SR, Schrader D, Nagashima K, Davidson J, Mccoy T, Conolly Jr H, Lauretta D. 2018. The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system. Geochimica et Cosmochimica Acta. 223, 405–421.
View | DOI
 

2018 | Published | Thesis | PhD | IST-REx-ID: 200 | OA
Ringbauer H. 2018. Inferring recent demography from spatial genetic structure. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 192 | OA
Fendrych M, Akhmanova M, Merrin J, Glanc M, Hagihara S, Takahashi K, Uchida N, Torii KU, Friml J. 2018. Rapid and reversible root growth inhibition by TIR1 auxin signalling. Nature Plants. 4(7), 453–459.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Thesis | PhD | IST-REx-ID: 149 | OA
Alt J. 2018. Dyson equation and eigenvalue statistics of random matrices. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 15233 | OA
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
 

2018 | Published | Journal Article | IST-REx-ID: 154 | OA
Moser T, Seiringer R. 2018. Stability of the 2+2 fermionic system with point interactions. Mathematical Physics Analysis and Geometry. 21(3), 19.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Book Chapter | IST-REx-ID: 10864 | OA
Kazda A, Kozik M, McKenzie R, Moore M. 2018.Absorption and directed Jónsson terms. In: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. vol. 16, 203–220.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 10882 | OA
Uijlings J, Konyushkova K, Lampert C, Ferrari V. 2018. Learning intelligent dialogs for bounding box annotation. 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVF: Conference on Computer Vision and Pattern Recognition, 9175–9184.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed