FALASCHI MORENO

Office hours

  • Tuesday from 11:00 to 13:00
    Place: Dipartimento Ingegneria dell'Informazione e Scienze Matematiche, Stanza 204, palazzo San Niccolò

Teaching activities

Completion accademic year: 2022/2023

Course year: 1 Second cycle degree (Laurea Magistrale) ARTIFICIAL INTELLIGENCE AND AUTOMATION ENGINEERING A.Y. 2022/2023
Course year: 1 First cycle degree (DM 270) MATHEMATICS A.Y. 2022/2023

Completion accademic year: 2021/2022

Course year: 1 Second cycle degree (Laurea Magistrale) ARTIFICIAL INTELLIGENCE AND AUTOMATION ENGINEERING A.Y. 2021/2022
Course year: 1 First cycle degree (DM 270) MATHEMATICS A.Y. 2021/2022

Completion accademic year: 2020/2021

Course year: 1 Second cycle degree (Laurea Magistrale) ARTIFICIAL INTELLIGENCE AND AUTOMATION ENGINEERING A.Y. 2020/2021
Course year: 1 First cycle degree (DM 270) MATHEMATICS A.Y. 2020/2021

Completion accademic year: 2019/2020

Course year: 1 Second cycle degree (Laurea Magistrale) COMPUTER AND AUTOMATION ENGINEERING A.Y. 2019/2020
Course year: 1 First cycle degree (DM 270) MATHEMATICS A.Y. 2019/2020

Completion accademic year: 2018/2019

Course year: 1 Second cycle degree (Laurea Magistrale) COMPUTER AND AUTOMATION ENGINEERING A.Y. 2018/2019
Course year: 1 First cycle degree (DM 270) MATHEMATICS A.Y. 2018/2019

Research

Ultime pubblicazioni:

  • Brodo, L., Bruni, R., & Falaschi, M. (2021). A logical and graphical framework for reaction systems. THEORETICAL COMPUTER SCIENCE, 875, 1-27 [10.1016/j.tcs.2021.03.024]. - view more
  • Brodo, L., Bruni, R., & Falaschi, M. (2021). A process algebraic approach to reaction systems. THEORETICAL COMPUTER SCIENCE, 881, 62-82 [10.1016/j.tcs.2020.09.001]. - view more
  • Brodo, L., Bruni, R., Falaschi, M., Gori, R., Levi, F., & Milazzo, P. (2021). Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. In Theory and Practice of Natural Computing. TPNC 2021 (pp.15-32). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-90425-8_2]. - view more
  • Brodo, L., Bruni, R., & Falaschi, M. (2021). SOS Rules for Equivalences of Reaction Systems. In Functional and Constraint Logic Programming, WFLP 2020 (pp.3-21). Cham : Springer [10.1007/978-3-030-75333-7_1]. - view more
  • Falaschi, M., & Palma, G. (2020). A Logic Programming Approach to Reaction Systems. In Recent Developments in the Design and Implementation of Programming Languages (pp.1-15). Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum für Informatik [10.4230/OASIcs.Gabbrielli.6]. - view more