Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pei-Hsin Ho
@inproceedings{DBLP:conf/iccad/PuSHYSZ23,
author = {Ruiyao Pu and
Yiwei Sun and
Pei{-}Hsin Ho and
Fan Yang and
Li Shang and
Xuan Zeng},
title = {Sphinx: {A} Hybrid Boolean Processor-FPGA Hardware Emulation System},
booktitle = {{IEEE/ACM} International Conference on Computer Aided Design, {ICCAD}
2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCAD57390.2023.10323694},
doi = {10.1109/ICCAD57390.2023.10323694},
timestamp = {Wed, 03 Jan 2024 08:34:26 +0100},
biburl = {https://dblp.org/rec/conf/iccad/PuSHYSZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SuSH19,
author = {Yu{-}Hsuan Su and
Richard Sun and
Pei{-}Hsin Ho},
editor = {David Z. Pan},
title = {2019 {CAD} Contest: System-level {FPGA} Routing with Timing Division
Multiplexing Technique},
booktitle = {Proceedings of the International Conference on Computer-Aided Design,
{ICCAD} 2019, Westminster, CO, USA, November 4-7, 2019},
pages = {1--2},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICCAD45719.2019.8942051},
doi = {10.1109/ICCAD45719.2019.8942051},
timestamp = {Wed, 19 Feb 2020 16:38:01 +0100},
biburl = {https://dblp.org/rec/conf/iccad/SuSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispd/ChanHKS17,
author = {Wei{-}Ting Jonas Chan and
Pei{-}Hsin Ho and
Andrew B. Kahng and
Prashant Saxena},
editor = {Mustafa Ozdal and
Chris Chu},
title = {Routability Optimization for Industrial Designs at Sub-14nm Process
Nodes Using Machine Learning},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Physical
Design, {ISDP} 2017, Portland, OR, USA, March 19-22, 2017},
pages = {15--21},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3036669.3036681},
doi = {10.1145/3036669.3036681},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispd/ChanHKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispd/Ho17,
author = {Pei{-}Hsin Ho},
editor = {Mustafa Ozdal and
Chris Chu},
title = {Interesting Problems in Physical Synthesis},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Physical
Design, {ISDP} 2017, Portland, OR, USA, March 19-22, 2017},
pages = {131},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3036669.3038245},
doi = {10.1145/3036669.3038245},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispd/Ho17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/PlazaSSH11,
author = {Stephen M. Plaza and
Prashant Saxena and
Thomas R. Shiple and
Pei{-}Hsin Ho},
title = {Multi-mode redundancy removal},
booktitle = {Proceedings of the 12th International Symposium on Quality Electronic
Design, {ISQED} 2011, Santa Clara, California, USA, 14-16 March 2011},
pages = {791--799},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISQED.2011.5770819},
doi = {10.1109/ISQED.2011.5770819},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/isqed/PlazaSSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShiCHMTHW09,
author = {Jin Shi and
Yici Cai and
Wenting Hou and
Liwei Ma and
Sheldon X.{-}D. Tan and
Pei{-}Hsin Ho and
Xiaoyi Wang},
title = {{GPU} friendly fast Poisson solver for structured power grid network
analysis},
booktitle = {Proceedings of the 46th Design Automation Conference, {DAC} 2009,
San Francisco, CA, USA, July 26-31, 2009},
pages = {178--183},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629911.1629961},
doi = {10.1145/1629911.1629961},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ShiCHMTHW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispd/SaxenaKQHLI09,
author = {Prashant Saxena and
Vishal Khandelwal and
Changge Qiao and
Pei{-}Hsin Ho and
J.{-}C. Lin and
Mahesh A. Iyer},
editor = {Gi{-}Joon Nam and
Prashant Saxena},
title = {On improving optimization effectiveness in interconnect-driven physical
synthesis},
booktitle = {Proceedings of the 2009 International Symposium on Physical Design,
{ISPD} 2009, San Diego, California, USA, March 29 - April 1, 2009},
pages = {51--58},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1514932.1514943},
doi = {10.1145/1514932.1514943},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispd/SaxenaKQHLI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispd/Ho09,
author = {Pei{-}Hsin Ho},
editor = {Gi{-}Joon Nam and
Prashant Saxena},
title = {Industrial clock design},
booktitle = {Proceedings of the 2009 International Symposium on Physical Design,
{ISPD} 2009, San Diego, California, USA, March 29 - April 1, 2009},
pages = {139--140},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1514932.1514963},
doi = {10.1145/1514932.1514963},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispd/Ho09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/HouLH09,
author = {Wenting Hou and
Dick Liu and
Pei{-}Hsin Ho},
title = {Automatic register banking for low-power clock trees},
booktitle = {10th International Symposium on Quality of Electronic Design {(ISQED}
2009), 16-18 March 2009, San Jose, CA, {USA}},
pages = {647--652},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISQED.2009.4810370},
doi = {10.1109/ISQED.2009.4810370},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/HouLH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MangHH07,
author = {Freddy Y. C. Mang and
Wenting Hou and
Pei{-}Hsin Ho},
title = {Techniques for Effective Distributed Physical Synthesis},
booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
San Diego, CA, USA, June 4-8, 2007},
pages = {859--864},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1145/1278480.1278692},
doi = {10.1145/1278480.1278692},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MangHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/KuoLWCH07,
author = {Yu{-}Min Kuo and
Cheng{-}Hung Lin and
Chun{-}Yao Wang and
Shih{-}Chieh Chang and
Pei{-}Hsin Ho},
title = {Intelligent Random Vector Generator Based on Probability Analysis
of Circuit Structure},
booktitle = {8th International Symposium on Quality of Electronic Design {(ISQED}
2007), 26-28 March 2007, San Jose, CA, {USA}},
pages = {344--349},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISQED.2007.91},
doi = {10.1109/ISQED.2007.91},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/KuoLWCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MangH06,
author = {Freddy Y. C. Mang and
Pei{-}Hsin Ho},
title = {Controllability and Cooperativeness Analysis for Automatic Abstraction
Refinement},
journal = {Int. J. Found. Comput. Sci.},
volume = {17},
number = {4},
pages = {763--774},
year = {2006},
url = {https://doi.org/10.1142/S0129054106004091},
doi = {10.1142/S0129054106004091},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MangH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/CernyDHHM05,
author = {Eduard Cerny and
Ashvin Dsouza and
Kevin Harer and
Pei{-}Hsin Ho and
Hi{-}Keung Tony Ma},
editor = {Tingao Tang},
title = {Supporting sequential assumptions in hybrid verification},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {1035--1038},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1120818},
doi = {10.1145/1120725.1120818},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/CernyDHHM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CheonHKRW05,
author = {Yongseok Cheon and
Pei{-}Hsin Ho and
Andrew B. Kahng and
Sherief Reda and
Qinke Wang},
editor = {William H. Joyner Jr. and
Grant Martin and
Andrew B. Kahng},
title = {Power-aware placement},
booktitle = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
San Diego, CA, USA, June 13-17, 2005},
pages = {795--800},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065579.1065791},
doi = {10.1145/1065579.1065791},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CheonHKRW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Ho04,
author = {Pei{-}Hsin Ho},
editor = {Farn Wang},
title = {Abstraction Refinement},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {7},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_3},
doi = {10.1007/978-3-540-30476-0\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Ho04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MangH04,
author = {Freddy Y. C. Mang and
Pei{-}Hsin Ho},
editor = {Sharad Malik and
Limor Fix and
Andrew B. Kahng},
title = {Abstraction refinement by controllability and cooperativeness analysis},
booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
San Diego, CA, USA, June 7-11, 2004},
pages = {224--229},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996566.996630},
doi = {10.1145/996566.996630},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MangH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WangHLKZMD01,
author = {Dong Wang and
Pei{-}Hsin Ho and
Jiang Long and
James H. Kukula and
Yunshan Zhu and
Hi{-}Keung Tony Ma and
Robert F. Damiano},
title = {Formal Property Verification by Abstraction Refinement with Formal,
Simulation and Hybrid Engines},
booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
Las Vegas, NV, USA, June 18-22, 2001},
pages = {35--40},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378239.378260},
doi = {10.1145/378239.378260},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WangHLKZMD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HoSHKDBTL00,
author = {Pei{-}Hsin Ho and
Thomas R. Shiple and
Kevin Harer and
James H. Kukula and
Robert F. Damiano and
Valeria Bertacco and
Jerry Taylor and
Jiang Long},
editor = {Ellen Sentovich},
title = {Smart Simulation Using Collaborative Formal and Simulation Engines},
booktitle = {Proceedings of the 2000 {IEEE/ACM} International Conference on Computer-Aided
Design, 2000, San Jose, California, USA, November 5-9, 2000},
pages = {120--126},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICCAD.2000.896461},
doi = {10.1109/ICCAD.2000.896461},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/HoSHKDBTL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HoskoteKHZ99,
author = {Yatin Vasant Hoskote and
Timothy Kam and
Pei{-}Hsin Ho and
Xudong Zhao},
editor = {Mary Jane Irwin},
title = {Coverage Estimation for Symbolic Model Checking},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {300--305},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309936},
doi = {10.1145/309847.309936},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HoskoteKHZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/HenzingerHW98,
author = {Thomas A. Henzinger and
Pei{-}Hsin Ho and
Howard Wong{-}Toi},
title = {Algorithmic analysis of nonlinear hybrid systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {43},
number = {4},
pages = {540--554},
year = {1998},
url = {https://doi.org/10.1109/9.664156},
doi = {10.1109/9.664156},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/HenzingerHW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HoIK98,
author = {Pei{-}Hsin Ho and
Adrian J. Isles and
Timothy Kam},
editor = {Hiroto Yasuura},
title = {Formal verification of pipeline control using controlled token nets
and abstract interpretation},
booktitle = {Proceedings of the 1998 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1998, San Jose, CA, USA, November 8-12, 1998},
pages = {529--536},
publisher = {{ACM} / {IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1145/288548.289082},
doi = {10.1145/288548.289082},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/HoIK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/ChangH97,
author = {Gerard J. Chang and
Pei{-}Hsin Ho},
title = {The {\ss}-assignment problem in general graphs},
journal = {Comput. Oper. Res.},
volume = {24},
number = {8},
pages = {757--765},
year = {1997},
url = {https://doi.org/10.1016/S0305-0548(96)00089-5},
doi = {10.1016/S0305-0548(96)00089-5},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/ChangH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HenzingerHW97,
author = {Thomas A. Henzinger and
Pei{-}Hsin Ho and
Howard Wong{-}Toi},
title = {{HYTECH:} {A} Model Checker for Hybrid Systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {1},
number = {1-2},
pages = {110--122},
year = {1997},
url = {https://doi.org/10.1007/s100090050008},
doi = {10.1007/S100090050008},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HenzingerHW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerHW97,
author = {Thomas A. Henzinger and
Pei{-}Hsin Ho and
Howard Wong{-}Toi},
editor = {Orna Grumberg},
title = {{HYTECH:} {A} Model Checker for Hybrid Systems},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {460--463},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_48},
doi = {10.1007/3-540-63166-6\_48},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerHW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlurHH96,
author = {Rajeev Alur and
Thomas A. Henzinger and
Pei{-}Hsin Ho},
title = {Automatic Symbolic Verification of Embedded Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {22},
number = {3},
pages = {181--201},
year = {1996},
url = {https://doi.org/10.1109/32.489079},
doi = {10.1109/32.489079},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlurHH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChenCHHKKZ96,
author = {Yirng{-}An Chen and
Edmund M. Clarke and
Pei{-}Hsin Ho and
Yatin Vasant Hoskote and
Timothy Kam and
Manpreet Khaira and
John W. O'Leary and
Xudong Zhao},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {Verification of All Circuits in a Floating-Point Unit Using Word-Level
Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {19--33},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031797},
doi = {10.1007/BFB0031797},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChenCHHKKZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Ho95,
author = {Pei{-}Hsin Ho},
title = {Automatic Analysis of Hybrid Systems},
school = {Cornell University, {USA}},
year = {1995},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Ho95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurCHHHNOSY95,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
Thomas A. Henzinger and
Pei{-}Hsin Ho and
Xavier Nicollin and
Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
title = {The Algorithmic Analysis of Hybrid Systems},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {3--34},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00202-T},
doi = {10.1016/0304-3975(94)00202-T},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurCHHHNOSY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerH95,
author = {Thomas A. Henzinger and
Pei{-}Hsin Ho},
editor = {Pierre Wolper},
title = {Algorithmic Analysis of Nonlinear Hybrid Systems},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {225--238},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_53},
doi = {10.1007/3-540-60045-0\_53},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HoW95,
author = {Pei{-}Hsin Ho and
Howard Wong{-}Toi},
editor = {Pierre Wolper},
title = {Automated Analysis of an Audio Control Protocol},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {381--394},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_64},
doi = {10.1007/3-540-60045-0\_64},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HoW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/HenzingerHW95,
author = {Thomas A. Henzinger and
Pei{-}Hsin Ho and
Howard Wong{-}Toi},
title = {HyTech: The Next Generation},
booktitle = {16th {IEEE} Real-Time Systems Symposium, Palazzo dei Congressi, Via
Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings},
pages = {56--65},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/REAL.1995.495196},
doi = {10.1109/REAL.1995.495196},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/HenzingerHW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HenzingerHW95,
author = {Thomas A. Henzinger and
Pei{-}Hsin Ho and
Howard Wong{-}Toi},
editor = {Ed Brinksma and
Rance Cleaveland and
Kim Guldstrand Larsen and
Tiziana Margaria and
Bernhard Steffen},
title = {A User Guide to HyTech},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, First
International Workshop, {TACAS} '95, Aarhus, Denmark, May 19-20, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1019},
pages = {41--71},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60630-0\_3},
doi = {10.1007/3-540-60630-0\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HenzingerHW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HenzingerH94,
author = {Thomas A. Henzinger and
Pei{-}Hsin Ho},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {A Note on Abstract Interpretation Strategies for Hybrid Automata},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {252--264},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_13},
doi = {10.1007/3-540-60472-3\_13},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HenzingerH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HenzingerH94a,
author = {Thomas A. Henzinger and
Pei{-}Hsin Ho},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {{HYTECH:} The Cornell HYbrid TECHnology Tool},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {265--293},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_14},
doi = {10.1007/3-540-60472-3\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HenzingerH94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AlurHH93,
author = {Rajeev Alur and
Thomas A. Henzinger and
Pei{-}Hsin Ho},
title = {Automatic Symbolic Verification of Embedded Systems},
booktitle = {Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC,
USA, December 1993},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/REAL.1993.393520},
doi = {10.1109/REAL.1993.393520},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AlurHH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurCHH92,
author = {Rajeev Alur and
Costas Courcoubetis and
Thomas A. Henzinger and
Pei{-}Hsin Ho},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {Hybrid Automata: An Algorithmic Approach to the Specification and
Verification of Hybrid Systems},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {209--229},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_30},
doi = {10.1007/3-540-57318-6\_30},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurCHH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/LuHC90,
author = {Tung{-}Lin Lu and
Pei{-}Hsin Ho and
Gerard J. Chang},
title = {The Domatic Number Problem in Interval Graphs},
journal = {{SIAM} J. Discret. Math.},
volume = {3},
number = {4},
pages = {531--536},
year = {1990},
url = {https://doi.org/10.1137/0403045},
doi = {10.1137/0403045},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/LuHC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-01-04 22:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
