| 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 | 30 | 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 | 20 | 1999 |
| Institutions for logic programming F Orejas, E Pino, H Ehrig Theoretical Computer Science 173 (2), 485-511, 1997 | 20 | 1997 |
| Incremental Concurrent Model Synchronization using Triple Graph Grammars. F Orejas, E Pino, M Navarro FASE, 273-293, 2020 | 18 | 2020 |
| Micoma pulmonar causado por Trichoderma viride MR Escudero, E Pino, R Munoz Actas Dermosifiliogr 67, 673-680, 1976 | 18 | 1976 |
| Correctness of incremental model synchronization with triple graph grammars F Orejas, E Pino Theory and Practice of Model Transformations: 7th International Conference …, 2014 | 17 | 2014 |
| 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 | 16 | 2005 |
| A navigational logic for reasoning about graph properties M Navarro, F Orejas, E Pino, L Lambers Journal of logical and algebraic methods in programming 118, 100616, 2021 | 10 | 2021 |
| Towards a navigational logic for graphical structures L Lambers, M Navarro, F Orejas, E Pino Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018 | 10 | 2018 |
| Constructive Negation Without Subsidiary Tree E Pasarella, EP Blanco, F Orejas | 8 | 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 | 7 | 2016 |
| Tight and loose semantics for transformation systems F Orejas, H Ehrig, E Pino International Workshop on Algebraic Development Techniques, 238-255, 2001 | 6 | 2001 |
| Institutions for navigational logics for graphical structures F Orejas, E Pino, M Navarro, L Lambers Theoretical Computer Science 741, 19-24, 2018 | 5 | 2018 |
| 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 |
| Satisfiability of constraint specifications on XML documents M Navarro, F Orejas, E Pino Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015 | 4 | 2015 |
| 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 |
| 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 | 4 | 2005 |
| On the integration of modular heterogeneous specifications F Orejas, E Pino Integration of Software Specification Techniques for Applications in …, 2004 | 4 | 2004 |
| An algebraic study of modularity in logic programming E Pino Universitat Politècnica de Catalunya (UPC), 1999 | 4 | 1999 |
