Elvira Pino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1994–2020
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FASE | Incremental Concurrent Model Synchronization using Triple Graph Grammars. | Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2005 | LOPSTR | A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. | Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2001 | ICLP | Semantics of Normal Logic Programs with Embedded Implications. | Fernando Orejas, Edelmira Pasarella, Elvira Pino |
| 1999 | ICLP | Semantic Definitions for Normal Open Programs. | Fernando Orejas, Elvira Pino |
| 1994 | MFCS | Algebraic Methods in the Compositional Analysis of Logic Programs. | Fernando Orejas, Elvira Pino, Hartmut Ehrig |