Is observational congruence on μ-expressions axiomatisable in equational Horn logic? Fulltext Access 18 Pages 2010
On the distribution of distances between specified nodes in increasing trees Fulltext Access 18 Pages 2010
Systematic Refinement of Performance Models for Concurrent Component-based Systems Fulltext Access 18 Pages 2010
DRL*: A hierarchy of strong block-decomposable linear relaxations for 0–1 MIPs Fulltext Access 18 Pages 2010
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy Fulltext Access 19 Pages 2010
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL Fulltext Access 19 Pages 2010
Cyclotomy over products of finite fields and combinatorial applications Fulltext Access 19 Pages 2010
An improved linear bound on the number of perfect matchings in cubic graphs Fulltext Access 19 Pages 2010
Multiple analogues of binomial coefficients and families of related special numbers Fulltext Access 19 Pages 2010
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics Fulltext Access 19 Pages 2010
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map Fulltext Access 19 Pages 2010
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems Fulltext Access 20 Pages 2010
Enumeration by kernel positions for strongly Bernoulli type truncation games on words Fulltext Access 20 Pages 2010
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces Fulltext Access 20 Pages 2010
Mind change optimal learning of Bayes net structure from dependency and independency data Fulltext Access 20 Pages 2010
Matching structure of symmetric bipartite graphs and a generalization of Pólya's problem Fulltext Access 21 Pages 2010
Cyclic generators for irreducible representations of affine Hecke algebras Fulltext Access 21 Pages 2010
The morphology of infinite tournaments; application to the growth of their profile Fulltext Access 21 Pages 2010
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets Fulltext Access 21 Pages 2010
Unifying Architectural and Behavioural Specifications of Distributed Components Fulltext Access 21 Pages 2010
On the physical implementation of logical transformations: Generalized L-machines Fulltext Access 21 Pages 2010
Characterizing geometric patterns formable by oblivious anonymous mobile robots Fulltext Access 21 Pages 2010
A bisimulation-like proof method for contextual properties in untyped λ-calculus with references and deallocation Fulltext Access 21 Pages 2010
Evolutionary equilibrium in Bayesian routing games: Specialization and niche formation Fulltext Access 21 Pages 2010