公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1997 | Task structures as a basis for modeling knowledge-based systems. | JONATHAN LEE | Int. J. Intell. Syst. | | | |
1996 | A Task-Based Approach to Verifying Conceptual Models. | Lee, Jonathan; Lai, Lein F.; Huang, Wei T.; JONATHAN LEE | COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea | | | |
2000 | Task-based conceptual graphs as a basis for automating software development. | Lee, Jonathan; Lai, Lein F.; Hsu, Kuo-Hsun; Fanjiang, Yong-Yi; JONATHAN LEE | Int. J. Intell. Syst. | | | |
1996 | Task-Based Specifications Through Conceptual Graphs. | Lee, Jonathan; Lai, Lein F.; Huang, Wei T.; JONATHAN LEE | IEEE Expert | | | |
2000 | Towards the Verification of Scenarios with Time Petri-Nets. | Lee, Jonathan; Kuo, Jong-Yih; Fanjiang, Yong-Yi; Yang, Stephen J. H.; Pan, Jiann-I; JONATHAN LEE | 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan | | | |
2005 | University timetabling through conceptual modeling. | Lee, Jonathan; Ma, Shang-Pin; Lai, Lien Fu; Hsueh, Nien-Lin; Fanjiang, Yong-Yi; JONATHAN LEE | Int. J. Intell. Syst. | | | |
2001 | Verifying scenarios with time Petri-nets. | Lee, Jonathan; Pan, Jiann-I; Kuo, Jong-Yih; JONATHAN LEE | Information & Software Technology | | | |
1998 | Verifying task-based specifications in conceptual graphs. | Lee, Jonathan; Lai, Lein F.; JONATHAN LEE | Information & Software Technology | | | |
2019 | Veritas: Shared Verifiable Databases and Tables in the Cloud. | Gehrke, Johannes; Allen, Lindsay; Antonopoulos, Panagiotis; Arasu, Arvind; Hammer, Joachim; Hunter, James; Kaushik, Raghav; Kossmann, Donald; Ramamurthy, Ravi; Setty, Srinath T. V.; Szymaszek, Jakub; Renen, Alexander van; Lee, Jonathan; Venkatesan, Ramarathnam; JONATHAN LEE | CIDR 2019, 9th Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 13-16, 2019, Online Proceedings | | | |
2003 | An XML-based Approach to Processing Imprecise Requirements. | Lee, Jonathan; Fanjiang, Yong-Yi; Chen, Tzung-Jie; Lin, Ying-Yan; JONATHAN LEE | Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings | | | |