Edit Profile (opens in new tab) Pino, Elvira Co-Author Distance Author ID: pino.elvira Published as: Pino, Elvira; Pino, E. Documents Indexed: 17 Publications since 1994 Co-Authors: 9 Co-Authors with 17 Joint Publications 197 Co-Co-Authors all top 5 Co-Authors 0 single-authored 17 Orejas, Fernando 7 Navarro, Marisa 5 Ehrig, Hartmut 5 Pasarella, Edelmira 3 Lambers, Leen 3 Lucio, Paqui 2 Klein, Markus 2 Padberg, Julia 2 Pérez, Sonia all top 5 Serials 2 Theoretical Computer Science 2 Fundamenta Informaticae 1 The Journal of Logic Programming 1 Applied Categorical Structures 1 The Journal of Logic and Algebraic Programming 1 Journal of Logical and Algebraic Methods in Programming Fields 16 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11 Publications have been cited 20 times in 13 Documents Cited by ▼ Year ▼ 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 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 A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329 Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa 2 2006 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 Semantics of normal logic programs with embedded implications. Zbl 1053.68541 Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira 1 2001 Satisfiability of constraint specifications on XML documents. Zbl 1321.68352 Navarro, Marisa; Orejas, Fernando; Pino, Elvira 1 2015 A functorial framework for constraint normal logic programming. Zbl 1147.68013 Lucio, P.; Orejas, F.; Pasarella, E.; Pino, E. 1 2008 Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095 Orejas, Fernando; Pino, Elvira; Navarro, Marisa 1 2020 A navigational logic for reasoning about graph properties. Zbl 1455.68147 Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen 3 2021 Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095 Orejas, Fernando; Pino, Elvira; Navarro, Marisa 1 2020 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 Satisfiability of constraint specifications on XML documents. Zbl 1321.68352 Navarro, Marisa; Orejas, Fernando; Pino, Elvira 1 2015 A functorial framework for constraint normal logic programming. Zbl 1147.68013 Lucio, P.; Orejas, F.; Pasarella, E.; Pino, E. 1 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 A functorial framework for constraint normal logic programming. Zbl 1132.68324 Lucio, Paqui; Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira 1 2006 Semantics of normal logic programs with embedded implications. Zbl 1053.68541 Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira 1 2001 An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031 Lucio, Paqui; Orejas, Fernando; Pino, Elvira 2 1999 Institutions for logic programming. Zbl 0901.68027 Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut 3 1997 all cited Publications top 5 cited Publications all top 5 Cited by 23 Authors 5 Orejas, Fernando 4 Navarro, Marisa 4 Pino, Elvira 2 Lambers, Leen 2 Lucio, Paqui 2 Pasarella, Edelmira 2 Poskitt, Christopher M. 1 Corradini, Andrea 1 Diaconescu, Răzvan 1 Drewes, Frank 1 Durán, Francisco 1 Gadducci, Fabio 1 Gaintzarain, Jose 1 Hermo, Montserrat 1 Hoffmann, Berthold 1 König, Harald 1 Lamo, Yngve 1 Meseguer Guaita, José 1 Minas, Mark 1 Plump, Detlef 1 Ribeiro, Leila 1 Rutle, Adrian 1 Stünkel, Patrick all top 5 Cited in 6 Serials 3 Theoretical Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Information Processing Letters 1 Formal Aspects of Computing 1 Applied Categorical Structures 1 The Journal of Logic and Algebraic Programming Cited in 3 Fields 12 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) Citations by Year