City Research Online

Items where Author is "Zhu, S."

Up a level
Group by: Type | No Grouping
Number of items: 8.

Aminof, B., De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978 (2025). ltl Synthesis Under Environment Specifications for Reachability and Safety Properties. Information and Computation, 303, article number 105255. doi: 10.1016/j.ic.2024.105255

De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978, Tabajara, L. M. (2022). Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods in System Design, 61(2-3), pp. 139-163. doi: 10.1007/s10703-023-00413-2

Song, G., Zhu, S., Zhang, W. (2022). Automatic rock classification of LIBS 1 combined with 1DCNN based on improved 2 Bayesian optimization. Applied Optics, 61(35), pp. 10603-10614. doi: 10.1364/AO.472220

Clare, A. ORCID: 0000-0002-4180-6778, Sherman, M., O'Sullivan, N. (2022). Manager characteristics: Predicting fund performance. International Review of Financial Analysis, 80, article number 102049. doi: 10.1016/j.irfa.2022.102049

De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978, M. Tabajara, L. (2021). Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}, 19-27 Aug 2021, Montreal, Canada. doi: 10.24963/ijcai.2021/255

Cortés-Ciriano, I., Lee, J. J-K., Xi, R. (2020). Comprehensive analysis of chromothripsis in 2,658 human cancers using whole-genome sequencing. Nature Genetics, 52(3), pp. 331-341. doi: 10.1038/s41588-019-0576-7

Campbell, P. J., Getz, G., Korbel, J. O. (2020). Pan-cancer analysis of whole genomes. NATURE, 578(7793), pp. 82-93. doi: 10.1038/s41586-020-1969-6

Clare, A. ORCID: 0000-0002-4180-6778, O’Sullivan, N., Sherman, M. (2018). The Performance of US Bond Mutual Funds. International Review of Financial Analysis, 61, pp. 1-8. doi: 10.1016/j.irfa.2018.12.001

This list was generated on Tue Jun 24 03:39:38 2025 UTC.