A study of the neutrality of Boolean function landscapes in genetic programming Fulltext Access 24 Pages 2012
Congruence conditions, parcels, and Tutte polynomials of graphs and matroids Fulltext Access 24 Pages 2012
Tree-representation of set families and applications to combinatorial decompositions Fulltext Access 24 Pages 2012
Bounded fractionality of the multiflow feasibility problem for demand graph K3+K3 and related maximization problems Fulltext Access 25 Pages 2012
Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages Fulltext Access 26 Pages 2012
Distributive lattices, affine semigroups, and branching rules of the classical groups Fulltext Access 26 Pages 2012
Split decomposition and graph-labelled trees: Characterizations and fully dynamic algorithms for totally decomposable graphs Fulltext Access 26 Pages 2012
Deciding safety properties in infinite-state pi-calculus via behavioural types Fulltext Access 26 Pages 2012
The Scott model of linear logic is the extensional collapse of its relational model Fulltext Access 26 Pages 2012
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity Fulltext Access 27 Pages 2012
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets Fulltext Access 27 Pages 2012
The locally 2-arc transitive graphs admitting an almost simple group of Suzuki type Fulltext Access 28 Pages 2012
Logarithms of iteration matrices, and proof of a conjecture by Shadrin and Zvonkine Fulltext Access 28 Pages 2012
A combinatoric interpretation of dual variables for weighted matching and f-factors Fulltext Access 28 Pages 2012
Control-flow analysis of function calls and returns by abstract interpretation Fulltext Access 28 Pages 2012
Repairing time-determinism in the process algebra for hybrid systems ACPhssrt Fulltext Access 28 Pages 2012
Hypervolume-based multiobjective optimization: Theoretical foundations and practical implications Fulltext Access 29 Pages 2012
Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT Fulltext Access 31 Pages 2012
A superlinear bound on the number of perfect matchings in cubic bridgeless graphs Fulltext Access 32 Pages 2012
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions Fulltext Access 32 Pages 2012
A formal abstract framework for modelling and testing complex software systems Fulltext Access 32 Pages 2012
Formal Relationships Between Geometrical and Classical Models for Concurrency Fulltext Access 33 Pages 2012
On the weighted enumeration of alternating sign matrices and descending plane partitions Fulltext Access 33 Pages 2012
Stationary distribution and cover time of random walks on random digraphs Fulltext Access 34 Pages 2012
A theory of computation based on unsharp quantum logic: Finite state automata and pushdown automata Fulltext Access 34 Pages 2012
Failure-divergence semantics and refinement of long running transactions Fulltext Access 35 Pages 2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems Fulltext Access 37 Pages 2012