Domenico PARENTE | Publications
Domenico PARENTE Publications
| 2020 | |
| Articolo in rivista | |
| Model-checking graded computation-tree logic with finite path semantics THEORETICAL COMPUTER SCIENCE. Vol. 806. Pag.577-586 ISSN:0304-3975. | |
| Murano, Aniello; Parente, Mimmo; Rubin, Sasha; Sorrentino, Loredana | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2019.09.021 Codice identificativo ISI: WOS:000510523000041 Codice identificativo SCOPUS: 2-s2.0-85072556537 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Articolo in rivista | |
| Risk assessment of smart substation relay protection system based on markov model and risk transfer network ENERGIES. Vol. 13. Pag.1777-1792 ISSN:1996-1073. | |
| Nan, D.; Wang, W.; Mahfoud, R. J.; Alhelou, H. H.; Siano, P.; Parente, M.; Zhang, L. | |
| Digital Object Identifier (DOI): 10.3390/en13071777 Codice identificativo ISI: WOS:000537688400246 Codice identificativo SCOPUS: 2-s2.0-85083624616 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Articolo in rivista | |
| Improved hybridization of evolutionary algorithms with a sensitivity-based decision-making technique for the optimal planning of shunt capacitors in radial distribution systems APPLIED SCIENCES. Vol. 10. Pag.1384-1409 ISSN:2076-3417. | |
| Mahfoud, R. J.; Alkayem, N. F.; Sun, Y.; Alhelou, H. H.; Siano, P.; Parente, M. | |
| Digital Object Identifier (DOI): 10.3390/app10041384 Codice identificativo ISI: WOS:000525287900191 Codice identificativo SCOPUS: 2-s2.0-85081197593 | |
| Show it in Product Database (IRIS) |
