Conferences in DBLP

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

1. Jean Vuillemin
   Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:1-12 [Conf]
   
2. Alain Jean-Marie
   Performance Evaluation of Networks: New Problems and Challenges. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:13-14 [Conf]
   
3. Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong
   Emerging Patterns and Classification. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:15-32 [Conf]
   
4. K. Ettikan, V. Ganapathy
   IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:33-42 [Conf]
   
5. Dong Chun Lee, Jeom Goo Kim, JooSeok Song
   Performance of Location Caching Scheme to Support Call Locality in Wireless Networks. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:43-57 [Conf]
   
6. Chong-Won Park, Young-Yearl Han
   A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:58-68 [Conf]
   
7. Der-Rong Din, Shian-Shyong Tseng, Mon-Fong Jiang
   Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:69-87 [Conf]
   
8. Silvano Dal-Zilio
   Spatial Congruence for Ambients Is Decidable. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:88-103 [Conf]
   
9. Choon-Bo Shim, Jae-Woo Chang
   A Spatio-temporal Representation Scheme for Modelin Moving Objects in Video Data. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:104-118 [Conf]
   
10. Keiichi Kaneko, Yasuto Suzuki
    Node-to-Set Disjoint Paths Problem in Rotator Graphs. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:119-132 [Conf]
    
11. Antonín Kucera
    On Simulation-Checking with Sequential Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:133-148 [Conf]
    
12. Zhiyong Huang, Binjia Jiao, B. Prabhakaran, Conrado R. Ruiz Jr.
    Reusing Animations in Databases for Multimedia Presentations. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:149-161 [Conf]
    
13. Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
    Reflecting BDDs in Coq. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:162-181 [Conf]
    
14. Martin Leucker
    On Model Checking Synchronised Hardware Circuits. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:182-198 [Conf]
    
15. Pierpaolo Degano, Francesca Levi, Chiara Bodei
    Safe Ambients: Control Flow Analysis and Security. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:199-214 [Conf]
    
16. Mariangiola Dezani-Ciancaglini, Ivano Salvo
    Security Types for Mobile Safe Ambients. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:215-236 [Conf]
    
17. Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
    Improving Functional Logic Programs by Difference-Lists. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:237-254 [Conf]
    
18. U. Bhattacharya, R. Chaki
    A New Multihop Logical Topology for Reliable Broadband Communication. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:255-262 [Conf]
    
19. U. Bhattacharya, R. Chaki
    A New Scalable Topology for Multihop Optical Networks. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:263-272 [Conf]
    
20. Masahiro Kimoto, Masako Takahashi
    On Computable Tree Functions. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:273-289 [Conf]
    
21. Kamal Lodaya
    Sharpening the Undecidability of Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:290-298 [Conf]