Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 18 matches
- 2023
- Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao:
Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Softw. Informatics 13(3): 243-245 (2023) - Lu Chen, Yuxiang Guo, Congcong Ge, Baihua Zheng, Yunjun Gao:
Cross-source Data Error Detection Approach Based on Federated Learning. Int. J. Softw. Informatics 13(1): 27-55 (2023) - Xiaoyong Du, Xiaochun Yang, Yongxin Tong:
Preface to the Special Issue on Theories and Technologies for Big Data Governance. Int. J. Softw. Informatics 13(1): 1-4 (2023) - Pengtao Fu, Lailong Luo, Deke Guo, Xiang Zhao, Shangsen Li, Huaimin Wang:
Jump Filter: A Dynamic Sketch for Big Data Governance. Int. J. Softw. Informatics 13(1): 57-85 (2023) - Shan Gao, Wanzhu Yuan, Wei Lu, Lan Wang, Jing Zhang, Xiaoyong Du:
Construction and Optimization of Co-occurrence-attribute-interaction Model for Column Semantic Recognition. Int. J. Softw. Informatics 13(1): 5-26 (2023) - Jing Li, Dantong Ouyang, Yuxin Ye:
Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies. Int. J. Softw. Informatics 13(3): 359-374 (2023) - Shuochuan Li, Zan Wang, Mingxu Ma, Xiang Chen, Yingquan Zhao, Haichi Wang, Haoyu Wang:
GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method. Int. J. Softw. Informatics 13(3): 269-296 (2023) - Zonglin Li, Shengping Zhang, Yang Liu, Zhaoxin Zhang, Weigang Zhang, Qingming Huang:
Text-driven Face Image Generation and Manipulation via Multi-level Residual Mapper. Int. J. Softw. Informatics 13(2): 177-196 (2023) - Tianyi Liu, Zuxuan Wu, Jingjing Chen, Yugang Jiang:
Multimodal Pre-training Method for Vision-language Understanding and Generation. Int. J. Softw. Informatics 13(2): 143-155 (2023) - Xuemeng Song, Liqiang Nie, Hengtao Shen, Qi Tian, Hua Huang:
Preface to the Special Issue on Multimodal Learning Integrated with Pre-training Techniques. Int. J. Softw. Informatics 13(2): 139-142 (2023) - Jingkuan Song, Pengpeng Zeng, Jiayang Gu, Jinkuan Zhu, Lianli Gao:
End-to-end Image Captioning via Visual Region Aggregation and Dual-level Collaboration. Int. J. Softw. Informatics 13(2): 221-241 (2023) - Zelong Sun, Guoxing Yang, Jingyuan Wen, Nanyi Fei, Zhiwu Lu, Jirong Wen:
Text-to-Chinese-painting Method Based on Multi-domain VQGAN. Int. J. Softw. Informatics 13(2): 197-219 (2023) - Yaofeng Tu, Jiahao Niu, Dezheng Wang, Hong Gao, Jin Xu, Ke Hong, Fang Yang:
BDMasker: Dynamic Data Protection System for Open Big Data Environment. Int. J. Softw. Informatics 13(1): 87-115 (2023) - Xinyi Wan, Ke Xu, Qinxiang Cao:
Coq Formalization of ZFC Set Theory for Teaching Scenarios. Int. J. Softw. Informatics 13(3): 323-357 (2023) - Chengji Wang, Jiawei Su, Zhiming Luo, Donglin Cao, Yaojin Lin, Shaozi Li:
Text-based Person Search via Virtual Attribute Learning. Int. J. Softw. Informatics 13(2): 157-176 (2023) - Zhongqi Yu, Xiaoyu Zhang, Jianwen Li:
UC-based Approximate Incremental Reachability. Int. J. Softw. Informatics 13(3): 247-267 (2023) - Fanlang Zeng, Rui Chang, Hao Xu, Shaoping Pan, Yongwang Zhao:
Refinement-based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone. Int. J. Softw. Informatics 13(3): 297-321 (2023) - Yuanyuan Zhang, Shuyuan Li, Yexuan Shi, Nan Zhou, Yi Xu, Ke Xu:
Secure Multi-party θ-join Algorithms Toward Data Federation. Int. J. Softw. Informatics 13(1): 117-137 (2023)
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-06 03:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint