Edit Profile (opens in new tab) Orejas, Fernando Co-Author Distance Author ID: orejas.fernando Published as: Orejas, Fernando; Orejas, F. External Links: ORCID Documents Indexed: 89 Publications since 1976 13 Contributions as Editor · 1 Further Contribution Co-Authors: 52 Co-Authors with 92 Joint Publications 1,090 Co-Co-Authors all top 5 Co-Authors 10 single-authored 38 Ehrig, Hartmut 18 Lambers, Leen 17 Pino, Elvira 16 Navarro, Marisa 7 Golas, Ulrike 7 Lucio, Paqui 5 Padberg, Julia 5 Pasarella, Edelmira 5 Prange, Ulrike 4 Guerra, Esther 4 Heckel, Reiko 4 Kreowski, Hans-Jörg 4 Pérez, Sonia 3 Habel, Annegret 3 Hermo, Montserrat 3 Jiménez, Rosa M. 3 Klein, Markus 3 Mylonakis, Nikos 3 Rozenberg, Grzegorz 2 Baldamus, Michael 2 Boronat, Artur 2 de Lara, Juan 2 Durán, Francisco 2 Fiadeiro, José Luiz 2 Gaintzarain, Jose 2 Hermann, Frank 2 Llabrés, Mercè 2 Montanari, Ugo G. 2 Schneider, Sven 2 Taentzer, Gabriele 2 Van Leeuwen, Jan 2 Zschaler, Steffen 1 Born, Kristopher 1 Braatz, Benjamin 1 Cornelius, Felix 1 Corradini, Andrea 1 Engels, Gregor 1 Gaintzarain, Joxe 1 Giannakopoulou, Dimitra 1 Jantke, Klaus-Peter 1 Jouannaud, Jean-Pierre 1 Moreno-Delgado, Antonio 1 Mosses, Peter D. 1 Nieuwenhuis, Robert 1 Nivela, Ma P. 1 Parisi-Presicce, Francesco 1 Piirainen, Martti 1 Reichel, Horst 1 Remy, Jean-Luc 1 Saadat, Maryam Ghaffari 1 Spirakis, Paul G. 1 Strüber, Daniel 1 Wirsing, Martin all top 5 Serials 7 Theoretical Computer Science 7 MSCS. Mathematical Structures in Computer Science 7 Lecture Notes in Computer Science 5 Fundamenta Informaticae 4 Bulletin of the European Association for Theoretical Computer Science (EATCS) 4 Journal of Logical and Algebraic Methods in Programming 3 Bulletin of the European Association for Theoretical Computer Science EATCS 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 The Journal of Logic Programming 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Revista Matemática de la Universidad Complutense de Madrid 1 Formal Aspects of Computing 1 Applied Categorical Structures 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 99 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 13 General and overarching topics; collections (00-XX) 11 Category theory; homological algebra (18-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 67 Publications have been cited 280 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 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 On recent trends in algebraic specification. Zbl 0689.68013 Ehrig, H.; Pepper, P.; Orejas, F. 9 1989 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 Tableau-based reasoning for graph properties. Zbl 1425.68316 Lambers, Leen; Orejas, Fernando 7 2014 Dynamic abstract data types: An informal proposal. Zbl 0810.68097 Ehrig, Hartmut; Orejas, Fernando 7 1994 Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596 Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando 7 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 7 2008 Symbolic model generation for graph properties. Zbl 1430.68241 Schneider, Sven; Lambers, Leen; Orejas, Fernando 7 2017 Local confluence for rules with nested application conditions. Zbl 1306.68068 Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike 7 2010 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 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 Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016 Navarro, M.; Orejas, F. 4 1987 Reasoning with graph constraints. Zbl 1209.68381 Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike 4 2010 Attributed graph constraints. Zbl 1175.68229 Orejas, Fernando 4 2008 Towards a navigational logic for graphical structures. Zbl 1383.68064 Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira 3 2018 Amalgamation of domain specific languages with behaviour. Zbl 1353.68028 Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen 3 2017 Institutions for logic programming. Zbl 0901.68027 Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut 3 1997 Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099 Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando 3 1991 A navigational logic for reasoning about graph properties. Zbl 1455.68147 Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen 3 2021 Institutions for navigational logics for graphical structures. Zbl 1436.03325 Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen 2 2018 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 Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8–12, 2001. Proceedings. Zbl 0967.00069 2 2001 Passing compatibility is almost persistency. Zbl 0584.68044 Orejas, F. 2 1985 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 A generic component framework for system modeling. Zbl 1059.68543 Ehrig, Hartmut; Orejas, Fernando; Braatz, Benjamin; Klein, Markus; Piirainen, Martti 2 2002 Categorical foundations of distributed graph transformation. Zbl 1157.68039 Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike 2 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 Initial conflicts for transformation rules with nested application conditions. Zbl 1502.68156 Lambers, Leen; Orejas, Fernando 2 2020 Satisfiability of constraint specifications on XML documents. Zbl 1321.68352 Navarro, Marisa; Orejas, Fernando; Pino, Elvira 1 2015 On the representation of data types. Zbl 0467.68021 Orejas, F. 1 1981 Structuring and modularity. Zbl 0945.68132 Orejas, Fernando 1 1999 Formal analysis of model transformations based on triple graph grammars. Zbl 1342.68180 Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando 1 2014 From basic views and aspects to integration of specification formalisms. Zbl 1049.68089 Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando 1 2001 Concurrency and loose semantics of open graph transformation systems. Zbl 1009.68095 Heckel, Reiko; Llabrés, Mercé; Ehrig, Hartmut; Orejas, Fernando 1 2002 An algebraic framework for higher-order modules. Zbl 0953.68097 Jiménez, Rosa; Orejas, Fernando 1 1999 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 Towards architectural connectors for UML. Zbl 1075.68569 Orejas, Fernando; Pérez, Sonia 1 2005 Semantics of normal logic programs with embedded implications. Zbl 1053.68541 Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira 1 2001 On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036 Navarro, M.; Orejas, F. 1 1984 Behaviour protection in modular rule-based system specifications. Zbl 1394.68073 Durán, Francisco; Orejas, Fernando; Zschaler, Steffen 1 2013 On the specification and verification of model transformations. Zbl 1253.68232 Orejas, Fernando; Wirsing, Martin 1 2009 On the correctness of modular systems. Zbl 0874.68065 Navarro, Marisa; Orejas, Fernando; Sánchez, Ana 1 1995 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 Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095 Orejas, Fernando; Pino, Elvira; Navarro, Marisa 1 2020 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 functorial framework for constraint normal logic programming. Zbl 1132.68324 Lucio, Paqui; Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira 1 2006 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 A logic-based incremental approach to graph repair. Zbl 1524.68243 Schneider, Sven; Lambers, Leen; Orejas, Fernando 1 2019 Unfolding symbolic attributed graph grammars. Zbl 1502.68159 Saadat, Maryam Ghaffari; Heckel, Reiko; Orejas, Fernando 1 2020 Transformation rules with nested application conditions: critical pairs, initial conflicts & minimality. Zbl 1517.68163 Lambers, Leen; Orejas, Fernando 1 2021 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 Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095 Orejas, Fernando; Pino, Elvira; Navarro, Marisa 1 2020 Unfolding symbolic attributed graph grammars. Zbl 1502.68159 Saadat, Maryam Ghaffari; Heckel, Reiko; Orejas, Fernando 1 2020 A logic-based incremental approach to graph repair. Zbl 1524.68243 Schneider, Sven; Lambers, Leen; Orejas, Fernando 1 2019 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 Categorical foundations of distributed graph transformation. Zbl 1157.68039 Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike 2 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 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 20 Serials 27 Theoretical Computer Science 18 Journal of Logical and Algebraic Methods in Programming 7 The Journal of Logic and Algebraic Programming 6 Formal Aspects of Computing 5 Acta Informatica 5 MSCS. Mathematical Structures in Computer Science 4 Journal of Symbolic Computation 2 Studia Logica 2 Journal of Automated Reasoning 2 Applied Categorical Structures 2 Theory and Practice of Logic Programming 2 Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A 1 Information Processing Letters 1 Information Sciences 1 Journal of Computer and System Sciences 1 Information and Computation 1 International Journal of Algebra and Computation 1 Journal of Functional Programming 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science all top 5 Cited in 10 Fields 151 Computer science (68-XX) 35 Mathematical logic and foundations (03-XX) 18 Category theory; homological algebra (18-XX) 2 General algebraic systems (08-XX) 2 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Systems theory; control (93-XX) Citations by Year