On decomposability of 4-ary distance 2 MDS codes, double-codes, and nn-quasigroups of order 4 Fulltext Access 13 Pages 2008
Combinatorial properties of a general domination problem with parity constraints Fulltext Access 13 Pages 2008
Heavy cycles in k-connected weighted graphs with large weighted degree sums Fulltext Access 13 Pages 2008
Unsolvable block transitive automorphism groups of 2-(v,k,1)(k=6,7,8,9) designs Fulltext Access 13 Pages 2008
Concurrency in Biological Modeling: Behavior, Execution and Visualization Fulltext Access 13 Pages 2008
Technical Report: Computation on the Extended Complex Plane and Conformal Mapping of Multiply-connected Domains Fulltext Access 13 Pages 2008
Trusted Directory Services for Secure Internet Connectivity: Transport Layer Security using DNSSEC Fulltext Access 13 Pages 2008
Rewritings for Polarized Multiplicative and Exponential Proof Structures Fulltext Access 13 Pages 2008
Infrastructural Support for Enforcing and Managing Distributed Application-Level Policies Fulltext Access 13 Pages 2008
Independent sets and non-augmentable paths in generalizations of tournaments Fulltext Access 13 Pages 2008
Completely compressible Bruhat intervals and Kazhdan–Lusztig polynomials Fulltext Access 14 Pages 2008
Characterizations of finite and infinite episturmian words via lexicographic orderings Fulltext Access 14 Pages 2008
A characterization of a class of dimensional dual hyperovals with doubly transitive automorphism groups and its applications Fulltext Access 14 Pages 2008
Remote Attestation on Legacy Operating Systems With Trusted Platform Modules 1 Fulltext Access 14 Pages 2008
A Virtual Machine Based Information Flow Control System for Policy Enforcement 1 Fulltext Access 14 Pages 2008
Approximated Reachability on Hybrid Automata: Falsification meets Certification Fulltext Access 14 Pages 2008
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences Fulltext Access 14 Pages 2008
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems Fulltext Access 14 Pages 2008