M. Hermo

Available identifiers

zbMath Open hermo.montserratMaRDI QIDQ287085

List of research outcomes

Publication	Date of Publication	Type
Towards an efficient implementation of a tableau method for reactive safety specifications	2024-11-26	Paper
Towards the exact complexity of realizability for safety LTL	2024-10-08	Paper
One-pass Context-based Tableaux Systems for CTL and ECTL	2023-11-02	Paper
Tableaux for realizability of safety specifications	2023-08-17	Paper
Towards certified model checking for PLTL using one-pass tableaux	2023-02-03	Paper
Exact Learning	2022-12-05	Paper
Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models	2022-11-16	Paper
Degrees and reducibilities of easy tally sets	2022-08-18	Paper
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach	2022-05-28	Paper
Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\)	2020-04-21	Paper
Automatic white-box testing of first-order logic ontologies	2020-02-03	Paper
Exact learning of multivalued dependency formulas	2018-03-12	Paper
On the sparse set conjecture for sets with low density	2017-12-04	Paper
Exact Learning of Multivalued Dependencies	2016-11-30	Paper
Compressibility and uniform complexity	2016-05-26	Paper
Systematic semantic tableaux for PLTL	2014-01-10	Paper
Invariant-free clausal temporal resolution	2013-07-05	Paper
Negative results on learning multivalued dependencies with queries	2013-04-04	Paper
Translating propositional extended conjunctions of Horn clauses into Boolean circuits	2010-04-15	Paper
Dual systems of tableaux and sequents for PLTL	2009-11-04	Paper
A Cut-Free and Invariant-Free Sequent Calculus for PLTL	2009-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4955319	2000-07-24	Paper
The structure of logarithmic advice complexity classes	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4348124	1997-09-22	Paper
A Note on polynomial-size circuits with low resource-bounded Kolmogorov complexity	1994-08-10	Paper

Research outcomes over time

This page was built for person: M. Hermo