A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. - Alberto Rugnone; Francesco Poli; Enrico Vicario; Chris D. Nugent; Elena Tamburini; Cristiano Paggetti (ICOST, 2007)

Symbolic model checking of real-time CTL properties over preemptive time petri nets. - Francesco Poli (2010)

Balancing Cryptoassets and Gold: A Weighted-Risk-Contribution Index for the Alternative Asset Space. - Aikaterini Koutsouri; Francesco Poli; Elise Alfieri; Michael Petch; Walter Distaso; William J. Knottenbelt (MARBLE, 2019)

Application of Static Parking Recharge to Multi Modal Fuel Cell Trains. - Luca Pugi; Carlo Carcasci; Francesco Poli; Alessandro Mati; Lorenzo Berzi (EUROCON, 2023)

Accelerating legacy applications with spatial computing devices. - Paolo Savio; Alberto Scionti; Giacomo Vitali; Paolo Viviani 001; Chiara Vercellino; Olivier Terzo; Huy-Nam Nguyen; Donato Magarielli; Ennio Spano; Michele Marconcini; Francesco Poli (J. Supercomput., 2023)

Autistic traits foster effective curiosity-driven exploration. - Francesco Poli; Maran Koolen; Carlos A. Velázquez-Vargas; Jessica Ramos-Sanchez; Marlene Meyer; Rogier B. Mars; Nanda Rommelse; Sabine Hunnius (PLoS Comput. Biol., 2024)