Weakly submodular rank functions, supermatroids, and the flat lattice of a distributive supermatroid Fulltext Access 19 Pages 2008
An Open System Operational Semantics for an Object-Oriented and Component-Based Language Fulltext Access 19 Pages 2008
A Lightweight Approach for the Semantic Validation of Model Refinements Fulltext Access 19 Pages 2008
CC(X): Semantic Combination of Congruence Closure with Solvable Theories Fulltext Access 19 Pages 2008
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation Fulltext Access 19 Pages 2008
New sufficient conditions for the extendability of quaternary linear codes Fulltext Access 20 Pages 2008
Higher-order cover cuts from zero–one knapsack constraints augmented by two-sided bounding inequalities Fulltext Access 20 Pages 2008
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers Fulltext Access 20 Pages 2008
Approximate min–max theorems for Steiner rooted-orientations of graphs and hypergraphs Fulltext Access 20 Pages 2008
Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence 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
Aspects of discrete mathematics and probability in the theory of machine learning 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
Relational Analysis and Precision via Probabilistic Abstract Interpretation Fulltext Access 20 Pages 2008
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems 1 Fulltext Access 20 Pages 2008
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations Fulltext Access 20 Pages 2008
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions Fulltext Access 20 Pages 2008
Small models of graph colouring manifolds and the Stiefel manifolds Hom(C5,Kn) Fulltext Access 21 Pages 2008
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs Fulltext Access 21 Pages 2008
Coupled Transformation of Schemas, Documents, Queries, and Constraints 1 Fulltext Access 21 Pages 2008
Intermediate integer programming representations using value disjunctions Fulltext Access 21 Pages 2008
Cantor sets determined by partial quotients of continued fractions of Laurent series Fulltext Access 21 Pages 2008