Adding pebbles to weighted automata: Easy specification & efficient evaluation Fulltext Access 21 Pages 2014
The higher-order meet-in-the-middle attack and its application to the Camellia block cipher Fulltext Access 21 Pages 2014
A canonical partition theorem for uniform families of finite strong subtrees Fulltext Access 21 Pages 2014
Sequential aggregate signatures with lazy verification from trapdoor permutations Fulltext Access 21 Pages 2014
Compositional semantics and behavioural equivalences for reaction systems with restriction Fulltext Access 21 Pages 2014
On the existence of tight relative 2-designs on binary Hamming association schemes Fulltext Access 21 Pages 2014
Recurrence relations for graph polynomials on bi-iterative families of graphs Fulltext Access 21 Pages 2014
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time Fulltext Access 21 Pages 2014
Ordered weighted average combinatorial optimization: Formulations and their properties Fulltext Access 22 Pages 2014
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models Fulltext Access 22 Pages 2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity Fulltext Access 23 Pages 2014
The minimum firing time of the generalized firing squad synchronization problem for squares Fulltext Access 24 Pages 2014
Domain adaptation and sample bias correction theory and algorithm for regression Fulltext Access 24 Pages 2014
Reliable Composite Web Services Execution: Towards a Dynamic Recovery Decision Fulltext Access 24 Pages 2014
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders) Fulltext Access 24 Pages 2014
Balanced compact clustering for efficient range queries in metric spaces Fulltext Access 25 Pages 2014
An extension of context-free grammars with one-sided context specifications Fulltext Access 26 Pages 2014
An observationally complete program logic for imperative higher-order functions Fulltext Access 27 Pages 2014
Partitioning edge-coloured complete graphs into monochromatic cycles and paths Fulltext Access 28 Pages 2014
Asymptotic expansions for linear homogeneous divide-and-conquer recurrences: Algebraic and analytic approaches collated Fulltext Access 29 Pages 2014
Minimax number of strata for online stratified sampling: The case of noisy samples Fulltext Access 30 Pages 2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities Fulltext Access 30 Pages 2014
On balanced incomplete block designs with specified weak chromatic number Fulltext Access 31 Pages 2014
Bounding messages for free in security protocols – extension to various security properties Fulltext Access 34 Pages 2014
Safe typing of functional logic programs with opaque patterns and local bindings Fulltext Access 34 Pages 2014
An analytic approach to the asymptotic variance of trie statistics and related structures Fulltext Access 36 Pages 2014
Least upper bounds for probability measures and their applications to abstractions Fulltext Access 39 Pages 2014