Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540668565, 9783540466741

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Separators Are as Simple as Cutsets

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_29 ◽

1999 ◽

pp. 347-358 ◽

Author(s):

Hong Shen ◽

Keqin Li ◽

Si-Qing Zheng

Download Full-text

Formal Verification of Descriptions with Distinct Order of Memory Operations

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_26 ◽

1999 ◽

pp. 308-321 ◽

Author(s):

Gerd Ritter ◽

Holger Hinrichsen ◽

Hans Eveking

Keyword(s):

Formal Verification

Download Full-text

BDD-Nodes Can Be More Expressive

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_25 ◽

1999 ◽

pp. 294-307

Author(s):

Frank Reffel

Download Full-text

A CPS-Transform of Constructive Classical Logic

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_23 ◽

1999 ◽

pp. 266-280 ◽

Author(s):

Ichiro Ogata

Keyword(s):

Classical Logic

Download Full-text

An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_21 ◽

1999 ◽

pp. 239-250

Author(s):

Ekawit Nantajeewarawat ◽

Vilas Wuwongse

Download Full-text

On Automating Inductive and Non-inductive Termination Methods

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_16 ◽

1999 ◽

pp. 177-189 ◽

Author(s):

Fairouz Kamareddine ◽

François Monin

Download Full-text

Completeness and Decidability of a Fragment of Duration Calculus with Iteration

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_13 ◽

1999 ◽

pp. 139-150 ◽

Author(s):

Dang Van Hung ◽

Dimitar P. Guelev

Keyword(s):

Duration Calculus

Download Full-text

A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_4 ◽

1999 ◽

pp. 27-36

Author(s):

T. Calamoneri ◽

I. Finocchi ◽

R. Petreschi ◽

Y. Manoussakis

Keyword(s):

Approximation Algorithm ◽

Cubic Graphs ◽

Max Cut Problem ◽

Parallel Approximation ◽

Parallel Approximation Algorithm

Download Full-text

Ant Colony Optimization for the Ship Berthing Problem

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_30 ◽

1999 ◽

pp. 359-370 ◽

Author(s):

Chia Jim Tong ◽

Hoong Chuin Lau ◽

Andrew Lim

Keyword(s):

Ant Colony Optimization ◽

Download Full-text

The Game of the Name in Cryptographic Tables

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_3 ◽

1999 ◽

pp. 15-26 ◽

Author(s):

Roberto M. Amadio ◽

Sanjiva Prasad

Download Full-text