论文列表及评分结果
The Clean Termination of Iterative Programs.
电商所评分：9
An Axiomatic Definition of Synchronization Primitives.
电商所评分：1
An Analysis of two Related Loop-free Algorithms for Generating Integer Partitions.
电商所评分：10
A Theory of Interactive Programming.
电商所评分：4
Synchronized Behaviours of Processes and Rational Relations.
电商所评分：2
Scheduling with Slack Time.
电商所评分：5
Information Theoretic Approximations for M/G/ 1 und G/G/ 1 Queuing Systems.
电商所评分：8
A Hierarchy Theorem for Multihead Stack-Counter Automata.
电商所评分：7
Completeness of E 0 L Forms is Decidable.
电商所评分：2
Remarks on the Complexity of an Invariant of Context-Free Grammars.
电商所评分：5
Program Behavior Prediction and Prepaging.
电商所评分：9
Logic for Improving Integrity Checking in Relational Data Bases.
电商所评分：8
On the Costs of Optimal and Near-Optimal Binary Search Trees.
电商所评分：6
A Denotational Framework for Data Flow Analysis.
电商所评分：4
An Alternative Implementation of an Insertion-Only Recovery Technique.
电商所评分：1
On the Complexity of Some Problems Concerning the Use of Procedures I.
电商所评分：3
On an Exponential Server with General Cyclic Arrivals.
电商所评分：9
Order and Metric in the Stream Semantics of Elemental Concurrency.
电商所评分：9
Minimizing Mean Flow-Time with Parallel Processors and Resource Constraints.
电商所评分：6
Performance Evaluation of Fork and Join Synchronization Primitives.
电商所评分：1
Worst Case Performance of Weighted Buddy Systems.
电商所评分：7
Some Techniques for Geometric Searching with Implicit Set Representations.
电商所评分：3
Improving Time and Space Efficiency in Generalized Binary Search Trees.
电商所评分：3
Iteration of Transformation Passes over Attributed Program Trees.
电商所评分：4
A Model of the Dynamic Behavior of B-Trees.
电商所评分：1
An Almost Linear Robinson Unification Algorithm.
电商所评分：3
A Note on Synthesis and Classification of Sorting Algorithms.
电商所评分：2
Scattered Versus Context-Sensitive Rewriting.
电商所评分：1
Rational Index of Vector Addition Systems Languages.
电商所评分：7
On the Finite Degree of Ambiguity of Finite Tree Automata.
电商所评分：10