A generic framework for connector architectures based on components and transformations H Ehrig, J Padberg, B Braatz, M Klein, F Orejas, S Pérez, E Pino Electronic Notes in Theoretical Computer Science 108, 53-67, 2004 | 28 | 2004 |

An algebraic framework for the definition of compositional semantics of normal logic programs P Lucio, F Orejas, E Pino The Journal of Logic Programming 40 (1), 89-123, 1999 | 19 | 1999 |

Institutions for logic programming F Orejas, E Pino, H Ehrig Theoretical Computer Science 173 (2), 485-511, 1997 | 19 | 1997 |

Time, abstraction, causality and modularity in interactive systems M Broy Electronic Notes in Theoretical Computer Science 108, 3-9, 2004 | 18 | 2004 |

Object-oriented connector-component architectures H Ehrig, B Braatz, M Klein, F Orejas, S Pérez, E Pino Electronic Notes in Theoretical Computer Science 141 (3), 123-151, 2005 | 15 | 2005 |

Correctness of incremental model synchronization with triple graph grammars F Orejas, E Pino International Conference on Theory and Practice of Model Transformations, 74-90, 2014 | 9 | 2014 |

Constructive negation without subsidiary trees E Pasarella, E Pino, F Orejas of LSI Department, Univ. Politécnica de Catalunya, 2000 | 7 | 2000 |

A logic of graph conditions extended with paths M Navarro, F Orejas, E Pino, L Lambers Pre-proceedings 7th International Workshop on Graph Computation Models, 2016 | 5 | 2016 |

Semantics of structured normal logic programs E Pasarella, F Orejas, E Pino, M Navarro The Journal of Logic and Algebraic Programming 81 (5), 559-584, 2012 | 5 | 2012 |

Semantics of normal logic programs with embedded implications F Orejas, E Pasarella, E Pino International Conference on Logic Programming, 255-268, 2001 | 5 | 2001 |

Tight and loose semantics for transformation systems F Orejas, H Ehrig, E Pino International Workshop on Algebraic Development Techniques, 238-255, 2001 | 5 | 2001 |

Towards a navigational logic for graphical structures L Lambers, M Navarro, F Orejas, E Pino Graph Transformation, Specifications, and Nets, 124-141, 2018 | 4 | 2018 |

A functorial framework for constraint normal logic programming P Lucio, F Orejas, E Pasarella, E Pino Applied Categorical Structures 16 (3), 421-450, 2008 | 4 | 2008 |

An Algebraic Study of Modularity in Logic Programming E Pino | 4 | 1999 |

Satisfiability of constraint specifications on XML documents M Navarro, F Orejas, E Pino Logic, Rewriting, and Concurrency, 539-561, 2015 | 3 | 2015 |

A functorial framework for constraint normal logic programming P Lucio, F Orejas, E Pasarella, E Pino Algebra, Meaning, and Computation, 555-577, 2006 | 3 | 2006 |

A transformational semantics of static embedded implications of normal logic programs E Pasarella, F Orejas, E Pino, M Navarro International Symposium on Logic-Based Program Synthesis and Transformation …, 2005 | 3 | 2005 |

Heterogeneous modular systems F Orejas, E Pino Integrated Design and Process Technology. Sociey for Design and Process Science, 2002 | 3 | 2002 |

Algebraic methods in the compositional analysis of logic programs F Orejas, E Pino, H Ehrig International Symposium on Mathematical Foundations of Computer Science, 112-126, 1994 | 3 | 1994 |

A generic approach to connector architectures part ii: Instantiation to petri nets and csp F Orejas, H Ehrig, M Klein, J Padberg, E Pino, S Pérez Fundamenta Informaticae 99 (1), 95-124, 2010 | 2 | 2010 |