Marisa Navarro

According to our database, Marisa Navarro authored at least 25 papers between 1984 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A navigational logic for reasoning about graph properties.

Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers

J. Log. Algebraic Methods Program., 2021

2020

Incremental Concurrent Model Synchronization using Triple Graph Grammars.

Fernando Orejas, Elvira Pino, Marisa Navarro

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2018

Institutions for navigational logics for graphical structures.

Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers

Theor. Comput. Sci., 2018

Towards a Navigational Logic for Graphical Structures.

Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2015

Satisfiability of Constraint Specifications on XML Documents.

Marisa Navarro, Fernando Orejas, Elvira Pino

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents.

Javier Albors, Marisa Navarro

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

A refutation procedure for proving satisfiability of constraint specifications on XML documents.

Marisa Navarro, Fernando Orejas

Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

2013

Invariant-Free Clausal Temporal Resolution.

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

J. Autom. Reason., 2013

2012

Semantics of structured normal logic programs.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

J. Log. Algebraic Methods Program., 2012

2010

Translating propositional extended conjunctions of Horn clauses into Boolean circuits.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro

Theor. Comput. Sci., 2010

2009

Dual Systems of Tableaux and Sequents for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

J. Log. Algebraic Methods Program., 2009

2007

Systematic Semantic Tableaux for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

A Cut-Free and Invariant-Free Sequent Calculus for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2005

Goals in the Propositional Horn Language Are Monotone Boolean Circuits.

Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

1999

A Strong Logic Programming View for Static Embedded Implications.

Rosa Arruabarrena, Paqui Lucio, Marisa Navarro

Proceedings of the Foundations of Software Science and Computation Structure, 1999

1996

Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.

Fernando Orejas, Marisa Navarro, Ana Sánchez

Math. Struct. Comput. Sci., 1996

On Extended Logic Languages supporting Program Structuring.

Rosa Arruabarrena, Marisa Navarro

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

On the Correctness of Modular Systems.

Marisa Navarro, Fernando Orejas, Ana Sánchez

Theor. Comput. Sci., 1995

1993

Characterizing Confusion.

Marisa Navarro, Fernando Orejas, Ana Sánchez

Bull. EATCS, 1993

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.

Marisa Navarro, Fernando Orejas, Jean-Luc Rémy

Acta Informatica, 1993

1991

Implementation and Behavioural Equivalence: A Survey.

Fernando Orejas, Marisa Navarro, Ana Sánchez

Proceedings of the Recent Trends in Data Type Specification, 1991

1988

Term Rewriting Methods for Partial Specifications.

Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Parameterized Horn Clause Specifications: Proof Theory and Correctness.

Marisa Navarro, Fernando Orejas

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1984

On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.

Marisa Navarro, Fernando Orejas

Proceedings of the EUROSAM 84, 1984