Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems ⋆ Fulltext Access 24 Pages 2006
Multi-continued fraction algorithm and generalized B–M algorithm over Fq Fulltext Access 24 Pages 2006
Short paths in quasi-random triple systems with sparse underlying graphs Fulltext Access 24 Pages 2006
Online-optimization of multi-elevator transport systems with reoptimization algorithms based on set-partitioning models Fulltext Access 24 Pages 2006
From Theoretical e-barter Models to an Implementation Based on Web Services 1 Fulltext Access 24 Pages 2006
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language Fulltext Access 25 Pages 2006
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation Fulltext Access 25 Pages 2006
A matrix approach to the rational invariants of certain classical groups over finite fields of characteristic two Fulltext Access 25 Pages 2006
Existence of a stationary solution for the modified Ward–King tumor growth model Fulltext Access 25 Pages 2006
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version) Fulltext Access 27 Pages 2006
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus Fulltext Access 27 Pages 2006
Haruspicy 2: The anisotropic generating function of self-avoiding polygons is not D-finite Fulltext Access 27 Pages 2006
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems Fulltext Access 27 Pages 2006
A stabilized column generation scheme for the traveling salesman subtour problem Fulltext Access 27 Pages 2006
Practical Datatype Specializations with Phantom Types and Recursion Schemes Fulltext Access 27 Pages 2006
Variables as Resource for Shared-Memory Programs: Semantics and Soundness Fulltext Access 28 Pages 2006
Growth diagrams, and increasing and decreasing chains in fillings of Ferrers shapes Fulltext Access 28 Pages 2006
Lattice-based threshold-changeability for standard CRT secret-sharing schemes Fulltext Access 28 Pages 2006
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter Fulltext Access 29 Pages 2006
Higher-dimensional Dedekind sums and their bounds arising from the discrete diagonal of the n-cube Fulltext Access 29 Pages 2006
Solving the path cover problem on circular-arc graphs by using an approximation algorithm Fulltext Access 30 Pages 2006
Improved explicit estimates on the number of solutions of equations over a finite field Fulltext Access 31 Pages 2006
Dynamic shortest paths and transitive closure: Algorithmic techniques and data structures Fulltext Access 31 Pages 2006
Combinatorics of crystal graphs and Kostka–Foulkes polynomials for the root systems Bn,CnBn,Cn and DnDn Fulltext Access 32 Pages 2006