Howard Wong-Toi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
6
Active years
1990–2007
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | SIGIR | Multiple-signal duplicate detection for search evaluation. | Scott B. Huffman, April Rasala Lehman, Alexei P. Stolboushkin, Howard Wong-Toi, Fan Yang, Hein Rhrig |
| 1998 | RTSS | Schedulability Analysis of Acyclic Processes. | Michael J. Meyer, Howard Wong-Toi |
| 1997 | CAV | HYTECH: A Model Checker for Hybrid Systems. | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | CAV | Verification of Real-Time Systems by Successive Over and Under Approximation. | David L. Dill, Howard Wong-Toi |
| 1995 | CAV | Automated Analysis of an Audio Control Protocol. | Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | ICALP | The Expressive Power of Clocks. | Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi |
| 1995 | RTSS | HyTech: The Next Generation. | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | TACAS | A User Guide to HyTech. | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1992 | CONCUR | Minimization of Timed Transition Systems. | Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi |
| 1992 | RTSS | An implementation of three algorithms for timing verification based on automata emptiness. | Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi |
| 1992 | RTSS | The input-output control of real-time discrete event systems. | G. Hoffmann, Howard Wong-Toi |
| 1991 | CAV | Checking for Language Inclusion Using Simulation Preorders. | David L. Dill, Alan J. Hu, Howard Wong-Toi |
| 1990 | CAV | Synthesizing Processes and Schedulers from Temporal Specifications. | Howard Wong-Toi, David L. Dill |