Marisa Navarro - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2021

A navigational logic for reasoning about graph propertiesMarisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers. jlap, 118:100616, 2021. [doi]

2020

Incremental Concurrent Model Synchronization using Triple Graph GrammarsFernando Orejas, Elvira Pino, Marisa Navarro. FASE 2020: 273-293 [doi]

2018

Towards a Navigational Logic for Graphical StructuresLeen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino. BIRTHDAY 2018: 124-141 [doi]

Institutions for navigational logics for graphical structuresFernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers. TCS, 741:19-24, 2018. [doi]

2015

Satisfiability of Constraint Specifications on XML DocumentsMarisa Navarro, Fernando Orejas, Elvira Pino. BIRTHDAY 2015: 539-561 [doi]

2014

A refutation procedure for proving satisfiability of constraint specifications on XML documentsMarisa Navarro, Fernando Orejas. sycss 2014: 47-61 [doi]

2013

Invariant-Free Clausal Temporal ResolutionJose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. JAR, 50(1):1-49, 2013. [doi]

2012

Semantics of structured normal logic programsEdelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro. jlp, 81(5):559-584, 2012. [doi]

2010

Translating propositional extended conjunctions of Horn clauses into Boolean circuitsJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro. TCS, 411(16-18):1723-1733, 2010. [doi]

2009

Dual Systems of Tableaux and Sequents for PLTLJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. jlp, 78(8):701-722, 2009. [doi]

2008

Systematic Semantic Tableaux for PLTLJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro. ENTCS, 206:59-73, 2008. [doi]

2007

A Cut-Free and Invariant-Free Sequent Calculus for PLTLJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. csl 2007: 481-495 [doi]

2005

Goals in the Propositional Horn Language Are Monotone Boolean CircuitsJoxe Gaintzarain, Montserrat Hermo, Marisa Navarro. mfcs 2005: 376-386 [doi]

A Transformational Semantics of Static Embedded Implications of Normal Logic ProgramsEdelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro. LOPSTR 2006: 133-146 [doi]

1999

A Strong Logic Programming View for Static Embedded ImplicationsR. Arruabarrena, Paqui Lucio, Marisa Navarro. fossacs 1999: 56-72

1996

On Extended Logic Languages supporting Program StructuringR. Arruabarrena, Marisa Navarro. agp 1996: 191-206

Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality ResultsFernando Orejas, Marisa Navarro, Ana Sánchez. mscs, 6(1):33-67, 1996.

1995

On the Correctness of Modular SystemsMarisa Navarro, Fernando Orejas, Ana Sánchez. TCS, 140(1):139-177, 1995. [doi]

1993

On the Correctness of Modular SystemsMarisa Navarro, Fernando Orejas, Ana Sánchez. amast 1994: 209-216

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-SpecificationsMarisa Navarro, Fernando Orejas, Jean-Luc Remy. ACTA, 30(2):147-180, 1993.

Characterizing ConfusionMarisa Navarro, Fernando Orejas, Ana Sánchez. eatcs, 49:103-110, 1993.

1991

Implementation and Behavioural Equivalence: A SurveyFernando Orejas, Marisa Navarro, Ana Sánchez. compass 1993: 93-125

1988

Term Rewriting Methods for Partial SpecificationsFernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena. WADT 1988:

1987

Parameterized Horn Clause Specifications: Proof Theory and CorrectnessMarisa Navarro, Fernando Orejas. tapsoft 1987: 202-216

1984

On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting SystemsMarisa Navarro, Fernando Orejas. eurosam 1984: 74-85

Sign in or sign up to see more results.

runs on WebDSL