Name Card

Full name Familienname, Vorname
Samer, Marko
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Samer, Marko ; Szeider, Stefan Chapter 17. Fixed-Parameter TractabilityBuchbeitrag Book Contribution 2021
2Samer, Marko ; Szeider, Stefan Tractable Cases of the Extended Global Cardinality ConstraintArtikel Article2011
3Samer, Marko ; Szeider, Stefan Algorithms for Propositional Model CountingArtikel Article2010
4Samer, Marko ; Veith, Helmut On the distributivity of LTL specificationsArtikel Article2010
5Samer, Marko ; Szeider, Stefan Constraint Satisfaction with Bounded Treewidth RevisitedArtikel Article 2010
6Dermaku, Artan ; Ganzow, Tobias ; Gottlob, Georg ; McMahan, Benjamin J. ; Musliu, Nysret ; Samer, Marko Heuristic Methods for Hypertree DecompositionKonferenzbeitrag Inproceedings2008
7Samer, Marko ; Szeider, Stefan Constraint Satisfaction with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings 2006
8Samer, Marko ; Veith, Helmut From Temporal Logic Queries to Vacuity DetectionBuchbeitrag Book Contribution2006
9Samer, Marko ; Veith, Helmut Deterministic CTL Query SolvingKonferenzbeitrag Inproceedings2005
10Samer, Marko Hypertree-decomposition via Branch-decompositionKonferenzbeitrag Inproceedings 2005
11Gottlob, Georg ; Grohe, Martin ; Musliu, Nysret ; Samer, Marko ; Scarcello, Francesco Hypertree Decompositions: Structure, Algorithms, and ApplicationsKonferenzbeitrag Inproceedings 2005
12Lucio, Levi ; Samer, Marko Technology of Test-Case GenerationBuchbeitrag Book Contribution 2005
13Samer Marko - 2004 - Reasoning about specifications in model checking.pdf.jpgSamer, Marko Reasoning about specifications in model checkingThesis Hochschulschrift 2004
14Samer, Marko Temporal logic queries in model checkingThesis Hochschulschrift2002