BibTeX records: Teow-Hin Ngair

download as .bib file

@article{DBLP:journals/ai/GunterNS97,
  author       = {Carl A. Gunter and
                  Teow{-}Hin Ngair and
                  Devika Subramanian},
  title        = {The Common Order-Theoretic Structure of Version Spaces and ATMSs},
  journal      = {Artif. Intell.},
  volume       = {95},
  number       = {2},
  pages        = {357--407},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0004-3702(97)00033-7},
  doi          = {10.1016/S0004-3702(97)00033-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GunterNS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/DengHJN97,
  author       = {Robert H. Deng and
                  Yongfei Han and
                  Albert B. Jeng and
                  Teow{-}Hin Ngair},
  editor       = {Richard Graveman and
                  Philippe A. Janson and
                  Clifford Neuman and
                  Li Gong},
  title        = {A New On-Line Cash Check Scheme},
  booktitle    = {{CCS} '97, Proceedings of the 4th {ACM} Conference on Computer and
                  Communications Security, Zurich, Switzerland, April 1-4, 1997},
  pages        = {111--116},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/266420.266444},
  doi          = {10.1145/266420.266444},
  timestamp    = {Tue, 10 Nov 2020 20:00:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/DengHJN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/BaoDHJNN97,
  author       = {Feng Bao and
                  Robert H. Deng and
                  Yongfei Han and
                  Albert B. Jeng and
                  Arcot Desai Narasimhalu and
                  Teow{-}Hin Ngair},
  editor       = {Bruce Christianson and
                  Bruno Crispo and
                  T. Mark A. Lomas and
                  Michael Roe},
  title        = {Breaking Public Key Cryptosystems on Tamper Resistant Devices in the
                  Presence of Transient Faults},
  booktitle    = {Security Protocols, 5th International Workshop, Paris, France, April
                  7-9, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1361},
  pages        = {115--124},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0028164},
  doi          = {10.1007/BFB0028164},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spw/BaoDHJNN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GunterNS96,
  author       = {Carl A. Gunter and
                  Teow{-}Hin Ngair and
                  Devika Subramanian},
  editor       = {Joxan Jaffar and
                  Roland H. C. Yap},
  title        = {Sets as Anti-Chains},
  booktitle    = {Concurrency and Parallelism, Programming, Networking, and Security:
                  Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
                  December 2-5, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1179},
  pages        = {116--128},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0027785},
  doi          = {10.1007/BFB0027785},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/GunterNS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/NgairP93,
  author       = {Teow{-}Hin Ngair and
                  Gregory M. Provan},
  editor       = {Michael Clarke and
                  Rudolf Kruse and
                  Seraf{\'{\i}}n Moral},
  title        = {A Lattice-Theoretic Analysis of {ATMS} Problem Solving},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
                  European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {747},
  pages        = {282--289},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0028211},
  doi          = {10.1007/BFB0028211},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/NgairP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ngair93,
  author       = {Teow{-}Hin Ngair},
  editor       = {Ruzena Bajcsy},
  title        = {A New Algorithm for Incremental Prime Implicate Generation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {46--51},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/007.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:33 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ngair93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GunterNPS91,
  author       = {Carl A. Gunter and
                  Teow{-}Hin Ngair and
                  Prakash Panangaden and
                  Devika Subramanian},
  editor       = {Thomas L. Dean and
                  Kathleen R. McKeown},
  title        = {The Common Order-Theoretic Structure of Version Spaces and ATMS's},
  booktitle    = {Proceedings of the 9th National Conference on Artificial Intelligence,
                  Anaheim, CA, USA, July 14-19, 1991, Volume 1},
  pages        = {500--505},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1991},
  url          = {http://www.aaai.org/Library/AAAI/1991/aaai91-078.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GunterNPS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics