Marisa Navarro

Publication Activity (10 Years)

Years Active: 1984-2021
Publications (10 Years): 5

Top Topics

Normal Logic Programs

Satisfiability Problem

Top Venues

J. Log. Algebraic Methods Program.

Publications

Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers
A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118 (2021)
Fernando Orejas, Elvira Pino, Marisa Navarro
Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE (2020)
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers
Institutions for navigational logics for graphical structures. Theor. Comput. Sci. 741 (2018)
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets (2018)
Marisa Navarro, Fernando Orejas, Elvira Pino
Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency (2015)
Marisa Navarro, Fernando Orejas
A refutation procedure for proving satisfiability of constraint specifications on XML documents. SCSS (2014)
Javier Albors, Marisa Navarro
SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents. PROLE (2014)
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
Invariant-Free Clausal Temporal Resolution. J. Autom. Reason. 50 (1) (2013)
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
Semantics of structured normal logic programs. J. Log. Algebraic Methods Program. 81 (5) (2012)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro
Translating propositional extended conjunctions of Horn clauses into Boolean circuits. Theor. Comput. Sci. 411 (16-18) (2010)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebraic Methods Program. 78 (8) (2009)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro
Systematic Semantic Tableaux for PLTL. Electron. Notes Theor. Comput. Sci. 206 (2008)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL (2007)
Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro
Goals in the Propositional Horn Language Are Monotone Boolean Circuits. MFCS (2005)
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR (2005)
R. Arruabarrena, Paqui Lucio, Marisa Navarro
A Strong Logic Programming View for Static Embedded Implications. FoSSaCS (1999)
R. Arruabarrena, Marisa Navarro
On Extended Logic Languages supporting Program Structuring. APPIA-GULP-PRODE (1996)
Fernando Orejas, Marisa Navarro, Ana Sánchez
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. Math. Struct. Comput. Sci. 6 (1) (1996)
Marisa Navarro, Fernando Orejas, Ana Sánchez
On the Correctness of Modular Systems. Theor. Comput. Sci. 140 (1) (1995)
Marisa Navarro, Fernando Orejas, Jean-Luc Rémy
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. Acta Informatica 30 (2) (1993)
Marisa Navarro, Fernando Orejas, Ana Sánchez
On the Correctness of Modular Systems. AMAST (1993)
Marisa Navarro, Fernando Orejas, Ana Sánchez
Characterizing Confusion. Bull. EATCS 49 (1993)
Fernando Orejas, Marisa Navarro, Ana Sánchez
Implementation and Behavioural Equivalence: A Survey. COMPASS/ADT (1991)
Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena
Term Rewriting Methods for Partial Specifications. ADT (1988)
Marisa Navarro, Fernando Orejas
Parameterized Horn Clause Specifications: Proof Theory and Correctness. TAPSOFT, Vol.1 (1987)
Marisa Navarro, Fernando Orejas
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. EUROSAM (1984)