Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/asian/asian99.bht:"
download as .bib file
@inproceedings{DBLP:conf/asian/AmadioP99,
author = {Roberto M. Amadio and
Sanjiva Prasad},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {The Game of the Name in Cryptographic Tables},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {15--26},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_3},
doi = {10.1007/3-540-46674-6\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/AmadioP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/CalamoneriFMP99,
author = {Tiziana Calamoneri and
Irene Finocchi and
Yannis Manoussakis and
Rossella Petreschi},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {A Parallel Approximation Algorithm for the Max Cut Problem on Cubic
Graphs},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {27--36},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_4},
doi = {10.1007/3-540-46674-6\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/CalamoneriFMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ChanL99,
author = {Anthony H. W. Chan and
Michael R. Lyu},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Security Modeling and Evaluation for the Mobile Code Paradigm},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {371--372},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_31},
doi = {10.1007/3-540-46674-6\_31},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ChanL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ChantrapornchaiTS99,
author = {Chantana Chantrapornchai and
Sissades Tongsima and
Edwin Hsing{-}Mean Sha},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Rapid Prototyping Techniques for Fuzzy Controllers},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {37--49},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_5},
doi = {10.1007/3-540-46674-6\_5},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ChantrapornchaiTS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ChungH99,
author = {IlYoung Chung and
Chong{-}Sun Hwang},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Transactional Cache Management with Aperiodic Invalidation Scheme
in Mobile Environments},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {50--61},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_6},
doi = {10.1007/3-540-46674-6\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ChungH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ClaessenS99,
author = {Koen Claessen and
David Sands},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Observable Sharing for Functional Circuit Description},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {62--73},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_7},
doi = {10.1007/3-540-46674-6\_7},
timestamp = {Wed, 10 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ClaessenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/DiazF99,
author = {Luis Fernando Llana D{\'{\i}}az and
David de Frutos{-}Escrig},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Relating May and Must Testing Semantics for Discrete Timed Process
Algebras},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {74--86},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_8},
doi = {10.1007/3-540-46674-6\_8},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/DiazF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/FlakeG99,
author = {Stephan Flake and
Christian Geiger},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {{CASA} - Structured Design of a Specification Language for Intelligent
Agents},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {373--374},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_32},
doi = {10.1007/3-540-46674-6\_32},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/FlakeG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/FredlundG99,
author = {Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {A Framework for Formal Reasoning about Open Distributed Systems},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {87--100},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_9},
doi = {10.1007/3-540-46674-6\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/FredlundG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GalmicheL99,
author = {Didier Galmiche and
Dominique Larchey{-}Wendling},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic
Logic},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {101--112},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_10},
doi = {10.1007/3-540-46674-6\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/GalmicheL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GilH99,
author = {Joon{-}Min Gil and
Chong{-}Sun Hwang},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {An Efficient Location Management by Optimal Location Area Partitioning
in {PCS} Networks},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {375--376},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_33},
doi = {10.1007/3-540-46674-6\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/GilH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/HalbwachsR99,
author = {Nicolas Halbwachs and
Pascal Raymond},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Validation of Synchronous Reactive Systems: From Formal Verification
to Automatic Testing},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {1--12},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_1},
doi = {10.1007/3-540-46674-6\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/HalbwachsR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Hartog99,
author = {Jerry den Hartog},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Verifying Probabilistic Programs Using a Hoare like Logic},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {113--125},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_11},
doi = {10.1007/3-540-46674-6\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Hartog99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Henriksen99,
author = {Jesper G. Henriksen},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {An Expressive Extension of {TLC}},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {126--138},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_12},
doi = {10.1007/3-540-46674-6\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Henriksen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/HungG99,
author = {Dang Van Hung and
Dimitar P. Guelev},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Completeness and Decidability of a Fragment of Duration Calculus with
Iteration},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {139--150},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_13},
doi = {10.1007/3-540-46674-6\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/HungG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Indrika99,
author = {Mia Indrika},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Logical Relations in Circuit Verification},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {151--162},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_14},
doi = {10.1007/3-540-46674-6\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Indrika99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/IwanumaK99,
author = {Koji Iwanuma and
Kenichi Kishino},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Lemma Generalization and Non-unit Lemma Matching for Model Elimination},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {163--176},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_15},
doi = {10.1007/3-540-46674-6\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/IwanumaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Kagawa99,
author = {Koji Kagawa},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Programming with Explicit Regions},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {377--378},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_34},
doi = {10.1007/3-540-46674-6\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Kagawa99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KamareddineM99,
author = {Fairouz Kamareddine and
Fran{\c{c}}ois Monin},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {On Automating Inductive and Non-inductive Termination Methods},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {177--189},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_16},
doi = {10.1007/3-540-46674-6\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/KamareddineM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KlaudelP99,
author = {Hanna Klaudel and
Franck Pommereau},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Asynchronous Links in the {PBC} and M-Nets},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {190--200},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_17},
doi = {10.1007/3-540-46674-6\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/KlaudelP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Knoop99,
author = {Jens Knoop},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Demand-Driven Model Checking for Context-Free Processes},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {201--213},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_18},
doi = {10.1007/3-540-46674-6\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Knoop99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/LokeSZ99,
author = {Seng Wai Loke and
Heinz W. Schmidt and
Arkady B. Zaslavsky},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Programming the Mobility Behaviour of Agents by Composing Itineraries},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {214--226},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_19},
doi = {10.1007/3-540-46674-6\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/LokeSZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Majster-CederbaumS99,
author = {Mila E. Majster{-}Cederbaum and
Frank Salger},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {A Verification Technique Based on Syntactic Action Refinement in a
TCSP-like Process Algebra and the Hennessy-Milner-Logic},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {379--380},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_35},
doi = {10.1007/3-540-46674-6\_35},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Majster-CederbaumS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/MukundKS99,
author = {Madhavan Mukund and
K. Narayan Kumar and
Scott A. Smolka},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Faster Model Checking for Open Systems},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {227--238},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_20},
doi = {10.1007/3-540-46674-6\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/MukundKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/NantajeewarawatW99,
author = {Ekawit Nantajeewarawat and
Vilas Wuwongse},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {An Argumentation Approach to Semantics of Declarative Programs with
Defeasible Inheritance},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {239--250},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_21},
doi = {10.1007/3-540-46674-6\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/NantajeewarawatW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/NiehrenP99,
author = {Joachim Niehren and
Tim Priesnitz},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Entailment of Non-structural Subtype Constraints},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {251--265},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_22},
doi = {10.1007/3-540-46674-6\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/NiehrenP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Ogata99,
author = {Ichiro Ogata},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {A CPS-Transform of Constructive Classical Logic},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {266--280},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_23},
doi = {10.1007/3-540-46674-6\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Ogata99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/OgataF99,
author = {Kazuhiro Ogata and
Kokichi Futatsugi},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Formal Verification of the {MCS} List-Based Queuing Lock},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {281--293},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_24},
doi = {10.1007/3-540-46674-6\_24},
timestamp = {Sat, 03 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/OgataF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Palem99,
author = {Krishna V. Palem},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Emerging Application Domains and the Computing Fabric},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {13--14},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_2},
doi = {10.1007/3-540-46674-6\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Palem99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Quang99,
author = {Duc Quang Nguyen},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints
over \emph{R}\({}^{\mbox{2}}\)-Plane},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {383--385},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_37},
doi = {10.1007/3-540-46674-6\_37},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Quang99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Rauch99,
author = {Jan Rauch},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Deduction in Logic of Association Rules},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {386--387},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_38},
doi = {10.1007/3-540-46674-6\_38},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Rauch99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Reffel99,
author = {Frank Reffel},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {BDD-Nodes Can Be More Expressive},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {294--307},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_25},
doi = {10.1007/3-540-46674-6\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Reffel99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/RitterHE99,
author = {Gerd Ritter and
Holger Hinrichsen and
Hans Eveking},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Formal Verification of Descriptions with Distinct Order of Memory
Operations},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {308--321},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_26},
doi = {10.1007/3-540-46674-6\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/RitterHE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/RoychoudhuryKRR99,
author = {Abhik Roychoudhury and
K. Narayan Kumar and
C. R. Ramakrishnan and
I. V. Ramakrishnan},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic
Programs},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {322--333},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_27},
doi = {10.1007/3-540-46674-6\_27},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/RoychoudhuryKRR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Seth99,
author = {Anil Seth},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {On \emph{L}\({}^{\mbox{\emph{k}}}\)(\emph{Q}) Types and Boundedness
of \emph{IFP}(\emph{Q}) on Finite Structures},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {334--346},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_28},
doi = {10.1007/3-540-46674-6\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Seth99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ShenLZ99,
author = {Hong Shen and
Keqin Li and
Si{-}Qing Zheng},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Separators Are as Simple as Cutsets},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {347--358},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_29},
doi = {10.1007/3-540-46674-6\_29},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ShenLZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TongLL99,
author = {Chia Jim Tong and
Hoong Chuin Lau and
Andrew Lim},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Ant Colony Optimization for the Ship Berthing Problem},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {359--370},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_30},
doi = {10.1007/3-540-46674-6\_30},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/TongLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TongchimC99,
author = {Shisanu Tongchim and
Prabhas Chongstitvatana},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Asynchronous Migration in Parallel Genetic Programming},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {388--389},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_39},
doi = {10.1007/3-540-46674-6\_39},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/TongchimC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TsangL99,
author = {Tony Tsang and
Richard Lai},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Verification Results for a Multimedia Protocol},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {390--392},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_40},
doi = {10.1007/3-540-46674-6\_40},
timestamp = {Tue, 23 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/TsangL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/YewRL99,
author = {Kok Meng Yew and
M. Zahidur Rahman and
Sai Peck Lee},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Formal Verification of Secret Sharing Protocol Using Coq},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {381--382},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_36},
doi = {10.1007/3-540-46674-6\_36},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/YewRL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/YuH99,
author = {Qing Yu and
Doan B. Hoang},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Multipoint-to-Point {ABR} Service with Fair Intelligent Congestion
Control in {ATM} Networks},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {393--395},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_41},
doi = {10.1007/3-540-46674-6\_41},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/YuH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/1999,
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6},
doi = {10.1007/3-540-46674-6},
isbn = {3-540-66856-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-04-19 01:04 CEST from data curated 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:
