default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Changjing Wang
@article{DBLP:journals/staeors/ZhangYZHLWMX25,
author = {Guodong Zhang and
Gaofei Yin and
Yi Zhang and
Jiangchuan Hu and
Zongyan Li and
Changjing Wang and
Dujuan Ma and
Jiangliu Xie},
title = {An RTM-Driven Machine Learning Approach for Estimating High-Resolution
{FAPAR} From {LANDSAT} 5/7/8/9 Surface Reflectance},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {18},
pages = {10225--10240},
year = {2025},
url = {https://doi.org/10.1109/JSTARS.2024.3428481},
doi = {10.1109/JSTARS.2024.3428481},
timestamp = {Fri, 09 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/ZhangYZHLWMX25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/WangYFDLWBV25,
author = {Changjing Wang and
Gaofei Yin and
Rui Fu and
Adri{\`{a}} Descals and
Wenjuan Li and
Marie Weiss and
Fr{\'{e}}d{\'{e}}ric Baret and
Aleixandre Verger},
title = {{HARMU:} {A} Multiband Sensor Harmonization for Building Virtual Constellations.
Application to Landsat 8 and Sentinel-2},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {63},
pages = {1--12},
year = {2025},
url = {https://doi.org/10.1109/TGRS.2025.3555824},
doi = {10.1109/TGRS.2025.3555824},
timestamp = {Sun, 06 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/WangYFDLWBV25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ZuoSWYHW24,
author = {Zhengkang Zuo and
Huan Sun and
Changjing Wang and
Zhen You and
Qing Huang and
Changchang Wang},
title = {Program Derivation and Mechanized Verification of Imperative Dynamic
Programming Algorithms},
journal = {Int. J. Softw. Informatics},
volume = {14},
number = {4},
pages = {419--448},
year = {2024},
url = {https://doi.org/10.21655/ijsi.1673-7288.00340},
doi = {10.21655/IJSI.1673-7288.00340},
timestamp = {Sat, 03 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/ZuoSWYHW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/WangZZDL24,
author = {Changjing Wang and
Hongmin Zhou and
Guodong Zhang and
Jianguo Duan and
Moxiao Lin},
title = {High Spatial Resolution Leaf Area Index Estimation for Woodland in
Saihanba Forestry Center, China},
journal = {Remote. Sens.},
volume = {16},
number = {5},
pages = {764},
year = {2024},
url = {https://doi.org/10.3390/rs16050764},
doi = {10.3390/RS16050764},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/WangZZDL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/PanWXLHZ24,
author = {Shuqi Pan and
Changjing Wang and
Wuping Xie and
Jiaxing Lu and
Qing Huang and
Zhengkang Zuo},
title = {Modeling and Verification Methods for Spatio-Temporal Consistency
of {CPS} in Uncertain Environments},
journal = {{IEEE} Trans. Reliab.},
volume = {73},
number = {4},
pages = {1849--1862},
year = {2024},
url = {https://doi.org/10.1109/TR.2024.3384702},
doi = {10.1109/TR.2024.3384702},
timestamp = {Wed, 08 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/PanWXLHZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfpvv/WanYZZWH24,
author = {Zikang Wan and
Zhen You and
Chen Zhang and
Zhengkang Zuo and
Changjing Wang and
Qimin Hu},
editor = {Shaoying Liu},
title = {Functional Modelling of the Matroid and Application to the Knapsack
Problem},
booktitle = {Software Fault Prevention, Verification, and Validation - First International
Symposium, {SFPVV} 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15393},
pages = {280--291},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-96-1621-3\_18},
doi = {10.1007/978-981-96-1621-3\_18},
timestamp = {Fri, 21 Mar 2025 17:23:17 +0100},
biburl = {https://dblp.org/rec/conf/sfpvv/WanYZZWH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ZuoZSHKLWL23,
author = {Zhengkang Zuo and
Zhicheng Zeng and
Wei Su and
Qing Huang and
Yuhan Ke and
Zengxin Liu and
Changjing Wang and
Wei Liang},
title = {Specification transformation method for functional program generation
based on partition-recursion refinement rule},
journal = {Inf. Sci.},
volume = {633},
pages = {613--632},
year = {2023},
url = {https://doi.org/10.1016/j.ins.2023.03.055},
doi = {10.1016/J.INS.2023.03.055},
timestamp = {Tue, 04 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/ZuoZSHKLWL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/WangJWHZ23,
author = {Changjing Wang and
Huiwen Jiang and
Yuxin Wang and
Qing Huang and
Zhengkang Zuo},
title = {Research on smart contract vulnerability detection method based on
domain features of solidity contracts and attention mechanism},
journal = {J. Intell. Fuzzy Syst.},
volume = {45},
number = {1},
pages = {1513--1525},
year = {2023},
url = {https://doi.org/10.3233/JIFS-224489},
doi = {10.3233/JIFS-224489},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/WangJWHZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/YuYWCXLY23,
author = {Huinan Yu and
Yajie Yang and
Changjing Wang and
Rui Chen and
Qiaoyun Xie and
Guoxiang Liu and
Gaofei Yin},
title = {Extracting Deciduous Forests Spring Phenology From Sentinel-1 Cross
Ratio Index},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {16},
pages = {2841--2850},
year = {2023},
url = {https://doi.org/10.1109/JSTARS.2023.3247833},
doi = {10.1109/JSTARS.2023.3247833},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/staeors/YuYWCXLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/HuangLXZWX23,
author = {Qing Huang and
Dianshu Liao and
Zhenchang Xing and
Zhengkang Zuo and
Changjing Wang and
Xin Xia},
title = {Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart
Contract Code Reuse},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {6},
pages = {147:1--147:37},
year = {2023},
url = {https://doi.org/10.1145/3597206},
doi = {10.1145/3597206},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/HuangLXZWX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/HuangYXZWX23,
author = {Qing Huang and
Zhiqiang Yuan and
Zhenchang Xing and
Zhengkang Zuo and
Changjing Wang and
Xin Xia},
title = {1+1{\textgreater}2: Programming Know-What and Know-How Knowledge Fusion,
Semantic Enrichment and Coherent Application},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {16},
number = {3},
pages = {1540--1554},
year = {2023},
url = {https://doi.org/10.1109/TSC.2022.3207273},
doi = {10.1109/TSC.2022.3207273},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/HuangYXZWX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HuangZLXW023,
author = {Qing Huang and
Jiahui Zhu and
Zhilong Li and
Zhenchang Xing and
Changjing Wang and
Xiwei Xu},
title = {PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of
Prompts on Frozen Copilot},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering:
{ICSE} 2023 Companion Proceedings, Melbourne, Australia, May 14-20,
2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE-Companion58688.2023.00013},
doi = {10.1109/ICSE-COMPANION58688.2023.00013},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HuangZLXW023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HuangWXWCXL23,
author = {Qing Huang and
Zhenyu Wan and
Zhenchang Xing and
Changjing Wang and
Jieshan Chen and
Xiwei Xu and
Qinghua Lu},
title = {Let's Chat to Find the APIs: Connecting Human, {LLM} and Knowledge
Graph through {AI} Chain},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {471--483},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00075},
doi = {10.1109/ASE56229.2023.00075},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HuangWXWCXL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-11981,
author = {Qing Huang and
Jiahui Zhu and
Zhenchang Xing and
Huan Jin and
Changjing Wang and
Xiwei Xu},
title = {A Chain of AI-based Solutions for Resolving FQNs and Fixing Syntax
Errors in Partial Code},
journal = {CoRR},
volume = {abs/2306.11981},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.11981},
doi = {10.48550/ARXIV.2306.11981},
eprinttype = {arXiv},
eprint = {2306.11981},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-11981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-16134,
author = {Qing Huang and
Zhenyu Wan and
Zhenchang Xing and
Changjing Wang and
Jieshan Chen and
Xiwei Xu and
Qinghua Lu},
title = {Let's Chat to Find the APIs: Connecting Human, {LLM} and Knowledge
Graph through {AI} Chain},
journal = {CoRR},
volume = {abs/2309.16134},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.16134},
doi = {10.48550/ARXIV.2309.16134},
eprinttype = {arXiv},
eprint = {2309.16134},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-16134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/FuCWCGWXLY22,
author = {Rui Fu and
Rui Chen and
Changjing Wang and
Xiao Chen and
Hongfan Gu and
Cong Wang and
Baodong Xu and
Guoxiang Liu and
Gaofei Yin},
title = {Generating High-Resolution and Long-Term {SPEI} Dataset over Southwest
China through Downscaling {EEAD} Product by Machine Learning},
journal = {Remote. Sens.},
volume = {14},
number = {7},
pages = {1662},
year = {2022},
url = {https://doi.org/10.3390/rs14071662},
doi = {10.3390/RS14071662},
timestamp = {Sun, 17 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/FuCWCGWXLY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/XieWMCXXZY22,
author = {Jiangliu Xie and
Changjing Wang and
Dujuan Ma and
Rui Chen and
Qiaoyun Xie and
Baodong Xu and
Wei Zhao and
Gaofei Yin},
title = {Generating Spatiotemporally Continuous Grassland Aboveground Biomass
on the Tibetan Plateau Through {PROSAIL} Model Inversion on Google
Earth Engine},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {60},
pages = {1--10},
year = {2022},
url = {https://doi.org/10.1109/tgrs.2022.3227565},
doi = {10.1109/TGRS.2022.3227565},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tgrs/XieWMCXXZY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05560,
author = {Qing Huang and
Zhiqiang Yuan and
Zhenchang Xing and
Zhengkang Zuo and
Changjing Wang and
Xin Xia},
title = {1+1{\textgreater}2: Programming Know-What and Know-How Knowledge Fusion,
Semantic Enrichment and Coherent Application},
journal = {CoRR},
volume = {abs/2207.05560},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.05560},
doi = {10.48550/ARXIV.2207.05560},
eprinttype = {arXiv},
eprint = {2207.05560},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/CaiWHZL21,
author = {Fuqi Cai and
Changjing Wang and
Qing Huang and
Zhengkang Zuo and
Yunyan Liao},
title = {Search for Compatible Source Code},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {31},
number = {3},
pages = {477--502},
year = {2021},
url = {https://doi.org/10.1142/S0218194021500169},
doi = {10.1142/S0218194021500169},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijseke/CaiWHZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZhouWZXWW20,
author = {Hongmin Zhou and
Changjing Wang and
Guodong Zhang and
Huazhu Xue and
Jindi Wang and
Huawei Wan},
title = {Generating a Spatio-Temporal Complete 30 m Leaf Area Index from Field
and Remote Sensing Data},
journal = {Remote. Sens.},
volume = {12},
number = {15},
pages = {2394},
year = {2020},
url = {https://doi.org/10.3390/rs12152394},
doi = {10.3390/RS12152394},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ZhouWZXWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/ZhangZWXWW20,
author = {Guodong Zhang and
Hongmin Zhou and
Changjing Wang and
Huazhu Xue and
Jindi Wang and
Huawei Wan},
title = {Forecasting Time Series Albedo Using NARnet Based on {EEMD} Decomposition},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {58},
number = {5},
pages = {3544--3557},
year = {2020},
url = {https://doi.org/10.1109/TGRS.2019.2958048},
doi = {10.1109/TGRS.2019.2958048},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/ZhangZWXWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/WangXLHZ20,
author = {Changjing Wang and
Fan Xu and
Haimei Luo and
Qing Huang and
Zhengkang Zuo},
title = {Development Method of Three Kinds of Typical Tree Structure Algorithms
and Isabelle-based Machine Assisted Verification},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2020, Macau, China, December 11-14, 2020},
pages = {254--264},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS51102.2020.00043},
doi = {10.1109/QRS51102.2020.00043},
timestamp = {Mon, 08 Feb 2021 12:13:14 +0100},
biburl = {https://dblp.org/rec/conf/qrs/WangXLHZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ZuoFHLWW20,
author = {Zhengkang Zuo and
Yue Fang and
Qing Huang and
Yunyan Liao and
Yuan Wang and
Changjing Wang},
title = {Non-recursive Algorithm Derivation and Formal Proof of Binary Tree
Traversal Class Problems},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {670--671},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00113},
doi = {10.1109/QRS-C51114.2020.00113},
timestamp = {Tue, 26 Jan 2021 17:41:14 +0100},
biburl = {https://dblp.org/rec/conf/qrs/ZuoFHLWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZhangZWXWW19,
author = {Guodong Zhang and
Hongmin Zhou and
Changjing Wang and
Huazhu Xue and
Jindi Wang and
Huawei Wan},
title = {Time Series High-Resolution Land Surface Albedo Estimation Based on
the Ensemble Kalman Filter Algorithm},
journal = {Remote. Sens.},
volume = {11},
number = {7},
pages = {753},
year = {2019},
url = {https://doi.org/10.3390/rs11070753},
doi = {10.3390/RS11070753},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/ZhangZWXWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZuoLWYH19,
author = {Zhengkang Zuo and
Zhihao Liu and
Changjing Wang and
Zhen You and
Qimin Hu},
editor = {Jun Pang and
Jing Sun},
title = {Apla Generic Constraint Matching Detection and Verification},
booktitle = {24th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2019, Guangzhou, China, November 10-13, 2019},
pages = {210--219},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICECCS.2019.00030},
doi = {10.1109/ICECCS.2019.00030},
timestamp = {Fri, 01 Nov 2019 11:53:05 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZuoLWYH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/WangZZXWH19,
author = {Changjing Wang and
Hongmin Zhou and
Guodong Zhang and
Huazhu Xue and
Jindi Wang and
Ni Hu},
title = {Multi Scale Lai Estimation Based On Multiresolution Tree Model},
booktitle = {2019 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2019, Yokohama, Japan, July 28 - August 2, 2019},
pages = {6554--6557},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IGARSS.2019.8898604},
doi = {10.1109/IGARSS.2019.8898604},
timestamp = {Thu, 21 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/igarss/WangZZXWH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/ChenWZHFH18,
author = {Xiaopeng Chen and
Changjing Wang and
Taoran Zhang and
Chenghao Hua and
Shaowen Fu and
Qiang Huang},
title = {Hybrid Image Stabilization of Robotic Bionic Eyes},
booktitle = {{IEEE} International Conference on Robotics and Biomimetics, {ROBIO}
2018, Kuala Lumpur, Malaysia, December 12-15, 2018},
pages = {808--813},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ROBIO.2018.8664900},
doi = {10.1109/ROBIO.2018.8664900},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/robio/ChenWZHFH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnw/ZuoXW13,
author = {Zhengkang Zuo and
Jinyun Xue and
Changjing Wang},
title = {Constraint Verification of Generic Algorithmic Program for Solving
General Network Path Problems},
journal = {J. Networks},
volume = {8},
number = {5},
pages = {1050--1057},
year = {2013},
url = {https://doi.org/10.4304/jnw.8.5.1050-1057},
doi = {10.4304/JNW.8.5.1050-1057},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnw/ZuoXW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faw/WangX09,
author = {Changjing Wang and
Jinyun Xue},
editor = {Xiaotie Deng and
John E. Hopcroft and
Jinyun Xue},
title = {Formal Derivation of a High-Trustworthy Generic Algorithmic Program
for Solving a Class of Path Problems},
booktitle = {Frontiers in Algorithmics, Third International Workshop, {FAW} 2009,
Hefei, China, June 20-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5598},
pages = {27--39},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02270-8\_6},
doi = {10.1007/978-3-642-02270-8\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/faw/WangX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2025-08-19 01:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
