default search action
Search dblp for Publications
export results for "toc:db/journals/acta/acta7.bht:"
@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} }
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.