A unified approach to finding good stable matchings in the hospitals/residents setting Fulltext Access 16 Pages 2008
Main-memory triangle computations for very large (sparse (power-law)) graphs Fulltext Access 16 Pages 2008
Sequential and parallel triangulating algorithms for Elimination Game and new insights on Minimum Degree Fulltext Access 16 Pages 2008
Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity Fulltext Access 16 Pages 2008
Developments from enquiries into the learnability of the pattern languages from positive data Fulltext Access 16 Pages 2008
On the index of Siegel grids and its application to the tomography of quasicrystals Fulltext Access 16 Pages 2008
Offline variants of the “lion and man” problem: —Some problems and techniques for measuring crowdedness and for safe path planning— Fulltext Access 16 Pages 2008
Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms Fulltext Access 16 Pages 2008
Convergence of the diffusion method for weighted torus graphs using Fourier analysis Fulltext Access 16 Pages 2008
Branch and bound procedures for solving the Assembly Line Worker Assignment and Balancing Problem: Application to Sheltered Work centres for Disabled Fulltext Access 16 Pages 2008
Modeling and Verifying Time Sensitive Security Protocols with Constraints Fulltext Access 16 Pages 2008
Complexity of DNF minimization and isomorphism testing for monotone formulas Fulltext Access 16 Pages 2008
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration 1 Fulltext Access 16 Pages 2008
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models Fulltext Access 16 Pages 2008
Expected number of breakpoints after tt random reversals in genomes with duplicate genes Fulltext Access 16 Pages 2008
Checking Emptiness of Non-Deterministic Regular Types with Set Operators Fulltext Access 16 Pages 2008
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers Fulltext Access 16 Pages 2008
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular Fulltext Access 16 Pages 2008
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes Fulltext Access 16 Pages 2008
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine Fulltext Access 16 Pages 2008
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis Fulltext Access 16 Pages 2008
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE Fulltext Access 16 Pages 2008
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking Fulltext Access 16 Pages 2008
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records Fulltext Access 16 Pages 2008
Locality of Corner Transformation for Multidimensional Spatial Access Methods Fulltext Access 16 Pages 2008
A partition bijection related to the Rogers–Selberg identities and Gordon's theorem Fulltext Access 17 Pages 2008
Monochromatic Hamiltonian Berge-cycles in colored complete uniform hypergraphs Fulltext Access 17 Pages 2008
Facet defining inequalities among graph invariants: The system GraPHedron Fulltext Access 17 Pages 2008