Reasoning in Abella about Structural Operational Semantics Specifications Fulltext Access 16 Pages 2009
A polynomial algorithm for 2-cyclic robotic scheduling: A non-Euclidean case Fulltext Access 17 Pages 2009
Bilateral inversions and terminating basic hypergeometric series identities Fulltext Access 17 Pages 2009
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models Fulltext Access 17 Pages 2009
A bijection on core partitions and a parabolic quotient of the affine symmetric group Fulltext Access 17 Pages 2009
Mutual exclusion scheduling with interval graphs or related classes, Part I Fulltext Access 17 Pages 2009
From Bruhat intervals to intersection lattices and a conjecture of Postnikov Fulltext Access 17 Pages 2009
Enumerating edge-constrained triangulations and edge-constrained non-crossing geometric spanning trees Fulltext Access 17 Pages 2009
Tree 3-spanners in 2-sep directed path graphs: Characterization, recognition, and construction Fulltext Access 17 Pages 2009
Abstract Interpretation of Functional Programs using an Attribute Grammar System Fulltext Access 17 Pages 2009
Developing the Method of Server Controlled Outcomes Management and Variance Analysis Fulltext Access 17 Pages 2009
Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering Fulltext Access 17 Pages 2009
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs Fulltext Access 17 Pages 2009
An iterated local search algorithm based on nonlinear programming for the irregular strip packing problem Fulltext Access 17 Pages 2009
Improvement of a Result on Sequencing Elementary Cellular Automata Rules for Solving the Parity Problem Fulltext Access 17 Pages 2009
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks Fulltext Access 17 Pages 2009