Search dblp for Publications

export results for "toc:db/journals/acta/acta7.bht:"

 download as .bib file

@article{DBLP:journals/acta/KamU77,
  author       = {John B. Kam and
                  Jeffrey D. Ullman},
  title        = {Monotone Data Flow Analysis Frameworks},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {305--317},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00290339},
  doi          = {10.1007/BF00290339},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KamU77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kern77,
  author       = {Walter Kern},
  title        = {Speicheroptimale Formel{\"{u}}bersetzung},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {269--287},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00290337},
  doi          = {10.1007/BF00290337},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kern77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kowaltowski77,
  author       = {Tomasz Kowaltowski},
  title        = {Axiomatic Approach to Side Effects and General Jumps},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {357--360},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00289468},
  doi          = {10.1007/BF00289468},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kowaltowski77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LauerC77,
  author       = {Peter E. Lauer and
                  Roy H. Campbell},
  title        = {Addenda and Corrigenda: Formal Semantics of a Class of High-Level
                  Primitives for Coordinating Concurrent Processes},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {325},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00290341},
  doi          = {10.1007/BF00290341},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LauerC77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/MacVeigh77,
  author       = {Donal T. MacVeigh},
  title        = {Effect of Data Representation on Cost of Sparse Matrix Operations},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {361--394},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00289469},
  doi          = {10.1007/BF00289469},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/MacVeigh77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Pager77a,
  author       = {David Pager},
  title        = {A Practical General Method for Constructing LR(k) Parsers},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {249--268},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00290336},
  doi          = {10.1007/BF00290336},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Pager77a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Perrot77,
  author       = {Jean{-}Fran{\c{c}}ois Perrot},
  title        = {Mono{\"{\i}}des syntactiques des langages alg{\'{e}}briques},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {399--413},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00289471},
  doi          = {10.1007/BF00289471},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Perrot77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/RosenbergS77,
  author       = {Arnold L. Rosenberg and
                  Larry J. Stockmeyer},
  title        = {Storage Schemes for Boundedly Extendible Arrays},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {289--303},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00290338},
  doi          = {10.1007/BF00290338},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/RosenbergS77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schonhage77,
  author       = {Arnold Sch{\"{o}}nhage},
  title        = {Schnelle Multiplikation von Polynomen {\"{u}}ber K{\"{o}}rpern
                  der Charakteristik 2},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {395--398},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00289470},
  doi          = {10.1007/BF00289470},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schonhage77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Sedgewick77,
  author       = {Robert Sedgewick},
  title        = {The Analysis of Quicksort Programs},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {327--355},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00289467},
  doi          = {10.1007/BF00289467},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Sedgewick77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Shostak77,
  author       = {Robert E. Shostak},
  title        = {On the Role of Unification in Mechanical Theorem Proving},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {319--323},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00290340},
  doi          = {10.1007/BF00290340},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Shostak77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Buzen76,
  author       = {Jeffrey P. Buzen},
  title        = {Fundamental Operational Laws of Computer System Performance},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {167--182},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265769},
  doi          = {10.1007/BF00265769},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Buzen76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/DenningKLPS76,
  author       = {Peter J. Denning and
                  Kevin C. Kahn and
                  Jacques Leroudier and
                  Dominique Potier and
                  Rajan Suri},
  title        = {Optimal Multiprogramming},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {197--216},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265771},
  doi          = {10.1007/BF00265771},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/DenningKLPS76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GaverH76,
  author       = {Donald P. Gaver and
                  George Humfeld},
  title        = {Multitype Multiprogramming Models},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {111--121},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265765},
  doi          = {10.1007/BF00265765},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GaverH76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GelenbeM76,
  author       = {Erol Gelenbe and
                  Richard R. Muntz},
  title        = {Probabilistic Models of Computer Systems - Part {I} (Exact Results)},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {35--60},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265220},
  doi          = {10.1007/BF00265220},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GelenbeM76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GelenbeP76,
  author       = {Erol Gelenbe and
                  Guy Pujolle},
  title        = {The Behaviour of a Single-Queue in a General Queueing Network},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {123--136},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265766},
  doi          = {10.1007/BF00265766},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GelenbeP76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Giammo76,
  author       = {Thomas Giammo},
  title        = {Validation of a Computer Performance Model of the Exponential Queuing
                  Network Family},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {137--152},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265767},
  doi          = {10.1007/BF00265767},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Giammo76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LabetoulleP76,
  author       = {Jacques Labetoulle and
                  Guy Pujolle},
  title        = {A Study of Queueing Networks with Deterministic Service and Application
                  to Computer Networks},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {183--195},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265770},
  doi          = {10.1007/BF00265770},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LabetoulleP76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Lamport76,
  author       = {Leslie Lamport},
  title        = {The Synchronization of Independent Processes},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {15--34},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265219},
  doi          = {10.1007/BF00265219},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Lamport76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Landwehr76,
  author       = {Carl E. Landwehr},
  title        = {An Endogenous Priority Model for Load Control in Combined Batch-Interactive
                  Computer Systems},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {153--166},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265768},
  doi          = {10.1007/BF00265768},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Landwehr76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/MadsenK76,
  author       = {Ole Lehrmann Madsen and
                  Bent Bruun Kristensen},
  title        = {LR-Parsing of Extended Context Free Grammars},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {61--73},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265221},
  doi          = {10.1007/BF00265221},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/MadsenK76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schnorr76,
  author       = {Claus{-}Peter Schnorr},
  title        = {The Network Complexity and the Turing Machine Complexity of Finite
                  Functions},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {95--107},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265223},
  doi          = {10.1007/BF00265223},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schnorr76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Spirn76,
  author       = {Jeffrey R. Spirn},
  title        = {Multi-Queue Scheduling of Two Tasks},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {217--226},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265772},
  doi          = {10.1007/BF00265772},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Spirn76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Walter76,
  author       = {Hermann K.{-}G. Walter},
  title        = {Grammarforms and Grammarhomomorphisms},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {75--93},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265222},
  doi          = {10.1007/BF00265222},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Walter76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Welch76,
  author       = {Peter D. Welch},
  title        = {On the Self Contained Modelling of {DB/DC} Systems},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {227--247},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265773},
  doi          = {10.1007/BF00265773},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Welch76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Zuczek76,
  author       = {R. Zuczek},
  title        = {A New Approach to Parallel Computing},
  journal      = {Acta Informatica},
  volume       = {7},
  pages        = {1--13},
  year         = {1976},
  url          = {https://doi.org/10.1007/BF00265218},
  doi          = {10.1007/BF00265218},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Zuczek76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.