Una selezione della produzione scientifica internazionale.
Flavio Corradini, Flavio Gerosa, Marco Gori, Carlo Lucheroni, Marco Piangerelli, Martina Zannotti
A systematic literature review of spatio-temporal graph neural network models for time series forecasting and classificationNeural Networks 195, 2026Flavio Corradini, Matteo Leonesi, Marco Piangerelli
State of the art and future directions of Small Language Models: A systematic reviewBig Data and Cognitive Computing 9, 2025Flavio Corradini, Vincenzo Nucci, Marco Piangerelli, Barbara Re
Online clustering with interpretable drift adaptation to mixed featuresIntell. Syst. Appl. Vol. 26, 2025Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
libmg: A Python library for programming graph neural networks in μGSci. Comput. Program. Vol. 238, 2024Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography and Conversation ModelsBusiness and Information Systems Engineering, vol. 6, pp. 43-66, 2024Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A BPMN-driven framework for Multi-Robot System developmentRobotics and Autonomous Systems, vol. 160, 2023Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Engineering Trustable and Auditable Choreography-based Systems Using BlockchainACM Trans. Manag. Inf. Syst. vol. 13(3), 2022Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logse-Gov. 2021, pp. 301-314, 2021Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, and Francesco Tiezzi
Safeness and Soundness Checking in Multi-Layer BPMN 2.0 CollaborationsThe Journal of Systems & Software, vol. 166, 2020Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks - A SurveyAAAI Spring Symposium on Combining Machine Learning with Knowledge Engineering, vol. 12, 2019Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
Business Process Flexibility - A Systematic Literature ReviewInformation Systems Frontiers, vol. 20, pp. 343-371, 2018Luis M. Álvarez Sabucedo, Luis E. Anido Rifón, Flavio Corradini, Alberto Polzonetti, Barbara Re
Knowledge-based platform for e-government agents: a web based solution using semantic technologiesExpert Systems with Applications, vol. 37, pp. 3647-3656, 2010Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Encheva, Ezio Bartocci
Learning and detecting emergent behavior in networks of cardiac myocytesCommunications of the ACM, vol. 52, pp. 97-105, 2009Nicola Cannata, Flavio Corradini, Emanuela Merelli
Multiagent modelling and simulation of carbohydrate oxidation in cellJournal of Modelling, Identification and Control, vol. 3, pp. 17-28, 2008Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer
A Characterization of Regular Expressions under BisimulationJournal of the ACM, vol. 54 (2), pp. 1-28, 2007Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
Separation of synchronous and asynchronous communication via testingTheoretical Computer Science, vol. 386(3), pp. 218-235, 2007Jos C. M. Baeten, Flavio Corradini
Regular Expressions in Process AlgebraIEEE Symposium on Logic in Computer Science, LICS 2005, pp. 12-19, 2005Flavio Corradini, Gian Luigi Ferrari, Marco Pistore
On the semantics of durational actionsTheoretical Computer Science, vol. 269(1-2), pp. 47-82, 2001Antonella Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini
Deriving Test Plans from Architectural DescriptionsInternational Conference on Software Engineering, ICSE 2000, pp. 220-229, 2000Flavio Corradini, Paola Inverardi, Alexander L. Wolf
On Relating Functional Specification to Architectural Specification: A Case StudyScience of Computer Programming, vol. 59, pp. 171-208, 2006Flavio Corradini, Walter Vogler, Lars Jenner
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFASActa Informatica, vol. 38, pp. 735-792, 2002Flavio Corradini
Absolute versus Relative Time in Process AlgebrasInformation and Computation, vol. 156(1-2), pp. 122-172, 2000Flavio Corradini, Rocco De Nicola, Anna Labella
Models of Nondeterministic Regular ExpressionsJournal of Computer and Systems Science, vol. 59(3), pp. 412-449, 1999Flavio Corradini
On Performance Congruences for Process AlgebrasInformation and Computation, vol. 145(2), pp. 191-230, 1998Flavio Corradini, Roberto Gorrieri, Marco Roccetti
Performance Preorder and Competitive EquivalenceActa Informatica, vol. 34(11), pp. 805-835, 1997Flavio Corradini, Rocco De Nicola
Distribution and Locality of Concurrent SystemsInternational Colloquium on Automata, Languages, and Programming, ICALP 1994, pp. 154-165, 1994