Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems Fulltext Access 28 Pages 2017
Continuous speed scaling with variability: A simple and direct approach Fulltext Access 29 Pages 2017
An algorithm computing combinatorial specifications of permutation classes Fulltext Access 29 Pages 2017
Finite flag-transitive affine planes with a solvable automorphism group Fulltext Access 30 Pages 2017
A colored graph approach to perfect phylogeny with persistent characters Fulltext Access 32 Pages 2017
A procedure for deciding symbolic equivalence between sets of constraint systems Fulltext Access 32 Pages 2017
Minimum vertex degree thresholds for tiling complete 3-partite 3-graphs Fulltext Access 33 Pages 2017
Maximum matchings in scale-free networks with identical degree distribution Fulltext Access 34 Pages 2017
Newton's method in practice: Finding all roots of polynomials of degree one million efficiently Fulltext Access 34 Pages 2017
Fully leakage-resilient signatures revisited: Graceful degradation, noisy leakage, and construction in the bounded-retrieval model Fulltext Access 34 Pages 2017
Polynomial fixed-parameter algorithms: A case study for longest path on interval graphs Fulltext Access 35 Pages 2017
Decomposing highly edge-connected graphs into paths of any given length Fulltext Access 35 Pages 2017
Quantitative model-checking of controlled discrete-time Markov processes Fulltext Access 35 Pages 2017
Multiplicative structures of the immaculate basis of non-commutative symmetric functions Fulltext Access 35 Pages 2017
New polynomial and multidimensional extensions of classical partition results Fulltext Access 36 Pages 2017
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities Fulltext Access 37 Pages 2017
Intruder deduction problem for locally stable theories with normal forms and inverses Fulltext Access 37 Pages 2017
Every finite non-solvable group admits an oriented regular representation Fulltext Access 37 Pages 2017
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games Fulltext Access 37 Pages 2017
An algorithmic framework for obtaining lower bounds for random Ramsey problems Fulltext Access 38 Pages 2017
Computational friendly attribute-based encryptions with short ciphertext Fulltext Access 39 Pages 2017
On the structure of oriented graphs and digraphs with forbidden tournaments or cycles Fulltext Access 40 Pages 2017
Denotational semantics of membrane systems by using complete metric spaces Fulltext Access 40 Pages 2017
Self-updatable encryption: Time constrained access control with hidden attributes and better efficiency Fulltext Access 42 Pages 2017
A class of bounded functions, a database language and an extended lambda calculus Fulltext Access 44 Pages 2017
Formation of a giant component in the intersection graph of a random chord diagram Fulltext Access 47 Pages 2017
Theorem proving graph grammars with attributes and negative application conditions Fulltext Access 53 Pages 2017
Clique decompositions of multipartite graphs and completion of Latin squares Fulltext Access 56 Pages 2017
Online scheduling on the unbounded drop-line batch machines to minimize the maximum delivery completion time Fulltext Access 4 Pages 2016