Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Montserrat Hermo

Montserrat Hermo Huguet

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/GaintzarainHLNO13
- ask others
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Invariant-Free Clausal Temporal Resolution. J. Autom. Reasoning 50(1): 1-49 (2013)
2011
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/PuenteH11
- ask others
Víctor Lavín Puente, Montserrat Hermo: Negative results on learning multivalued dependencies with queries. Inf. Process. Lett. 111(19): 968-972 (2011)
2010
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/GaintzarainHLN10
- ask others
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Translating propositional extended conjunctions of Horn clauses into Boolean circuits. Theor. Comput. Sci. 411(16-18): 1723-1733 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AlechaH09
- ask others
Mikel Alecha, Montserrat Hermo: A Learning Algorithm for Deterministic Finite Automata using JFLAP. Electr. Notes Theor. Comput. Sci. 248: 47-56 (2009)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/GaintzarainHLNO09
- ask others
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebr. Program. 78(8): 701-722 (2009)
2008
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GaintzarainHLN08
- ask others
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Systematic Semantic Tableaux for PLTL. Electr. Notes Theor. Comput. Sci. 206: 59-73 (2008)
2007
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/GaintzarainHLNO07
- ask others
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495
2005
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/GaintzarainHN05
- ask others
Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro: Goals in the Propositional Horn Language Are Monotone Boolean Circuits. MFCS 2005: 376-386
2002
[c7]
- view
  - electronic edition @ rutgers.edu
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/amai/HermoL02
- ask others
Montserrat Hermo, Víctor Lavín: Negative Results on Learning Dependencies with Queries. AMAI 2002
[c6]
- view
  - electronic edition @ rutgers.edu
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isaim/HermoL02
- ask others
Montserrat Hermo, Víctor Lavín: Negative Results on Learning Dependencies with Queries. ISAIM 2002

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c5]
- view
  - electronic edition via DOI
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/alt/HermoL98
- ask others
Montserrat Hermo, Víctor Lavín: Learning Minimal Covers of Functional Dependencies with Queries. ALT 1999: 291-300
1998
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BalcazarH98
- ask others
José L. Balcázar, Montserrat Hermo: The Structure of Logarithmic Advice Complexity Classes. Theor. Comput. Sci. 207(1): 217-244 (1998)
1997
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/Hermo97
- ask others
Montserrat Hermo: Compressibility and Uniform Complexity. Inf. Process. Lett. 62(5): 259-264 (1997)
1996
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0084821
- ask others
Montserrat Hermo Huguet: Nonuniform complexity classes with sub-linear advice functions. Universität Barcelona 1996, pp. 1-156
1995
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eurocolt/BalcazarBH95
- ask others
José L. Balcázar, Harry Buhrman, Montserrat Hermo: Learnability of Kolmogorov-easy circuit expressions via queries. EuroCOLT 1995: 112-124
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/BuhrmanH95
- ask others
Harry Buhrman, Montserrat Hermo: On the Sparse Set Conjecture for Sets with Low Denisty. STACS 1995: 609-618
1994
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/HermoM94
- ask others
Montserrat Hermo, Elvira Mayordomo: A Note on Polynomial-Size Circuits with Low Resource-Bounded Kolmogorov Complexity. Mathematical Systems Theory 27(4): 347-356 (1994)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/Hermo94
- ask others
Montserrat Hermo: Degrees and Reducibilities of Easy Tally Sets. MFCS 1994: 403-412
1992
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/BalcazarHM92
- ask others
José L. Balcázar, Montserrat Hermo, Elvira Mayordomo: Characterizations of Logarithmic Advice Complexity Classes. IFIP Congress (1) 1992: 315-321