Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/AdiriBFK89,
  author       = {Igal Adiri and
                  John L. Bruno and
                  Esther Frostig and
                  A. H. G. Rinnooy Kan},
  title        = {Single Machine Flow-Time Scheduling With a Single Breakdown},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {7},
  pages        = {679--696},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00288977},
  doi          = {10.1007/BF00288977},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AdiriBFK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AkyildizB89,
  author       = {Ian F. Akyildiz and
                  Horst von Brand},
  title        = {Computational Algorithms for Networks of Queues with Rejection Blocking},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {6},
  pages        = {559--576},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00263580},
  doi          = {10.1007/BF00263580},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AkyildizB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AutebertG89,
  author       = {Jean{-}Michel Autebert and
                  Joaquim Gabarr{\'{o}}},
  title        = {Iterated GSMs and Co-CFL},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {8},
  pages        = {749--769},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289160},
  doi          = {10.1007/BF00289160},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AutebertG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Baeza-Yates89,
  author       = {Ricardo A. Baeza{-}Yates},
  title        = {Modeling Splits in File Structures},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {4},
  pages        = {349--362},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00276022},
  doi          = {10.1007/BF00276022},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/Baeza-Yates89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Baeza-Yates89a,
  author       = {Ricardo A. Baeza{-}Yates},
  title        = {The Expected Behaviour of B+-Trees},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {5},
  pages        = {439--471},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289146},
  doi          = {10.1007/BF00289146},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/Baeza-Yates89a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Belaga89,
  author       = {Edward G. Belaga},
  title        = {Through the Mincing Machine with a Boolean Layer Cake},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {4},
  pages        = {381--407},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00276024},
  doi          = {10.1007/BF00276024},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Belaga89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BijlsmaMW89,
  author       = {A. Bijlsma and
                  P. A. Matthews and
                  J. G. Wiltink},
  title        = {A Sharp Proof Rule for Procedures in wp Semantics},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {5},
  pages        = {409--419},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289144},
  doi          = {10.1007/BF00289144},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BijlsmaMW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Csirik89,
  author       = {J{\'{a}}nos Csirik},
  title        = {An On-Line Algorithm for Variable-Sized Bin Packing},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {8},
  pages        = {697--709},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289157},
  doi          = {10.1007/BF00289157},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Csirik89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HabelKV89,
  author       = {Annegret Habel and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Walter Vogler},
  title        = {Metatheorems for Decision Problems on Hyperedge Replacement Graph
                  Languages},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {7},
  pages        = {657--677},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00288976},
  doi          = {10.1007/BF00288976},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HabelKV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HanI89,
  author       = {Yijie Han and
                  Yoshihide Igarashi},
  title        = {Time Lower Bounds for Parallel Sorting on a Mesh-Conected Processor
                  Array},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {7},
  pages        = {643--655},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00288975},
  doi          = {10.1007/BF00288975},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HanI89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Helman89,
  author       = {Paul Helman},
  title        = {A Family of NP-Complete Data Aggregation Problems},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {5},
  pages        = {485--499},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289148},
  doi          = {10.1007/BF00289148},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Helman89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hesselink89,
  author       = {Wim H. Hesselink},
  title        = {Predicate-Transformer Semantics of General Recursion},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {4},
  pages        = {309--332},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00276020},
  doi          = {10.1007/BF00276020},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hesselink89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HuangJ89,
  author       = {Yennun Huang and
                  Pankaj Jalote},
  title        = {Analytic Models for the Primary Site Approach to Fault-Tolerance},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {6},
  pages        = {543--557},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00263579},
  doi          = {10.1007/BF00263579},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HuangJ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HuangL89,
  author       = {Bing{-}Chao Huang and
                  Michael A. Langston},
  title        = {Stable Duplicate-Key Extraction with Optimal Time and Space Bounds},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {5},
  pages        = {473--484},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289147},
  doi          = {10.1007/BF00289147},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HuangL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Kemp89,
  author       = {Rainer Kemp},
  title        = {The Expected Additive Weight of Trees},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {8},
  pages        = {711--740},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289158},
  doi          = {10.1007/BF00289158},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kemp89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KoblerST89,
  author       = {Johannes K{\"{o}}bler and
                  Uwe Sch{\"{o}}ning and
                  Jacobo Tor{\'{a}}n},
  title        = {On Counting and Approximation},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {4},
  pages        = {363--379},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00276023},
  doi          = {10.1007/BF00276023},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KoblerST89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KouvatsosA89,
  author       = {Demetres D. Kouvatsos and
                  John Almond},
  title        = {Erratum: Maximum Entropy Two-Station Cyclic Queues with Multiple General
                  Servers},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {5},
  pages        = {501},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289149},
  doi          = {10.1007/BF00289149},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KouvatsosA89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KouvatsosA89a,
  author       = {Demetres D. Kouvatsos and
                  John Almond},
  title        = {Erratum: Maximum Entropy Two-Station Cyclic Queues with Multiple General
                  Servers},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {8},
  pages        = {787},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289162},
  doi          = {10.1007/BF00289162},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KouvatsosA89a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LitwinSV89,
  author       = {Witold Litwin and
                  Yehoshua Sagiv and
                  K. Vidyasankar},
  title        = {Concurrency and Trie Hashing},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {7},
  pages        = {597--614},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00288973},
  doi          = {10.1007/BF00288973},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LitwinSV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Morris89,
  author       = {Joseph M. Morris},
  title        = {Laws of Data Refinement},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {4},
  pages        = {287--308},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00276019},
  doi          = {10.1007/BF00276019},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Morris89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PierreS89,
  author       = {Laurent Pierre and
                  Sylviane R. Schwer},
  title        = {Rational Index of Vector Addition Systems Languages},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {6},
  pages        = {503--525},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00263577},
  doi          = {10.1007/BF00263577},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PierreS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Ramarao89,
  author       = {K. V. S. Ramarao},
  title        = {Complexity of Distributed Commit Protocols},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {6},
  pages        = {577--595},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00263581},
  doi          = {10.1007/BF00263581},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Ramarao89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/RothKS89,
  author       = {Mark A. Roth and
                  Henry F. Korth and
                  Abraham Silberschatz},
  title        = {Null Values in Nested Relational Databases},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {7},
  pages        = {615--642},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00288974},
  doi          = {10.1007/BF00288974},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/RothKS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Seidl89,
  author       = {Helmut Seidl},
  title        = {On the Finite Degree of Ambiguity of Finite Tree Automata},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {6},
  pages        = {527--542},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00263578},
  doi          = {10.1007/BF00263578},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Seidl89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Sen89,
  author       = {Arunabha Sen},
  title        = {Supercube: An Optimally Fault Tolerant Network Architecture},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {8},
  pages        = {741--748},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289159},
  doi          = {10.1007/BF00289159},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Sen89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Simon89,
  author       = {Hans Ulrich Simon},
  title        = {Continuous Reductions Among Combinatorial Optimization Problems},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {8},
  pages        = {771--785},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289161},
  doi          = {10.1007/BF00289161},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Simon89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Vogler89,
  author       = {Walter Vogler},
  title        = {Failures Semantics and Deadlocking of Modular Petri Nets},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {4},
  pages        = {333--348},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00276021},
  doi          = {10.1007/BF00276021},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Vogler89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ZhangH89,
  author       = {Bin Zhang and
                  Meichun Hsu},
  title        = {Unsafe Operations in B-Trees},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {5},
  pages        = {421--438},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00289145},
  doi          = {10.1007/BF00289145},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ZhangH89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BertinoM88,
  author       = {Elisa Bertino and
                  Daniela Musto},
  title        = {Correctness of Semantic Integrity Checking in Database Management
                  Systems},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {1/2},
  pages        = {25--57},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02915445},
  doi          = {10.1007/BF02915445},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BertinoM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CuntoP88,
  author       = {Walter Cunto and
                  Patricio V. Poblete},
  title        = {Transforming Unbalanced Multiway Trees into a Practical External Data
                  Structure},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {3},
  pages        = {193--211},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00299632},
  doi          = {10.1007/BF00299632},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CuntoP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DeganoNM88,
  author       = {Pierpaolo Degano and
                  Rocco De Nicola and
                  Ugo Montanari},
  title        = {A Distributed Operational Semantics for {CCS} Based on Condition/Event
                  Systems},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {1/2},
  pages        = {59--91},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02915446},
  doi          = {10.1007/BF02915446},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/DeganoNM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Devroye88,
  author       = {Luc Devroye},
  title        = {Applications of the Theory of Records in the Study of Random Trees},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {1/2},
  pages        = {123--130},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02915448},
  doi          = {10.1007/BF02915448},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Devroye88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelfrietV88,
  author       = {Joost Engelfriet and
                  Heiko Vogler},
  title        = {High Level Tree Transducers and Iterated Pushdown Tree Transducers},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {1/2},
  pages        = {131--192},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02915449},
  doi          = {10.1007/BF02915449},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EngelfrietV88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HehnerGM88,
  author       = {Eric C. R. Hehner and
                  Lorene E. Gupta and
                  Andrew J. Malton},
  title        = {Erratum: Predicative Methodology},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {3},
  pages        = {285},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00299637},
  doi          = {10.1007/BF00299637},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HehnerGM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JacobsF88,
  author       = {Dean Jacobs and
                  Martin S. Feather},
  title        = {Corrections to "A Synthesis of Several Sorting Algorithms" by J. Darlington},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {1/2},
  pages        = {19--23},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02915444},
  doi          = {10.1007/BF02915444},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/JacobsF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KouvatsosA88,
  author       = {Demetres D. Kouvatsos and
                  John Almond},
  title        = {Maximum Entropy Two-Station Cyclic Queues with Multiple General Servers},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {3},
  pages        = {241--267},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00299634},
  doi          = {10.1007/BF00299634},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KouvatsosA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LevcopoulosO88,
  author       = {Christos Levcopoulos and
                  Mark H. Overmars},
  title        = {A Balanced Search Tree with \emph{ {O} } {(1)} Worst-case Update Time},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {3},
  pages        = {269--277},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00299635},
  doi          = {10.1007/BF00299635},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LevcopoulosO88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LippsMOW88,
  author       = {Peter Lipps and
                  Ulrich M{\"{o}}ncke and
                  Matthias Olk and
                  Reinhard Wilhelm},
  title        = {Attribute (Re)evaluation in {OPTRAN}},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {3},
  pages        = {213--239},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00299633},
  doi          = {10.1007/BF00299633},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LippsMOW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SutnerM88,
  author       = {Klaus Sutner and
                  Wolfgang Maass},
  title        = {Motion Planning Among Time Dependent Obstacles},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {1/2},
  pages        = {93--122},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02915447},
  doi          = {10.1007/BF02915447},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SutnerM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Szelepcsenyi88,
  author       = {R{\'{o}}bert Szelepcs{\'{e}}nyi},
  title        = {The Method of Forced Enumeration for Nondeterministic Automata},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {3},
  pages        = {279--284},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00299636},
  doi          = {10.1007/BF00299636},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Szelepcsenyi88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Vorst88,
  author       = {Johannes G. G. van de Vorst},
  title        = {The Formal Development of a Parallel Program Performing LU-Decomposition},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {1/2},
  pages        = {1--17},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02915443},
  doi          = {10.1007/BF02915443},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Vorst88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics