default search action

combined dblp search
author search
venue search
publication search

ask others

Howard Wong-Toi

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

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

2007
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sigir/HuffmanLSWYR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigir/HuffmanLSWYR07
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
2001
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HenzingerPW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HenzingerPW01
Thomas A. Henzinger, Jörg Preußig, Howard Wong-Toi:
Some lessons from the HYTECH experience. CDC 2001: 2887-2892
2000
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/BalluchiBBVWS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/BalluchiBBVWS00
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli:
Hybrid controller synthesis for idle speed management of an automotive engine. ACC 2000: 1181-1185
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/WongToiP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/WongToiP00
Howard Wong-Toi, Jörg Preußig:
A procedure for reachability analysis of rectangular automata. ACC 2000: 1674-1678
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BalluchiBBMPVWS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BalluchiBBMPVWS00
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
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerHMW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerHMW00
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 lists?

1999
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/BalluchifBVWS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/BalluchifBVWS99
A. Balluchif, Luca Benvenuti, T. Villas, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli:
A case study of hybrid controller synthesis of a heating system. ECC 1999: 1687-1692
1998
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/HenzingerHW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/HenzingerHW98
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control. 43(4): 540-554 (1998)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/PreussigKWH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/PreussigKWH98
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
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/MeyerW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/MeyerW98
Michael J. Meyer, Howard Wong-Toi:
Schedulability Analysis of Acyclic Processes. RTSS 1998: 274-284
1997
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HenzingerHW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HenzingerHW97
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems. Int. J. Softw. Tools Technol. Transf. 1(1-2): 110-122 (1997)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerHW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerHW97
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Wong-Toi97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Wong-Toi97
Howard Wong-Toi:
Analysis of Slope-Parametric Rectangular Automata. Hybrid Systems 1997: 390-413
1995
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HoW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HoW95
Pei-Hsin Ho, Howard Wong-Toi:
Automated Analysis of an Audio Control Protocol. CAV 1995: 381-394
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DillW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DillW95
David L. Dill, Howard Wong-Toi:
Verification of Real-Time Systems by Successive Over and Under Approximation. CAV 1995: 409-422
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/HenzingerW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HenzingerW95
Thomas A. Henzinger, Howard Wong-Toi:
Using HyTech to Synthesize Control Parameters for a Steam Boiler. Formal Methods for Industrial Applications 1995: 265-282
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerW95
Thomas A. Henzinger, Howard Wong-Toi:
Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. Hybrid Systems 1995: 377-388
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerKW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerKW95
Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi:
The Expressive Power of Clocks. ICALP 1995: 417-428
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/HenzingerHW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/HenzingerHW95
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HyTech: The Next Generation. RTSS 1995: 56-65
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HenzingerHW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HenzingerHW95
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
A User Guide to HyTech. TACAS 1995: 41-71
1994
[b1]
- view
  - electronic edition @ stanford.edu
  - details & citations
- export record
  dblp key:
  - phd/us/Wong-Toi94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Wong-Toi94
Howard Wong-Toi:
Symbolic approximations for verifying real-time systems. Stanford University, USA, 1994
1993
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/BalemiHGWF93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/BalemiHGWF93
S. Balemi, G. Hoffmann, P. Gyugyi, Howard Wong-Toi, Gene F. Franklin:
Supervisory control of a rapid thermal multiprocessor. IEEE Trans. Autom. Control. 38(7): 1040-1059 (1993)
1992
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlurCHDW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlurCHDW92
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi:
Minimization of Timed Transition Systems. CONCUR 1992: 340-354
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/AlurCDHW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/AlurCDHW92
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
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/HoffmannW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/HoffmannW92
G. Hoffmann, Howard Wong-Toi:
The input-output control of real-time discrete event systems. RTSS 1992: 256-265
1991
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DillHW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DillHW91
David L. Dill, Alan J. Hu, Howard Wong-Toi:
Checking for Language Inclusion Using Simulation Preorders. CAV 1991: 255-265
1990
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Wong-ToiD90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Wong-ToiD90
Howard Wong-Toi, David L. Dill:
Synthesizing Processes and Schedulers from Temporal Specifications. CAV 1990: 272-281
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/Wong-ToiD90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Wong-ToiD90
Howard Wong-Toi, David L. Dill:
Synthesizing Processes and Schedulers from Temporal Specifications. CAV (DIMACS/AMS volume) 1990: 177-186

Coauthor Index

see FAQ

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.