Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, M. V. P. Rao
{"title":"Automatic Diagnosis of Quantum Software Bug Fix Motifs","authors":"Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, M. V. P. Rao","doi":"10.18293/seke2023-196","DOIUrl":"https://doi.org/10.18293/seke2023-196","url":null,"abstract":"","PeriodicalId":291002,"journal":{"name":"International Conference on Software Engineering and Knowledge Engineering","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122833289","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Lei Mao, Jianxia Chen, Shi Dong, Liang Xiao, Haoying Si, Xinyun Wu
{"title":"Aspect-level Sentiment Analysis Based on Convolutional Network with Dependency Tree","authors":"Lei Mao, Jianxia Chen, Shi Dong, Liang Xiao, Haoying Si, Xinyun Wu","doi":"10.18293/seke2023-127","DOIUrl":"https://doi.org/10.18293/seke2023-127","url":null,"abstract":"","PeriodicalId":291002,"journal":{"name":"International Conference on Software Engineering and Knowledge Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131488715","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"L*-Based Learning of Probabilistic Timed Automata with One Clock (S)","authors":"Rong Wu","doi":"10.18293/seke2023-156","DOIUrl":"https://doi.org/10.18293/seke2023-156","url":null,"abstract":"","PeriodicalId":291002,"journal":{"name":"International Conference on Software Engineering and Knowledge Engineering","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116432874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Transient Data Caching Based on Maximum Entropy Actor-Critic in Internet-of-Things Networks","authors":"Yu Zhang, Ningjiang Chen, Siyu Yu","doi":"10.18293/seke2023-159","DOIUrl":"https://doi.org/10.18293/seke2023-159","url":null,"abstract":"","PeriodicalId":291002,"journal":{"name":"International Conference on Software Engineering and Knowledge Engineering","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133860023","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fake News Detection with Context Awareness of the Publisher","authors":"Xingchen Ding, Chong Teng, Donghong Ji","doi":"10.18293/seke2023-061","DOIUrl":"https://doi.org/10.18293/seke2023-061","url":null,"abstract":"","PeriodicalId":291002,"journal":{"name":"International Conference on Software Engineering and Knowledge Engineering","volume":"275 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132939600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Symbolic Model Checking Quantum Circuits in Maude","authors":"Canh Minh Do, Kazuhiro Ogata","doi":"10.18293/seke2023-014","DOIUrl":"https://doi.org/10.18293/seke2023-014","url":null,"abstract":"","PeriodicalId":291002,"journal":{"name":"International Conference on Software Engineering and Knowledge Engineering","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132900013","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}