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
282004
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
191999
Institutions for logic programming
F Orejas, E Pino, H Ehrig
Theoretical Computer Science 173 (2), 485-511, 1997
191997
Time, abstraction, causality and modularity in interactive systems
M Broy
Electronic Notes in Theoretical Computer Science 108, 3-9, 2004
182004
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
152005
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
92014
Constructive negation without subsidiary trees
E Pasarella, E Pino, F Orejas
of LSI Department, Univ. Politécnica de Catalunya, 2000
72000
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
52016
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
Semantics of normal logic programs with embedded implications
F Orejas, E Pasarella, E Pino
International Conference on Logic Programming, 255-268, 2001
52001
Tight and loose semantics for transformation systems
F Orejas, H Ehrig, E Pino
International Workshop on Algebraic Development Techniques, 238-255, 2001
52001
Towards a navigational logic for graphical structures
L Lambers, M Navarro, F Orejas, E Pino
Graph Transformation, Specifications, and Nets, 124-141, 2018
42018
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
An Algebraic Study of Modularity in Logic Programming
E Pino
41999
Satisfiability of constraint specifications on XML documents
M Navarro, F Orejas, E Pino
Logic, Rewriting, and Concurrency, 539-561, 2015
32015
A functorial framework for constraint normal logic programming
P Lucio, F Orejas, E Pasarella, E Pino
Algebra, Meaning, and Computation, 555-577, 2006
32006
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
32005
Heterogeneous modular systems
F Orejas, E Pino
Integrated Design and Process Technology. Sociey for Design and Process Science, 2002
32002
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
31994
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
22010
The system can't perform the operation now. Try again later.
Articles 1–20