A distributed enumeration algorithm and applications to all pairs shortest paths, diameter… Fulltext Access 11 Pages 2016
A linear time algorithm to compute square of interval graphs and their colouring Fulltext Access 11 Pages 2016
Rényi–Berlekamp–Ulam searching game with bi-interval queries and two lies Fulltext Access 11 Pages 2016
A polyhedral study of the maximum stable set problem with weights on vertex-subsets Fulltext Access 12 Pages 2016
Some new characterizations of Hamiltonian cycles in triangular grid graphs Fulltext Access 13 Pages 2016
No Future without (a hint of) Past: A Finite Basis for ‘Almost Future’ Temporal Logic Fulltext Access 14 Pages 2016
Complete characterization for the fit-preserving data refinement of mass-action reaction networks Fulltext Access 14 Pages 2016
Maximizing the robustness for simple assembly lines with fixed cycle time and limited number of workstations Fulltext Access 14 Pages 2016
A constant time algorithm for some optimization problems in rotagraphs and fasciagraphs Fulltext Access 14 Pages 2016
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios Fulltext Access 14 Pages 2016
Approximate robust optimization for the Connected Facility Location problem Fulltext Access 15 Pages 2016
Reconstructing Markov processes from independent and anonymous experiments Fulltext Access 15 Pages 2016
Quality of Service Conflict During Web Service Monitoring: A Case Study Fulltext Access 15 Pages 2016
Scheduling under a non-reversible energy source: An application of piecewise linear bounding of non-linear demand/cost functions Fulltext Access 16 Pages 2016
Scheduling co-operating stacking cranes with predetermined container sequences Fulltext Access 16 Pages 2016
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic Fulltext Access 16 Pages 2016
Formal Attributes Traceability in Modular Language Development Frameworks Fulltext Access 16 Pages 2016
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory Fulltext Access 16 Pages 2016
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations Fulltext Access 17 Pages 2016
Algorithms to approximately count and sample conforming colorings of graphs Fulltext Access 17 Pages 2016