Elvira Pino - RankMe

28 papers B 4C 1Journal 10Unranked 13

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