Diana Hermith
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2011–2015
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | LOPSTR | A Global Occurrence Counting Analysis for Brane Calculi. | Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi |
| 2011 | PACBB | Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. | Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia |