Follow
Elvira Pino
Title
Cited by
Cited by
Year
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
302004
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
201999
Institutions for logic programming
F Orejas, E Pino, H Ehrig
Theoretical Computer Science 173 (2), 485-511, 1997
201997
Micoma pulmonar causado por Trichoderma viride
MR Escudero, E Pino, R Munoz
Actas Dermosifiliogr 67, 673-680, 1976
181976
Correctness of incremental model synchronization with triple graph grammars
F Orejas, E Pino
Theory and Practice of Model Transformations: 7th International Conference …, 2014
162014
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
162005
Incremental Concurrent Model Synchronization using Triple Graph Grammars.
F Orejas, E Pino, M Navarro
FASE, 273-293, 2020
152020
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
92018
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
82021
Constructive Negation Without Subsidiary Tree
E Pasarella, EP Blanco, F Orejas
82000
A logic of graph conditions extended with paths
M Navarro, F Orejas, E Pino, L Lambers
Workshop on Graph Computation Models (GCM 2016), Vienna, 2016
62016
Semantics of normal logic programs with embedded implications
F Orejas, E Pasarella, E Pino
International Conference on Logic Programming, 255-268, 2001
62001
Tight and loose semantics for transformation systems
F Orejas, H Ehrig, E Pino
International Workshop on Algebraic Development Techniques, 238-255, 2001
62001
Institutions for navigational logics for graphical structures
F Orejas, E Pino, M Navarro, L Lambers
Theoretical Computer Science 741, 19-24, 2018
52018
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
52012
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
42015
A functorial framework for constraint normal logic programming
P Lucio, F Orejas, E Pasarella, E Pino
Applied Categorical Structures 16 (3), 421-450, 2008
42008
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
42005
On the integration of modular heterogeneous specifications
F Orejas, E Pino
Integration of Software Specification Techniques for Applications in …, 2004
42004
An algebraic study of modularity in logic programming
E Pino
Universitat Politècnica de Catalunya (UPC), 1999
41999
The system can't perform the operation now. Try again later.
Articles 1–20