×
Author ID: orejas.fernando Recent zbMATH articles by "Orejas, Fernando"
Published as: Orejas, Fernando; Orejas, F.
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

66 Publications have been cited 279 times in 159 Documents Cited by Year
\(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
22
2014
Initial behaviour semantics for algebraic specifications. Zbl 0679.68026
Nivela, Ma P.; Orejas, F.
16
1988
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
14
2012
Symbolic graphs for attributed graph constraints. Zbl 1298.68121
Orejas, Fernando
13
2011
Delaying constraint solving in symbolic graph transformation. Zbl 1306.68084
Orejas, Fernando; Lambers, Leen
12
2010
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
10
2008
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
9
1989
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
9
1999
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
9
2007
Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
9
2006
Initial conflicts and dependencies: critical pairs revisited. Zbl 1383.68045
Lambers, Leen; Born, Kristopher; Orejas, Fernando; Strüber, Daniel; Taentzer, Gabriele
8
2018
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
7
2009
Dynamic abstract data types: An informal proposal. Zbl 0810.68097
Ehrig, Hartmut; Orejas, Fernando
7
1994
Tableau-based reasoning for graph properties. Zbl 1425.68316
Lambers, Leen; Orejas, Fernando
7
2014
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
7
2008
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
7
2010
Symbolic model generation for graph properties. Zbl 1430.68241
Schneider, Sven; Lambers, Leen; Orejas, Fernando
7
2017
Lazy graph transformation. Zbl 1242.68139
Orejas, Fernando; Lambers, Leen
6
2012
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
5
2012
Correctness, completeness and termination of pattern-based model-to-model transformation. Zbl 1239.68026
Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut
5
2009
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
5
2010
Clausal rewriting. Zbl 1507.68157
Nieuwenhuis, Robert; Orejas, Fernando
5
1991
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
4
2010
Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016
Navarro, M.; Orejas, F.
4
1987
Integration paradigm for data type and process specification techniques. Zbl 1049.68088
Ehrig, Hartmut; Orejas, Fernando
4
2001
Characterizing composability of abstract implementations. Zbl 0569.68014
Orejas, F.
4
1983
Attributed graph constraints. Zbl 1175.68229
Orejas, Fernando
4
2008
Institutions for logic programming. Zbl 0901.68027
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut
3
1997
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
3
2018
Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099
Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando
3
1991
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
3
2017
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen
3
2021
An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031
Lucio, Paqui; Orejas, Fernando; Pino, Elvira
2
1999
Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.68123
Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz
2
2000
Integration paradigm for data type and process specification techniques. Zbl 0901.68129
Ehrig, Hartmut; Orejas, Fernando
2
1998
Algebraic implementation of abstract data types: A survey of concepts and new compositionality results. Zbl 0846.68070
Orejas, Fernando; Navarro, Marisa; Sánchez, Ana
2
1996
Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8–12, 2001. Proceedings. Zbl 0967.00069
2
2001
A generic component framework for system modeling. Zbl 1059.68543
Ehrig, Hartmut; Orejas, Fernando; Braatz, Benjamin; Klein, Markus; Piirainen, Martti
2
2002
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2006
Passing compatibility is almost persistency. Zbl 0584.68044
Orejas, F.
2
1985
Categorical foundations of distributed graph transformation. Zbl 1157.68039
Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike
2
2006
Initial conflicts for transformation rules with nested application conditions. Zbl 1502.68156
Lambers, Leen; Orejas, Fernando
2
2020
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
2
2018
A functorial framework for constraint normal logic programming. Zbl 1132.68324
Lucio, Paqui; Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2006
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036
Navarro, M.; Orejas, F.
1
1984
Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Zbl 1214.68013
1
2011
Structuring and modularity. Zbl 0945.68132
Orejas, Fernando
1
1999
An algebraic framework for higher-order modules. Zbl 0953.68097
Jiménez, Rosa; Orejas, Fernando
1
1999
On the representation of data types. Zbl 0467.68021
Orejas, F.
1
1981
From basic views and aspects to integration of specification formalisms. Zbl 1049.68089
Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando
1
2001
On the specification and verification of model transformations. Zbl 1253.68232
Orejas, Fernando; Wirsing, Martin
1
2009
Concurrency and loose semantics of open graph transformation systems. Zbl 1009.68095
Heckel, Reiko; Llabrés, Mercé; Ehrig, Hartmut; Orejas, Fernando
1
2002
Semantics of normal logic programs with embedded implications. Zbl 1053.68541
Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2001
Towards architectural connectors for UML. Zbl 1075.68569
Orejas, Fernando; Pérez, Sonia
1
2005
A characterization of passing compatibility for parameterized specifications. Zbl 0621.68007
Orejas, F.
1
1987
Implementability and computability on abstract data types. Zbl 0621.68009
Orejas, F.
1
1986
On the correctness of modular systems. Zbl 0874.68065
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana
1
1995
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
Formal analysis of model transformations based on triple graph grammars. Zbl 1342.68180
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando
1
2014
A functorial framework for constraint normal logic programming. Zbl 1147.68013
Lucio, P.; Orejas, F.; Pasarella, E.; Pino, E.
1
2008
Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
1
2008
Behaviour protection in modular rule-based system specifications. Zbl 1394.68073
Durán, Francisco; Orejas, Fernando; Zschaler, Steffen
1
2013
Unfolding symbolic attributed graph grammars. Zbl 1502.68159
Saadat, Maryam Ghaffari; Heckel, Reiko; Orejas, Fernando
1
2020
Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095
Orejas, Fernando; Pino, Elvira; Navarro, Marisa
1
2020
Transformation rules with nested application conditions: critical pairs, initial conflicts & minimality. Zbl 1517.68163
Lambers, Leen; Orejas, Fernando
1
2021
Compositionality results for different types of parameterization and parameter passing in specification languages. Zbl 1497.68296
Ehrig, H.; Jimenez, R. M.; Orejas, F.
1
1993
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen
3
2021
Transformation rules with nested application conditions: critical pairs, initial conflicts & minimality. Zbl 1517.68163
Lambers, Leen; Orejas, Fernando
1
2021
Initial conflicts for transformation rules with nested application conditions. Zbl 1502.68156
Lambers, Leen; Orejas, Fernando
2
2020
Unfolding symbolic attributed graph grammars. Zbl 1502.68159
Saadat, Maryam Ghaffari; Heckel, Reiko; Orejas, Fernando
1
2020
Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095
Orejas, Fernando; Pino, Elvira; Navarro, Marisa
1
2020
Initial conflicts and dependencies: critical pairs revisited. Zbl 1383.68045
Lambers, Leen; Born, Kristopher; Orejas, Fernando; Strüber, Daniel; Taentzer, Gabriele
8
2018
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
3
2018
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
2
2018
Symbolic model generation for graph properties. Zbl 1430.68241
Schneider, Sven; Lambers, Leen; Orejas, Fernando
7
2017
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
3
2017
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
\(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
22
2014
Tableau-based reasoning for graph properties. Zbl 1425.68316
Lambers, Leen; Orejas, Fernando
7
2014
Formal analysis of model transformations based on triple graph grammars. Zbl 1342.68180
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando
1
2014
Behaviour protection in modular rule-based system specifications. Zbl 1394.68073
Durán, Francisco; Orejas, Fernando; Zschaler, Steffen
1
2013
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
14
2012
Lazy graph transformation. Zbl 1242.68139
Orejas, Fernando; Lambers, Leen
6
2012
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
5
2012
Symbolic graphs for attributed graph constraints. Zbl 1298.68121
Orejas, Fernando
13
2011
Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Zbl 1214.68013
1
2011
Delaying constraint solving in symbolic graph transformation. Zbl 1306.68084
Orejas, Fernando; Lambers, Leen
12
2010
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
7
2010
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
5
2010
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
4
2010
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
7
2009
Correctness, completeness and termination of pattern-based model-to-model transformation. Zbl 1239.68026
Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut
5
2009
On the specification and verification of model transformations. Zbl 1253.68232
Orejas, Fernando; Wirsing, Martin
1
2009
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
10
2008
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
7
2008
Attributed graph constraints. Zbl 1175.68229
Orejas, Fernando
4
2008
A functorial framework for constraint normal logic programming. Zbl 1147.68013
Lucio, P.; Orejas, F.; Pasarella, E.; Pino, E.
1
2008
Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
1
2008
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
9
2007
Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
9
2006
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2006
Categorical foundations of distributed graph transformation. Zbl 1157.68039
Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike
2
2006
A functorial framework for constraint normal logic programming. Zbl 1132.68324
Lucio, Paqui; Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2006
Towards architectural connectors for UML. Zbl 1075.68569
Orejas, Fernando; Pérez, Sonia
1
2005
A generic component framework for system modeling. Zbl 1059.68543
Ehrig, Hartmut; Orejas, Fernando; Braatz, Benjamin; Klein, Markus; Piirainen, Martti
2
2002
Concurrency and loose semantics of open graph transformation systems. Zbl 1009.68095
Heckel, Reiko; Llabrés, Mercé; Ehrig, Hartmut; Orejas, Fernando
1
2002
Integration paradigm for data type and process specification techniques. Zbl 1049.68088
Ehrig, Hartmut; Orejas, Fernando
4
2001
Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8–12, 2001. Proceedings. Zbl 0967.00069
2
2001
From basic views and aspects to integration of specification formalisms. Zbl 1049.68089
Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando
1
2001
Semantics of normal logic programs with embedded implications. Zbl 1053.68541
Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2001
Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.68123
Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz
2
2000
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
9
1999
An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031
Lucio, Paqui; Orejas, Fernando; Pino, Elvira
2
1999
Structuring and modularity. Zbl 0945.68132
Orejas, Fernando
1
1999
An algebraic framework for higher-order modules. Zbl 0953.68097
Jiménez, Rosa; Orejas, Fernando
1
1999
Integration paradigm for data type and process specification techniques. Zbl 0901.68129
Ehrig, Hartmut; Orejas, Fernando
2
1998
Institutions for logic programming. Zbl 0901.68027
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut
3
1997
Algebraic implementation of abstract data types: A survey of concepts and new compositionality results. Zbl 0846.68070
Orejas, Fernando; Navarro, Marisa; Sánchez, Ana
2
1996
On the correctness of modular systems. Zbl 0874.68065
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana
1
1995
Dynamic abstract data types: An informal proposal. Zbl 0810.68097
Ehrig, Hartmut; Orejas, Fernando
7
1994
Compositionality results for different types of parameterization and parameter passing in specification languages. Zbl 1497.68296
Ehrig, H.; Jimenez, R. M.; Orejas, F.
1
1993
Clausal rewriting. Zbl 1507.68157
Nieuwenhuis, Robert; Orejas, Fernando
5
1991
Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099
Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando
3
1991
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
9
1989
Initial behaviour semantics for algebraic specifications. Zbl 0679.68026
Nivela, Ma P.; Orejas, F.
16
1988
Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016
Navarro, M.; Orejas, F.
4
1987
A characterization of passing compatibility for parameterized specifications. Zbl 0621.68007
Orejas, F.
1
1987
Implementability and computability on abstract data types. Zbl 0621.68009
Orejas, F.
1
1986
Passing compatibility is almost persistency. Zbl 0584.68044
Orejas, F.
2
1985
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036
Navarro, M.; Orejas, F.
1
1984
Characterizing composability of abstract implementations. Zbl 0569.68014
Orejas, F.
4
1983
On the representation of data types. Zbl 0467.68021
Orejas, F.
1
1981
all top 5

Cited by 170 Authors

32 Orejas, Fernando
18 Ehrig, Hartmut
11 Lambers, Leen
10 Navarro, Marisa
9 Hennicker, Rolf
9 Lucio, Paqui
9 Schneider, Sven
8 Behr, Nicolas
8 Giese, Holger
8 Hermo, Montserrat
8 Pino, Elvira
7 Bidoit, Michel
7 Taentzer, Gabriele
6 Corradini, Andrea
6 Maximova, Maria
6 Prange, Ulrike
5 Heckel, Reiko
5 Kosiol, Jens
5 Ribeiro, Leila
5 Sannella, Donald T.
5 Tarlecki, Andrzej
4 Bolotov, Alexander
4 de Lara, Juan
4 Dershowitz, Nachum
4 Durán, Francisco
4 Jouannaud, Jean-Pierre
4 Padberg, Julia
4 Rutle, Adrian
4 Saadat, Maryam Ghaffari
4 Wirsing, Martin
3 Alonderis, Romas
3 Arendt, Thorsten
3 Gaintzarain, Jose
3 Guerra, Esther
3 Habel, Annegret
3 König, Barbara
3 Krivine, Jean
3 Plump, Detlef
3 Wolter, Uwe E.
2 Abuin, Alex
2 Campbell, Graham H.
2 Dyck, Johannes
2 Gadducci, Fabio
2 Giedra, Haroldas
2 Golas, Ulrike
2 Hermann, Frank
2 Hofmann, Martin
2 Klop, Jan Willem
2 Lamo, Yngve
2 Llabrés, Mercè
2 Lowe, Michael J. S.
2 Macías, Fernando
2 Nolte, Dennis
2 Pasarella, Edelmira
2 Pennemann, Karl-Heinz
2 Poskitt, Christopher M.
2 Reddy, Uday S.
2 Reggio, Gianna
2 Rosselló, Francesc
2 Sobociński, Paweł
2 Strüber, Daniel
2 Zschaler, Steffen
1 Abate, Pietro
1 Akgün, Özgür
1 Amato, Gianluca
1 Andersen, Jakob Lykke
1 Azab, Karl
1 Azzi, Guilherme Grochau
1 Bauer, Friedrich Ludwig
1 Baumeister, Hubert
1 Becker, Jan Steffen
1 Bernot, Gilles
1 Besova, Galina
1 Bonchi, Filippo
1 Born, Kristopher
1 Bouhoula, Adel
1 Bronsard, Francois
1 Bruggink, H. J. Sander
1 Brünnler, Kai
1 Bucchiarone, Antonio
1 Capra, Lorenzo
1 Chechik, Marsha
1 Choppy, Christine
1 Codescu, Mihai
1 Comini, Marco
1 Costa, Gerardo
1 da Costa Cavalheiro, Simone André
1 Diaconescu, Răzvan
1 Drewes, Frank
1 Enright, Jessica
1 Ermel, Claudia
1 Falaschi, Moreno
1 Fey, Werner
1 Fiadeiro, José Luiz
1 Foss, Luciana
1 Fritsche, Lars
1 Ganzinger, Harald
1 Goguen, Joseph Amadee
1 Goré, Rajeev Prabhakar
1 Große-Rhode, Martin
...and 70 more Authors

Citations by Year