Circumference of 3-connected claw-free graphs and large Eulerian subgraphs of 3-edge-connected graphs Fulltext Access 23 Pages 2011
An efficient certifying algorithm for the Hamiltonian cycle problem on circular-arc graphs Fulltext Access 23 Pages 2011
Platform-Variant Applications from Platform-Independent Models via Templates Fulltext Access 23 Pages 2011
Computing minimum distortion embeddings into a path for bipartite permutation graphs and threshold graphs Fulltext Access 23 Pages 2011
A universal cellular automaton on the heptagrid of the hyperbolic plane with four states Fulltext Access 24 Pages 2011
From individuals to populations: A mean field semantics for process algebra Fulltext Access 24 Pages 2011
Locally finite graphs with ends: A topological approach, I. Basic theory Fulltext Access 25 Pages 2011
Almost all triple systems with independent neighborhoods are semi-bipartite Fulltext Access 25 Pages 2011
A universal sequence of integers generating balanced Steinhaus figures modulo an odd number Fulltext Access 25 Pages 2011
A characterization of computable analysis on unbounded domains using differential equations Fulltext Access 25 Pages 2011
Maximal admissible faces and asymptotic bounds for the normal surface solution space Fulltext Access 26 Pages 2011
Crystal bases of modified quantized enveloping algebras and a double RSK correspondence Fulltext Access 26 Pages 2011
Probabilistic coherence spaces as a model of higher-order probabilistic computation Fulltext Access 26 Pages 2011
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement Fulltext Access 26 Pages 2011
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems Fulltext Access 27 Pages 2011
On the consistency, expressiveness, and precision of partial modeling formalisms Fulltext Access 28 Pages 2011
A sound and complete model-generation procedure for consistent and confidentiality-preserving databases Fulltext Access 29 Pages 2011
The enumeration of prudent polygons by area and its unusual asymptotics Fulltext Access 30 Pages 2011
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks Fulltext Access 30 Pages 2011