Counting the number of non-zero coefficients in rows of generalized Pascal triangles Fulltext Access 20 Pages 2017
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata Fulltext Access 21 Pages 2017
Combinatorial and inductive methods for the tropical maximal rank conjecture Fulltext Access 21 Pages 2017
From wait-free to arbitrary concurrent solo executions in colorless distributed computing Fulltext Access 21 Pages 2017
Decidability and complexity for quiescent consistency and its variations Fulltext Access 21 Pages 2017
New semidefinite programming relaxations for the Linear Ordering and the Traveling Salesman Problem Fulltext Access 21 Pages 2017
Chained permutations and alternating sign matrices-Inspired by three-person chess Fulltext Access 21 Pages 2017
State complexity of permutation on finite languages over a binary alphabet Fulltext Access 21 Pages 2017
On the computational completeness of graph-controlled insertion-deletion systems with binary sizes Fulltext Access 22 Pages 2017
Coloring graphs without fan vertex-minors and graphs without cycle pivot-minors Fulltext Access 22 Pages 2017
Bounds for the probability of union of events following monotonic distribution Fulltext Access 22 Pages 2017
Computational complexity studies of synchronous Boolean finite dynamical systems on directed graphs Fulltext Access 22 Pages 2017
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations Fulltext Access 23 Pages 2017
On graphs with a large number of edge-colorings avoiding a rainbow triangle Fulltext Access 23 Pages 2017
Variable projection methods for approximate (greatest) common divisor computations Fulltext Access 23 Pages 2017
Rethinking specificity in defeasible reasoning and its effect in argument reinstatement Fulltext Access 24 Pages 2017
Foundations of logic programming in hybrid logics with user-defined sharing Fulltext Access 24 Pages 2017
Computational modelling of the kinetic Tile Assembly Model using a rule-based approach Fulltext Access 25 Pages 2017
Counting and packing Hamilton cycles in dense graphs and oriented graphs Fulltext Access 25 Pages 2017
The classification of half-arc-transitive generalizations of Bouwer graphs Fulltext Access 25 Pages 2017
On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids Fulltext Access 26 Pages 2017