dblp.uni-trier.dewww.uni-trier.de

Elvira Pino

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
16EEPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450 (2008)
2006
15EEPaqui 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
14EEEdelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146
13EEHartmut 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
12EEFernando Orejas, Elvira Pino: On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report 2004: 582-601
11EEHartmut 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
10EEFernando Orejas, Edelmira Pasarella, Elvira Pino: Semantics of Normal Logic Programs with Embedded Implications. ICLP 2001: 255-268
9EEFernando 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
2EEFernando 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)