Generalised dualities and maximal finite antichains in the homomorphism order of relational structures Fulltext Access 19 Pages 2008
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation Fulltext Access 19 Pages 2008
Weakly submodular rank functions, supermatroids, and the flat lattice of a distributive supermatroid Fulltext Access 19 Pages 2008
On strong normalization and type inference in the intersection type discipline Fulltext Access 19 Pages 2008
A new framework for the design and analysis of identity-based identification schemes Fulltext Access 19 Pages 2008
Constructive characterizations of 3-connected matroids of path width three Fulltext Access 19 Pages 2008
A method for efficiently computing the number of codewords of fixed weights in linear codes Fulltext Access 19 Pages 2008
Mutual exclusion scheduling with interval graphs or related classes. Part II Fulltext Access 19 Pages 2008
Some results on the ordering of the Laplacian spectral radii of unicyclic graphs Fulltext Access 19 Pages 2008
Counting truth assignments of formulas of bounded tree-width or clique-width Fulltext Access 19 Pages 2008
A unified elementary approach to the Dyson, Morris, Aomoto, and Forrester constant term identities Fulltext Access 19 Pages 2008
Computation of distances for regular and context-free probabilistic languages Fulltext Access 20 Pages 2008
Approximate min–max theorems for Steiner rooted-orientations of graphs and hypergraphs Fulltext Access 20 Pages 2008
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers Fulltext Access 20 Pages 2008
Further results on the enumeration of hamilton paths in Cayley digraphs on semidirect products of cyclic groups Fulltext Access 20 Pages 2008
Relational Analysis and Precision via Probabilistic Abstract Interpretation Fulltext Access 20 Pages 2008
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions Fulltext Access 20 Pages 2008
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations Fulltext Access 20 Pages 2008
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems 1 Fulltext Access 20 Pages 2008
An iterated local search algorithm for the vehicle routing problem with convex time penalty functions Fulltext Access 20 Pages 2008
Aspects of discrete mathematics and probability in the theory of machine learning Fulltext Access 20 Pages 2008
The class constrained bin packing problem with applications to video-on-demand Fulltext Access 20 Pages 2008
Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence Fulltext Access 20 Pages 2008
Hamilton cycle decompositions of the tensor product of complete multipartite graphs Fulltext Access 21 Pages 2008
Coupled Transformation of Schemas, Documents, Queries, and Constraints 1 Fulltext Access 21 Pages 2008
Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies Fulltext Access 21 Pages 2008