Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 36
Volume 36, Number 1, 1999
- Michael Schenke, Ernst-Rüdiger Olderog:
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. 1-65 - Michael Schenke:
Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs. 67-96
Volume 36, Number 2, 1999
- Klaus-Dieter Schewe, Bernhard Thalheim
:
Towards a Theory of Consistency Enforcement. 97-141 - William C. K. Yen, C. Y. Tang:
An Optimal Algorithm for Solving the Searchlight Guarding Problem on Weighted Two-Terminal Series-Parallel Graphs. 143-172
Volume 36, Number 3, 1999
- Millist W. Vincent:
Semantic Foundations of 4NF in Relational Database Design. 173-213 - Yijie Han, Yoshihide Igarashi:
Parallel PROFIT/COST Algorithms Through Fast Derandomization. 215-232 - Ivana Cerná, Mojmír Kretínský, Antonín Kucera:
Comparing Expressibility of Normed BPA and Normed BPP Processes. 233-256
Volume 36, Number 4, 1999
- Guido Proietti:
An Optimal Algorithm for Decomposing a Window into Maximal Quadtree Blocks. 257-266 - Roni Khardon, Heikki Mannila, Dan Roth:
Reasoning with Examples: Propositional Formulae and Database Dependencies. 267-286 - Amos Fiat, Gerhard J. Woeginger:
On-Line Scheduling on a Single Machine: Minimizing the Total Completion Time. 287-293 - Ralph-Johan Back, Joakim von Wright:
Reasoning Algebraically about Loops. 295-334
Volume 36, Number 5, 1999
- Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Causality for Debugging Mobile Agents. 335-374 - Beata Konikowska, Marcin Bialasik:
Reasoning with First Order Nondeterministic Specifications. 375-403 - Hong Shen:
Finding the k Most Vital Edges with Respect to Minimum Spanning Tree. 405-424
Volume 36, Number 6, 1999
- Lars Lundberg, Håkan Lennerstad:
Optimal Bounds on the Gain of Permitting Dynamic Allocation of Communication Channels in Distributed Computing. 425-446 - Shlomi Dolev, Mohamed G. Gouda, Marco Schneider:
Memory Requirements for Silent Stabilization. 447-462 - Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul:
On the Cost-Effectiveness of PRAMs. 463-487 - Jesús N. Ravelo:
Two Graph Algorithms Derived. 489-510
Volume 36, Number 7, 2000
- Anthony J. Bonner, Giansalvatore Mecca:
Querying Sequence Databases with Transducers. 511-544 - Karsten Schmidt:
How to Calculate Symmetries of Petri Nets. 545-590
Volume 36, Number 8, 2000
- Hans-Dieter Ehrich, Carlos Caleiro:
Specifying Communication in Distributed Information Systems. 591-616 - Gary T. Leavens, Don Pigozzi:
A Complete Algebraic Characterization of Behavioral Subtyping. 617-663 - Lucian Ilie, Arto Salomaa:
On the Expressiveness of Subset-Sum Representations. 665-672
Volume 36, Numbers 9/10, 2000
- T. C. Edwin Cheng, Qing Ding:
Single Machine Scheduling with Deadlines and Increasing Rates of Processing Times. 673-692 - Yoshiki Kinoshita, John Power:
Data Refinement and Algebraic Structure. 693-719 - Gunnar Forst, Anders Thorup:
Minimal Huffman Trees. 721-734 - Hosam M. Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Régnier:
Analytic Variations on Bucket Selection and Sorting. 735-760 - Sergei Gorlatch, Christian Lengauer:
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. 761-803 - Juha Honkala:
On Slender 0L Languages over the Binary Alphabet. 805-815 - Benedetto Intrigila, Stefano Varricchio:
On the Generalization of Higman and Kruskal's Theorems to Regular Languages and Rational Trees. 817-835
Volume 36, Number 11, 2000
- Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. 837-912 - Erzsébet Csuhaj-Varjú, Victor Mitrana:
Evolutionary Systems: A Language Generating Device Inspired by Evolving Communities of Cells. 913-926
Volume 36, Number 12, 2000
- Frank Tip, Peter F. Sweeney:
Class Hierarchy Specialization. 927-982 - Arturo Carpi, Aldo de Luca:
Special Factors, Periodicity, and an Application to Sturmian Words. 983-1006 - Aart Middeldorp, Hitoshi Ohsaki:
Type Introduction for Equational Rewriting. 1007-1029
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.
last updated on 2024-05-04 23:59 CEST 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:
