Elvira Pino - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2021

A navigational logic for reasoning about graph propertiesMarisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers. jlap, 118:100616, 2021. [doi]

2020

Incremental Concurrent Model Synchronization using Triple Graph GrammarsFernando Orejas, Elvira Pino, Marisa Navarro. FASE 2020: 273-293 [doi]

2018

Towards a Navigational Logic for Graphical StructuresLeen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino. BIRTHDAY 2018: 124-141 [doi]

Institutions for navigational logics for graphical structuresFernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers. TCS, 741:19-24, 2018. [doi]

2015

Satisfiability of Constraint Specifications on XML DocumentsMarisa Navarro, Fernando Orejas, Elvira Pino. BIRTHDAY 2015: 539-561 [doi]

2014

Correctness of Incremental Model Synchronization with Triple Graph GrammarsFernando Orejas, Elvira Pino. ICMT 2014: 74-90 [doi]

2012

Semantics of structured normal logic programsEdelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro. jlp, 81(5):559-584, 2012. [doi]

2010

A Generic Approach to Connector Architectures Part I: The General FrameworkFernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez. FUIN, 99(1):63-93, 2010. [doi]

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSPFernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez. FUIN, 99(1):95-124, 2010. [doi]

2008

A Functorial Framework for Constraint Normal Logic ProgrammingPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino. acs, 16(3):421-450, 2008. [doi]

2006

A Functorial Framework for Constraint Normal Logic ProgrammingPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino. BIRTHDAY 2006: 555-577 [doi]

2005

Object-Oriented Connector-Component ArchitecturesHartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino. ENTCS, 141(3):123-151, 2005. [doi]

A Transformational Semantics of Static Embedded Implications of Normal Logic ProgramsEdelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro. LOPSTR 2006: 133-146 [doi]

2004

A Generic Framework for Connector Architectures based on Components and TransformationsHartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino. ENTCS, 108:53-67, 2004. [doi]

On the Integration of Modular Heterogeneous SpecificationsFernando Orejas, Elvira Pino. dfg 2004: 582-601 [doi]

2001

Semantics of Normal Logic Programs with Embedded ImplicationsFernando Orejas, Edelmira Pasarella, Elvira Pino. ICLP 2001: 255-268 [doi]

Semantics of normal logic programs with embedded implicationsFernando Orejas, Edelmira Pasarella, Elvira Pino. agp 2001: 1-15 [doi]

Tight and Loose Semantics for Transformation SystemsFernando Orejas, Hartmut Ehrig, Elvira Pino. WADT 2001: 238-255 [doi]

2000

Constructive negation without subsidiary treesEdelmira Pasarella, Elvira Pino, Fernando Orejas. wflp 2000: 195-209

1999

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic ProgramsPaqui Lucio, Fernando Orejas, Elvira Pino. jlp, 40(1):89-124, 1999.

Semantic Definitions for Normal Open ProgramsFernando Orejas, Elvira Pino. agp 1999: 43-58

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

A General Algebraic Framework for Studying Modular SystemsFernando Orejas, Elvira Pino. WADT 2000: 271-290

1997

A Monotonic Declarative Semantics for Normal Logic ProgramsPaqui Lucio, Fernando Orejas, Elvira Pino. agp 1997: 271-282

Institutions for Logic ProgrammingFernando Orejas, Elvira Pino, Hartmut Ehrig. TCS, 173(2):485-511, 1997. [doi]

1994

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

Sign in or sign up to see more results.

runs on WebDSL