Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/Alblas81,
  author       = {Henk Alblas},
  title        = {A Characterization of Attribute Evaluation in Passes},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {427--464},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00264495},
  doi          = {10.1007/BF00264495},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Alblas81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BestR81,
  author       = {Eike Best and
                  Brian Randell},
  title        = {A Formal Model of Atomicity in Asynchronous Systems},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {93--124},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289593},
  doi          = {10.1007/BF00289593},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BestR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Blikle81,
  author       = {Andrzej Blikle},
  title        = {The Clean Termination of Iterative Programs},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {199--217},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00261259},
  doi          = {10.1007/BF00261259},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Blikle81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Claus81,
  author       = {Volker Claus},
  title        = {The {(} \emph{ n,k } )-Bounded Emptiness-Problem for Probabilistic
                  Acceptors and Related Problems},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {139--160},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00261257},
  doi          = {10.1007/BF00261257},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Claus81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Clint81,
  author       = {Maurice Clint},
  title        = {On the Use of History Variables},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {15--30},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289587},
  doi          = {10.1007/BF00289587},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Clint81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EngelfrietF81,
  author       = {Joost Engelfriet and
                  Gilberto Fil{\'{e}}},
  title        = {The Formal Power of One-Visit Attribute Grammars},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {275--302},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289307},
  doi          = {10.1007/BF00289307},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EngelfrietF81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/FennerL81,
  author       = {Trevor I. Fenner and
                  George Loizou},
  title        = {An Analysis of two Related Loop-free Algorithms for Generating Integer
                  Partitions},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {237--252},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00261261},
  doi          = {10.1007/BF00261261},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/FennerL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Goldschlager81,
  author       = {Leslie M. Goldschlager},
  title        = {Varepsilon-Productions in Context-Free Grammars},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {303--308},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289308},
  doi          = {10.1007/BF00289308},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Goldschlager81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Hamlet81,
  author       = {Richard G. Hamlet},
  title        = {Reliability Theory of Program Testing},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {31--43},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289588},
  doi          = {10.1007/BF00289588},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hamlet81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HennesyK81,
  author       = {John L. Hennessy and
                  Richard B. Kieburtz},
  title        = {The Formal Definition of a Real-Time Language},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {309--345},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289309},
  doi          = {10.1007/BF00289309},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HennesyK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/JanssensR81,
  author       = {Dirk Janssens and
                  Grzegorz Rozenberg},
  title        = {A Characterization of Context-free String Languages by Directed Node-label
                  Controlled Graph Grammars},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {63--85},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289591},
  doi          = {10.1007/BF00289591},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/JanssensR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KedemS81,
  author       = {Zvi M. Kedem and
                  Abraham Silberschatz},
  title        = {A Characterization of Database Graphs Admitting a Simple Locking Protocol},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {1--13},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289586},
  doi          = {10.1007/BF00289586},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KedemS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KlinglerR81,
  author       = {Thomas Klingler and
                  Stefan Reisch},
  title        = {A Gap Between the Actual Complexity of Permutations and Their Entropy
                  Defined by Sto{\ss}},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {347--362},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289310},
  doi          = {10.1007/BF00289310},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KlinglerR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Lengauer81,
  author       = {Thomas Lengauer},
  title        = {Black-White Pebbles and Graph Separation},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {465--475},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00264496},
  doi          = {10.1007/BF00264496},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Lengauer81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/MannaW81,
  author       = {Zohar Manna and
                  Richard J. Waldinger},
  title        = {Problematic Features of Programming Languages: {A} Situational-Calculus
                  Approach},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {371--426},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00264494},
  doi          = {10.1007/BF00264494},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/MannaW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Markowsky81,
  author       = {George Markowsky},
  title        = {Best Huffman Trees},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {363--370},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289311},
  doi          = {10.1007/BF00289311},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Markowsky81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Martin81,
  author       = {Alain J. Martin},
  title        = {An Axiomatic Definition of Synchronization Primitives},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {219--235},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00261260},
  doi          = {10.1007/BF00261260},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Martin81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Olderog81,
  author       = {Ernst{-}R{\"{u}}diger Olderog},
  title        = {Sound and Complete Hoare-like Calculi Based on Copy Rules},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {161--197},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00261258},
  doi          = {10.1007/BF00261258},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Olderog81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/OstrandPW81,
  author       = {Thomas J. Ostrand and
                  Marvin C. Paull and
                  Elaine J. Weyuker},
  title        = {Parsing Regular Grammars with Finite Lookahead},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {125--138},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00261256},
  doi          = {10.1007/BF00261256},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/OstrandPW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Pritchard81,
  author       = {Paul Pritchard},
  title        = {Another Look at the "Longest Ascending Subsequence" Problem},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {87--91},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289592},
  doi          = {10.1007/BF00289592},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Pritchard81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/RamanathanK81,
  author       = {Jayashree Ramanathan and
                  Ken Kennedy},
  title        = {Pathlistings Applied to Data Flow Analysis},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {253--273},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289306},
  doi          = {10.1007/BF00289306},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/RamanathanK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schassberger81,
  author       = {Rolf Schassberger},
  title        = {On the Response Time Distribution in a Discrete Round-Robin Queue},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {57--62},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289590},
  doi          = {10.1007/BF00289590},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schassberger81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Stadel81,
  author       = {Manfred P. Stadel},
  title        = {Behandlung verschiedener INTEGER-Darstellungen durch optimierende
                  Compiler},
  journal      = {Acta Informatica},
  volume       = {16},
  pages        = {45--56},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00289589},
  doi          = {10.1007/BF00289589},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Stadel81.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.