Elvira Pino

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: Semantics of structured normal logic programs. J. Log. Algebr. Program. 81(5): 559-584 (2012)

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. Inform. 99(1): 63-93 (2010)

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. Inform. 99(1): 95-124 (2010)

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450 (2008)

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen 2006: 555-577

Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino: Object-Oriented Connector-Component Architectures. Electr. Notes Theor. Comput. Sci. 141(3): 123-151 (2005)

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146

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. Electr. Notes Theor. Comput. Sci. 108: 53-67 (2004)

Fernando Orejas, Elvira Pino: On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report 2004: 582-601

Fernando Orejas, Edelmira Pasarella, Elvira Pino: Semantics of Normal Logic Programs with Embedded Implications. ICLP 2001: 255-268

Fernando Orejas, Hartmut Ehrig, Elvira Pino: Tight and Loose Semantics for Transformation Systems. WADT 2001: 238-255

Edelmira Pasarella, Elvira Pino, Fernando Orejas: Constructive negation without subsidiary trees. WFLP 2000: 195-209

Paqui Lucio, Fernando Orejas, Elvira Pino: An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. J. Log. Program. 40(1): 89-124 (1999)

Fernando Orejas, Elvira Pino: Semantic Definitions for Normal Open Programs. APPIA-GULP-PRODE 1999: 43-58

Fernando Orejas, Elvira Pino: Semantic Definitions for Normal Open Programs. ICLP 1999: 200-214

Fernando Orejas, Elvira Pino: A General Algebraic Framework for Studying Modular Systems. WADT 1999: 271-290

Fernando Orejas, Elvira Pino, Hartmut Ehrig: Institutions for Logic Programming. Theor. Comput. Sci. 173(2): 485-511 (1997)

Paqui Lucio, Fernando Orejas, Elvira Pino: A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE 1997: 271-282

Fernando Orejas, Elvira Pino, Hartmut Ehrig: Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS 1994: 112-126