Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/AdamsGV79,
  author       = {Colin Adams and
                  Erol Gelenbe and
                  Jean Vicard},
  title        = {An Experimentally Validated Model of the Paging Drum},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {103--117},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264019},
  doi          = {10.1007/BF00264019},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AdamsGV79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ArbibA79,
  author       = {Michael A. Arbib and
                  Suad Alagic},
  title        = {Proof Rules for Gotos},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {139--148},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264021},
  doi          = {10.1007/BF00264021},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ArbibA79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/AsveldE79,
  author       = {Peter R. J. Asveld and
                  Joost Engelfriet},
  title        = {Extended Linear Macro Grammars, Iteration Grammars, and Register Programs},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {259--285},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289071},
  doi          = {10.1007/BF00289071},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AsveldE79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Autebert79,
  author       = {Jean{-}Michel Autebert},
  title        = {Op{\'{e}}rations de Cylindre et applications s{\'{e}}quentielles
                  gauches inverses},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {241--258},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289070},
  doi          = {10.1007/BF00289070},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Autebert79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Bouchet79,
  author       = {P. Bouchet},
  title        = {Proc{\'{e}}dures de reprise dans les syst{\`{e}}mes de gestion
                  de base de donn{\'{e}}es r{\'{e}}parties},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {305--340},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289092},
  doi          = {10.1007/BF00289092},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Bouchet79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ColemanH79,
  author       = {Derek Coleman and
                  Jane W. Hughes},
  title        = {The Clean Termination of Pascal Programs},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {195--210},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289066},
  doi          = {10.1007/BF00289066},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ColemanH79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Gries79,
  author       = {David Gries},
  title        = {The Schorr-Waite Graph Marking Algorithm},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {223--232},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289068},
  doi          = {10.1007/BF00289068},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Gries79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Hehner79,
  author       = {Eric C. R. Hehner},
  title        = {do Considered od: {A} Contribution to the Programming Calculus},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {287--304},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289091},
  doi          = {10.1007/BF00289091},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hehner79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Heilbrunner79,
  author       = {Stephan Heilbrunner},
  title        = {On the Definition of ELR(k) and ELL(k) Grammars},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {169--176},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264023},
  doi          = {10.1007/BF00264023},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Heilbrunner79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Jones79,
  author       = {Cliff B. Jones},
  title        = {Constructing a Theory of a Data Structure as an Aid to Program Development},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {119--137},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264020},
  doi          = {10.1007/BF00264020},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Jones79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kemp79,
  author       = {Rainer Kemp},
  title        = {The Average Number of Registers Needed to Evaluate a Binary Tree Optimally},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {363--372},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289094},
  doi          = {10.1007/BF00289094},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kemp79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LaLonde79,
  author       = {Wilf R. LaLonde},
  title        = {Constructing {LR} Parsers for Regular Right Part Grammars},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {177--193},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264024},
  doi          = {10.1007/BF00264024},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LaLonde79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Latteux79,
  author       = {Michel Latteux},
  title        = {Intersections de langages alg{\'{e}}briques born{\'{e}}s},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {233--240},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289069},
  doi          = {10.1007/BF00289069},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Latteux79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Leeuwen79,
  author       = {Jan van Leeuwen},
  title        = {A Useful Lemma for Context-Free Programmed Grammars},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {373--386},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289095},
  doi          = {10.1007/BF00289095},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Leeuwen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Merzenich79,
  author       = {Wolfgang Merzenich},
  title        = {A Binary Operation on Trees and an Initial Algebra Characterization
                  for Finite Tree Types},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {149--168},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264022},
  doi          = {10.1007/BF00264022},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Merzenich79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Topor79,
  author       = {Rodney W. Topor},
  title        = {The Correctness of the Schorr-Waite List Marking Algorithm},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {211--221},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289067},
  doi          = {10.1007/BF00289067},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Topor79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Unterauer79,
  author       = {Karl Unterauer},
  title        = {Dynamic Weighted Binary Search Trees},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {341--362},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289093},
  doi          = {10.1007/BF00289093},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Unterauer79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/AdlemanBPR78,
  author       = {Leonard M. Adleman and
                  Kellogg S. Booth and
                  Franco P. Preparata and
                  Walter L. Ruzzo},
  title        = {Improved Time and Space Bounds for Boolean Matrix Multiplication},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {61--77},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264600},
  doi          = {10.1007/BF00264600},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AdlemanBPR78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Darlington78,
  author       = {John Darlington},
  title        = {A Synthesis of Several Sorting Algorithms},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {1--30},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264597},
  doi          = {10.1007/BF00264597},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Darlington78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GinsburgW78,
  author       = {Seymour Ginsburg and
                  Derick Wood},
  title        = {Precedence Relations in Grammar Forms},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {79--88},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264602},
  doi          = {10.1007/BF00264602},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GinsburgW78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Greibach78,
  author       = {Sheila A. Greibach},
  title        = {Hierarchy Theorems for Two-Way Finite State Transducers},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {80--101},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264603},
  doi          = {10.1007/BF00264603},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Greibach78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HuetL78,
  author       = {G{\'{e}}rard P. Huet and
                  Bernard Lang},
  title        = {Proving and Applying Program Transformations Expressed with Second-Order
                  Patterns},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {31--55},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264598},
  doi          = {10.1007/BF00264598},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HuetL78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/SilberschatzJ78,
  author       = {Abraham Silberschatz and
                  Brian Johnson},
  title        = {Remarks on "Some Comments on Concurrent Readers and Writers" by Reidar
                  Conradi},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {57--60},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264599},
  doi          = {10.1007/BF00264599},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SilberschatzJ78.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.