The SCEAS System
Navigation Menu

Journals in DBLP

Acta Inf.
1982, volume: 18, number:

  1. Robert B. K. Dewar, Susan M. Merritt, Micha Sharir
    Some Modified Algorithms for Dijkstra's Longest Upsequence Problem. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:1-15 [Journal]
  2. Raúl J. Ramírez, Frank Wm. Tompa, J. Ian Munro
    Optimum Reorganization Points for Arbitrary Database Costs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:17-30 [Journal]
  3. Timothy A. Budd, Dana Angluin
    Two Notions of Correctness and Their Relation to Testing. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:31-45 [Journal]
  4. Manfred Broy, Martin Wirsing
    Partial Abstract Types. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:47-64 [Journal]
  5. Jeannine Leguy
    Langages saturés et cones décroissants Langages et cones bifidèles. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:65-78 [Journal]
  6. Hans Langmaack
    On Termination Problems for Finitely Interpreted ALGOL-like Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:79-108 [Journal]
  7. Christiane Frougny, Jacques Sakarovitch, Erich Valkema
    On the Hotz Group of a Context-Free Grammar. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:109-115 [Journal]
  8. Wolfgang Reisig
    Deterministic Buffer Synchronization of Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:117-134 [Journal]
  9. Lynn Robert Carter
    Further Analysis of Code Generation for a Single Register Machine. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:135-147 [Journal]
  10. George W. Ernst, Jainendra K. Navlakha, William F. Ogden
    Verification of Programs with Procedure-Type Parameter. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:149-169 [Journal]
  11. Narao Nakatsu, Yahiko Kambayashi, Shuzo Yajima
    A Longest Common Subsequence Algorithm Suitable for Similar Text Strings. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:171-179 [Journal]
  12. Alberto Pettorossi, Rod M. Burstall
    Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:181-206 [Journal]
  13. Donna J. Brown, Brenda S. Baker, Howard P. Katseff
    Lower Bounds for On-Line Two-Dimensional Packing Algorithms. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:207-225 [Journal]
  14. Jean-Marie Nicolas
    Logic for Improving Integrity Checking in Relational Data Bases. [Citation Graph (82, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:227-253 [Journal]
  15. Brian Allen
    On the Costs of Optimal and Near-Optimal Binary Search Trees. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:255-263 [Journal]
  16. Flemming Nielson
    A Denotational Framework for Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:265-287 [Journal]
  17. S. O. Anderson, Roland Carl Backhouse
    An Alternative Implementation of an Insertion-Only Recovery Technique. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:289-298 [Journal]
  18. Karl Winklmann
    On the Complexity of Some Problems Concerning the Use of Procedures I. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:299-318 [Journal]
  19. Ashok K. Agrawala, Satish K. Tripathi
    On an Exponential Server with General Cyclic Arrivals. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:319-334 [Journal]
  20. Karel Culik II, Jozef Gruska, Arto Salomaa
    Systolic Automata for VLSI on Balanced Trees. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:335-344 [Journal]
  21. Jan van Leeuwen, Mark H. Overmars
    Stratified Balanced Search Trees. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:345-359 [Journal]
  22. Ole Eriksen, Jørgen Staunstrup
    Concurrent Algorithms for Root Searching. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:361-376 [Journal]
  23. Kenneth J. Supowit, Edward M. Reingold
    The Complexity of Drawing Trees Nicely. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:377-392 [Journal]
  24. Giora Slutzki
    Finite State Relational Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:393-409 [Journal]
  25. Karl Winklmann
    On the Complexity of some Problems Concerning the Use of Procedures II. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:411-430 [Journal]
  26. Jean-Pierre Banâtre, Patrice Frison, Patrice Quinton
    A Network for the Detection of Words in Continuous Speech. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:431-448 [Journal]
  27. Philippe Nain
    Partage de tâches entre processeurs homogenes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:449-466 [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