-
11
-
12
-
13
-
14
An in-place sorting with O(nlog n) comparisons and O(n) moves.
Pubblicato in Journal of the ACMArticolo -
15
-
16
-
17
Edge-disjoint routing in plane switch graphs in linear time.
Pubblicato in Journal of the ACMArticolo -
18
-
19
Complexity estimates depending on condition and round-off error.
Pubblicato in Journal of the ACMArticolo -
20
Probabilistic checking of proofs a new characterization of NP.
Pubblicato in Journal of the ACMArticolo