The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ASIAN"( http://dblp.L3S.de/Venues/ASIAN )

URL (DBLP): http://dblp.uni-trier.de/db/conf/asian

Publication years (Num. hits)
1995 (30) 1996 (50) 1997 (38) 1998 (23) 1999 (42) 2000 (22) 2002 (21) 2003 (20) 2004 (37) 2005 (43) 2006 (27) 2007 (29) 2008-2009 (14)
Publication types (Num. hits)
inproceedings(383) proceedings(13)
Venues (Conferences, Journals, ...)
ASIAN(396)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 79 occurrences of 74 keywords

Results
Found 396 publication records. Showing 396 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Chong-Won Park, Young-Yearl Han A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jean Vuillemin Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1U. Bhattacharya, Rituparna Chaki A New Scalable Topology for Multihop Optical Networks. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Masahiro Kimoto, Masako Takahashi On Computable Tree Functions. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dong Chun Lee, Jeom Goo Kim, JooSeok Song Performance of Location Caching Scheme to Support Call Locality in Wireless Networks. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar Reflecting BDDs in Coq. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Choon-Bo Shim, Jae-Woo Chang A Spatio-temporal Representation Scheme for Modelin Moving Objects in Video Data. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jifeng He 0001, Masahiko Sato 0001 (eds.) Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Mariangiola Dezani-Ciancaglini, Ivano Salvo Security Types for Mobile Safe Ambients. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Antonín Kucera 0001 On Simulation-Checking with Sequential Systems. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Keiichi Kaneko, Yasuto Suzuki Node-to-Set Disjoint Paths Problem in Rotator Graphs. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Zhiyong Huang, Binjia Jiao, B. Prabhakaran 0001, Conrado R. Ruiz Jr. Reusing Animations in Databases for Multimedia Presentations. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Martin Leucker On Model Checking Synchronised Hardware Circuits. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog Verifying Probabilistic Programs Using a Hoare like Logic. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Lars-Åke Fredlund, Dilian Gurov A Framework for Formal Reasoning about Open Distributed Systems. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Mia Indrika Logical Relations in Circuit Verification. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Dominique Larchey-Wendling Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka Faster Model Checking for Open Systems. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jesper G. Henriksen An Expressive Extension of TLC. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Tony Tsang, Richard Lai 0001 Verification Results for a Multimedia Protocol. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Hanna Klaudel, Franck Pommereau Asynchronous Links in the PBC and M-Nets. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ekawit Nantajeewarawat, Vilas Wuwongse An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Hong Shen 0001, Keqin Li 0001, Si-Qing Zheng Separators Are as Simple as Cutsets. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Koji Kagawa Programming with Explicit Regions. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Joon-Min Gil, Chong-Sun Hwang An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Joachim Niehren, Tim Priesnitz Entailment of Non-structural Subtype Constraints. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Koen Claessen, David Sands 0001 Observable Sharing for Functional Circuit Description. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Shisanu Tongchim, Prabhas Chongstitvatana Asynchronous Migration in Parallel Genetic Programming. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chantana Chantrapornchai, Sissades Tongsima, Edwin Hsing-Mean Sha Rapid Prototyping Techniques for Fuzzy Controllers. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ichiro Ogata A CPS-Transform of Constructive Classical Logic. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1IlYoung Chung, Chong-Sun Hwang Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Frank Reffel BDD-Nodes Can Be More Expressive. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Dang Van Hung, Dimitar P. Guelev Completeness and Decidability of a Fragment of Duration Calculus with Iteration. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Anil Seth On Lk(Q) Types and Boundedness of IFP(Q) on Finite Structures. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fairouz Kamareddine, François Monin On Automating Inductive and Non-inductive Termination Methods. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jens Knoop Demand-Driven Model Checking for Context-Free Processes. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Luis Fernando Llana Díaz, David de Frutos-Escrig Relating May and Must Testing Semantics for Discrete Timed Process Algebras. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF testing semantics, must, may, time, process algebra
1Duc Quang Nguyen On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints over R2-Plane. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jan Rauch Deduction in Logic of Association Rules. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky Programming the Mobility Behaviour of Agents by Composing Itineraries. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chia Jim Tong, Hoong Chuin Lau, Andrew Lim 0001 Ant Colony Optimization for the Ship Berthing Problem. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Roberto M. Amadio, Sanjiva Prasad The Game of the Name in Cryptographic Tables. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF $pi$-calculus, verification, cryptographic protocols
1Kazuhiro Ogata 0001, Kokichi Futatsugi Formal Verification of the MCS List-Based Queuing Lock. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krishna V. Palem Emerging Application Domains and the Computing Fabric. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gerd Ritter, Holger Hinrichsen, Hans Eveking Formal Verification of Descriptions with Distinct Order of Memory Operations. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis, Rossella Petreschi A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kok Meng Yew, M. Zahidur Rahman, Sai Peck Lee Formal Verification of Secret Sharing Protocol Using Coq. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Anthony H. W. Chan, Michael R. Lyu Security Modeling and Evaluation for the Mobile Code Paradigm. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Mila E. Majster-Cederbaum, Frank Salger A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Koji Iwanuma, Kenichi Kishino Lemma Generalization and Non-unit Lemma Matching for Model Elimination. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Stephan Flake, Christian Geiger 0001 CASA - Structured Design of a Specification Language for Intelligent Agents. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan, Roland H. C. Yap (eds.) Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Qing Yu, Doan B. Hoang Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Nicolas Halbwachs, Pascal Raymond Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar Taxonomy and Expressiveness of Preemption: A Syntactic Approach. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chuan-Heng Ang, Sun-Teck Tan, Tuck Choy Tan Tried Linear Hashing. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jieh Hsiang, Atsushi Ohori (eds.) Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Harald Ganzinger, Florent Jacquemard, Margus Veanes Rigid Reachability. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ichiro Ogata Cut Elimination for Classical Proofs as Continuation Passing Style Computation. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Xiaoyong Du 0001, Zhibin Liu, Naohiro Ishii A New Factoring Algorithm for Magic Predicates. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF query optimization, deductive databases, factoring, magic sets
1Masatomo Hashimoto First-Class Contexts in ML. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Luca Roversi A Polymorphic Language Which Is Typable and Poly-step. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Zhiyi Huang 0001, Chengzheng Sun, Abdul Sattar 0001 Exploring Regional Locality in Distributed Shared Memory. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Regional Locality, Distributed Shared Memory, Temporal Locality
1Yuxi Fu Bisimulation Lattice of Chi Processes. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Tomasz Janowski Semantics and Logic for Provable Fault-Tolerance, A Tutorial. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jeannette M. Wing Formal Methods: Past, Present, and Future (Abstract). Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki Eventuality in LOTOS with a Disjunction Operator. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, José Meseguer 0001, Ugo Montanari, Vladimiro Sassone A Comparison of Petri Net Semantics under the Collective Token Philosophy. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Deepak Kapur, Mahadevan Subramaniam Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sun-Yuan Hsieh, Gen-Huey Chen, Chin-Wen Ho An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Martin Müller, Susumu Nishimura Type Inference for First-Class Messages with Feature Constraints. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference
1Susumu Hayashi, Ryosuke Sumitomo Testing Proofs by Examples. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Horatiu Cirstea, Claude Kirchner The Rewriting Calculus as a Semantics of ELAN. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Zhonghua Yang, Chengzheng Sun, Abdul Sattar 0001, Yanyan Yang Guaranteed Mutually Consistent Checkpointing in Distributed Computations. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni Towards a Characterisation of Finite-State Message-Passing Systems. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Simon Helsen, Peter Thiemann 0001 Two Flavors of Offline Partial Evaluation. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1N. Raja 0001, R. K. Shyamasundar Mobile Computation: Calculus and Languages (A Tutorial). Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert Büssow, Wolfgang Grieskamp Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Chidchanok Lursinsap, Kanchana Kanchanasut, Thit Siriboon Basic Binary Decision Diagram Operations for Image Processing. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Rattana Wetprasit, Abdul Sattar 0001, Lina Khatib A Generalized Framework for Reasoning with Multi-Point Events. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Kazuhiko Ohno, Masahiko Ikawa, Masahiro Goshima, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Mouhssine Bouzoubaa Solver for Hierarchical CSP Containing Several Constraint Types and Multi-output Constraints. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Paul Roe An Imperative Language with Read/Write Type Modes. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ryu Hasegawa An Analysis of Divisibility Orderings and Recursive Path Orderings. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Mihal Badjonski, Mirjana Ivanovic, Zoran Budimac Software Specification Using LASS. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Tomohiko Morioka Structure of User Interface Module for Practical Internet Messages. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Masateru Harao Proof Discovery in LK System By Analogy. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael O. Rabin Correctness of Programs and Protocols through Randomization (Extended Abstract). Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Satoshi Fujita A Fault Tolerant Broadcast Scheme in Star Graphs. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jean-Raymond Gagné, John Plaice The Non-Standard Semantics of Esterel. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Eiichi Horita, Ken Mano Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Shin-Mu Tseng, Yeh-Hao Chin, Wei-Pang Yang Dynamic Multiprocessor Scheduling for Supporting Real-Time Constraints. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Xuandong Li, Dang Van Hung, Tao Zheng Checking Hybrid Automata for Linear Duration Invariants. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ramaswamy Ramanujam Rules for Trace Consistent Reasoning. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Zhiyi Huang 0001, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar 0001 Heuristic Diff Acquiring in Lazy Release Consistency Model. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya Hybrid Support for Lenient Implementation of Array-Comprehension. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ken-etsu Fujita Calculus of Classical Proofs I. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Mauri Kaipainen, Pantelis Papadopoulos, Pasi Karhu Recurrent Oscillatory Self-organizing Map: Adapting to Complex Environmental Periodicities. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Man Lin, Jacek Malec, Simin Nadjm-Tehrani On Semantics of Reactive Rule-Based Systems. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #300 of 396 (100 per page; Change: )
Pages: [<<][1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license