Classification of the binary self-dual [42,21,8] codes having an automorphism of order 3 Fulltext Access 11 Pages 2007
Representations of polynomials over finite fields of characteristic two as A2+A+BC+D3A2+A+BC+D3 Fulltext Access 11 Pages 2007
Hausdorff dimensions of bounded-type continued fraction sets of Laurent series Fulltext Access 11 Pages 2007
The determinants of q-distance matrices of trees and two quantities relating to permutations Fulltext Access 11 Pages 2007
A method of finding automorphism groups of endomorphism monoids of relational systems Fulltext Access 12 Pages 2007
Codes defined by forms of degree 2 on Hermitian surfaces and Sørensen's conjecture Fulltext Access 12 Pages 2007
2-Connected spanning subgraphs with low maximum degree in locally planar graphs Fulltext Access 12 Pages 2007
Competitive newsvendor problems with the same Nash and Stackelberg solutions Fulltext Access 12 Pages 2007
A characterization of the sets of internal and external points of a conic Fulltext Access 12 Pages 2007
A characterization of the Odd graphs and the doubled Odd graphs with a few of their intersection numbers Fulltext Access 12 Pages 2007
A generalized quadrangle with an automorphism group acting regularly on the points Fulltext Access 12 Pages 2007
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations 1 Fulltext Access 12 Pages 2007
On the edge-connectivity and restricted edge-connectivity of a product of graphs Fulltext Access 12 Pages 2007
Triangle-free graphs with uniquely restricted maximum matchings and their corresponding greedoids Fulltext Access 12 Pages 2007
Algorithms for solving multiobjective discrete control problems and dynamic c-games on networks Fulltext Access 12 Pages 2007
Axiomatic characterizations of the symmetric coalitional binomial semivalues Fulltext Access 12 Pages 2007
The stable fixtures problem—A many-to-many extension of stable roommates Fulltext Access 12 Pages 2007
The minimum span of L(2,1)-labelings of certain generalized Petersen graphs Fulltext Access 12 Pages 2007
On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference Fulltext Access 12 Pages 2007
Specification and Generation of Environment for Model Checking of Software Components Fulltext Access 12 Pages 2007
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus Fulltext Access 12 Pages 2007
Modal Logic Characterization of Markovian Testing and Trace Equivalences Fulltext Access 12 Pages 2007
Almost-Delaunay simplices: Robust neighbor relations for imprecise 3D points using CGAL Fulltext Access 12 Pages 2007
A Petri Net Based Method for Refining Object Oriented System Specifications Fulltext Access 12 Pages 2007
Partial and Fuzzy Constraint Satisfaction to Support Coalition Formation Fulltext Access 12 Pages 2007