公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
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 | | | |