Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks Fulltext Access 15 Pages 2008
Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis Fulltext Access 15 Pages 2008
Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic Fulltext Access 15 Pages 2008
Building Certified Static Analysers by Modular Construction of Well-founded Lattices Fulltext Access 15 Pages 2008
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract) Fulltext Access 15 Pages 2008
An abundance of invariant polynomials satisfying the Riemann hypothesis Fulltext Access 15 Pages 2008
Some da capo directed power-sequence Zn+1Zn+1 terraces with n an odd prime power Fulltext Access 15 Pages 2008
Semi-total graph colourings, the beta parameter, and total chromatic number Fulltext Access 15 Pages 2008
Smooth manifold reconstruction from noisy and non-uniform approximation with guarantees Fulltext Access 15 Pages 2008
Bounds on the kth multi-g base index of nearly reducible sign pattern matrices Fulltext Access 15 Pages 2008
On constructions for two dimensional balanced sampling plan excluding contiguous units with block size four Fulltext Access 15 Pages 2008
On the asymmetric representatives formulation for the vertex coloring problem Fulltext Access 15 Pages 2008
Generating all minimal integral solutions to AND–OR systems of monotone inequalities: Conjunctions are simpler than disjunctions Fulltext Access 15 Pages 2008
On the complexity of monotone dualization and generating minimal hypergraph transversals Fulltext Access 15 Pages 2008
Reasoning about B+ Trees with Operational Semantics and Separation Logic Fulltext Access 15 Pages 2008
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper Fulltext Access 15 Pages 2008
On the Complexity of Convex Hulls of Subsets of the Two-Dimensional Plane Fulltext Access 15 Pages 2008
On the index of Siegel grids and its application to the tomography of quasicrystals Fulltext Access 16 Pages 2008
Expected number of breakpoints after tt random reversals in genomes with duplicate genes Fulltext Access 16 Pages 2008
Branch and bound procedures for solving the Assembly Line Worker Assignment and Balancing Problem: Application to Sheltered Work centres for Disabled Fulltext Access 16 Pages 2008