Validity of CTL Queries Revisited. - Marko Samer; Helmut Veith (CSL, 2003)

Technology of Test-Case Generation. - Levi Lucio; Marko Samer (Model-Based Testing of Reactive Systems, 2004)

Parameterized Vacuity. - Marko Samer; Helmut Veith (FMCAD, 2004)

A Syntactic Characterization of Distributive LTL Queries. - Marko Samer; Helmut Veith (ICALP, 2004)

Hypertree-decomposition via Branch-decomposition. - Marko Samer (IJCAI, 2005)

Deterministic CTL Query Solving. - Marko Samer; Helmut Veith (TIME, 2005)

From Temporal Logic Queries to Vacuity Detection. - Marko Samer; Helmut Veith (VISSAS, 2005)

Hypertree Decompositions: Structure, Algorithms, and Applications. - Georg Gottlob; Martin Grohe; Nysret Musliu; Marko Samer; Francesco Scarcello (WG, 2005)

Complexity and Applications of Edge-Induced Vertex-Cuts - Marko Samer; Stefan Szeider (CoRR, 2006)

A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth - Marko Samer; Stefan Szeider (CoRR, 2006)

On the Notion of Vacuous Truth. - Marko Samer; Helmut Veith (LPAR, 2007)

A Backtracking-Based Algorithm for Computing Hypertree-Decompositions - Georg Gottlob; Marko Samer (CoRR, 2007)

Backdoor Trees. - Marko Samer; Stefan Szeider (AAAI, 2008)

Variable Dependencies of Quantified CSPs. - Marko Samer (LPAR, 2008)

Heuristic Methods for Hypertree Decomposition. - Artan Dermaku; Tobias Ganzow; Georg Gottlob; Benjamin J. McMahan; Nysret Musliu; Marko Samer (MICAI, 2008)

A backtracking-based algorithm for hypertree decomposition. - Georg Gottlob; Marko Samer (ACM J. Exp. Algorithmics, 2008)

Encoding Treewidth into SAT. - Marko Samer; Helmut Veith (SAT, 2009)

Backdoor Sets of Quantified Boolean Formulas. - Marko Samer; Stefan Szeider (J. Autom. Reason., 2009)

Fixed-Parameter Tractability. - Marko Samer; Stefan Szeider (Handbook of Satisfiability, 2009)

Constraint satisfaction with bounded treewidth revisited. - Marko Samer; Stefan Szeider (J. Comput. Syst. Sci., 2010)

Algorithms for propositional model counting. - Marko Samer; Stefan Szeider (J. Discrete Algorithms, 2010)

On the distributivity of LTL specifications. - Marko Samer; Helmut Veith (ACM Trans. Comput. Log., 2010)

Tractable cases of the extended global cardinality constraint. - Marko Samer; Stefan Szeider (Constraints An Int. J., 2011)

Fixed-Parameter Tractability. - Marko Samer; Stefan Szeider (Handbook of Satisfiability, 2021)