公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2010 | Automatic numeric abstractions for heap-manipulating programs | Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY | Conference Record of the Annual ACM Symposium on Principles of Programming Languages | 28 | 0 | |
2010 | Automatic numeric abstractions for heap-manipulating programs | Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY | ACM SIGPLAN Notices | | | |
2011 | Genotoxicity of Safrole Oxide in Hepg2 Cells and in Mice | Chiang, S.; Lee, P.; Shen, L.; Huang, H.; Chung, W.; Wu, K.; �d�O�� | Toxicology Letters | 0 | 0 | |
1967 | Size constancy and its affecting factors: Angle of regard and spatial direction of stimulus object. | Chang, C. M.; Lee, P. | Acta Psychologica Taiwanica | | | |
2008 | THOR: A tool for reasoning about shape and arithmetic - Tool paper | Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 31 | 0 | |