论文列表及评分结果
Deterministic Sequential Functions.
电商所评分：9
Elementary Transition Systems and Refinement.
电商所评分：6
Naive Asymptotics for Hitting Time Bounds in Markov Chains.
电商所评分：4
Two Impossibility Theorems on Behaviour Specification of Abstract Data Types.
电商所评分：10
Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata.
电商所评分：6
Expressibility of Output Equals Input.
电商所评分：2
On the Lengths of Values in a Finite Transducer.
电商所评分：3
On the Synthesis of Function Inverses.
电商所评分：5
The SB-Tree: An Index-Sequential Structure for High-Performance Sequential Access.
电商所评分：7
On Partitions and Presortedness of Sequences.
电商所评分：8
A Model and a Fast Algorithm for Multiple Errors Spelling Correction.
电商所评分：8
Variance of Storage Requirements for B+-trees.
电商所评分：8
A Compositional Dataflow Semantics for Petri Nets.
电商所评分：4
Trace Nets and Process Automata.
电商所评分：7
Iterative Weighted Finite Transductions.
电商所评分：3
A Linear Algorithm for Analysis of Minimum Spanning and Shortest-Path Trees of Planar Graphs.
电商所评分：1
On the Complexity of Preflow-Push Algorithms for Maximum-Flow Problems.
电商所评分：8
Visibility with a Moving Point of View.
电商所评分：7
Edge Crossings in Drawings of Bipartite Graphs.
电商所评分：8
A Workbench for Computational Geometry.
电商所评分：9
Schedulers for Larger Classes of Pinwheel Instances.
电商所评分：9
An 11/6-Approximation Algorithm for the Network Steiner Problem.
电商所评分：9
Ray Shooting on Triangles in 3-Space.
电商所评分：6
Selecting Distances in the Plane.
电商所评分：3
An Addendum to Parallel Methods for Visibility and Shortest-Path Problems in Simple Polygons.
电商所评分：6
Guest Editor's Foreword: Special Issue on Computational Molecular Biology.
电商所评分：3
Combinatiorial Algorithms for DNA Sequence Assembly.
电商所评分：3
Physical Mapping of Chromosomes: A Combinatorial Problem in Molecular Biology.
电商所评分：8
DNA Physical Mapping and Alternating Eulerian Cycles in Colored Graphs.
电商所评分：10
Linear-Space Algorithms that Build Local Alignments from Fragments.
电商所评分：5