Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/Alblas87,
  author       = {Henk Alblas},
  title        = {One-Pass Transformations of Attributed Program Trees},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {3},
  pages        = {299--352},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00265992},
  doi          = {10.1007/BF00265992},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Alblas87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BakkerM87,
  author       = {J. W. de Bakker and
                  John{-}Jules Ch. Meyer},
  title        = {Order and Metric in the Stream Semantics of Elemental Concurrency},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {5},
  pages        = {491--511},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00263291},
  doi          = {10.1007/BF00263291},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BakkerM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Becker87,
  author       = {Bernd Becker},
  title        = {An Easily Testable Optimal-Time VLSI-Multiplier},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {4},
  pages        = {363--380},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00292108},
  doi          = {10.1007/BF00292108},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/Becker87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BenderPW87,
  author       = {Edward A. Bender and
                  Cheryl E. Praeger and
                  Nicholas C. Wormald},
  title        = {Optimal Worst Case Trees},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {4},
  pages        = {475--489},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00292115},
  doi          = {10.1007/BF00292115},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BenderPW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BlazewiczKRS87,
  author       = {Jacek Blazewicz and
                  Wieslaw Kubiak and
                  Hans R{\"{o}}ck and
                  Jayme Luiz Szwarcfiter},
  title        = {Minimizing Mean Flow-Time with Parallel Processors and Resource Constraints},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {5},
  pages        = {513--524},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00263292},
  doi          = {10.1007/BF00263292},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BlazewiczKRS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Chazelle87,
  author       = {Bernard Chazelle},
  title        = {Some Techniques for Geometric Searching with Implicit Set Representations},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {5},
  pages        = {565--582},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00263295},
  doi          = {10.1007/BF00263295},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Chazelle87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ChowdhuryS87,
  author       = {Shyamal K. Chowdhury and
                  Pradip K. Srimani},
  title        = {Worst Case Performance of Weighted Buddy Systems},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {5},
  pages        = {555--564},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00263294},
  doi          = {10.1007/BF00263294},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ChowdhuryS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CousotC87,
  author       = {Patrick Cousot and
                  Radhia Cousot},
  title        = {Sometime = Always + Recursion = Always on the Equivalence of the Intermittent
                  and Invariant Assertions Methods for Proving Inevitability Properties
                  of Programs},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {1},
  pages        = {1--31},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00290704},
  doi          = {10.1007/BF00290704},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CousotC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CuntoG87,
  author       = {Walter Cunto and
                  Jose Luis Gascon},
  title        = {Improving Time and Space Efficiency in Generalized Binary Search Trees},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {5},
  pages        = {583--594},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00263296},
  doi          = {10.1007/BF00263296},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CuntoG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Devroye87,
  author       = {Luc Devroye},
  title        = {Branching Processes in the Analysis of the Heights of Trees},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {3},
  pages        = {277--298},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00265991},
  doi          = {10.1007/BF00265991},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Devroye87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/DudaC87,
  author       = {Andrzej Duda and
                  Tadeusz Czach{\'{o}}rski},
  title        = {Performance Evaluation of Fork and Join Synchronization Primitives},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {5},
  pages        = {525--553},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00263293},
  doi          = {10.1007/BF00263293},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/DudaC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Dunne87,
  author       = {Paul E. S. Dunne},
  title        = {A Result on \emph{ k } -Valent Graphs and Its Application to a Graph
                  Embedding Problem},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {4},
  pages        = {447--459},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00292113},
  doi          = {10.1007/BF00292113},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/Dunne87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GoldreichS87,
  author       = {Oded Goldreich and
                  Liuba Shrira},
  title        = {Electing a Leader in a Ring with Link Failures},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {1},
  pages        = {79--91},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00290707},
  doi          = {10.1007/BF00290707},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GoldreichS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Harris87,
  author       = {Lawrence A. Harris},
  title        = {{SLR(1)} and {LALR(1)} Parsing for Unrestricted Grammars},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {2},
  pages        = {191--209},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00264364},
  doi          = {10.1007/BF00264364},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Harris87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HeilbrunnerH87,
  author       = {Stephan Heilbrunner and
                  Steffen H{\"{o}}lldobler},
  title        = {The Undecidability of the Unification and Matching Problem for Canonical
                  Theories},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {2},
  pages        = {157--171},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00264362},
  doi          = {10.1007/BF00264362},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HeilbrunnerH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Hoogewijs87,
  author       = {Albert Hoogewijs},
  title        = {Partial-Predicate Logic in Computer Science},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {4},
  pages        = {381--393},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00292109},
  doi          = {10.1007/BF00292109},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hoogewijs87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HorwitzDT87,
  author       = {Susan Horwitz and
                  Alan J. Demers and
                  Tim Teitelbaum},
  title        = {An Efficient General Iterative Algorithm for Dataflow Analysis},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {6},
  pages        = {679--694},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00282621},
  doi          = {10.1007/BF00282621},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HorwitzDT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HuangL87,
  author       = {Chua{-}Huang Huang and
                  Christian Lengauer},
  title        = {The Derivation of Systolic Implementations of Programs},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {6},
  pages        = {595--632},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00282618},
  doi          = {10.1007/BF00282618},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HuangL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Janicki87,
  author       = {Ryszard Janicki},
  title        = {A Formal Semantics for Concurrent Systems with a Priority Relation},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {1},
  pages        = {33--55},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00290705},
  doi          = {10.1007/BF00290705},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Janicki87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kamin87,
  author       = {Samuel N. Kamin},
  title        = {The Expressive Theory of Stacks},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {6},
  pages        = {695--709},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00282622},
  doi          = {10.1007/BF00282622},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kamin87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KapurNZ87,
  author       = {Deepak Kapur and
                  Paliath Narendran and
                  Hantao Zhang},
  title        = {On Sufficient-Completeness and Related Properties of Term Rewriting
                  Systems},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {4},
  pages        = {395--415},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00292110},
  doi          = {10.1007/BF00292110},
  timestamp    = {Tue, 17 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/KapurNZ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kastens87,
  author       = {Uwe Kastens},
  title        = {Lifetime Analysis for Attributes},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {6},
  pages        = {633--651},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00282619},
  doi          = {10.1007/BF00282619},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kastens87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KempfBG87,
  author       = {M. Kempf and
                  Rudolf Bayer and
                  Ulrich G{\"{u}}ntzer},
  title        = {Time Optimal Left to Right Construction of Position Trees},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {4},
  pages        = {461--474},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00292114},
  doi          = {10.1007/BF00292114},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KempfBG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KumarR87,
  author       = {S. Kiran Kumar and
                  C. Pandu Rangan},
  title        = {A Linear Space Algorithm for the {LCS} Problem},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {3},
  pages        = {353--362},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00265993},
  doi          = {10.1007/BF00265993},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KumarR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kunde87,
  author       = {Manfred Kunde},
  title        = {Lower Bounds for Sorting on Mesh-Connected Architectures},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {2},
  pages        = {121--130},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00264359},
  doi          = {10.1007/BF00264359},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kunde87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Lao87,
  author       = {Marek J. Lao},
  title        = {Combinator-Based Compilation of Recursive Functions with Different
                  Parameter Passing Modes},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {6},
  pages        = {653--678},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00282620},
  doi          = {10.1007/BF00282620},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Lao87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Leung87,
  author       = {Clement H. C. Leung},
  title        = {Analysis of Space Allocation in a Generally Fragmented Linear Store},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {1},
  pages        = {93--104},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00290708},
  doi          = {10.1007/BF00290708},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Leung87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LoizouT87,
  author       = {George Loizou and
                  Peter Thanisch},
  title        = {Losslessness and Project-Join Constructibility in Relational Databases},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {2},
  pages        = {131--144},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00264360},
  doi          = {10.1007/BF00264360},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LoizouT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/MiliDM87,
  author       = {Ali Mili and
                  Jules Desharnais and
                  Fatma Mili},
  title        = {Relational Heuristics for the Design of Deterministic Programs},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {3},
  pages        = {239--276},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00265990},
  doi          = {10.1007/BF00265990},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/MiliDM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Murtagh87,
  author       = {Thomas P. Murtagh},
  title        = {Redundant Proofs of Non-Interference in Levin-Gries {CSP} Program
                  Proofs},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {2},
  pages        = {145--156},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00264361},
  doi          = {10.1007/BF00264361},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Murtagh87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Nicola87,
  author       = {Rocco De Nicola},
  title        = {Extensional Equivalences for Transition Systems},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {2},
  pages        = {211--237},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00264365},
  doi          = {10.1007/BF00264365},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Nicola87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/PetersR87,
  author       = {Joseph G. Peters and
                  Larry Rudolph},
  title        = {Parallel Approximation Schemes for Subset Sum and Knapsack Problems},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {4},
  pages        = {417--432},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00292111},
  doi          = {10.1007/BF00292111},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PetersR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schmidt87,
  author       = {Ursula Schmidt},
  title        = {Long Unavoidable Patterns},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {4},
  pages        = {433--445},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00292112},
  doi          = {10.1007/BF00292112},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schmidt87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Szpankowski87,
  author       = {Wojciech Szpankowski},
  title        = {An Analysis of a Contention Resolution Algorithm: Another Approach},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {2},
  pages        = {173--190},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00264363},
  doi          = {10.1007/BF00264363},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Szpankowski87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Takeichi87,
  author       = {Masato Takeichi},
  title        = {Partial Parametrization Eliminates Multiple Traversals of Data Structures},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {1},
  pages        = {57--77},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00290706},
  doi          = {10.1007/BF00290706},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Takeichi87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Vidyasankar87,
  author       = {K. Vidyasankar},
  title        = {Generalized Theory of Serializability},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {1},
  pages        = {105--119},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00290709},
  doi          = {10.1007/BF00290709},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Vidyasankar87.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.