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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540668367, 9783540466918

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 5

Author(s):

Roberto M. Amadio ◽

Gérard Boudol ◽

Cédric Lhoussaine

Keyword(s):

Π Calculus

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 ◽

Cited By ~ 6

Author(s):

Michael Huth

Keyword(s):

Model Checking ◽

Transition Systems ◽

Kripke Structures ◽

Modal Transition Systems

Download Full-text

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 ◽

Cited By ~ 1

Author(s):

Jeet Chaudhuri ◽

Subhas C. Nandy

Keyword(s):

Point Set

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 ◽

Cited By ~ 11

Author(s):

Achour Mostéfaou ◽

Michel Raynal

Keyword(s):

Failure Detectors ◽

Unreliable Failure Detectors ◽

Limited Scope

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 ◽

Cited By ~ 9

Author(s):

Srinivas Aluru ◽

Fatih E. Sevilgen

Keyword(s):

Body Problem ◽

N 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 ◽

Cited By ~ 17

Author(s):

David von Oheimb

Keyword(s):

Hoare Logic

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 Randomized Algorithm for Flow Shop Scheduling

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

10.1007/3-540-46691-6_16 ◽

1999 ◽

pp. 213-218 ◽

Cited By ~ 1

Author(s):

Naveen Garg ◽

Sachin Jain ◽

Chaitanya Swamy

Keyword(s):

Flow Shop ◽

Randomized Algorithm ◽

Flow Shop Scheduling ◽

Shop Scheduling

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Foundation for Hybrid Knowledge Bases

The Receptive Distributed π-Calculus

The Complexity of Rebalancing a Binary Search Tree

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

Largest Empty Rectangle among a Point Set

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

Dynamic Compressed Hyperoctrees with Application to the N-body Problem

Hoare Logic for Mutual Recursion and Local Variables

Explaining Updates by Minimal Sums

A Randomized Algorithm for Flow Shop Scheduling

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