Items where authors include "Ghasemi, M."

Article

Ghasemi, M., Li, X., Tang, C. et al. (12 more authors) (2023) Effective Suppressing Phase Segregation of Mixed-Halide Perovskite by Glassy Metal-Organic Frameworks. Small, 19 (50). 2304236. ISSN 1613-6810

Li, X., Huang, W., Krajnc, A. orcid.org/0000-0003-2249-602X et al. (21 more authors) (2023) Interfacial alloying between lead halide perovskite crystals and hybrid glasses. Nature Communications, 14. 7612. ISSN 2041-1723

Dimitrova, R., Ghasemi, M. and Topcu, U. (2020) Reactive synthesis with maximum realizability of linear temporal logic specifications. Acta Informatica, 57 (1-2). pp. 107-135. ISSN 0001-5903

Proceedings Paper

Dimitrova, R., Ghasemi, M. and Topcu, U. (2018) Maximum realizability for linear temporal logic specifications. In: Lahiri, S.K. and Wang, C., (eds.) Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018. Automated Technology for Verification and Analysis, 07-10 Oct 2018, Los Angeles, CA, USA. Lecture Notes in Computer Science (11138). Springer , pp. 458-475. ISBN 9783030010898