Search dblp for Publications

export results for "toc:db/journals/ijsi/ijsi13.bht:"

 download as .bib file

@article{DBLP:journals/ijsi/CaiCWZZ23,
  author       = {Shaowei Cai and
                  Zhenbang Chen and
                  Ji Wang and
                  Bohua Zhan and
                  Yongwang Zhao},
  title        = {Preface to the Special Issue on Constraint Solving and Theorem Proving},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {3},
  pages        = {243--245},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00299},
  doi          = {10.21655/IJSI.1673-7288.00299},
  timestamp    = {Tue, 05 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/CaiCWZZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/ChenGGZG23,
  author       = {Lu Chen and
                  Yuxiang Guo and
                  Congcong Ge and
                  Baihua Zheng and
                  Yunjun Gao},
  title        = {Cross-source Data Error Detection Approach Based on Federated Learning},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {1},
  pages        = {27--55},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00295},
  doi          = {10.21655/IJSI.1673-7288.00295},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/ChenGGZG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/DuYT23,
  author       = {Xiaoyong Du and
                  Xiaochun Yang and
                  Yongxin Tong},
  title        = {Preface to the Special Issue on Theories and Technologies for Big
                  Data Governance},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {1},
  pages        = {1--4},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00293},
  doi          = {10.21655/IJSI.1673-7288.00293},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/DuYT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/FuLGZLW23,
  author       = {Pengtao Fu and
                  Lailong Luo and
                  Deke Guo and
                  Xiang Zhao and
                  Shangsen Li and
                  Huaimin Wang},
  title        = {Jump Filter: {A} Dynamic Sketch for Big Data Governance},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {1},
  pages        = {57--85},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00296},
  doi          = {10.21655/IJSI.1673-7288.00296},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/FuLGZLW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/GaoYLWZD23,
  author       = {Shan Gao and
                  Wanzhu Yuan and
                  Wei Lu and
                  Lan Wang and
                  Jing Zhang and
                  Xiaoyong Du},
  title        = {Construction and Optimization of Co-occurrence-attribute-interaction
                  Model for Column Semantic Recognition},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {1},
  pages        = {5--26},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00294},
  doi          = {10.21655/IJSI.1673-7288.00294},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/GaoYLWZD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/LiOY23,
  author       = {Jing Li and
                  Dantong Ouyang and
                  Yuxin Ye},
  title        = {Consequence-based Axiom Pinpointing for Expressive Description Logic
                  Ontologies},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {3},
  pages        = {359--374},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00304},
  doi          = {10.21655/IJSI.1673-7288.00304},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/LiOY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/LiWMCZWW23,
  author       = {Shuochuan Li and
                  Zan Wang and
                  Mingxu Ma and
                  Xiang Chen and
                  Yingquan Zhao and
                  Haichi Wang and
                  Haoyu Wang},
  title        = {{GC-MCR:} Directed Graph Constraint-guided Concurrent Bug Detection
                  Method},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {3},
  pages        = {269--296},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00300},
  doi          = {10.21655/IJSI.1673-7288.00300},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/LiWMCZWW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/LiZLZZH23,
  author       = {Zonglin Li and
                  Shengping Zhang and
                  Yang Liu and
                  Zhaoxin Zhang and
                  Weigang Zhang and
                  Qingming Huang},
  title        = {Text-driven Face Image Generation and Manipulation via Multi-level
                  Residual Mapper},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {2},
  pages        = {177--196},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00313},
  doi          = {10.21655/IJSI.1673-7288.00313},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/LiZLZZH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/LiuWCJ23,
  author       = {Tianyi Liu and
                  Zuxuan Wu and
                  Jingjing Chen and
                  Yugang Jiang},
  title        = {Multimodal Pre-training Method for Vision-language Understanding and
                  Generation},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {2},
  pages        = {143--155},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00315},
  doi          = {10.21655/IJSI.1673-7288.00315},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/LiuWCJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/SongNSTH23,
  author       = {Xuemeng Song and
                  Liqiang Nie and
                  Hengtao Shen and
                  Qi Tian and
                  Hua Huang},
  title        = {Preface to the Special Issue on Multimodal Learning Integrated with
                  Pre-training Techniques},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {2},
  pages        = {139--142},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00311},
  doi          = {10.21655/IJSI.1673-7288.00311},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/SongNSTH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/SongZGZG23,
  author       = {Jingkuan Song and
                  Pengpeng Zeng and
                  Jiayang Gu and
                  Jinkuan Zhu and
                  Lianli Gao},
  title        = {End-to-end Image Captioning via Visual Region Aggregation and Dual-level
                  Collaboration},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {2},
  pages        = {221--241},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00316},
  doi          = {10.21655/IJSI.1673-7288.00316},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/SongZGZG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/SunYWFLW23,
  author       = {Zelong Sun and
                  Guoxing Yang and
                  Jingyuan Wen and
                  Nanyi Fei and
                  Zhiwu Lu and
                  Jirong Wen},
  title        = {Text-to-Chinese-painting Method Based on Multi-domain {VQGAN}},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {2},
  pages        = {197--219},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00314},
  doi          = {10.21655/IJSI.1673-7288.00314},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/SunYWFLW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/TuNWGXHY23,
  author       = {Yaofeng Tu and
                  Jiahao Niu and
                  Dezheng Wang and
                  Hong Gao and
                  Jin Xu and
                  Ke Hong and
                  Fang Yang},
  title        = {BDMasker: Dynamic Data Protection System for Open Big Data Environment},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {1},
  pages        = {87--115},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00297},
  doi          = {10.21655/IJSI.1673-7288.00297},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/TuNWGXHY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/WanXC23,
  author       = {Xinyi Wan and
                  Ke Xu and
                  Qinxiang Cao},
  title        = {Coq Formalization of {ZFC} Set Theory for Teaching Scenarios},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {3},
  pages        = {323--357},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00303},
  doi          = {10.21655/IJSI.1673-7288.00303},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/WanXC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/WangSLCLL23,
  author       = {Chengji Wang and
                  Jiawei Su and
                  Zhiming Luo and
                  Donglin Cao and
                  Yaojin Lin and
                  Shaozi Li},
  title        = {Text-based Person Search via Virtual Attribute Learning},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {2},
  pages        = {157--176},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00312},
  doi          = {10.21655/IJSI.1673-7288.00312},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/WangSLCLL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/YuZL23,
  author       = {Zhongqi Yu and
                  Xiaoyu Zhang and
                  Jianwen Li},
  title        = {UC-based Approximate Incremental Reachability},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {3},
  pages        = {247--267},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00302},
  doi          = {10.21655/IJSI.1673-7288.00302},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/YuZL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/ZengCXPZ23,
  author       = {Fanlang Zeng and
                  Rui Chang and
                  Hao Xu and
                  Shaoping Pan and
                  Yongwang Zhao},
  title        = {Refinement-based Modeling and Formal Verification for Multiple Secure
                  Partitions of TrustZone},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {3},
  pages        = {297--321},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00301},
  doi          = {10.21655/IJSI.1673-7288.00301},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/ZengCXPZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/ZhangLSZXX23,
  author       = {Yuanyuan Zhang and
                  Shuyuan Li and
                  Yexuan Shi and
                  Nan Zhou and
                  Yi Xu and
                  Ke Xu},
  title        = {Secure Multi-party {\texttheta}-join Algorithms Toward Data Federation},
  journal      = {Int. J. Softw. Informatics},
  volume       = {13},
  number       = {1},
  pages        = {117--137},
  year         = {2023},
  url          = {https://doi.org/10.21655/ijsi.1673-7288.00298},
  doi          = {10.21655/IJSI.1673-7288.00298},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/ZhangLSZXX23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.