Stochastic applications of media theory: Random walks on weak orders or partial orders Fulltext Access 14 Pages 2008
On the roots of independence polynomials of almost all very well-covered graphs Fulltext Access 14 Pages 2008
On some colouring of 4-cycle systems with specified block colour patterns Fulltext Access 14 Pages 2008
On the decidability and complexity of the structural congruence for beta-binders Fulltext Access 14 Pages 2008
Rotation symmetric Boolean functions—Count and cryptographic properties Fulltext Access 14 Pages 2008
Approximations of Lovász extensions and their induced interaction index Fulltext Access 14 Pages 2008
Characterization of reducible hexagons and fast decomposition of elementary benzenoid graphs Fulltext Access 14 Pages 2008
When is a partial Latin square uniquely completable, but not its completable product? Fulltext Access 14 Pages 2008
A continuous approach for the concave cost supply problem via DC programming and DCA Fulltext Access 14 Pages 2008
GemCell: A generic platform for modeling multi-cellular biological systems 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
Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: Extending the Coppo–Dezani heritage Fulltext Access 15 Pages 2008
Constructibility and decidability versus domain independence and absoluteness Fulltext Access 15 Pages 2008
Time separations of cyclic event rule systems with min–max timing constraints Fulltext Access 15 Pages 2008
A randomized algorithm for the joining protocol in dynamic distributed networks Fulltext Access 15 Pages 2008
Extension of Brzozowski’s derivation calculus of rational expressions to series over the free partially commutative monoids Fulltext Access 15 Pages 2008
On the complexity of monotone dualization and generating minimal hypergraph transversals Fulltext Access 15 Pages 2008
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper Fulltext Access 15 Pages 2008
Reasoning about B+ Trees with Operational Semantics and Separation Logic 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 asymmetric representatives formulation for the vertex coloring problem Fulltext Access 15 Pages 2008
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract) Fulltext Access 15 Pages 2008
On the Complexity of Convex Hulls of Subsets of the Two-Dimensional Plane Fulltext Access 15 Pages 2008