Montserrat Hermo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2023

Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and modelsAlex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio. jlap, 130:100828, 2023. [doi]

Tableaux for Realizability of Safety SpecificationsMontserrat Hermo, Paqui Lucio, César Sánchez 0001. FM 2023: 495-513 [doi]

2021

Verified Model Checking for Conjunctive Positive LogicAlex Abuin, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio. sncs, 2(5):344, 2021. [doi]

2020

One-Pass Context-Based Tableaux Systems for CTL and ECTLAlex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio. time 2020: [doi]

Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+Alexander Bolotov, Montserrat Hermo, Paqui Lucio. TCS, 813:428-451, 2020. [doi]

Exact Learning: On the Boundary between Horn and CNFMontserrat Hermo, Ana Ozaki. toct, 12(1), 2020. [doi]

2019

Towards Certified Model Checking for PLTL Using One-Pass TableauxAlex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio. time 2019: [doi]

Automatic white-box testing of first-order logic ontologiesJavier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau. logcom, 29(5):723-751, 2019. [doi]

2018

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau ApproachAlexander Bolotov, Montserrat Hermo, Paqui Lucio. time 2018: [doi]

Exact learning of multivalued dependency formulasMontserrat Hermo, Ana Ozaki. TCS, 716:4-14, 2018. [doi]

2015

Exact Learning of Multivalued DependenciesMontserrat Hermo, Ana Ozaki. alt 2015: 73-88 [doi]

2013

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

2011

Negative results on learning multivalued dependencies with queriesVíctor Lavín Puente, Montserrat Hermo. ipl, 111(19):968-972, 2011. [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

A Learning Algorithm for Deterministic Finite Automata using JFLAPMikel Alecha, Montserrat Hermo. ENTCS, 248:47-56, 2009. [doi]

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]

2002

Negative Results on Learning Dependencies with QueriesMontserrat Hermo, Víctor Lavín. amai 2002: [doi]

Negative Results on Learning Dependencies with QueriesMontserrat Hermo, Víctor Lavín. isaim 2004: [doi]

1999

Learning Minimal Covers of Functional Dependencies with QueriesMontserrat Hermo, Víctor Lavín. alt 1999: 291-300 [doi]

1998

The Structure of Logarithmic Advice Complexity ClassesJosé L. Balcázar, Montserrat Hermo. TCS, 207(1):217-244, 1998. [doi]

1997

Compressibility and Uniform ComplexityMontserrat Hermo. ipl, 62(5):259-264, 1997. [doi]

1995

Learnability of Kolmogorov-easy circuit expressions via queriesJosé L. Balcázar, Harry Buhrman, Montserrat Hermo. eurocolt 1995: 112-124

On the Sparse Set Conjecture for Sets with Low DenistyHarry Buhrman, Montserrat Hermo. STACS 1995: 609-618

1994

Degrees and Reducibilities of Easy Tally SetsMontserrat Hermo. mfcs 1994: 403-412

A Note on Polynomial-Size Circuits with Low Resource-Bounded Kolmogorov ComplexityMontserrat Hermo, Elvira Mayordomo. mst, 27(4):347-356, 1994.

1992

Characterizations of Logarithmic Advice Complexity ClassesJosé L. Balcázar, Montserrat Hermo, Elvira Mayordomo. ifip 1992: 315-321

Sign in or sign up to see more results.

runs on WebDSL