Abigail Parisaca Vargas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2009–2015
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | IC3K | Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards. | Abigail Parisaca Vargas, Robin Bloomfield |
| 2009 | IFM | Model Checking LTL Formulae in RAISE with FDR. | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |