Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/acta/acta26.bht:"
@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} }
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.