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}
}
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.