2016
- F. Cicirelli, L. Nigro. "Exploiting Social Capabilities in the Minority Game", ACM Transactions on Modeling and Computer Simulation (TOMACS), Vol. 27, n. 1, Article n. 6, 2016.
- F. Cicirelli, L. Nigro, P.F. Sciammarella. "Agent-based Model Continuity of Stochastic Time Petri nets", in Proc. of 30th ECMS 2016, Regensburg, Germany, May 31th - June 3rd, 2016.
- F. Cicirelli, L. Nigro, P.F. Sciammarella. "Model Checking Mutual Exclusion Algorithms Using UPPAAL",
Advances in Intelligent Systems and Computing - ISSN 2194-5357, pp. 203-215, Springer, 2016.
- F. Cicirelli, L. Nigro, P.F. Sciammarella."Agents+Control: A Methodology for CPSs", in Proc. of IEEE/ACM 20th Int. Symp. on
Distributed Simulation and Real Time Application, 21-23 September, pp. 45-52, 2016.
- F. Cicirelli, L. Nigro."Modelling and Verification of Mutual Exclusion Algorithms", in Proc. of IEEE/ACM 20th Int. Symp. on
Distributed Simulation and Real Time Application, 21-23 September, pp. 136-144, 2016.
- F. Cicirelli, L. Nigro. "Control Centric Framework for Model Continuity in Time-Dependent Multi-Agent Systems". Concurrency and Computation: Practice and Experience, Volume 28, n. 12,
pp. 3333-3356, Wiley, 2016.