Lifted, projected and subgraph-induced inequalities for the representatives kk-fold coloring polytope Fulltext Access 26 Pages 2016
Time bounds for iterative auctions: A unified approach by discrete convex analysis Fulltext Access 27 Pages 2016
Extreme values of the stationary distribution of random walks on directed graphs Fulltext Access 28 Pages 2016
Valid inequalities for a single constrained 0-1 MIP set intersected with a conflict graph Fulltext Access 29 Pages 2016
Binary Steiner trees: Structural results and an exact solution approach Fulltext Access 33 Pages 2016
Numerically-aided Deductive Safety Proof for a Powertrain Control System Fulltext Access 7 Pages 2015
Dynamic Subtask Dispersion Reduction in Heterogeneous Parallel Queueing Systems Fulltext Access 14 Pages 2015
Performance Analysis of Collective Adaptive Behaviour in Time and Space Fulltext Access 16 Pages 2015
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper Fulltext Access 17 Pages 2015
Evaluating the Model-Based Testing Approach in the Context of Mobile Applications Fulltext Access 19 Pages 2015
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models Fulltext Access 21 Pages 2015
Proof of a conjecture of Bowlin and Brin on four-colouring triangulations Fulltext Access 4 Pages 2014
A unified description of four simply connected dimensional dual hyperovals Fulltext Access 8 Pages 2014
Interpreting nowhere dense graph classes as a classical notion of model theory Fulltext Access 9 Pages 2014
Tetravalent arc-transitive locally-Klein graphs with long consistent cycles Fulltext Access 12 Pages 2014
Characterising planar Cayley graphs and Cayley complexes in terms of group presentations Fulltext Access 12 Pages 2014
Generalized frieze pattern determinants and higher angulations of polygons Fulltext Access 13 Pages 2014
A secondary construction and a transformation on rotation symmetric functions, and their action on bent and semi-bent functions Fulltext Access 15 Pages 2014
A classification of orientably-regular embeddings of complete multipartite graphs Fulltext Access 16 Pages 2014
Descent sets on 321-avoiding involutions and hook decompositions of partitions Fulltext Access 17 Pages 2014