Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

36

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540668367, 9783540466918

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Largest Empty Rectangle among a Point Set

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_3 ◽

1999 ◽

pp. 34-46 ◽

Author(s):

Jeet Chaudhuri ◽

Subhas C. Nandy

Keyword(s):

Download Full-text

Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_26 ◽

1999 ◽

pp. 329-341 ◽

Author(s):

Achour Mostéfaou ◽

Michel Raynal

Keyword(s):

Failure Detectors ◽

Unreliable Failure Detectors ◽

Download Full-text

Dynamic Compressed Hyperoctrees with Application to the N-body Problem

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_2 ◽

1999 ◽

pp. 21-33 ◽

Author(s):

Srinivas Aluru ◽

Fatih E. Sevilgen

Keyword(s):

Body Problem ◽

Download Full-text

Hoare Logic for Mutual Recursion and Local Variables

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_13 ◽

1999 ◽

pp. 168-180 ◽

Author(s):

David von Oheimb

Keyword(s):

Download Full-text

Explaining Updates by Minimal Sums

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_11 ◽

1999 ◽

pp. 142-154

Author(s):

Jürgen Dix ◽

Karl Schlechta

Download Full-text

A Foundation for Hybrid Knowledge Bases

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_12 ◽

1999 ◽

pp. 155-167 ◽

Author(s):

James J. Lu ◽

Neil V. Murray ◽

Erik Rosenthal

Keyword(s):

Knowledge Bases ◽

Hybrid Knowledge

Download Full-text

The Receptive Distributed π-Calculus

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_24 ◽

1999 ◽

pp. 304-315 ◽

Author(s):

Roberto M. Amadio ◽

Gérard Boudol ◽

Cédric Lhoussaine

Keyword(s):

Download Full-text

The Complexity of Rebalancing a Binary Search Tree

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_6 ◽

1999 ◽

pp. 72-83

Author(s):

Rolf Fagerberg

Keyword(s):

Search Tree ◽

Binary Search ◽

Binary Search Tree

Download Full-text

A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_30 ◽

1999 ◽

pp. 369-380 ◽

Author(s):

Michael Huth

Keyword(s):

Model Checking ◽

Transition Systems ◽

Kripke Structures ◽

Modal Transition Systems

Download Full-text

Graded Modalities and Resource Bisimulation

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_31 ◽

1999 ◽

pp. 381-393 ◽

Author(s):

Flavio Corradini ◽

Rocco De Nicola ◽

Anna Labella

Keyword(s):

Graded Modalities

Download Full-text