×

zbMATH — the first resource for mathematics

Orejas, Fernando

Compute Distance To:
Author ID: orejas.fernando Recent zbMATH articles by "Orejas, Fernando"
Published as: Orejas, F.; Orejas, Fernando
External Links: ORCID
Documents Indexed: 93 Publications since 1976, including 12 Books

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 152 times in 88 Documents Cited by Year
Initial behaviour semantics for algebraic specifications. Zbl 0679.68026
Nivela, Ma P.; Orejas, F.
11
1988
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
7
1999
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
6
2008
Dynamic abstract data types: An informal proposal. Zbl 0810.68097
Ehrig, Hartmut; Orejas, Fernando
6
1994
\(\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
5
2014
Symbolic graphs for attributed graph constraints. Zbl 1298.68121
Orejas, Fernando
5
2011
Delaying constraint solving in symbolic graph transformation. Zbl 1306.68084
Orejas, Fernando; Lambers, Leen
5
2010
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
5
2010
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
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
5
2007
Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
5
2006
Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099
Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando
5
1991
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
5
1989
\(\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
4
2012
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
4
2010
Characterizing composability of abstract implementations. Zbl 0569.68014
Orejas, F.
4
1983
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
3
2012
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
2009
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
3
2008
Institutions for logic programming. Zbl 0901.68027
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut
3
1997
Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016
Navarro, M.; Orejas, F.
3
1987
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
2
2018
Initial conflicts and dependencies: critical pairs revisited. Zbl 1383.68045
Lambers, Leen; Born, Kristopher; Orejas, Fernando; Strüber, Daniel; Taentzer, Gabriele
2
2018
Tableau-based reasoning for graph properties. Zbl 1425.68316
Lambers, Leen; Orejas, Fernando
2
2014
Lazy graph transformation. Zbl 1242.68139
Orejas, Fernando; Lambers, Leen
2
2012
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
2
2010
Attributed graph constraints. Zbl 1175.68229
Orejas, Fernando
2
2008
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 generic component framework for system modeling. Zbl 1059.68543
Ehrig, Hartmut; Orejas, Fernando; Braatz, Benjamin; Klein, Markus; Piirainen, Martti
2
2002
Integration paradigm for data type and process specification techniques. Zbl 1049.68088
Ehrig, Hartmut; Orejas, Fernando
2
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
An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031
Lucio, Paqui; Orejas, Fernando; Pino, Elvira
2
1999
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
Passing compatibility is almost persistency. Zbl 0584.68044
Orejas, F.
2
1985
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
1
2018
Symbolic model generation for graph properties. Zbl 1430.68241
Schneider, Sven; Lambers, Leen; Orejas, Fernando
1
2017
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
1
2017
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
Behaviour protection in modular rule-based system specifications. Zbl 1394.68073
Durán, Francisco; Orejas, Fernando; Zschaler, Steffen
1
2013
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
Giannakopoulou, Dimitra (ed.); Orejas, Fernando (ed.)
1
2011
On the specification and verification of model transformations. Zbl 1253.68232
Orejas, Fernando; Wirsing, Martin
1
2009
Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
1
2008
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
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
From basic views and aspects to integration of specification formalisms. Zbl 1049.68089
Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando
1
2001
Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8–12, 2001. Proceedings. Zbl 0967.00069
Orejas, Fernando (ed.); Spirakis, Paul G. (ed.); Van Leeuwen, Jan (ed.)
1
2001
An algebraic framework for higher-order modules. Zbl 0953.68097
Jiménez, Rosa; Orejas, Fernando
1
1999
Structuring and modularity. Zbl 0945.68132
Orejas, Fernando
1
1999
On the correctness of modular systems. Zbl 0874.68065
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana
1
1995
Implementability and computability on abstract data types. Zbl 0621.68009
Orejas, F.
1
1986
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036
Navarro, M.; Orejas, F.
1
1984
On the representation of data types. Zbl 0467.68021
Orejas, F.
1
1981
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
2
2018
Initial conflicts and dependencies: critical pairs revisited. Zbl 1383.68045
Lambers, Leen; Born, Kristopher; Orejas, Fernando; Strüber, Daniel; Taentzer, Gabriele
2
2018
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
1
2018
Symbolic model generation for graph properties. Zbl 1430.68241
Schneider, Sven; Lambers, Leen; Orejas, Fernando
1
2017
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
1
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
5
2014
Tableau-based reasoning for graph properties. Zbl 1425.68316
Lambers, Leen; Orejas, Fernando
2
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
4
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
3
2012
Lazy graph transformation. Zbl 1242.68139
Orejas, Fernando; Lambers, Leen
2
2012
Symbolic graphs for attributed graph constraints. Zbl 1298.68121
Orejas, Fernando
5
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
Giannakopoulou, Dimitra (ed.); Orejas, Fernando (ed.)
1
2011
Delaying constraint solving in symbolic graph transformation. Zbl 1306.68084
Orejas, Fernando; Lambers, Leen
5
2010
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
5
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
4
2010
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
2
2010
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
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
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
6
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
3
2008
Attributed graph constraints. Zbl 1175.68229
Orejas, Fernando
2
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
5
2007
Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
5
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
2
2001
Semantics of normal logic programs with embedded implications. Zbl 1053.68541
Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2001
From basic views and aspects to integration of specification formalisms. Zbl 1049.68089
Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando
1
2001
Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8–12, 2001. Proceedings. Zbl 0967.00069
Orejas, Fernando (ed.); Spirakis, Paul G. (ed.); Van Leeuwen, Jan (ed.)
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
7
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
An algebraic framework for higher-order modules. Zbl 0953.68097
Jiménez, Rosa; Orejas, Fernando
1
1999
Structuring and modularity. Zbl 0945.68132
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
6
1994
Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099
Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando
5
1991
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
5
1989
Initial behaviour semantics for algebraic specifications. Zbl 0679.68026
Nivela, Ma P.; Orejas, F.
11
1988
Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016
Navarro, M.; Orejas, F.
3
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 118 Authors

22 Orejas, Fernando
12 Ehrig, Hartmut
9 Navarro, Marisa
6 Hennicker, Rolf
6 Pino, Elvira
5 Corradini, Andrea
5 Lambers, Leen
5 Lucio, Paqui
5 Ribeiro, Leila
4 Bidoit, Michel
4 de Lara, Juan
4 Hermo, Montserrat
4 Sannella, Donald T.
4 Taentzer, Gabriele
4 Tarlecki, Andrzej
4 Wirsing, Martin
3 Durán, Francisco
3 Gaintzarain, Jose
3 Guerra, Esther
3 Kosiol, Jens
3 Prange, Ulrike
2 Arendt, Thorsten
2 Golas, Ulrike
2 Hermann, Frank
2 König, Barbara
2 Llabrés, Mercè
2 Padberg, Julia
2 Pasarella, Edelmira
2 Reggio, Gianna
2 Rosselló, Francesc
2 Rutle, Adrian
2 Strüber, Daniel
2 Wolter, Uwe E.
1 Alonderis, Romas
1 Amato, Gianluca
1 Azzi, Guilherme Grochau
1 Bauer, Friedrich Ludwig
1 Behr, Nicolas
1 Bernot, Gilles
1 Besova, Galina
1 Bolotov, Alexander
1 Born, Kristopher
1 Bouhoula, Adel
1 Brünnler, Kai
1 Bucchiarone, Antonio
1 Chechik, Marsha
1 Choppy, Christine
1 Codescu, Mihai
1 Comini, Marco
1 Costa, Gerardo
1 da Costa Cavalheiro, Simone André
1 Dershowitz, Nachum
1 Diaconescu, Răzvan
1 Ermel, Claudia
1 Falaschi, Moreno
1 Fey, Werner
1 Fiadeiro, José Luiz
1 Foss, Luciana
1 Fritsche, Lars
1 Gadducci, Fabio
1 Giedra, Haroldas
1 Goguen, Joseph Amadee
1 Große-Rhode, Martin
1 Habel, Annegret
1 Hansen, Horst
1 Haveraaen, Magne
1 Heckel, Reiko
1 Hofmann, Martin
1 Jacobs, Dean
1 Jouannaud, Jean-Pierre
1 Knapik, Teodor
1 Korff, Martin
1 Lamo, Yngve
1 Lange, Martin
1 Li, Huiqing
1 Lipton, James B.
1 Lowe, Michael J. S.
1 Machado, Rodrigo
1 Macías, Fernando
1 Malcolm, Grant
1 McGrail, Robert W.
1 Meseguer Guaita, José
1 Moreno-Delgado, Antonio
1 Mossakowski, Till
1 Nassar, Nebras
1 Nolte, Dennis
1 Olarte, Carlos
1 Padawitz, Peter
1 Palamidessi, Catuscia
1 Parisi-Presicce, Francesco
1 Pelliccione, Patrizio
1 Pennemann, Karl-Heinz
1 Pliuškevičienė, Aida
1 Pliuškevičius, Regimantas
1 Plöger, Jennifer
1 Poigné, Axel
1 Remy, Jean-Luc
1 Rodriguez-Echeverria, Roberto
1 Roggenbach, Markus
1 Rossini, Alessandro
...and 18 more Authors

Citations by Year