Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Zijiang Ma"
download as .bib file
@article{DBLP:journals/tosem/PanKHY24,
author = {Weifeng Pan and
Marouane Kessentini and
Ming Hua and
Zijiang Yang},
title = {{EASE:} An Effort-aware Extension of Unsupervised Key Class Identification
Approaches},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {33},
number = {4},
pages = {84:1--84:43},
year = {2024},
url = {https://doi.org/10.1145/3635714},
doi = {10.1145/3635714},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/PanKHY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fdgth/TriantafyllopoulosKBCGGKHJLMMOSRY23,
author = {Andreas Triantafyllopoulos and
Alexander Kathan and
Alice Baird and
Lukas Christ and
Alexander Gebhard and
Maurice Gerczuk and
Vincent Karas and
Tobias H{\"{u}}bner and
Xin Jing and
Shuo Liu and
Adria Mallol{-}Ragolta and
Manuel Milling and
Sandra Ottl and
Anastasia Semertzidou and
Srividya Tirunellai Rajamani and
Tianhao Yan and
Zijiang Yang and
Judith Dineley and
Shahin Amiriparian and
Katrin D. Bartl{-}Pokorny and
Anton Batliner and
Florian B. Pokorny and
Bj{\"{o}}rn W. Schuller},
title = {HEAR4Health: a blueprint for making computer audition a staple of
modern healthcare},
journal = {Frontiers Digit. Health},
volume = {5},
year = {2023},
url = {https://doi.org/10.3389/fdgth.2023.1196079},
doi = {10.3389/FDGTH.2023.1196079},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fdgth/TriantafyllopoulosKBCGGKHJLMMOSRY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10477,
author = {Andreas Triantafyllopoulos and
Alexander Kathan and
Alice Baird and
Lukas Christ and
Alexander Gebhard and
Maurice Gerczuk and
Vincent Karas and
Tobias H{\"{u}}bner and
Xin Jing and
Shuo Liu and
Adria Mallol{-}Ragolta and
Manuel Milling and
Sandra Ottl and
Anastasia Semertzidou and
Srividya Tirunellai Rajamani and
Tianhao Yan and
Zijiang Yang and
Judith Dineley and
Shahin Amiriparian and
Katrin D. Bartl{-}Pokorny and
Anton Batliner and
Florian B. Pokorny and
Bj{\"{o}}rn W. Schuller},
title = {HEAR4Health: {A} blueprint for making computer audition a staple of
modern healthcare},
journal = {CoRR},
volume = {abs/2301.10477},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.10477},
doi = {10.48550/ARXIV.2301.10477},
eprinttype = {arXiv},
eprint = {2301.10477},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-10477.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-09744,
author = {Guangxuan Song and
Dongmei Fu and
Zhongwei Qiu and
Zijiang Yang and
Jiaxin Dai and
Lingwei Ma and
Dawei Zhang},
title = {Bridging the Semantic-Numerical Gap: {A} Numerical Reasoning Method
of Cross-modal Knowledge Graph for Material Property Prediction},
journal = {CoRR},
volume = {abs/2312.09744},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.09744},
doi = {10.48550/ARXIV.2312.09744},
eprinttype = {arXiv},
eprint = {2312.09744},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-09744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spl/SongZJM22,
author = {Zijiang Song and
Baojiang Zhong and
Jiahuan Ji and
Kai{-}Kuang Ma},
title = {A Direction-Decoupled Non-Local Attention Network for Single Image
Super-Resolution},
journal = {{IEEE} Signal Process. Lett.},
volume = {29},
pages = {2218--2222},
year = {2022},
url = {https://doi.org/10.1109/LSP.2022.3217440},
doi = {10.1109/LSP.2022.3217440},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spl/SongZJM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/MaSWYYXL22,
author = {Yuandong Ma and
Shouyu Sun and
Fengjiao Wu and
Yunfan Yang and
Xin Yang and
Bin Xu and
Zijiang Luo},
title = {Additive margin cosine loss for image registration},
journal = {Vis. Comput.},
volume = {38},
number = {5},
pages = {1787--1802},
year = {2022},
url = {https://doi.org/10.1007/s00371-021-02105-6},
doi = {10.1007/S00371-021-02105-6},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vc/MaSWYYXL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/YangFDFS22,
author = {Zijiang Yang and
Jack Forrester and
Jonathan N. Davidson and
Martin P. Foster and
David A. Stone},
title = {Critical design criterion for inductorless H-bridge driven piezoelectric-transformer-based
power supplies},
booktitle = {{IECON} 2022 - 48th Annual Conference of the {IEEE} Industrial Electronics
Society, Brussels, Belgium, October 17-20, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IECON49645.2022.9968767},
doi = {10.1109/IECON49645.2022.9968767},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/YangFDFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/ZhouGCLL0M22,
author = {Yingjun Zhou and
Yin Gao and
Jiajun Chen and
Dapeng Li and
Zhuang Liu and
Yiran Wei and
Zijiang Ma},
title = {Blockchain for 5G Advanced Wireless Networks},
booktitle = {2022 International Wireless Communications and Mobile Computing, {IWCMC}
2022, Dubrovnik, Croatia, May 30 - June 3, 2022},
pages = {1306--1310},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IWCMC55113.2022.9825182},
doi = {10.1109/IWCMC55113.2022.9825182},
timestamp = {Mon, 28 Aug 2023 21:17:32 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/ZhouGCLL0M22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/QianSZKHLJDSYRL21,
author = {Kun Qian and
Maximilian Schmitt and
Huaiyuan Zheng and
Tomoya Koike and
Jing Han and
Juan Liu and
Wei Ji and
Junjun Duan and
Meishu Song and
Zijiang Yang and
Zhao Ren and
Shuo Liu and
Zixing Zhang and
Yoshiharu Yamamoto and
Bj{\"{o}}rn W. Schuller},
title = {Computer Audition for Fighting the SARS-CoV-2 Corona Crisis - Introducing
the Multitask Speech Corpus for {COVID-19}},
journal = {{IEEE} Internet Things J.},
volume = {8},
number = {21},
pages = {16035--16046},
year = {2021},
url = {https://doi.org/10.1109/JIOT.2021.3067605},
doi = {10.1109/JIOT.2021.3067605},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/QianSZKHLJDSYRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcc/BaiBYZC21,
author = {Yuwen Bai and
Bayaer Buren and
Zijiang Yang and
Boyi Zhou and
Maodu Chen},
title = {Feshbach resonances in {D} + HD(v = 1, j = 0) reaction at low collision
energies},
journal = {J. Comput. Chem.},
volume = {42},
number = {32},
pages = {2334--2340},
year = {2021},
url = {https://doi.org/10.1002/jcc.26763},
doi = {10.1002/JCC.26763},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcc/BaiBYZC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vrih/SongMPYLRZS21,
author = {Meishu Song and
Adria Mallol{-}Ragolta and
Emilia Parada{-}Cabaleiro and
Zijiang Yang and
Shuo Liu and
Zhao Ren and
Ziping Zhao and
Bj{\"{o}}rn W. Schuller},
title = {Frustration recognition from speech during game interaction using
wide residual networks},
journal = {Virtual Real. Intell. Hardw.},
volume = {3},
number = {1},
pages = {76--86},
year = {2021},
url = {https://doi.org/10.1016/j.vrih.2020.10.004},
doi = {10.1016/J.VRIH.2020.10.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vrih/SongMPYLRZS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/SongPLMBYS21,
author = {Meishu Song and
Emilia Parada{-}Cabaleiro and
Shuo Liu and
Manuel Milling and
Alice Baird and
Zijiang Yang and
Bj{\"{o}}rn W. Schuller},
editor = {Margherita Antona and
Constantine Stephanidis},
title = {Supervised Contrastive Learning for Game-Play Frustration Detection
from Speech},
booktitle = {Universal Access in Human-Computer Interaction. Design Methods and
User Experience - 15th International Conference, {UAHCI} 2021, Held
as Part of the 23rd {HCI} International Conference, {HCII} 2021, Virtual
Event, July 24-29, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12768},
pages = {617--629},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78092-0\_43},
doi = {10.1007/978-3-030-78092-0\_43},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/SongPLMBYS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oms/AtaeiCYP20,
author = {Masoud Ataei and
Shengyuan Chen and
Zijiang Yang and
M. Reza Peyghami},
title = {Time-homogeneous top-K ranking using tensor decompositions},
journal = {Optim. Methods Softw.},
volume = {35},
number = {6},
pages = {1119--1143},
year = {2020},
url = {https://doi.org/10.1080/10556788.2019.1584623},
doi = {10.1080/10556788.2019.1584623},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oms/AtaeiCYP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/TaoXHLMYL19,
author = {Zeyi Tao and
Qi Xia and
Zijiang Hao and
Cheng Li and
Lele Ma and
Shanhe Yi and
Qun Li},
title = {A Survey of Virtual Machine Management in Edge Computing},
journal = {Proc. {IEEE}},
volume = {107},
number = {8},
pages = {1482--1499},
year = {2019},
url = {https://doi.org/10.1109/JPROC.2019.2927919},
doi = {10.1109/JPROC.2019.2927919},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/TaoXHLMYL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/PeyghamiYCYA18,
author = {M. Reza Peyghami and
Kevin Yang and
Shengyuan Chen and
Zijiang Yang and
Masoud Ataei},
editor = {Ebrahim Bagheri and
Jackie Chi Kit Cheung},
title = {Accelerated Gradient and Block-Wise Gradient Methods for Big Data
Factorization},
booktitle = {Advances in Artificial Intelligence - 31st Canadian Conference on
Artificial Intelligence, Canadian {AI} 2018, Toronto, ON, Canada,
May 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10832},
pages = {231--238},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89656-4\_20},
doi = {10.1007/978-3-319-89656-4\_20},
timestamp = {Thu, 28 Sep 2023 12:27:18 +0200},
biburl = {https://dblp.org/rec/conf/ai/PeyghamiYCYA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2018,
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3},
doi = {10.1007/978-3-319-99933-3},
isbn = {978-3-319-99932-6},
timestamp = {Fri, 04 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-04706,
author = {Mehdi Mohammadi and
Ala I. Al{-}Fuqaha and
Zijiang James Yang},
title = {A High-Level Rule-based Language for Software Defined Network Programming
based on OpenFlow},
journal = {CoRR},
volume = {abs/1712.04706},
year = {2017},
url = {http://arxiv.org/abs/1712.04706},
eprinttype = {arXiv},
eprint = {1712.04706},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-04706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/LiuTYYJMX16,
author = {Jin Liu and
Yiqiuzi Tian and
Xiao Yu and
Zijiang Yang and
Xiangyang Jia and
Chuanxiang Ma and
Zheng Xu},
title = {A Multi-Source Approach for Bug Triage},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {26},
number = {9-10},
pages = {1593--1604},
year = {2016},
url = {https://doi.org/10.1142/S0218194016710030},
doi = {10.1142/S0218194016710030},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/LiuTYYJMX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoKWYG15,
author = {Shengjian Guo and
Markus Kusano and
Chao Wang and
Zijiang Yang and
Aarti Gupta},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Assertion guided symbolic execution of multithreaded programs},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {854--865},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786841},
doi = {10.1145/2786805.2786841},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GuoKWYG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/MaDWLQY13,
author = {Hongyi Ma and
Steve Diersen and
Liqiang Wang and
Chunhua Liao and
Daniel J. Quinlan and
Zijiang Yang},
title = {Symbolic Analysis of Concurrency Errors in OpenMP Programs},
booktitle = {42nd International Conference on Parallel Processing, {ICPP} 2013,
Lyon, France, October 1-4, 2013},
pages = {510--516},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICPP.2013.63},
doi = {10.1109/ICPP.2013.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/MaDWLQY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/LeeSNY11,
author = {Dongyoon Lee and
Mahmoud Said and
Satish Narayanasamy and
Zijiang Yang},
title = {Offline symbolic analysis to infer Total Store Order},
booktitle = {17th International Conference on High-Performance Computer Architecture
{(HPCA-17} 2011), February 12-16 2011, San Antonio, Texas, {USA}},
pages = {357--358},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HPCA.2011.5749743},
doi = {10.1109/HPCA.2011.5749743},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpca/LeeSNY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SaidWYS11,
author = {Mahmoud Said and
Chao Wang and
Zijiang Yang and
Karem A. Sakallah},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Generating Data Race Witnesses by an SMT-Based Analysis},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {313--327},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_23},
doi = {10.1007/978-3-642-20398-5\_23},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/SaidWYS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alcosp/KanaeNYW10,
author = {Shunshoku Kanae and
Masanori Nakamichi and
Zi{-}Jiang Yang and
Kiyoshi Wada},
editor = {Erdal Kayacan},
title = {A new respiratory model considering hysteresis for artificial respiration},
booktitle = {10th {IFAC} International Workshop on the Adaptation and Learning
in Control and Signal Processing, {ALCOSP} 2010, Istanbul, Turkey,
August 26-28, 2010},
pages = {49--53},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100826-3-TR-4015.00012},
doi = {10.3182/20100826-3-TR-4015.00012},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alcosp/KanaeNYW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/XiaYH09,
author = {Yonghui Xia and
Zijiang Yang and
Maoan Han},
title = {Lag Synchronization of Unknown Chaotic Delayed Yang-Yang-Type Fuzzy
Neural Networks With Noise Perturbation Based on Adaptive Control
and Parameter Identification},
journal = {{IEEE} Trans. Neural Networks},
volume = {20},
number = {7},
pages = {1165--1180},
year = {2009},
url = {https://doi.org/10.1109/TNN.2009.2016842},
doi = {10.1109/TNN.2009.2016842},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnn/XiaYH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fskd/GuangMYY09,
author = {Xiao{-}ping Guang and
Changxi Ma and
Zi{-}Jiang Yang and
You{-}hai Yang},
editor = {Yixin Chen and
Hepu Deng and
Degan Zhang and
Yingyuan Xiao},
title = {Study on the Planning Method of Rail Transit in Valley-City},
booktitle = {Sixth International Conference on Fuzzy Systems and Knowledge Discovery,
{FSKD} 2009, Tianjin, China, 14-16 August 2009, 6 Volumes},
pages = {589--592},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/FSKD.2009.59},
doi = {10.1109/FSKD.2009.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fskd/GuangMYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/LeeSNYP09,
author = {Dongyoon Lee and
Mahmoud Said and
Satish Narayanasamy and
Zijiang Yang and
Cristiano Pereira},
editor = {David H. Albonesi and
Margaret Martonosi and
David I. August and
Jos{\'{e}} F. Mart{\'{\i}}nez},
title = {Offline symbolic analysis for multi-processor execution replay},
booktitle = {42st Annual {IEEE/ACM} International Symposium on Microarchitecture
{(MICRO-42} 2009), December 12-16, 2009, New York, New York, {USA}},
pages = {564--575},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1669112.1669182},
doi = {10.1145/1669112.1669182},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micro/LeeSNYP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZaksYSICGGA08,
author = {Aleksandr Zaks and
Zijiang Yang and
Ilya Shlyakhter and
Franjo Ivancic and
Srihari Cadambi and
Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
title = {Bitwidth Reduction via Symbolic Interval Analysis for Software Model
Checking},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {8},
pages = {1513--1517},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.925777},
doi = {10.1109/TCAD.2008.925777},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZaksYSICGGA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IvancicYGGA08,
author = {Franjo Ivancic and
Zijiang Yang and
Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
title = {Efficient SAT-based bounded model checking for software verification},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {256--274},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.013},
doi = {10.1016/J.TCS.2008.03.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/IvancicYGGA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/MunizPRY06,
author = {Manuel Mu{\~{n}}iz and
Joseph C. Paradi and
John Ruggiero and
Zijiang Yang},
title = {Evaluating alternative {DEA} models used to control for non-discretionary
inputs},
journal = {Comput. Oper. Res.},
volume = {33},
pages = {1173--1183},
year = {2006},
url = {https://doi.org/10.1016/j.cor.2004.09.007},
doi = {10.1016/J.COR.2004.09.007},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cor/MunizPRY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GanaiGYA06,
author = {Malay K. Ganai and
Aarti Gupta and
Zijiang Yang and
Pranav Ashar},
title = {Efficient distributed {SAT} and SAT-based distributed Bounded Model
Checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {4-5},
pages = {387--396},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0203-z},
doi = {10.1007/S10009-005-0203-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GanaiGYA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isnn/MaedaKYW06,
author = {Kouji Maeda and
Shunshoku Kanae and
Zi{-}Jiang Yang and
Kiyoshi Wada},
editor = {Jun Wang and
Zhang Yi and
Jacek M. Zurada and
Bao{-}Liang Lu and
Hujun Yin},
title = {Design of {RBF} Network Based on Fuzzy Clustering Method for Modeling
of Respiratory System},
booktitle = {Advances in Neural Networks - {ISNN} 2006, Third International Symposium
on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3973},
pages = {746--753},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11760191\_110},
doi = {10.1007/11760191\_110},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/isnn/MaedaKYW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IvancicYGGSA05,
author = {Franjo Ivancic and
Zijiang Yang and
Malay K. Ganai and
Aarti Gupta and
Ilya Shlyakhter and
Pranav Ashar},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {F-Soft: Software Verification Platform},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {301--306},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_31},
doi = {10.1007/11513988\_31},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/IvancicYGGSA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/IvanicicSGG05,
author = {Franjo Ivancic and
Ilya Shlyakhter and
Aarti Gupta and
Malay K. Ganai and
Vineet Kahlon and
Chao Wang and
Zijiang Yang},
title = {Model Checking {C} Programs Using {F-SOFT}},
booktitle = {23rd International Conference on Computer Design {(ICCD} 2005), 2-5
October 2005, San Jose, CA, {USA}},
pages = {297--308},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICCD.2005.77},
doi = {10.1109/ICCD.2005.77},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccd/IvanicicSGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sip/YaoIKYW05,
author = {Hong Yao and
Masato Ikenoue and
Shunshoku Kanae and
Zi{-}Jiang Yang and
Kiyoshi Wada},
editor = {Michael W. Marcellin},
title = {IQML-like algorithm and inverse iteration algorithm in dynamic system
identification},
booktitle = {Signal and Image Processing {(SIP} 2005), Proceedings of the {IASTED}
International Conference, August 15-17, 2005, Honolulu, HI, {USA}},
pages = {204--209},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Thu, 25 Jan 2007 14:58:46 +0100},
biburl = {https://dblp.org/rec/conf/sip/YaoIKYW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AsharGGIY04,
author = {Pranav Ashar and
Malay K. Ganai and
Aarti Gupta and
Franjo Ivancic and
Zijiang Yang},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Efficient SAT-based Bounded Model Checking for Software Verification},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {157--164},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AsharGGIY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuptaGWYA03,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang and
Zijiang Yang and
Pranav Ashar},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Abstraction and BDDs Complement SAT-Based {BMC} in DiVer},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {206--209},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_20},
doi = {10.1007/978-3-540-45069-6\_20},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuptaGWYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GanaiGYA03,
author = {Malay K. Ganai and
Aarti Gupta and
Zijiang Yang and
Pranav Ashar},
editor = {Daniel Geist and
Enrico Tronci},
title = {Efficient Distributed {SAT} and SAT-Based Distributed Bounded Model
Checking},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {334--347},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_30},
doi = {10.1007/978-3-540-39724-3\_30},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GanaiGYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaGWYA03,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang and
Zijiang Yang and
Pranav Ashar},
title = {Learning from BDDs in SAT-based bounded model checking},
booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
Anaheim, CA, USA, June 2-6, 2003},
pages = {824--829},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775832.776040},
doi = {10.1145/775832.776040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GuptaGWYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GuptaGYA03,
author = {Aarti Gupta and
Malay K. Ganai and
Zijiang Yang and
Pranav Ashar},
title = {Iterative Abstraction using SAT-based {BMC} with Proof Analysis},
booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
San Jose, CA, USA, November 9-13, 2003},
pages = {416--423},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2003},
url = {https://doi.org/10.1109/ICCAD.2003.1257811},
doi = {10.1109/ICCAD.2003.1257811},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GuptaGYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/MaBAZ03,
author = {Jianwen Ma and
Hasi Bagan and
Buhe Aosier and
Zijiang Zhou},
title = {The classification of {AVHRR} thermal infrared data and ground weather
temperature data by using neural network},
booktitle = {2003 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2003, Toulouse, France, July 21-15, 2003},
pages = {3495--3497},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/IGARSS.2003.1294832},
doi = {10.1109/IGARSS.2003.1294832},
timestamp = {Fri, 07 May 2021 10:04:02 +0200},
biburl = {https://dblp.org/rec/conf/igarss/MaBAZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GuptaYAZM01,
author = {Aarti Gupta and
Zijiang Yang and
Pranav Ashar and
Lintao Zhang and
Sharad Malik},
editor = {Rolf Ernst},
title = {Partition-Based Decision Heuristics for Image Computation Using {SAT}
and BDDs},
booktitle = {Proceedings of the 2001 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2001, San Jose, CA, USA, November 4-8, 2001},
pages = {286--292},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICCAD.2001.968635},
doi = {10.1109/ICCAD.2001.968635},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GuptaYAZM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-25 07:13 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
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:
