Elvira Pino

According to our database, Elvira Pino authored at least 23 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A navigational logic for reasoning about graph properties.

Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers

J. Log. Algebraic Methods Program., 2021

2020

Incremental Concurrent Model Synchronization using Triple Graph Grammars.

Fernando Orejas, Elvira Pino, Marisa Navarro

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2018

Institutions for navigational logics for graphical structures.

Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers

Theor. Comput. Sci., 2018

Towards a Navigational Logic for Graphical Structures.

Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2015

Satisfiability of Constraint Specifications on XML Documents.

Marisa Navarro, Fernando Orejas, Elvira Pino

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Correctness of Incremental Model Synchronization with Triple Graph Grammars.

Fernando Orejas, Elvira Pino

Proceedings of the Theory and Practice of Model Transformations, 2014

2012

Semantics of structured normal logic programs.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

J. Log. Algebraic Methods Program., 2012

2010

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.

Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez

Fundam. Informaticae, 2010

A Generic Approach to Connector Architectures Part I: The General Framework.

Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez

Fundam. Informaticae, 2010

2008

A Functorial Framework for Constraint Normal Logic Programming.

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino

Appl. Categorical Struct., 2008

2005

Object-Oriented Connector-Component Architectures.

Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2004

A Generic Framework for Connector Architectures based on Components and Transformations.

Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

On the Integration of Modular Heterogeneous Specifications.

Fernando Orejas, Elvira Pino

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2001

Tight and Loose Semantics for Transformation Systems.

Fernando Orejas, Hartmut Ehrig, Elvira Pino

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Semantics of normal logic programs with embedded implications.

Fernando Orejas, Edelmira Pasarella, Elvira Pino

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Constructive negation without subsidiary trees.

Edelmira Pasarella, Elvira Pino, Fernando Orejas

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs.

Paqui Lucio, Fernando Orejas, Elvira Pino

J. Log. Program., 1999

A General Algebraic Framework for Studying Modular Systems.

Fernando Orejas, Elvira Pino

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Semantic Definitions for Normal Open Programs.

Fernando Orejas, Elvira Pino

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1997

Institutions for Logic Programming.

Fernando Orejas, Elvira Pino, Hartmut Ehrig

Theor. Comput. Sci., 1997

A Monotonic Declarative Semantics for Normal Logic Programs.

Paqui Lucio, Fernando Orejas, Elvira Pino

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1994

Algebraic Methods in the Compositional Analysis of Logic Programs.

Fernando Orejas, Elvira Pino, Hartmut Ehrig

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994