The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs Fulltext Access 22 Pages 2018
Transducer descriptions of DNA code properties and undecidability of antimorphic problems Fulltext Access 22 Pages 2018
The matroid structure of representative triple sets and triple-closure computation Fulltext Access 24 Pages 2018
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy Fulltext Access 24 Pages 2018
Internal zonotopal algebras and the monomial reflection groups G(m,1,n) Fulltext Access 25 Pages 2018
An overpartition analogue of q-binomial coefficients, II: Combinatorial proofs and (q,t)-log concavity Fulltext Access 26 Pages 2018
A survey of string orderings and their application to the Burrows-Wheeler transform Fulltext Access 26 Pages 2018
Motif trie: An efficient text index for pattern discovery with don't cares Fulltext Access 26 Pages 2018
The Cohen-Macaulayness of the bounded complex of an affine oriented matroid Fulltext Access 27 Pages 2018
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses Fulltext Access 27 Pages 2018
Practical verification of multi-agent systems against Slk specifications Fulltext Access 27 Pages 2018
From Jinja bytecode to term rewriting: A complexity reflecting transformation Fulltext Access 28 Pages 2018
Outside nested decompositions of skew diagrams and Schur function determinants Fulltext Access 29 Pages 2018
LLT polynomials, chromatic quasisymmetric functions and graphs with cycles Fulltext Access 30 Pages 2018
Linear rank-width of distance-hereditary graphs II. Vertex-minor obstructions Fulltext Access 30 Pages 2018
The ErdÅs-Pósa property for edge-disjoint immersions in 4-edge-connected graphs Fulltext Access 32 Pages 2018
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives Fulltext Access 32 Pages 2018
Bounds on the minimax rate for estimating a prior over a VC class from independent learning tasks Fulltext Access 33 Pages 2018
On the boundary between decidability and undecidability of asynchronous session subtyping Fulltext Access 33 Pages 2018
Orientations, lattice polytopes, and group arrangements III: Cartesian product arrangements and applications to Tutte type polynomials Fulltext Access 35 Pages 2018
Equivalence between model-checking flat counter systems and Presburger arithmetic Fulltext Access 36 Pages 2018
Gracefully degrading consensus and k-set agreement in directed dynamic networks Fulltext Access 37 Pages 2018
Supersaturation in posets and applications involving the container method Fulltext Access 38 Pages 2018
The free-fermionic C2(1) loop model, double dimers and Kashaev's recurrence Fulltext Access 42 Pages 2018
The classification of tensor categories of two-colored noncrossing partitions Fulltext Access 43 Pages 2018
On matrices with the Edmonds-Johnson property arising from bidirected graphs Fulltext Access 43 Pages 2018
Constant term formulas for refined enumerations of Gog and Magog trapezoids Fulltext Access 45 Pages 2018
Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk Fulltext Access 46 Pages 2018
Induced subgraphs of graphs with large chromatic number. IV. Consecutive holes Fulltext Access 56 Pages 2018
Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics Fulltext Access 64 Pages 2018
Multiple context-free tree grammars: Lexicalization and characterization Fulltext Access 71 Pages 2018
Improving the Clark-Suen bound on the domination number of the Cartesian product of graphs Fulltext Access 4 Pages 2017
The Pace code, the Mathieu group M12 and the small Witt design S(5,6,12) Fulltext Access 4 Pages 2017