Lucia Acciai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2007–2011
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FORTE | Linear-Time and May-Testing in a Probabilistic Reactive Setting. | Lucia Acciai, Michele Boreale, Rocco De Nicola |
| 2010 | Coordination | Behavioural Contracts with Request-Response Operations. | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2010 | FOSSACS | On the Relationship between Spatial Logics and Behavioral Simulations. | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2009 | ICALP | Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. | Lucia Acciai, Michele Boreale |
| 2008 | CONCUR | Spatial and Behavioral Types in the Pi-Calculus. | Lucia Acciai, Michele Boreale |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2007 | ESOP | A Concurrent Calculus with Atomic Transactions. | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |