On-demand strategy annotations revisited: An improved on-demand evaluation strategy Fulltext Access 38 Pages 2010
An integrated framework for the diagnosis and correction of rule-based programs Fulltext Access 47 Pages 2010
Abstract interpretation based verification of temporal properties for BioAmbients Fulltext Access 53 Pages 2010
Bounds on the location of the maximum Stirling numbers of the second kind Fulltext Access 4 Pages 2009
The recognition of the class of indecomposable digraphs under low hemimorphy Fulltext Access 4 Pages 2009
Finding Hamiltonian cycles in {quasi-claw,K1,5,K1,5+e}{quasi-claw,K1,5,K1,5+e}-free graphs with bounded Dilworth numbers Fulltext Access 4 Pages 2009
Cayley graphs on left quasi-groups and groupoids representing kk-generalised Petersen graphs Fulltext Access 4 Pages 2009
Many disjoint dense subgraphs versus large kk-connected subgraphs in large graphs with given edge density Fulltext Access 4 Pages 2009
A generalization of Fan’s results: Distribution of cycle lengths in graphs Fulltext Access 4 Pages 2009
Measure preserving homomorphisms and independent sets in tensor graph powers Fulltext Access 4 Pages 2009
On the characterization of trees with signed edge domination numbers 1, 2, 3, or 4 Fulltext Access 4 Pages 2009
Linear bound on extremal functions of some forbidden patterns in 0-1 matrices Fulltext Access 4 Pages 2009
The fractional chromatic number, the Hall ratio, and the lexicographic product Fulltext Access 4 Pages 2009
Transforming an error-tolerant separable matrix to an error-tolerant disjunct matrix Fulltext Access 4 Pages 2009
Symmetry distribution between hook length and part length for partitions Fulltext Access 4 Pages 2009
Extremal hypergraphs and bounds for the Turán density of the 4-uniform K5K5 Fulltext Access 4 Pages 2009