Termination of rewrite relations on λ-terms based on Girard's notion of reducibility Fulltext Access 37 Pages 2016
Enhancing unsatisfiable cores for LTL with information on temporal relevance Fulltext Access 38 Pages 2016
Demazure flags, Chebyshev polynomials, partial and mock theta functions Fulltext Access 38 Pages 2016
Refined Cauchy and Littlewood identities, plane partitions and symmetry classes of alternating sign matrices Fulltext Access 40 Pages 2016
Solution to a problem of Bollobás and Häggkvist on Hamilton cycles in regular graphs Fulltext Access 61 Pages 2016
Towards a splitter theorem for internally 4-connected binary matroids IX: The theorem Fulltext Access 66 Pages 2016
On the number of occurrences of the kth smallest distance between points in convex position Fulltext Access 4 Pages 2015
Unary NP-hardness of minimizing the total deviation with generalized or assignable due dates Fulltext Access 4 Pages 2015
NoteCompleting the spectrum for large sets of extended directed triple systems Fulltext Access 4 Pages 2015
On the general sum-connectivity index of connected unicyclic graphs with kk pendant vertices Fulltext Access 4 Pages 2015
Ordering (signless) Laplacian spectral radii with maximum degrees of graphs Fulltext Access 5 Pages 2015
The clique-transversal number of a {K1,3,K4}{K1,3,K4}-free 4-regular graph Fulltext Access 5 Pages 2015
Degree conditions for graphs to be maximally kk-restricted edge connected and super kk-restricted edge connected Fulltext Access 6 Pages 2015
The computational complexity of the backbone coloring problem for planar graphs with connected backbones Fulltext Access 6 Pages 2015
Proof of a conjecture of Kulakova et al. related to the sl2 weight system Fulltext Access 6 Pages 2015
Polynomial-time algorithms for minimum weighted colorings of (P5,P¯5)-free graphs and similar graph classes Fulltext Access 6 Pages 2015
A proof of the stability of extremal graphs, Simonovits' stability from Szemerédi's regularity Fulltext Access 6 Pages 2015
NoteOn a link between Dirichlet kernels and central multinomial coefficients Fulltext Access 6 Pages 2015
Distance kk-domination, distance kk-guarding, and distance kk-vertex cover of maximal outerplanar graphs Fulltext Access 6 Pages 2015
An almost-confluent congruential language which is not Church–Rosser congruential Fulltext Access 6 Pages 2015
Every edge lies on cycles embedding in folded hypercubes with vertex-fault-tolerant Fulltext Access 6 Pages 2015
On the maximum fraction of edges covered by tt perfect matchings in a cubic bridgeless graph Fulltext Access 6 Pages 2015
The Chen–Chvátal conjecture for metric spaces induced by distance-hereditary graphs Fulltext Access 7 Pages 2015
NoteEvery 3-colorable graph has a faithful representation in the odd-distance graph Fulltext Access 7 Pages 2015
On the Erdős–Ko–Rado theorem and the Bollobás theorem for tt-intersecting families Fulltext Access 7 Pages 2015