Elvira Pino

	2008
16		Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450 (2008)
	2006
15		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
	2005
14		Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146
13		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)
	2004
12		Fernando Orejas, Elvira Pino: On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report 2004: 582-601
11		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)
	2001
10		Fernando Orejas, Edelmira Pasarella, Elvira Pino: Semantics of Normal Logic Programs with Embedded Implications. ICLP 2001: 255-268
9		Fernando Orejas, Hartmut Ehrig, Elvira Pino: Tight and Loose Semantics for Transformation Systems. WADT 2001: 238-255
	2000
8		Edelmira Pasarella, Elvira Pino, Fernando Orejas: Constructive negation without subsidiary trees. WFLP 2000: 195-209
	1999
7		Fernando Orejas, Elvira Pino: Semantic Definitions for Normal Open Programs. APPIA-GULP-PRODE 1999: 43-58
6		Fernando Orejas, Elvira Pino: Semantic Definitions for Normal Open Programs. ICLP 1999: 200-214
5		Fernando Orejas, Elvira Pino: A General Algebraic Framework for Studying Modular Systems. WADT 1999: 271-290
4		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)
	1997
3		Paqui Lucio, Fernando Orejas, Elvira Pino: A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE 1997: 271-282
2		Fernando Orejas, Elvira Pino, Hartmut Ehrig: Institutions for Logic Programming. Theor. Comput. Sci. 173(2): 485-511 (1997)
	1994
1		Fernando Orejas, Elvira Pino, Hartmut Ehrig: Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS 1994: 112-126

Coauthor Index

1	Benjamin Braatz	[11] [13]
2	Hartmut Ehrig	[1] [2] [9] [11] [13]
3	Markus Klein	[11] [13]
4	Paqui Lucio	[3] [4] [15] [16]
5	Marisa Navarro	[14]
6	Fernando Orejas	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
7	Julia Padberg	[11]
8	Edelmira Pasarella	[8] [10] [14] [15] [16]
9	Sonia Pérez	[11] [13]