2020

• C. Nigro, L. Nigro. "Lock-free Parallel Computing using Theatre", Int. Congress on Information and Communication Technology (ICICT 2020) ; London (UK), 20-21 February, Springer, Advances in Intelligent Systems and Computing, ISBN Number 2194-5357, http://www.springer.com/series/11156, 2020.
• L. Nigro. "Modelling and analysis of cyber-physical systems using Deterministic Theatre", Fourth IEEE World Conference on Smart Trends in Systems, Security and Sustainability (WorldS4 2020); London (UK), 27-28 July, forthcoming proceedings by IEEE Xplore, 2020.
• F. Cicirelli, L. Nigro. "Model checking actor-based cyber-physical systems", 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DSRT 2020), Prague, 14-16 September, 2020.
• L. Nigro. "Parallel Theatre: An actor framework in Java for high performance computing." Journal of Simulation Modelling Practice and Theory, https://authors.elsevier.com/a/1bkkQ,ZhUETglZ, doi:10.1016/j.simpat.2020.102189, 2020.
• F. Cicirelli, L. Nigro. "Using Deterministic Theatre for Energy Management in Smart Environments." Chapter 12 of Springer book "Intelligent Sustainable Systems", Springer ASST Series on Advances in Sustainability Science and Technology, ISSN:2662-6829, 2020.
• L. Nigro. "2020 SoSyMo Best Reviewer Award: Top 1% SoSyMo Reviewers for 2020", J. of Software and System Modeling, Springer, https://drive.google.com/file/d/1SrZfSZlHjMTgCvG8KOLqH2YjjBGjSJSX/view?usp=sharing, 2020.