| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Marko Samer Marko Samer: Hypertree-decomposition via Branch-decomposition. IJCAI 2005 : 1535-1536 Marko Samer, Helmut Veith : Deterministic CTL Query Solving. TIME 2005 : 156-165 Georg Gottlob , Martin Grohe , Nysret Musliu , Marko Samer, Francesco Scarcello : Hypertree Decompositions: Structure, Algorithms, and Applications. WG 2005 : 1-15 Marko Samer, Helmut Veith : Parameterized Vacuity. FMCAD 2004 : 322-336 Marko Samer, Helmut Veith : A Syntactic Characterization of Distributive LTL Queries. ICALP 2004 : 1099-1110 Levi Lucio , Marko Samer: Technology of Test-Case Generation. Model-Based Testing of Reactive Systems 2004 : 323-354 Marko Samer, Helmut Veith : Validity of CTL Queries Revisited. CSL 2003 : 470-483 1 [ 5 ] 2 [ 5 ] 3 [ 2 ] 4 [ 5 ] 5 [ 5 ] 6 [ 1 ] [ 3 ] [ 4 ] [ 6 ]  ©2006 Association for Computing Machinery |
