FALASCHI MORENO

Orari di ricevimento

  • Martedi' dalle 11:00 alle 13:00
    Luogo: Dipartimento Ingegneria dell'Informazione e Scienze Matematiche, Stanza 204, palazzo San Niccolò

Attività didattica

ANNO ACCADEMICO DI ESPLETAMENTO: 2024/2025

Anno di corso: 1 Corso di Laurea Magistrale ARTIFICIAL INTELLIGENCE AND AUTOMATION ENGINEERING A.A. 2024/2025
Anno di corso: 1 Laurea triennale (DM 270) MATEMATICA A.A. 2024/2025

ANNO ACCADEMICO DI ESPLETAMENTO: 2023/2024

Anno di corso: 1 Corso di Laurea Magistrale ARTIFICIAL INTELLIGENCE AND AUTOMATION ENGINEERING A.A. 2023/2024
Anno di corso: 1 Laurea triennale (DM 270) MATEMATICA A.A. 2023/2024

ANNO ACCADEMICO DI ESPLETAMENTO: 2022/2023

Anno di corso: 1 Corso di Laurea Magistrale ARTIFICIAL INTELLIGENCE AND AUTOMATION ENGINEERING A.A. 2022/2023
Anno di corso: 1 Laurea triennale (DM 270) MATEMATICA A.A. 2022/2023

ANNO ACCADEMICO DI ESPLETAMENTO: 2021/2022

Anno di corso: 1 Corso di Laurea Magistrale ARTIFICIAL INTELLIGENCE AND AUTOMATION ENGINEERING A.A. 2021/2022
Anno di corso: 1 Laurea triennale (DM 270) MATEMATICA A.A. 2021/2022

ANNO ACCADEMICO DI ESPLETAMENTO: 2020/2021

Anno di corso: 1 Corso di Laurea Magistrale ARTIFICIAL INTELLIGENCE AND AUTOMATION ENGINEERING A.A. 2020/2021
Anno di corso: 1 Laurea triennale (DM 270) MATEMATICA A.A. 2020/2021

Attività di ricerca

Ultime pubblicazioni:

  • Brodo, L., Bruni, R., Falaschi, M. (2024). A framework for monitored dynamic slicing of reaction systems. NATURAL COMPUTING [10.1007/s11047-024-09976-3]. - dettaglio
  • Ballis, D., Brodo, L., Falaschi, M. (2024). Modeling and Analyzing Reaction Systems in Maude. ELECTRONICS, 13(6) [10.3390/electronics13061139]. - dettaglio
  • Brodo, L., Bruni, R., Falaschi, M. (2023). Verification of Reaction Systems Processes. In A.C. Vincenzo Arceri (a cura di), Challenges of Software Verification (pp. 243-264). Singapore : Springer [10.1007/978-981-19-9601-6_13]. - dettaglio
  • Diligenti, M., Giannini, F., Fioravanti, S., Graziani, C., Falaschi, M., Marra, G. (2023). Enhancing Embedding Representations of Biomedical Data using Logic Knowledge. In 2023 International Joint Conference on Neural Networks (IJCNN) (pp.1-8). New York : IEEE [10.1109/IJCNN54540.2023.10191706]. - dettaglio
  • Brodo, L., Bruni, R., Falaschi, M., Gori, R., Levi, F., Milazzo, P. (2023). Quantitative extensions of reaction systems based on SOS semantics. NEURAL COMPUTING & APPLICATIONS, 35(9), 6335-6359 [10.1007/s00521-022-07935-6]. - dettaglio