Publication
-
Derandomizing from Random Strings In Proceedings
June 2010 -
Nonconflict check by using sequential automaton abstractions Article
Automatica, 46(6), 968-978.June 2010
-
The contact polytope of the Leech lattice Article
Discrete and Computational Geometry, 44(4), 904-911.June 2010
-
Universal Sequencing on a Single Machine In Proceedings
June 2010
-
June 2010
-
Stability, fragility, and Rota's Conjecture Tech Report
June 2010
-
Simulation-based computation of the workload correlation function in a Lévy-driven queue Tech Report
June 2010
-
High accuracy semidefinite programming bounds for kissing numbers Article
Experimental Mathematics, 174-178.June 2010