BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Hungary
1 × Israel
1 × The Netherlands
1 × USA
2 × Denmark
Collaborated with:
D.L.Dill P.Ho T.A.Henzinger P.W.Kopke A.J.Hu S.B.Huffman A.R.Lehman A.P.Stolboushkin F.Yang H.Röhrig
Talks about:
system (2) protocol (1) preorder (1) approxim (1) synthes (1) success (1) schedul (1) process (1) multipl (1) languag (1)

Person: Howard Wong-Toi

DBLP DBLP: Wong-Toi:Howard

Contributed to:

SIGIR 20072007
CAV 19971997
CAV 19951995
ICALP 19951995
TACAS 19951995
CAV 19911991
CAV 19901990

Wrote 8 papers:

SIGIR-2007-HuffmanLSWYR #detection #evaluation #multi
Multiple-signal duplicate detection for search evaluation (SBH, ARL, APS, HWT, FY, HR), pp. 223–230.
CAV-1997-HenzingerHW #hybrid #model checking #named
HYTECH: A Model Checker for Hybrid Systems (TAH, PHH, HWT), pp. 460–463.
CAV-1995-DillW #approximate #realtime #verification
Verification of Real-Time Systems by Successive Over and Under Approximation (DLD, HWT), pp. 409–422.
CAV-1995-HoW #analysis #automation #protocol
Automated Analysis of an Audio Control Protocol (PHH, HWT), pp. 381–394.
ICALP-1995-HenzingerKW #power of
The Expressive Power of Clocks (TAH, PWK, HWT), pp. 417–428.
TACAS-1995-HenzingerHW
A User Guide to HyTech (TAH, PHH, HWT), pp. 41–71.
CAV-1991-DillHW #simulation #using
Checking for Language Inclusion Using Simulation Preorders (DLD, AJH, HWT), pp. 255–265.
CAV-1990-Wong-ToiD #process #specification
Synthesizing Processes and Schedulers from Temporal Specifications (HWT, DLD), pp. 272–281.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.