Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. ASIAN 2000: Penang, Malaysia
- Jifeng He, Masahiko Sato:
Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings. Lecture Notes in Computer Science 1961, Springer 2000, ISBN 3-540-41428-2 - Jean Vuillemin:
Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables. 1-12 - Alain Jean-Marie:
Performance Evaluation of Networks: New Problems and Challenges. 13-14 - Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong:
Emerging Patterns and Classification. 15-32 - K. Ettikan, V. Ganapathy:
IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications. 33-42 - Dong Chun Lee, Jeom Goo Kim, JooSeok Song:
Performance of Location Caching Scheme to Support Call Locality in Wireless Networks. 43-57 - Chong-Won Park, Young-Yearl Han:
A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures. 58-68 - Der-Rong Din, Shian-Shyong Tseng, Mon-Fong Jiang:
Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network. 69-87 - Silvano Dal-Zilio
:
Spatial Congruence for Ambients Is Decidable. 88-103 - Choon-Bo Shim, Jae-Woo Chang:
A Spatio-temporal Representation Scheme for Modelin Moving Objects in Video Data. 104-118 - Keiichi Kaneko, Yasuto Suzuki:
Node-to-Set Disjoint Paths Problem in Rotator Graphs. 119-132 - Antonín Kucera:
On Simulation-Checking with Sequential Systems. 133-148 - Zhiyong Huang, Binjia Jiao, B. Prabhakaran, Conrado R. Ruiz Jr.:
Reusing Animations in Databases for Multimedia Presentations. 149-161 - Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar:
Reflecting BDDs in Coq. 162-181 - Martin Leucker:
On Model Checking Synchronised Hardware Circuits. 182-198 - Pierpaolo Degano, Francesca Levi, Chiara Bodei:
Safe Ambients: Control Flow Analysis and Security. 199-214 - Mariangiola Dezani-Ciancaglini, Ivano Salvo:
Security Types for Mobile Safe Ambients. 215-236 - Elvira Albert, César Ferri, Frank Steiner, Germán Vidal:
Improving Functional Logic Programs by Difference-Lists. 237-254 - U. Bhattacharya, Rituparna Chaki:
A New Multihop Logical Topology for Reliable Broadband Communication. 255-262 - U. Bhattacharya, Rituparna Chaki:
A New Scalable Topology for Multihop Optical Networks. 263-272 - Masahiro Kimoto, Masako Takahashi:
On Computable Tree Functions. 273-289 - Kamal Lodaya:
Sharpening the Undecidability of Interval Temporal Logic. 290-298
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
