Marisa Navarro

29 papers B 4C 1Journal 10Unranked 11
YearRankTypeTitle / Venue / Authors
2021 J jnl
A navigational logic for reasoning about graph properties.
J. Log. Algebraic Methods Program.
Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers
2020 B conf
Incremental Concurrent Model Synchronization using Triple Graph Grammars.
FASE
Fernando Orejas, Elvira Pino, Marisa Navarro
2018 J jnl
Institutions for navigational logics for graphical structures.
Theor. Comput. Sci.
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers
2018 — conf
Towards a Navigational Logic for Graphical Structures.
Graph Transformation, Specifications, and Nets
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
2015 — ed.
Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015.
PROLE
Marisa Navarro
2015 — conf
Satisfiability of Constraint Specifications on XML Documents.
Logic, Rewriting, and Concurrency
Marisa Navarro, Fernando Orejas, Elvira Pino
2014 — conf
A refutation procedure for proving satisfiability of constraint specifications on XML documents.
SCSS
Marisa Navarro, Fernando Orejas
2014 — conf
SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents.
PROLE
Javier Albors, Marisa Navarro
2013 J jnl
Invariant-Free Clausal Temporal Resolution.
J. Autom. Reason.
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2012 J jnl
Semantics of structured normal logic programs.
J. Log. Algebraic Methods Program.
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
2010 J jnl
Translating propositional extended conjunctions of Horn clauses into Boolean circuits.
Theor. Comput. Sci.
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro
2009 J jnl
Dual Systems of Tableaux and Sequents for PLTL.
J. Log. Algebraic Methods Program.
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2007 B conf
A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
CSL
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2007 — conf
Systematic Semantic Tableaux for PLTL.
PROLE
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro
2005 C conf
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
LOPSTR
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
2005 B conf
Goals in the Propositional Horn Language Are Monotone Boolean Circuits.
MFCS
Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro
1999 B conf
A Strong Logic Programming View for Static Embedded Implications.
FoSSaCS
Rosa Arruabarrena, Paqui Lucio, Marisa Navarro
1997 — ed.
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
APPIA-GULP-PRODE
Moreno Falaschi, Marisa Navarro, Alberto Policriti
1996 — ed.
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996
APPIA-GULP-PRODE
Paqui Lucio, Maurizio Martelli, Marisa Navarro
1996 J jnl
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.
Math. Struct. Comput. Sci.
Fernando Orejas, Marisa Navarro, Ana Sánchez
1996 — conf
On Extended Logic Languages supporting Program Structuring.
APPIA-GULP-PRODE
Rosa Arruabarrena, Marisa Navarro
1995 J jnl
On the Correctness of Modular Systems.
Theor. Comput. Sci.
Marisa Navarro, Fernando Orejas, Ana Sánchez
1993 J jnl
Characterizing Confusion.
Bull. EATCS
Marisa Navarro, Fernando Orejas, Ana Sánchez
1993 J jnl
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
Acta Informatica
Marisa Navarro, Fernando Orejas, Jean-Luc Rémy
1993 — conf
On the Correctness of Modular Systems.
AMAST
Marisa Navarro, Fernando Orejas, Ana Sánchez
1991 — conf
Implementation and Behavioural Equivalence: A Survey.
COMPASS/ADT
Fernando Orejas, Marisa Navarro, Ana Sánchez
1988 — conf
Term Rewriting Methods for Partial Specifications.
ADT
Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena
1987 — conf
Parameterized Horn Clause Specifications: Proof Theory and Correctness.
TAPSOFT, Vol.1
Marisa Navarro, Fernando Orejas
1984 — conf
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.
EUROSAM
Marisa Navarro, Fernando Orejas