Elvira Pino

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 5

Top Topics

Frequent Subgraphs

Top Venues

J. Log. Algebraic Methods Program.

Graph Transformation, Specifications, and Nets

Theor. Comput. Sci.

Publications

Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella
A logical approach to graph databases. J. Log. Algebraic Methods Program. 141 (2024)
Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers
A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118 (2021)
Fernando Orejas, Elvira Pino, Marisa Navarro
Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE (2020)
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers
Institutions for navigational logics for graphical structures. Theor. Comput. Sci. 741 (2018)
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets (2018)
Marisa Navarro, Fernando Orejas, Elvira Pino
Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency (2015)
Fernando Orejas, Elvira Pino
Correctness of Incremental Model Synchronization with Triple Graph Grammars. ICMT (2014)
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
Semantics of structured normal logic programs. J. Log. Algebraic Methods Program. 81 (5) (2012)
Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae 99 (1) (2010)
Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae 99 (1) (2010)
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
A Functorial Framework for Constraint Normal Logic Programming. Appl. Categorical Struct. 16 (3) (2008)
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen (2006)
Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
Object-Oriented Connector-Component Architectures. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR (2005)
Fernando Orejas, Elvira Pino
On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report (2004)
Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
A Generic Framework for Connector Architectures based on Components and Transformations. Electron. Notes Theor. Comput. Sci. 108 (2004)
Fernando Orejas, Hartmut Ehrig, Elvira Pino
Tight and Loose Semantics for Transformation Systems. WADT (2001)
Fernando Orejas, Edelmira Pasarella, Elvira Pino
Semantics of Normal Logic Programs with Embedded Implications. ICLP (2001)
Fernando Orejas, Edelmira Pasarella, Elvira Pino
Semantics of normal logic programs with embedded implications. APPIA-GULP-PRODE (2001)
Edelmira Pasarella, Elvira Pino, Fernando Orejas
Constructive negation without subsidiary trees. WFLP (2000)
Paqui Lucio, Fernando Orejas, Elvira Pino
An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. J. Log. Program. 40 (1) (1999)
Fernando Orejas, Elvira Pino
Semantic Definitions for Normal Open Programs. APPIA-GULP-PRODE (1999)
Fernando Orejas, Elvira Pino
Semantic Definitions for Normal Open Programs. ICLP (1999)
Fernando Orejas, Elvira Pino
A General Algebraic Framework for Studying Modular Systems. WADT (1999)
Fernando Orejas, Elvira Pino, Hartmut Ehrig
Institutions for Logic Programming. Theor. Comput. Sci. 173 (2) (1997)
Paqui Lucio, Fernando Orejas, Elvira Pino
A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE (1997)
Fernando Orejas, Elvira Pino, Hartmut Ehrig
Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS (1994)