Serenella Valiani

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Science Teachers

Swarm Intelligence

Foraging Theory

Top Venues

Int. J. Softw. Tools Technol. Transf.

A Journey from Process Algebra via Timed Automata to Model Learning

Publications

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. CMSB (2023)
Gabriele Costa, Silvia de Francisci, Serenella Valiani, Paolo Prinetto
Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity. ARES (2023)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling Flocks of Birds from the Bottom Up. ISoLA (3) (2022)