Giovanni Pardini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2015
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICSE | Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. | Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove |
| 2015 | SEFM | Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. | Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini |
| 2013 | CiE | A Compositional Semantics of Reaction Systems with Restriction. | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
| 2013 | SEFM | A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. | Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |