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.
4526 Publications
2018 | Conference Paper | IST-REx-ID: 183
Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:10.1145/3178126.3178131
View
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 566 | 
Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals Applied Probability . 2018;28(1):148-203. doi:10.1214/17-AAP1302
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 106 |
Akopyan A, Petrunin A. Long geodesics on convex surfaces. Mathematical Intelligencer. 2018;40(3):26-31. doi:10.1007/s00283-018-9795-5
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Research Data Reference | IST-REx-ID: 9810
Chaudhry W, Pleska M, Shah N, et al. Numerical data used in figures. 2018. doi:10.1371/journal.pbio.2005971.s008
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 275 |
Brown M, Johnson L, Leone D, et al. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 2018;217(6):2205-2221. doi:10.1083/jcb.201612051
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 158 |
Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 2018;4(8):548-553. doi:10.1038/s41477-018-0204-z
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 152 |
Fiedorczuk K, Sazanov LA. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 2018;28(10):835-867. doi:10.1016/j.tcb.2018.06.006
View
| Files available
| DOI
| WoS
2018 | Conference Paper | IST-REx-ID: 310 |
Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter. In: ACM; 2018:2341-2356. doi:10.1137/1.9781611975031.151
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 436 |
Barzanjeh S, Aquilina M, Xuereb A. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 2018;120(6). doi:10.1103/PhysRevLett.120.060601
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 5858 |
Hross S, Theis FJ, Sixt MK, Hasenauer J. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0600
View
| Files available
| DOI
| WoS