Conferences in DBLP

Asian Computing Science Conference (ASIAN) (asian)
1998 (conf/asian/1998)

1. Susumu Hayashi, Ryosuke Sumitomo
   Testing Proofs by Examples. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:1-3 [Conf]
   
2. Harald Ganzinger, Florent Jacquemard, Margus Veanes
   Rigid Reachability. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:4-21 [Conf]
   
3. Deepak Kapur, Mahadevan Subramaniam
   Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:22-42 [Conf]
   
4. Luca Roversi
   A Polymorphic Language Which Is Typable and Poly-step. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:43-60 [Conf]
   
5. Ichiro Ogata
   Cut Elimination for Classical Proofs as Continuation Passing Style Computation. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:61-78 [Conf]
   
6. Tomasz Janowski
   Semantics and Logic for Provable Fault-Tolerance, A Tutorial. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:79-83 [Conf]
   
7. Horatiu Cirstea, Claude Kirchner
   The Rewriting Calculus as a Semantics of ELAN. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:84-85 [Conf]
   
8. Chuan-Heng Ang, S. T. Tan, T. C. Tan
   Tried Linear Hashing. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:86-94 [Conf]
   
9. Xiaoyong Du, Zhibin Liu, Naohiro Ishii
   A New Factoring Algorithm for Magic Predicates. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:95-112 [Conf]
   
10. Sun-Yuan Hsieh, Gen-Huey Chen, Chin-Wen Ho
    An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:113-124 [Conf]
    
11. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
    Taxonomy and Expressiveness of Preemption: A Syntactic Approach. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:125-141 [Conf]
    
12. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
    Exploring Regional Locality in Distributed Shared Memory. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:142-156 [Conf]
    
13. Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang
    Guaranteed Mutually Consistent Checkpointing in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:157-168 [Conf]
    
14. Martin Müller, Susumu Nishimura
    Type Inference for First-Class Messages with Feature Constraints. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:169-187 [Conf]
    
15. Simon Helsen, Peter Thiemann
    Two Flavors of Offline Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:188-205 [Conf]
    
16. Masatomo Hashimoto
    First-Class Contexts in ML. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:206-223 [Conf]
    
17. Jeannette M. Wing
    Formal Methods: Past, Present, and Future (Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:224- [Conf]
    
18. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    A Comparison of Petri Net Semantics under the Collective Token Philosophy. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:225-244 [Conf]
    
19. Yuxi Fu
    Bisimulation Lattice of Chi Processes. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:245-262 [Conf]
    
20. Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
    Eventuality in LOTOS with a Disjunction Operator. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:263-281 [Conf]
    
21. Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni
    Towards a Characterisation of Finite-State Message-Passing Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:282-299 [Conf]
    
22. N. Raja, R. K. Shyamasundar
    Mobile Computation: Calculus and Languages (A Tutorial). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:300-304 [Conf]