Orientable biembeddings of cyclic Steiner triple systems from current assignments on Möbius ladder graphs Fulltext Access 14 Pages 2009
Uniformly resolvable designs with index one and block sizes three and four - with three or five parallel classes of block size four Fulltext Access 14 Pages 2009
On computing the distinguishing and distinguishing chromatic numbers of interval graphs and other results Fulltext Access 14 Pages 2009
Minimum augmentation of edge-connectivity with monotone requirements in undirected graphs Fulltext Access 14 Pages 2009
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens Fulltext Access 14 Pages 2009
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project Fulltext Access 14 Pages 2009
Bijective proofs of partition identities arising from modular equations Fulltext Access 14 Pages 2009
A generalization of Dijkstra's shortest path algorithm with applications to VLSI routing Fulltext Access 14 Pages 2009
Exact asymptotics of the characteristic polynomial of the symmetric Pascal matrix Fulltext Access 14 Pages 2009
A list of 4-valent 2-arc-transitive graphs and finite faithful amalgams of index (4, 2) Fulltext Access 14 Pages 2009
Does the lit-only restriction make any difference for the σσ-game and σ+σ+-game? Fulltext Access 14 Pages 2009
A generalized preimage for the digital analytical hyperplane recognition Fulltext Access 14 Pages 2009
Connectivity preserving transformations for higher dimensional binary images Fulltext Access 14 Pages 2009
Variable neighborhood search for extremal graphs. 22. Extending bounds for independence to upper irredundance Fulltext Access 14 Pages 2009
The mathematical solution of a cellular automaton model which simulates traffic flow with a slow-to-start effect Fulltext Access 14 Pages 2009
Minimal average cost of searching for a counterfeit coin: Restricted model Fulltext Access 14 Pages 2009
Weighted coloring on planar, bipartite and split graphs: Complexity and approximation Fulltext Access 14 Pages 2009
Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor Fulltext Access 14 Pages 2009
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism Fulltext Access 14 Pages 2009
Combined Effects of Frequency Quantization and Additive Input Noise in a First-order Digital PLL Fulltext Access 14 Pages 2009
Properties of General Semantic Operators Determined by Logic-Based Systems Fulltext Access 14 Pages 2009
Stochastic Cellular Automata in Dynamic Environmental Modeling: Practical Applications Fulltext Access 14 Pages 2009