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

9783540653844, 9783540493822

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing Theories for Asynchronous Languages

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

10.1007/978-3-540-49382-2_9 ◽

1998 ◽

pp. 90-101 ◽

Cited By ~ 20

Author(s):

Ilaria Castellani ◽

Matthew Hennessy

Download Full-text

Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling

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

10.1007/978-3-540-49382-2_7 ◽

1998 ◽

pp. 66-77

Author(s):

Mahesh Kallahalla ◽

Peter J. Varman

Keyword(s):

Approximation Algorithm ◽

Disk Scheduling ◽

Parallel Disk

Download Full-text

Deadlock Sensitive Types for Lambda Calculus with Resources

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

10.1007/978-3-540-49382-2_4 ◽

1998 ◽

pp. 30-41

Author(s):

Carolina Lavatelli

Keyword(s):

Lambda Calculus

Download Full-text

On the Confluence of Trace Rewriting Systems

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

10.1007/978-3-540-49382-2_30 ◽

1998 ◽

pp. 319-330 ◽

Cited By ~ 3

Author(s):

Markus Lohrey

Keyword(s):

Rewriting Systems

Download Full-text

A Hamiltonian Approach to the Assignment of Non-reusable Frequencies

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

10.1007/978-3-540-49382-2_3 ◽

1998 ◽

pp. 18-29 ◽

Cited By ~ 5

Author(s):

Dimitris A. Fotakis ◽

Paul G. Spirakis

Keyword(s):

Hamiltonian Approach

Download Full-text

First-Order-CTL Model Checking

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

10.1007/978-3-540-49382-2_27 ◽

1998 ◽

pp. 283-294 ◽

Cited By ~ 14

Author(s):

Jürgen Bohn ◽

Werner Damm ◽

Orna Grumberg ◽

Hardi Hungar ◽

Karen Laster

Keyword(s):

Model Checking ◽

First Order

Download Full-text

Proof Rules for Model Checking Systems with Data

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

10.1007/978-3-540-49382-2_25 ◽

1998 ◽

pp. 270-270

Author(s):

K. L. McMillan

Keyword(s):

Model Checking ◽

Proof Rules

Download Full-text

Efficient Formal Verification of Hierarchical Descriptions

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

10.1007/978-3-540-49382-2_24 ◽

1998 ◽

pp. 269-269 ◽

Cited By ~ 1

Author(s):

Rajeev Alur

Keyword(s):

Formal Verification

Download Full-text

Recursive Mean-Value Calculus

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

10.1007/978-3-540-49382-2_23 ◽

1998 ◽

pp. 257-268

Author(s):

Paritosh K. Pandya ◽

Y. S. Ramakrishna

Keyword(s):

Mean Value

Download Full-text

A Parallel Approximation Algorithm for Minimum Weight Triangulation

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

10.1007/978-3-540-49382-2_21 ◽

1998 ◽

pp. 233-244

Author(s):

Joachim Gudmundsson ◽

Christos Levcopoulos

Keyword(s):

Approximation Algorithm ◽

Minimum Weight ◽

Minimum Weight Triangulation ◽

Parallel Approximation ◽

Parallel Approximation Algorithm

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

Testing Theories for Asynchronous Languages

Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling

Deadlock Sensitive Types for Lambda Calculus with Resources

On the Confluence of Trace Rewriting Systems

A Hamiltonian Approach to the Assignment of Non-reusable Frequencies

First-Order-CTL Model Checking

Proof Rules for Model Checking Systems with Data

Efficient Formal Verification of Hierarchical Descriptions

Recursive Mean-Value Calculus

A Parallel Approximation Algorithm for Minimum Weight Triangulation

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