The SCEAS System
Navigation Menu

Journals in DBLP

Acta Inf.
1985, volume: 22, number: 1

  1. Michael Bechtold, Guy Pujolle, Otto Spaniol
    Throughput of a Satellite Channel Communication. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:1-14 [Journal]
  2. Jeffrey H. Kingston
    Analysis of Tree Algorithms for the Simulation Event List. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:15-33 [Journal]
  3. Fred B. Schneider, Richard Conway, Dale Skeen
    Thrifty Execution of Task Pipelines. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:35-45 [Journal]
  4. Ali Mili, Jules Desharnais, Jean-Raymond Gagné
    Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:47-66 [Journal]
  5. Dean Jacobs, David Gries
    General Correctness: A Unification of Partial and Total Correctness. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:67-83 [Journal]
  6. Thomas Ottmann, Michael Schrapp, Derick Wood
    Purely Top-Down Updating Algorithms for Stratified Search Trees. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:85-100 [Journal]
  7. Donald W. Loveland
    Performance Bounds for Binary Testing with Arbitrary Weights. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:101-114 [Journal]
  8. Burkhard Monien, Ewald Speckenmeyer
    Ramsey Numbers and an Approximation Algorithm for the Vertex Cover Problem. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:115-123 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002