Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Howard Wong-Toi

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2007
[c19]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigir/HuffmanLSWYR07
- ask others
Scott B. Huffman, April Rasala Lehman, Alexei P. Stolboushkin, Howard Wong-Toi, Fan Yang, Hein Röhrig: Multiple-signal duplicate detection for search evaluation. SIGIR 2007: 223-230
2000
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/BalluchiBBMPVWS00
- ask others
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli: Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC 2000: 32-44
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/HenzingerHMW00
- ask others
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi: Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftrtft/PreussigKWH98
- ask others
Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger: An Algorithm for the Approximative Analysis of Rectangular Automata. FTRTFT 1998: 228-240
[c15]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rtss/MeyerW98
- ask others
Michael J. Meyer, Howard Wong-Toi: Schedulability Analysis of Acyclic Processes. RTSS 1998: 274-284
1997
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/HenzingerHW97
- ask others
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. STTT 1(1-2): 110-122 (1997)
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/HenzingerHW97
- ask others
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/Wong-Toi97
- ask others
Howard Wong-Toi: Analysis of Slope-Parametric Rectangular Automata. Hybrid Systems 1997: 390-413
1995
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/HoW95
- ask others
Pei-Hsin Ho, Howard Wong-Toi: Automated Analysis of an Audio Control Protocol. CAV 1995: 381-394
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/DillW95
- ask others
David L. Dill, Howard Wong-Toi: Verification of Real-Time Systems by Successive Over and Under Approximation. CAV 1995: 409-422
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/HenzingerW95
- ask others
Thomas A. Henzinger, Howard Wong-Toi: Using HyTech to Synthesize Control Parameters for a Steam Boiler. Formal Methods for Industrial Applications 1995: 265-282
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/HenzingerW95
- ask others
Thomas A. Henzinger, Howard Wong-Toi: Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. Hybrid Systems 1995: 377-388
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/HenzingerKW95
- ask others
Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi: The Expressive Power of Clocks. ICALP 1995: 417-428
[c7]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rtss/HenzingerHW95
- ask others
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HyTech: The Next Generation. RTSS 1995: 56-65
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/HenzingerHW95
- ask others
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: A User Guide to HyTech. TACAS 1995: 41-71
1992
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/AlurCHDW92
- ask others
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi: Minimization of Timed Transition Systems. CONCUR 1992: 340-354
[c4]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rtss/AlurCDHW92
- ask others
Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi: An implementation of three algorithms for timing verification based on automata emptiness. RTSS 1992: 157-166
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rtss/HoffmannW92
- ask others
G. Hoffmann, Howard Wong-Toi: The input-output control of real-time discrete event systems. RTSS 1992: 256-265
1991
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/DillHW91
- ask others
David L. Dill, Alan J. Hu, Howard Wong-Toi: Checking for Language Inclusion Using Simulation Preorders. CAV 1991: 255-265
1990
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/Wong-ToiD90
- ask others
Howard Wong-Toi, David L. Dill: Synthesizing Processes and Schedulers from Temporal Specifications. CAV 1990: 272-281