Edit Profile (opens in new tab) Navarro, Marisa Co-Author Distance Author ID: navarro.marisa Published as: Navarro, Marisa; Navarro, M. Documents Indexed: 20 Publications since 1984 Co-Authors: 9 Co-Authors with 19 Joint Publications 93 Co-Co-Authors all top 5 Co-Authors 0 single-authored 16 Orejas, Fernando 7 Pino, Elvira 6 Hermo, Montserrat 5 Lucio, Paqui 3 Gaintzarain, Jose 3 Lambers, Leen 2 Pasarella, Edelmira 1 Arruabarrena, Rosa 1 Gaintzarain, Joxe 1 Remy, Jean-Luc all top 5 Serials 3 Theoretical Computer Science 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 Journal of Automated Reasoning 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 16 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 1 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 42 times in 33 Documents Cited by ▼ Year ▼ 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 Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596 Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando 7 2009 Systematic semantic tableaux for PLTL. Zbl 1278.03041 Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M. 4 2007 Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016 Navarro, M.; Orejas, F. 4 1987 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 Institutions for navigational logics for graphical structures. Zbl 1436.03325 Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen 2 2018 A strong logic programming view for static embedded implications. Zbl 0948.68031 Arruabarrena, R.; Lucio, P.; Navarro, M. 2 1999 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 Goals in the propositional Horn\(^\supset\) language are monotone Boolean circuits. Zbl 1156.68326 Gaintzarain, J.; Hermo, M.; Navarro, M. 2 2005 A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329 Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa 2 2006 Satisfiability of constraint specifications on XML documents. Zbl 1321.68352 Navarro, Marisa; Orejas, Fernando; Pino, Elvira 1 2015 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 correctness of modular systems. Zbl 0874.68065 Navarro, Marisa; Orejas, Fernando; Sánchez, Ana 1 1995 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 Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596 Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando 7 2009 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 Systematic semantic tableaux for PLTL. Zbl 1278.03041 Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M. 4 2007 A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329 Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa 2 2006 Goals in the propositional Horn\(^\supset\) language are monotone Boolean circuits. Zbl 1156.68326 Gaintzarain, J.; Hermo, M.; Navarro, M. 2 2005 A strong logic programming view for static embedded implications. Zbl 0948.68031 Arruabarrena, R.; Lucio, P.; Navarro, M. 2 1999 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 Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016 Navarro, M.; Orejas, F. 4 1987 On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036 Navarro, M.; Orejas, F. 1 1984 all cited Publications top 5 cited Publications all top 5 Cited by 51 Authors 8 Hermo, Montserrat 8 Lucio, Paqui 7 Navarro, Marisa 6 Orejas, Fernando 4 Bolotov, Alexander 3 Alonderis, Romas 3 Gaintzarain, Jose 3 Pino, Elvira 2 Abuin, Alex 2 Giedra, Haroldas 2 Lambers, Leen 2 Poskitt, Christopher M. 1 Abate, Pietro 1 Amato, Gianluca 1 Arias, Marta 1 Balcázar, José Luis 1 Bouhoula, Adel 1 Brünnler, Kai 1 Comini, Marco 1 Condotta, Jean-François 1 Drewes, Frank 1 Goguen, Joseph Amadee 1 Goré, Rajeev Prabhakar 1 Hoffmann, Berthold 1 Kamide, Norihiro 1 Kirchner, Hélène 1 König, Harald 1 Lamo, Yngve 1 Lange, Martin 1 Lipton, James B. 1 Malcolm, Grant 1 Mazure, Bertrand 1 McGrail, Robert W. 1 Minas, Mark 1 Pasarella, Edelmira 1 Pliuškevičienė, Aida 1 Pliuškevičius, Regimantas 1 Plump, Detlef 1 Remy, Jean-Luc 1 Rutle, Adrian 1 Salhi, Yakoub 1 Sánchez, César 1 Sannella, Donald T. 1 Sioutis, Michael 1 Stratulat, Sorin 1 Studer, Thomas 1 Stünkel, Patrick 1 Tarlecki, Andrzej 1 Titolo, Laura 1 Villanueva, Alicia 1 Widmann, Florian all top 5 Cited in 11 Serials 6 Theoretical Computer Science 3 The Journal of Logic and Algebraic Programming 3 Journal of Logical and Algebraic Methods in Programming 2 Studia Logica 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 2 Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A 1 Acta Informatica 1 Journal of Symbolic Computation 1 Machine Learning 1 Theory and Practice of Logic Programming Cited in 3 Fields 24 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Citations by Year