| Home | [1–10] << 11 12 13 14 15 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI  |
Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Tortora, L.; Meynen, G.; Bijlsma, J.; Tronci, E.; Ferracuti, S. | Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective | 2020 | Frontiers in Psychology | 1664-1078 | 10.3389/fpsyg.2020.00220 | 11 | 220 | ||
| Pappagallo, A.; Massini, A.; Tronci, E. | Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review | 2020 | Information | 10.3390/info11120588 | 11 | ||||
| Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | Simulator Semantics for System Level Formal Verification | 2015 | Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), | 10.4204/EPTCS.193.7 |