Pub Date : 2023-03-01DOI: 10.1142/s0218194023500109
Yamin Hu, Hao Jiang, Hanlin Tang, Xin Lin, Zongyao Hu
{"title":"SQL#: A Language for Maintainable and Debuggable Database Queries","authors":"Yamin Hu, Hao Jiang, Hanlin Tang, Xin Lin, Zongyao Hu","doi":"10.1142/s0218194023500109","DOIUrl":"https://doi.org/10.1142/s0218194023500109","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":"6 1","pages":"619-649"},"PeriodicalIF":0.9,"publicationDate":"2023-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90249040","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-02-24DOI: 10.1142/s0218194023500080
Yihai Xi, Ning Wang
{"title":"Identifying Notable Tuples in Multi-Concept Web Tables","authors":"Yihai Xi, Ning Wang","doi":"10.1142/s0218194023500080","DOIUrl":"https://doi.org/10.1142/s0218194023500080","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":"11 1","pages":"575-602"},"PeriodicalIF":0.9,"publicationDate":"2023-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90273871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-02-23DOI: 10.1142/s0218194023500067
Huili Xing
{"title":"On the Succinctness of Modal μ-Calculus Based on Covariant-Contravariant Refinement","authors":"Huili Xing","doi":"10.1142/s0218194023500067","DOIUrl":"https://doi.org/10.1142/s0218194023500067","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":"17 1","pages":"513-542"},"PeriodicalIF":0.9,"publicationDate":"2023-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87850298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-02-17DOI: 10.1142/s0218194023500043
Jing Qiu, Chunmei Shi, Yuehua Lv
{"title":"Three Approaches for Detecting Direct Output Cheating in Program Online Judge Systems","authors":"Jing Qiu, Chunmei Shi, Yuehua Lv","doi":"10.1142/s0218194023500043","DOIUrl":"https://doi.org/10.1142/s0218194023500043","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":"55 1","pages":"461-486"},"PeriodicalIF":0.9,"publicationDate":"2023-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81278020","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-02-16DOI: 10.1142/s0218194023500055
Xiaoming Zhang, Xingsha Yang, Huiyong Wang
{"title":"Person Event Detection Method in Computer Discipline Domain Based on BiGRU and CNN in Series","authors":"Xiaoming Zhang, Xingsha Yang, Huiyong Wang","doi":"10.1142/s0218194023500055","DOIUrl":"https://doi.org/10.1142/s0218194023500055","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":"183 1","pages":"487-512"},"PeriodicalIF":0.9,"publicationDate":"2023-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72791233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}