×
Edit Profile (opens in new tab)

Navarro, Marisa

Co-Author Distance
Author ID: navarro.marisa Recent zbMATH articles by "Navarro, Marisa"
Published as: Navarro, Marisa; Navarro, M.
Documents Indexed: 21 Publications since 1984
Co-Authors: 9 Co-Authors with 19 Joint Publications
95 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 Cisternas, Jaime E.
1 Concha, A.
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 Mathematical Structures in Computer Science
1 Chaos
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)
1 Ordinary differential equations (34-XX)
1 Dynamical systems and ergodic theory (37-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

17 Publications have been cited 48 times in 38 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
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
5
2018
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen
5
2021
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
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
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
2
2018
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 strong logic programming view for static embedded implications. Zbl 0948.68031
Arruabarrena, R.; Lucio, P.; Navarro, M.
2
1999
Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095
Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2020
Invariant-free clausal temporal resolution. Zbl 1408.03006
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
1
2013
On the correctness of modular systems. Zbl 0874.68065
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana
1
1995
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036
Navarro, M.; Orejas, F.
1
1984
Equilibrium and symmetries of altitudinal magnetic rotors on a circle. Zbl 07880314
Cisternas, J.; Navarro, M.; Duarte, S.; Concha, A.
1
2022
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
Equilibrium and symmetries of altitudinal magnetic rotors on a circle. Zbl 07880314
Cisternas, J.; Navarro, M.; Duarte, S.; Concha, A.
1
2022
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen
5
2021
Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095
Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2020
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
5
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
Invariant-free clausal temporal resolution. Zbl 1408.03006
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
1
2013
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 66 Authors

8 Hermo, Montserrat
8 Lucio, Paqui
7 Navarro, Marisa
7 Orejas, Fernando
4 Bolotov, Alexander
4 Pino, Elvira
3 Alonderis, Romas
3 Gaintzarain, Jose
2 Abuin, Alex
2 Giedra, Haroldas
2 Lambers, Leen
2 Pasarella, Edelmira
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 Duval, Dominique
1 Echahed, Rachid
1 Fritsche, Lars
1 Goguen, Joseph Amadee
1 Goré, Rajeev Prabhakar
1 Hoffmann, Berthold
1 Kamide, Norihiro
1 Kirchner, Hélène
1 König, Harald
1 Kosiol, Jens
1 Lamo, Yngve
1 Lange, Martin
1 Li, Xiaonan
1 Lipton, James B.
1 Liu, Xin
1 Makhlouf, Amani
1 Malcolm, Grant
1 Mazure, Bertrand
1 McGrail, Robert W.
1 Minas, Mark
1 Möller, Adrian
1 Mylonakis, Nikos
1 Pan, Chang
1 Percebois, Christian
1 Pliuškevičienė, Aida
1 Pliuškevičius, Regimantas
1 Plump, Detlef
1 Prost, Frédéric
1 Remy, Jean-Luc
1 Rutle, Adrian
1 Salhi, Yakoub
1 Sánchez, César
1 Sannella, Donald T.
1 Schürr, Andy
1 Sioutis, Michael
1 Stratulat, Sorin
1 Studer, Thomas
1 Stünkel, Patrick
1 Tarlecki, Andrzej
1 Titolo, Laura
1 Tran, Hanh Nhi
1 Villanueva, Alicia
1 Widmann, Florian
1 Zou, Li
all top 5

Cited in 12 Serials

6 Theoretical Computer Science
4 Journal of Logical and Algebraic Methods in Programming
3 The Journal of Logic and Algebraic 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 Information Sciences
1 Journal of Symbolic Computation
1 Machine Learning
1 Theory and Practice of Logic Programming

Cited in 3 Fields

29 Computer science (68-XX)
23 Mathematical logic and foundations (03-XX)
1 Category theory; homological algebra (18-XX)

Citations by Year