Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/acta/acta28.bht:"
@article{DBLP:journals/acta/AlfaC91, author = {Attahiru Sule Alfa and Mingyuan Chen}, title = {Approximating Queue Lengths in \emph{M}(t)/\emph{G}/1 Queue Using the Maximum Entropy Principle}, journal = {Acta Informatica}, volume = {28}, number = {8}, pages = {801--815}, year = {1991}, url = {https://doi.org/10.1007/BF01261657}, doi = {10.1007/BF01261657}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/AlfaC91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/AndersonG91, author = {James H. Anderson and Mohamed G. Gouda}, title = {A New Explanation of the Glitch Phenomenon}, journal = {Acta Informatica}, volume = {28}, number = {4}, pages = {297--309}, year = {1991}, url = {https://doi.org/10.1007/BF01893884}, doi = {10.1007/BF01893884}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/AndersonG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/AtzeniC91, author = {Paolo Atzeni and Edward P. F. Chan}, title = {Independent Database Schemes under Functional and Inclusion Dependencies}, journal = {Acta Informatica}, volume = {28}, number = {8}, pages = {777--779}, year = {1991}, url = {https://doi.org/10.1007/BF01261656}, doi = {10.1007/BF01261656}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/AtzeniC91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Bernabeu-AubanAA91, author = {Jos{\'{e}} M. Bernab{\'{e}}u{-}Aub{\'{a}}n and Mustaque Ahamad and Mostafa H. Ammar}, title = {Resource Finding in Store-and-Forward Networks}, journal = {Acta Informatica}, volume = {28}, number = {7}, pages = {657--680}, year = {1991}, url = {https://doi.org/10.1007/BF01178681}, doi = {10.1007/BF01178681}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Bernabeu-AubanAA91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BestDKP91, author = {Eike Best and Raymond R. Devillers and Astrid Kiehn and Lucia Pomello}, title = {Concurrent Bisimulations in Petri Nets}, journal = {Acta Informatica}, volume = {28}, number = {3}, pages = {231--264}, year = {1991}, url = {https://doi.org/10.1007/BF01178506}, doi = {10.1007/BF01178506}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BestDKP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BosL91, author = {Jan van den Bos and Chris Laffra}, title = {{PROCOL:} {A} Concurrent Object-Oriented Language with Protocols Delegation and Constraints}, journal = {Acta Informatica}, volume = {28}, number = {6}, pages = {511--538}, year = {1991}, url = {https://doi.org/10.1007/BF01463943}, doi = {10.1007/BF01463943}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BosL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BovetC91, author = {Daniel P. Bovet and Pierluigi Crescenzi}, title = {Minimum-Delay Schedules in Layered Networks}, journal = {Acta Informatica}, volume = {28}, number = {5}, pages = {453--461}, year = {1991}, url = {https://doi.org/10.1007/BF01178583}, doi = {10.1007/BF01178583}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acta/BovetC91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Bozapalidis91, author = {Symeon Bozapalidis}, title = {Effective Construction of the Syntactic Algebra of a Recognizable Series on Trees}, journal = {Acta Informatica}, volume = {28}, number = {4}, pages = {351--363}, year = {1991}, url = {https://doi.org/10.1007/BF01893886}, doi = {10.1007/BF01893886}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Bozapalidis91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/CantorK91, author = {David G. Cantor and Erich L. Kaltofen}, title = {On Fast Multiplication of Polynomials over Arbitrary Algebras}, journal = {Acta Informatica}, volume = {28}, number = {7}, pages = {693--701}, year = {1991}, url = {https://doi.org/10.1007/BF01178683}, doi = {10.1007/BF01178683}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/CantorK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/CritchlowP91, author = {Carol Critchlow and Prakash Panangaden}, title = {The Expressive Power of Delay Operators in {SCCS}}, journal = {Acta Informatica}, volume = {28}, number = {5}, pages = {447--452}, year = {1991}, url = {https://doi.org/10.1007/BF01178582}, doi = {10.1007/BF01178582}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/CritchlowP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Engelfriet91, author = {Joost Engelfriet}, title = {Branching Processes of Petri Nets}, journal = {Acta Informatica}, volume = {28}, number = {6}, pages = {575--591}, year = {1991}, url = {https://doi.org/10.1007/BF01463946}, doi = {10.1007/BF01463946}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Engelfriet91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/FaigleK91, author = {Ulrich Faigle and Walter Kern}, title = {Some Order Dimension Bounds for Communication Complexity Problems}, journal = {Acta Informatica}, volume = {28}, number = {6}, pages = {593--601}, year = {1991}, url = {https://doi.org/10.1007/BF01463947}, doi = {10.1007/BF01463947}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/FaigleK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/GilliesL91, author = {Donald W. Gillies and Jane W.{-}S. Liu}, title = {Greed in Resource Scheduling}, journal = {Acta Informatica}, volume = {28}, number = {8}, pages = {755--775}, year = {1991}, url = {https://doi.org/10.1007/BF01261655}, doi = {10.1007/BF01261655}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/GilliesL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Habermann91, author = {A. Nico Habermann}, title = {Alan J. Perlis 1922-1990}, journal = {Acta Informatica}, volume = {28}, number = {5}, pages = {409--410}, year = {1991}, url = {https://doi.org/10.1007/BF01178580}, doi = {10.1007/BF01178580}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Habermann91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Harrison91, author = {Peter G. Harrison}, title = {On the Expansion of Non-Linear Functions}, journal = {Acta Informatica}, volume = {28}, number = {6}, pages = {559--574}, year = {1991}, url = {https://doi.org/10.1007/BF01463945}, doi = {10.1007/BF01463945}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acta/Harrison91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Hennicker91, author = {Rolf Hennicker}, title = {Observational Implementation of Algebraic Specifications}, journal = {Acta Informatica}, volume = {28}, number = {3}, pages = {187--230}, year = {1991}, url = {https://doi.org/10.1007/BF01178505}, doi = {10.1007/BF01178505}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Hennicker91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/HorwitzR91, author = {Susan Horwitz and Thomas W. Reps}, title = {Efficient Comparison of Program Slices}, journal = {Acta Informatica}, volume = {28}, number = {8}, pages = {713--732}, year = {1991}, url = {https://doi.org/10.1007/BF01261653}, doi = {10.1007/BF01261653}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/HorwitzR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/HulsmannS91, author = {Klaus H{\"{u}}lsmann and Gunter Saake}, title = {Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring}, journal = {Acta Informatica}, volume = {28}, number = {4}, pages = {365--407}, year = {1991}, url = {https://doi.org/10.1007/BF01893887}, doi = {10.1007/BF01893887}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/HulsmannS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/KapurNRZ91, author = {Deepak Kapur and Paliath Narendran and Daniel J. Rosenkrantz and Hantao Zhang}, title = {Sufficient-Completeness, Ground-Reducibility and their Complexity}, journal = {Acta Informatica}, volume = {28}, number = {4}, pages = {311--350}, year = {1991}, url = {https://doi.org/10.1007/BF01893885}, doi = {10.1007/BF01893885}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acta/KapurNRZ91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/KastensW91, author = {Uwe Kastens and William M. Waite}, title = {An Abstract Data Type for Name Analysis}, journal = {Acta Informatica}, volume = {28}, number = {6}, pages = {539--558}, year = {1991}, url = {https://doi.org/10.1007/BF01463944}, doi = {10.1007/BF01463944}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/KastensW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/KollaS91, author = {Reiner Kolla and Bernd Serf}, title = {The Virtual Feedback Problem in Hierarchical Representations of Combinational Circuits}, journal = {Acta Informatica}, volume = {28}, number = {5}, pages = {463--476}, year = {1991}, url = {https://doi.org/10.1007/BF01178584}, doi = {10.1007/BF01178584}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/KollaS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/LeveneL91, author = {Mark Levene and George Loizou}, title = {Correction to Null Values in Nested Relational Databases by Mark A. Roth, H. F. Korth, and A. Silberschatz}, journal = {Acta Informatica}, volume = {28}, number = {6}, pages = {603--605}, year = {1991}, url = {https://doi.org/10.1007/BF01463948}, doi = {10.1007/BF01463948}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/LeveneL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/OttoZ91, author = {Friedrich Otto and Louxin Zhang}, title = {Decision Problems for Finite Special String-Rewriting Systems that are Confluent on Some Congruence Class}, journal = {Acta Informatica}, volume = {28}, number = {5}, pages = {477--510}, year = {1991}, url = {https://doi.org/10.1007/BF01178585}, doi = {10.1007/BF01178585}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/OttoZ91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Pohlmann91, author = {Werner Pohlmann}, title = {A Fixed Point Approach to Parallel Discrete Event Simulation}, journal = {Acta Informatica}, volume = {28}, number = {7}, pages = {611--629}, year = {1991}, url = {https://doi.org/10.1007/BF01178679}, doi = {10.1007/BF01178679}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Pohlmann91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Pritchard91, author = {Paul Pritchard}, title = {Opportunistic Algorithms for Eliminating Supersets}, journal = {Acta Informatica}, volume = {28}, number = {8}, pages = {733--754}, year = {1991}, url = {https://doi.org/10.1007/BF01261654}, doi = {10.1007/BF01261654}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Pritchard91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Qian91, author = {Xiaolei Qian}, title = {The Expressive Power of the Bounded-Iteration Construct}, journal = {Acta Informatica}, volume = {28}, number = {7}, pages = {631--656}, year = {1991}, url = {https://doi.org/10.1007/BF01178680}, doi = {10.1007/BF01178680}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Qian91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/RothKS91, author = {Mark A. Roth and Henry F. Korth and Abraham Silberschatz}, title = {Addendum to Null Values in Nested Relational Databases}, journal = {Acta Informatica}, volume = {28}, number = {6}, pages = {607--610}, year = {1991}, url = {https://doi.org/10.1007/BF01463949}, doi = {10.1007/BF01463949}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/RothKS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Snelting91, author = {Gregor Snelting}, title = {The Calculus of Context Relations}, journal = {Acta Informatica}, volume = {28}, number = {5}, pages = {411--445}, year = {1991}, url = {https://doi.org/10.1007/BF01178581}, doi = {10.1007/BF01178581}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Snelting91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/TomarasK91, author = {Panagiotis J. Tomaras and Demetres D. Kouvatsos}, title = {{MRE} Hierarchical Decomposition of General Queueing Network Models}, journal = {Acta Informatica}, volume = {28}, number = {3}, pages = {265--295}, year = {1991}, url = {https://doi.org/10.1007/BF01178507}, doi = {10.1007/BF01178507}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/TomarasK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Whaley91, author = {Thomas P. Whaley}, title = {Postorder Trees and Eulerian Numbers}, journal = {Acta Informatica}, volume = {28}, number = {7}, pages = {703--712}, year = {1991}, url = {https://doi.org/10.1007/BF01178684}, doi = {10.1007/BF01178684}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Whaley91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Yen91, author = {Hsu{-}Chun Yen}, title = {Priority Systems with many Identical Processes}, journal = {Acta Informatica}, volume = {28}, number = {7}, pages = {681--692}, year = {1991}, url = {https://doi.org/10.1007/BF01178682}, doi = {10.1007/BF01178682}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Yen91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/AnderssonIKO90, author = {Arne Andersson and Christian Icking and Rolf Klein and Thomas Ottmann}, title = {Binary Search Trees of Almost Optimal Height}, journal = {Acta Informatica}, volume = {28}, number = {2}, pages = {165--178}, year = {1990}, url = {https://doi.org/10.1007/BF01237235}, doi = {10.1007/BF01237235}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/AnderssonIKO90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/DickKM90, author = {Jeremy Dick and John Kalmus and Ursula Martin}, title = {Automating the Knuth Bendix Ordering}, journal = {Acta Informatica}, volume = {28}, number = {2}, pages = {95--119}, year = {1990}, url = {https://doi.org/10.1007/BF01237233}, doi = {10.1007/BF01237233}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/DickKM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/EhrenfeuchtR90, author = {Andrzej Ehrenfeucht and Grzegorz Rozenberg}, title = {A Characterization of Set Representable Labeled Partial 2-Structures Through Decompositions}, journal = {Acta Informatica}, volume = {28}, number = {1}, pages = {83--94}, year = {1990}, url = {https://doi.org/10.1007/BF02983375}, doi = {10.1007/BF02983375}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/EhrenfeuchtR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Khoshnevisan90, author = {Hessam Khoshnevisan}, title = {Efficient Memo-Table Management Strategies}, journal = {Acta Informatica}, volume = {28}, number = {1}, pages = {43--81}, year = {1990}, url = {https://doi.org/10.1007/BF02983374}, doi = {10.1007/BF02983374}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Khoshnevisan90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Knuth90, author = {Donald E. Knuth}, title = {Nested Satisfiability}, journal = {Acta Informatica}, volume = {28}, number = {1}, pages = {1--6}, year = {1990}, url = {https://doi.org/10.1007/BF02983372}, doi = {10.1007/BF02983372}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Knuth90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/LatteuxT90, author = {Michel Latteux and Paavo Turakainen}, title = {On Characterizations of Recursively Enumerable Languages}, journal = {Acta Informatica}, volume = {28}, number = {2}, pages = {178--186}, year = {1990}, url = {https://doi.org/10.1007/BF01237236}, doi = {10.1007/BF01237236}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/LatteuxT90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/LodayaS90, author = {Kamal Lodaya and R. K. Shyamasundar}, title = {Proof Theory for Exception Handling in a Tasking Environment}, journal = {Acta Informatica}, volume = {28}, number = {1}, pages = {7--41}, year = {1990}, url = {https://doi.org/10.1007/BF02983373}, doi = {10.1007/BF02983373}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/LodayaS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/MarloweR90, author = {Thomas J. Marlowe and Barbara G. Ryder}, title = {Properties of Data Flow Frameworks}, journal = {Acta Informatica}, volume = {28}, number = {2}, pages = {121--163}, year = {1990}, url = {https://doi.org/10.1007/BF01237234}, doi = {10.1007/BF01237234}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/MarloweR90.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.