Marisa Navarro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1991–2020
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FASE | Incremental Concurrent Model Synchronization using Triple Graph Grammars. | Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2007 | CSL | A Cut-Free and Invariant-Free Sequent Calculus for PLTL. | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas |
| 2005 | LOPSTR | A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. | Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2005 | MFCS | Goals in the Propositional Horn Language Are Monotone Boolean Circuits. | Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro |
| 1999 | FOSSACS | A Strong Logic Programming View for Static Embedded Implications. | Rosa Arruabarrena, Paqui Lucio, Marisa Navarro |
| 1991 | COMPASS | Implementation and Behavioural Equivalence: A Survey. | Fernando Orejas, Marisa Navarro, Ana Snchez |