From Bruhat intervals to intersection lattices and a conjecture of Postnikov Fulltext Access 17 Pages 2009
Bilateral inversions and terminating basic hypergeometric series identities Fulltext Access 17 Pages 2009
A bijection on core partitions and a parabolic quotient of the affine symmetric group Fulltext Access 17 Pages 2009
A polynomial algorithm for 2-cyclic robotic scheduling: A non-Euclidean case Fulltext Access 17 Pages 2009
Tree 3-spanners in 2-sep directed path graphs: Characterization, recognition, and construction Fulltext Access 17 Pages 2009
An analysis of the exponential decay principle in probabilistic trust models Fulltext Access 18 Pages 2009
Parameterized complexity of candidate control in elections and related digraph problems Fulltext Access 18 Pages 2009
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol Fulltext Access 18 Pages 2009
Some Programming Languages Suggested by Game Models (Extended Abstract) Fulltext Access 18 Pages 2009
A Control Flow Analysis for Beta-binders with and without static compartments Fulltext Access 18 Pages 2009
Some matrices associated with the split decomposition for a QQ-polynomial distance-regular graph Fulltext Access 18 Pages 2009
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages Fulltext Access 18 Pages 2009
A topological sampling theorem for Robust boundary reconstruction and image segmentation Fulltext Access 18 Pages 2009
A flexible model and efficient solution strategies for discrete location problems Fulltext Access 18 Pages 2009
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains Fulltext Access 18 Pages 2009
Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic Fulltext Access 18 Pages 2009
L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos Fulltext Access 18 Pages 2009
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors Fulltext Access 18 Pages 2009
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol Fulltext Access 18 Pages 2009
Verified Compilation and the B Method: A Proposal and a First Appraisal Fulltext Access 18 Pages 2009
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation Fulltext Access 18 Pages 2009