Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/acta/acta29.bht:"
download as .bib file
@article{DBLP:journals/acta/Arun-KumarH92,
author = {S. Arun{-}Kumar and
Matthew Hennessy},
title = {An Efficiency Preorder for Processes},
journal = {Acta Informatica},
volume = {29},
number = {8},
pages = {737--760},
year = {1992},
url = {https://doi.org/10.1007/BF01191894},
doi = {10.1007/BF01191894},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Arun-KumarH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Atanasiu92,
author = {Adrian Atanasiu},
title = {A Class of Coders Based on {GSM}},
journal = {Acta Informatica},
volume = {29},
number = {8},
pages = {779--791},
year = {1992},
url = {https://doi.org/10.1007/BF01191896},
doi = {10.1007/BF01191896},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Atanasiu92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BaetenV92,
author = {Jos C. M. Baeten and
Frits W. Vaandrager},
title = {An Algebra for Process Creation},
journal = {Acta Informatica},
volume = {29},
number = {4},
pages = {303--334},
year = {1992},
url = {https://doi.org/10.1007/BF01178776},
doi = {10.1007/BF01178776},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BaetenV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Baeza-YatesC92,
author = {Ricardo A. Baeza{-}Yates and
Walter Cunto},
title = {Unbalanced Multiway Trees Improved by Partial Expansions},
journal = {Acta Informatica},
volume = {29},
number = {5},
pages = {443--460},
year = {1992},
url = {https://doi.org/10.1007/BF01193577},
doi = {10.1007/BF01193577},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/Baeza-YatesC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CarlssonC92,
author = {Svante Carlsson and
Jingsen Chen},
title = {On Partitions and Presortedness of Sequences},
journal = {Acta Informatica},
volume = {29},
number = {3},
pages = {267--280},
year = {1992},
url = {https://doi.org/10.1007/BF01185681},
doi = {10.1007/BF01185681},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CarlssonC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DuC92,
author = {M. W. Du and
S. C. Chang},
title = {A Model and a Fast Algorithm for Multiple Errors Spelling Correction},
journal = {Acta Informatica},
volume = {29},
number = {3},
pages = {281--302},
year = {1992},
url = {https://doi.org/10.1007/BF01185682},
doi = {10.1007/BF01185682},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DuC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelfrietH92,
author = {Joost Engelfriet and
Linda Heyker},
title = {Context-Free Hypergraph Grammars have the Same Term-Generating Power
as Attribute Grammars},
journal = {Acta Informatica},
volume = {29},
number = {2},
pages = {161--210},
year = {1992},
url = {https://doi.org/10.1007/BF01178504},
doi = {10.1007/BF01178504},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EngelfrietH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FachiniMNP92,
author = {Emanuela Fachini and
Angelo Monti and
Margherita Napoli and
Domenico Parente},
title = {Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations},
journal = {Acta Informatica},
volume = {29},
number = {8},
pages = {761--778},
year = {1992},
url = {https://doi.org/10.1007/BF01191895},
doi = {10.1007/BF01191895},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FachiniMNP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FachiniMS92,
author = {Emanuela Fachini and
Andrea Maggiolo{-}Schettini and
Davide Sangiorgi},
title = {Classes of Systolic Y-Tree Automata and a Comparison with Systolic
Trellis Automata},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {623--643},
year = {1992},
url = {https://doi.org/10.1007/BF01185564},
doi = {10.1007/BF01185564},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FachiniMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FischerM92,
author = {Charles N. Fischer and
Jon Mauney},
title = {A Simple, Fast, and Effective {LL(1)} Error Repair Algorithm},
journal = {Acta Informatica},
volume = {29},
number = {2},
pages = {109--120},
year = {1992},
url = {https://doi.org/10.1007/BF01178502},
doi = {10.1007/BF01178502},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FischerM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Fisher92,
author = {Anthony J. Fisher},
title = {A "Yo-Yo" Parsing Algorithm for a Large Class of van Wijngaarden Grammars},
journal = {Acta Informatica},
volume = {29},
number = {5},
pages = {461--481},
year = {1992},
url = {https://doi.org/10.1007/BF01193578},
doi = {10.1007/BF01193578},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Fisher92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HalbwachsLR92,
author = {Nicolas Halbwachs and
Fabienne Lagnier and
Christophe Ratel},
title = {An Experience in Proving Regular Networks of Processes by Modular
Model Checking},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {523--543},
year = {1992},
url = {https://doi.org/10.1007/BF01185559},
doi = {10.1007/BF01185559},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HalbwachsLR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HarjuKL92,
author = {Tero Harju and
H. C. M. Kleijn and
Michel Latteux},
title = {Deterministic Sequential Functions},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {545--554},
year = {1992},
url = {https://doi.org/10.1007/BF01185560},
doi = {10.1007/BF01185560},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/HarjuKL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HarrisonK92,
author = {Peter G. Harrison and
Hessam Khoshnevisan},
title = {On the Synthesis of Function Inverses},
journal = {Acta Informatica},
volume = {29},
number = {3},
pages = {211--239},
year = {1992},
url = {https://doi.org/10.1007/BF01185679},
doi = {10.1007/BF01185679},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/HarrisonK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hayes92,
author = {Ian J. Hayes},
title = {Multi-Relations in {Z}},
journal = {Acta Informatica},
volume = {29},
number = {1},
pages = {33--62},
year = {1992},
url = {https://doi.org/10.1007/BF01178565},
doi = {10.1007/BF01178565},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Hayes92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HinrichsNS92,
author = {Klaus H. Hinrichs and
J{\"{u}}rg Nievergelt and
Peter Schorn},
title = {An All-Round Sweep Algorithm for 2-Dimensional Nearest-Neighbor Problems},
journal = {Acta Informatica},
volume = {29},
number = {4},
pages = {383--394},
year = {1992},
url = {https://doi.org/10.1007/BF01178779},
doi = {10.1007/BF01178779},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HinrichsNS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hinz92,
author = {Didier Y. Hinz},
title = {A Run-Time Load Balancing Strategy for Highly Parallel Systems},
journal = {Acta Informatica},
volume = {29},
number = {1},
pages = {63--94},
year = {1992},
url = {https://doi.org/10.1007/BF01178566},
doi = {10.1007/BF01178566},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Hinz92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Josephs92,
author = {Mark B. Josephs},
title = {Receptive Process Theory},
journal = {Acta Informatica},
volume = {29},
number = {1},
pages = {17--31},
year = {1992},
url = {https://doi.org/10.1007/BF01178564},
doi = {10.1007/BF01178564},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/Josephs92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LeeL92,
author = {Chung{-}Yee Lee and
Surya Danusaputro Liman},
title = {Single Machine Flow-Time Scheduling with Scheduled Maintenance},
journal = {Acta Informatica},
volume = {29},
number = {4},
pages = {375--382},
year = {1992},
url = {https://doi.org/10.1007/BF01178778},
doi = {10.1007/BF01178778},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LeeL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LucaV92,
author = {Aldo de Luca and
Stefano Varricchio},
title = {On Finitely Recognizable Semigroups},
journal = {Acta Informatica},
volume = {29},
number = {5},
pages = {483--498},
year = {1992},
url = {https://doi.org/10.1007/BF01193579},
doi = {10.1007/BF01193579},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LucaV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MarcusM92,
author = {Leo Marcus and
Telis Menas},
title = {Expressibility of Output Equals Input},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {645--662},
year = {1992},
url = {https://doi.org/10.1007/BF01185565},
doi = {10.1007/BF01185565},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MarcusM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/NielsenRT92,
author = {Mogens Nielsen and
Grzegorz Rozenberg and
P. S. Thiagarajan},
title = {Elementary Transition Systems and Refinement},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {555--578},
year = {1992},
url = {https://doi.org/10.1007/BF01185561},
doi = {10.1007/BF01185561},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NielsenRT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ONeil92,
author = {Patrick E. O'Neil},
title = {The SB-Tree: An Index-Sequential Structure for High-Performance Sequential
Access},
journal = {Acta Informatica},
volume = {29},
number = {3},
pages = {241--265},
year = {1992},
url = {https://doi.org/10.1007/BF01185680},
doi = {10.1007/BF01185680},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ONeil92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/OukselM92,
author = {Aris M. Ouksel and
Otto Mayer},
title = {A Robust and Efficient Spatial Data Structure},
journal = {Acta Informatica},
volume = {29},
number = {4},
pages = {335--373},
year = {1992},
url = {https://doi.org/10.1007/BF01178777},
doi = {10.1007/BF01178777},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/OukselM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PengP92,
author = {Wuxu Peng and
S. Purushothaman},
title = {Analysis of a Class of Communicating Finite State Machines},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {499--522},
year = {1992},
url = {https://doi.org/10.1007/BF01185558},
doi = {10.1007/BF01185558},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PengP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/RajasekaranS92,
author = {Sanguthevar Rajasekaran and
Sandeep Sen},
title = {On Parallel Integer Sorting},
journal = {Acta Informatica},
volume = {29},
number = {1},
pages = {1--15},
year = {1992},
url = {https://doi.org/10.1007/BF01178563},
doi = {10.1007/BF01178563},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/RajasekaranS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Rego92,
author = {Vernon Rego},
title = {Naive Asymptotics for Hitting Time Bounds in Markov Chains},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {579--594},
year = {1992},
url = {https://doi.org/10.1007/BF01185562},
doi = {10.1007/BF01185562},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Rego92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/RichardsS92,
author = {Dana S. Richards and
Jeffrey S. Salowe},
title = {Stacks, Queues, and Deques with Order-Statistic Operations},
journal = {Acta Informatica},
volume = {29},
number = {5},
pages = {395--414},
year = {1992},
url = {https://doi.org/10.1007/BF01193574},
doi = {10.1007/BF01193574},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/RichardsS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Roth92,
author = {Peter Roth},
title = {Every Binary Pattern of Length Six is Avoidable on the Two-Letter
Alphabet},
journal = {Acta Informatica},
volume = {29},
number = {1},
pages = {95--107},
year = {1992},
url = {https://doi.org/10.1007/BF01178567},
doi = {10.1007/BF01178567},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Roth92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SannellaST92,
author = {Donald Sannella and
Stefan Sokolowski and
Andrzej Tarlecki},
title = {Toward Formal Development of Programs from Algebraic Specifications:
Parameterisation Revisited},
journal = {Acta Informatica},
volume = {29},
number = {8},
pages = {689--736},
year = {1992},
url = {https://doi.org/10.1007/BF01191893},
doi = {10.1007/BF01191893},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SannellaST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Schoett92,
author = {Oliver Schoett},
title = {Two Impossibility Theorems on Behaviour Specification of Abstract
Data Types},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {595--621},
year = {1992},
url = {https://doi.org/10.1007/BF01185563},
doi = {10.1007/BF01185563},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Schoett92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Slobodova92,
author = {Anna Slobodov{\'{a}}},
title = {Communication for Alternating Machines},
journal = {Acta Informatica},
volume = {29},
number = {5},
pages = {425--441},
year = {1992},
url = {https://doi.org/10.1007/BF01193576},
doi = {10.1007/BF01193576},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Slobodova92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/TchaLL92,
author = {Dong{-}wan Tcha and
Bum{-}il Lee and
Toung{-}duck Lee},
title = {Processors Selection and Traffic Splitting in a Parallel Processors
System},
journal = {Acta Informatica},
volume = {29},
number = {5},
pages = {415--423},
year = {1992},
url = {https://doi.org/10.1007/BF01193575},
doi = {10.1007/BF01193575},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/TchaLL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Weber92,
author = {Andreas Weber},
title = {On the Lengths of Values in a Finite Transducer},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {663--687},
year = {1992},
url = {https://doi.org/10.1007/BF01185566},
doi = {10.1007/BF01185566},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Weber92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Xu92,
author = {J. Xu},
title = {On-Line Multiversion Database Concurrency Control},
journal = {Acta Informatica},
volume = {29},
number = {2},
pages = {121--160},
year = {1992},
url = {https://doi.org/10.1007/BF01178503},
doi = {10.1007/BF01178503},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Xu92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-04 00:34 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
