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