A characterisation of the generic rigidity of 2-dimensional point–line frameworks Fulltext Access 26 Pages 2016
An efficient algorithm to detect common ancestor genes for non-overlapping inversion and applications Fulltext Access 27 Pages 2016
Probabilistic learnability of context-free grammars with basic distributional properties from positive examples Fulltext Access 27 Pages 2016
Combinatorial families of multilabelled increasing trees and hook-length formulas Fulltext Access 28 Pages 2016
A generic framework for heap and value analyses of object-oriented programming languages Fulltext Access 30 Pages 2016
A transition of limiting distributions of large matchings in random graphs Fulltext Access 30 Pages 2016
Hypersequent rules with restricted contexts for propositional modal logics Fulltext Access 30 Pages 2016
Born and raised distributively: Fully distributed non-interactive adaptively-secure threshold signatures with short shares Fulltext Access 30 Pages 2016
Finite-state concurrent programs can be expressed in pairwise normal form Fulltext Access 31 Pages 2016
Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality Fulltext Access 35 Pages 2016
On temporal logics with data variable quantifications: Decidability and complexity Fulltext Access 36 Pages 2016
Online containers for hypergraphs, with applications to linear equations Fulltext Access 36 Pages 2016
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions Fulltext Access 38 Pages 2016
Lattice points in orthotopes and a huge polynomial Tutte invariant of weighted gain graphs Fulltext Access 42 Pages 2016
On the algebraic and topological structure of the set of Turán densities Fulltext Access 49 Pages 2016
A note on the complexity of minimum latency data aggregation scheduling with uniform power in physical interference model Fulltext Access 4 Pages 2015
On the variable common due date, minimal tardy jobs bicriteria two-machine flow shop problem with ordered machines Fulltext Access 4 Pages 2015
The number of steps and the final configuration of relaxation procedures on graphs Fulltext Access 4 Pages 2015
Equitable colorings of Cartesian products with balanced complete multipartite graphs Fulltext Access 4 Pages 2015
On finding orientations with the fewest number of vertices with small out-degree Fulltext Access 4 Pages 2015
On a relation between the atom-bond connectivity and the first geometric–arithmetic indices Fulltext Access 5 Pages 2015
Characterization of rotation words generated by homeomorphisms on a circle Fulltext Access 5 Pages 2015
On choosability with separation of planar graphs with lists of different sizes Fulltext Access 5 Pages 2015