The structure and complexity of Nash equilibria for a selfish routing game Fulltext Access 22 Pages 2009
Generalized duality for graphs on surfaces and the signed Bollobás–Riordan polynomial Fulltext Access 22 Pages 2009
Enumerating SnSn by associated transpositions and linear extensions of finite posets Fulltext Access 22 Pages 2009
The Strong Perfect Graph Conjecture: 40 years of attempts, and its resolution Fulltext Access 22 Pages 2009
On an algorithm determining direct superclasses in Java and similar languages with inner classes—Its correctness, completeness and uniqueness of solutions Fulltext Access 22 Pages 2009
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems Fulltext Access 22 Pages 2009
Balancing modular transfer lines with serial–parallel activation of spindle heads at stations Fulltext Access 22 Pages 2009
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves Fulltext Access 23 Pages 2009
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities Fulltext Access 23 Pages 2009
Characterization of Single Cycle CA and its Application in Pattern Classification Fulltext Access 23 Pages 2009
Distributive lattices of small width, II: A problem from Stanley's 1986 text Enumerative Combinatorics Fulltext Access 23 Pages 2009
Punctured plane partitions and the q-deformed Knizhnik–Zamolodchikov and Hirota equations Fulltext Access 23 Pages 2009
Of malicious motes and suspicious sensors: On the efficiency of malicious interference in wireless networks Fulltext Access 24 Pages 2009
A characterization of regular circular languages generated by marked splicing systems Fulltext Access 24 Pages 2009
The Parikh counting functions of sparse context-free languages are quasi-polynomials Fulltext Access 24 Pages 2009
Dynamics of Quality Perception in a Social Network: A Cellular Automaton Based Model in Aesthetics Services Fulltext Access 24 Pages 2009
Application of Queueing Network Models in the Performance Evaluation of Database Designs Fulltext Access 24 Pages 2009
An operator formula for the number of halved monotone triangles with prescribed bottom row Fulltext Access 24 Pages 2009
Perfect matchings in large uniform hypergraphs with large minimum collective degree Fulltext Access 24 Pages 2009
Improved compact linearizations for the unconstrained quadratic 0–1 minimization problem Fulltext Access 24 Pages 2009
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems Fulltext Access 24 Pages 2009
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting Fulltext Access 24 Pages 2009
A continuous family of partition statistics equidistributed with length Fulltext Access 25 Pages 2009
New cases of Reay’s conjecture on partitions of points into simplices with kk-dimensional intersection Fulltext Access 25 Pages 2009
The Andrews–Stanley partition function and Al-Salam–Chihara polynomials Fulltext Access 25 Pages 2009
Hilbert series of invariants, constant terms and Kostka–Foulkes polynomials Fulltext Access 25 Pages 2009
Computationally sound implementations of equational theories against passive adversaries Fulltext Access 25 Pages 2009
Transversal structures on triangulations: A combinatorial study and straight-line drawings Fulltext Access 25 Pages 2009
An intermediate language for the stochastic simulation of biological systems Fulltext Access 25 Pages 2009
Tight spans of distances and the dual fractionality of undirected multiflow problems Fulltext Access 26 Pages 2009
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences Fulltext Access 26 Pages 2009
Amalgamating sessions and methods in object-oriented languages with generics Fulltext Access 26 Pages 2009
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) Fulltext Access 26 Pages 2009
Stochastic biological modelling in the presence of multiple compartments Fulltext Access 26 Pages 2009
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude Fulltext Access 27 Pages 2009
On the Expressive Power of Schedulers in Distributed Probabilistic Systems Fulltext Access 27 Pages 2009
Operational domain theory and topology of sequential programming languages Fulltext Access 27 Pages 2009
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems Fulltext Access 27 Pages 2009
Exploration–exploitation tradeoff using variance estimates in multi-armed bandits Fulltext Access 27 Pages 2009
Efficient inclusion checking for deterministic tree automata and XML Schemas Fulltext Access 28 Pages 2009
A family of syntactic logical relations for the semantics of Haskell-like languages Fulltext Access 28 Pages 2009
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving Fulltext Access 28 Pages 2009