


default search action
BibTeX records: Huimin Dong
@inproceedings{DBLP:conf/icail/FlorioDR25,
author = {Cecilia Di Florio and
Huimin Dong and
Antonino Rotolo},
editor = {Juliano Maranh{\~{a}}o},
title = {Rule-based Classifier Models},
booktitle = {Proceedings of the Twentieth International Conference on Artificial
Intelligence and Law, {ICAIL} 2025, Chicago, IL, USA, June 16-20,
2025},
pages = {465--469},
publisher = {{ACM}},
year = {2025},
url = {https://doi.org/10.1145/3769126.3769243},
doi = {10.1145/3769126.3769243},
timestamp = {Tue, 03 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icail/FlorioDR25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/DongTY25,
author = {Huimin Dong and
Leendert van der Torre and
Liuwen Yu},
editor = {R{\'{e}}ka Markovich and
Luigi Di Caro and
Amon Rapp and
Claudio Schifanella},
title = {Contrary-to-Duty Rights: From Hohfeld to Agreement Revision},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2025: The Thirty-eighth
Annual Conference, Turin, Italy, 9-11 December 2025},
series = {Frontiers in Artificial Intelligence and Applications},
pages = {61--73},
publisher = {{IOS} Press},
year = {2025},
url = {https://doi.org/10.3233/FAIA251577},
doi = {10.3233/FAIA251577},
timestamp = {Tue, 07 Apr 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jurix/DongTY25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/FlorioDR25,
author = {Cecilia Di Florio and
Huimin Dong and
Antonino Rotolo},
editor = {Catalin Dima and
Angelo Ferrando and
Vadim Malvone},
title = {A Modal Logic for Temporal and Jurisdictional Classifier Models},
booktitle = {{PRIMA} 2025: Principles and Practice of Multi-Agent Systems - 26th
International Conference, Modena, Italy, December 16-19, 2025, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {251--259},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-032-13562-9\_18},
doi = {10.1007/978-3-032-13562-9\_18},
timestamp = {Tue, 03 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/FlorioDR25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2505-00474,
author = {Cecilia Di Florio and
Huimin Dong and
Antonino Rotolo},
title = {Rule-based Classifier Models},
journal = {CoRR},
volume = {abs/2505.00474},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2505.00474},
doi = {10.48550/ARXIV.2505.00474},
eprinttype = {arXiv},
eprint = {2505.00474},
timestamp = {Wed, 18 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2505-00474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2510-13691,
author = {Cecilia Di Florio and
Huimin Dong and
Antonino Rotolo},
title = {A Modal Logic for Temporal and Jurisdictional Classifier Models},
journal = {CoRR},
volume = {abs/2510.13691},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2510.13691},
doi = {10.48550/ARXIV.2510.13691},
eprinttype = {arXiv},
eprint = {2510.13691},
timestamp = {Wed, 12 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2510-13691.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/FlorioDR24,
author = {Cecilia Di Florio and
Huimin Dong and
Antonino Rotolo},
editor = {Jarom{\'{\i}}r Savelka and
Jakub Harasta and
Tereza Novotn{\'{a}} and
Jakub M{\'{\i}}sek},
title = {When Precedents Clash},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2024: The Thirty-seventh
Annual Conference, Brno, Czech Republic, 11-13 December 2024},
series = {Frontiers in Artificial Intelligence and Applications},
pages = {37--47},
publisher = {{IOS} Press},
year = {2024},
url = {https://doi.org/10.3233/FAIA241232},
doi = {10.3233/FAIA241232},
timestamp = {Thu, 30 Jan 2025 11:56:25 +0100},
biburl = {https://dblp.org/rec/conf/jurix/FlorioDR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-03418,
author = {Huimin Dong},
title = {Permissible Knowledge Pooling},
journal = {CoRR},
volume = {abs/2404.03418},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.03418},
doi = {10.48550/ARXIV.2404.03418},
eprinttype = {arXiv},
eprint = {2404.03418},
timestamp = {Mon, 13 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-03418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2410-10567,
author = {Cecilia Di Florio and
Huimin Dong and
Antonino Rotolo},
title = {When Precedents Clash},
journal = {CoRR},
volume = {abs/2410.10567},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2410.10567},
doi = {10.48550/ARXIV.2410.10567},
eprinttype = {arXiv},
eprint = {2410.10567},
timestamp = {Mon, 25 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2410-10567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/DongDLMTZ23,
author = {Huimin Dong and
Dragan Doder and
Xu Li and
R{\'{e}}ka Markovich and
Leendert van der Torre and
Marc van Zee},
editor = {Juliano Maranh{\~{a}}o and
Clayton Peterson and
Christian Stra{\ss}er and
Leendert van der Torre},
title = {Rights and Practical Reasoning in Deontic Logic},
booktitle = {Deontic Logic and Normative Systems - 16th International Conference,
{DEON} 2023, Trois-Rivi{\`{e}}res, QC, Canada, July 5-7, 2023},
pages = {1--19},
publisher = {College Publications},
year = {2023},
timestamp = {Fri, 19 Sep 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/DongDLMTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/DongLMT22,
author = {Huimin Dong and
Beishui Liao and
R{\'{e}}ka Markovich and
Leendert van der Torre},
title = {Defeasible Deontic Logic: Arguing about Permission and Obligation},
journal = {{FLAP}},
volume = {9},
number = {4},
pages = {1025--1086},
year = {2022},
url = {https://collegepublications.co.uk/ifcolog/?00056},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/DongLMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/DongR21,
author = {Huimin Dong and
Olivier Roy},
title = {Dynamic Logic of Legal Competences},
journal = {J. Log. Lang. Inf.},
volume = {30},
number = {4},
pages = {701--724},
year = {2021},
url = {https://doi.org/10.1007/s10849-021-09340-z},
doi = {10.1007/S10849-021-09340-Z},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/DongR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Dong21,
author = {Huimin Dong},
title = {Logic of defeasible permission and its dynamics},
journal = {J. Log. Comput.},
volume = {31},
number = {4},
pages = {1158--1193},
year = {2021},
url = {https://doi.org/10.1093/logcom/exab022},
doi = {10.1093/LOGCOM/EXAB022},
timestamp = {Wed, 29 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Dong21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DongPW21,
author = {Huimin Dong and
Jun Pang and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Preface of the special issue'Logic, argumentation and AI' in {JLC}},
journal = {J. Log. Comput.},
volume = {31},
number = {8},
pages = {1901--1902},
year = {2021},
url = {https://doi.org/10.1093/logcom/exab047},
doi = {10.1093/LOGCOM/EXAB047},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DongPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/ChengDYT21,
author = {Shiying Cheng and
Huimin Dong and
Yifei Yue and
Hao Tan},
editor = {Pei{-}Luen Patrick Rau},
title = {Automated Driving: Acceptance and Chances for Young People},
booktitle = {Cross-Cultural Design. Applications in Cultural Heritage, Tourism,
Autonomous Vehicles, and Intelligent Agents - 13th International Conference,
{CCD} 2021, Held as Part of the 23rd {HCI} International Conference,
{HCII} 2021, Virtual Event, July 24-29, 2021, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
pages = {182--194},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77080-8\_16},
doi = {10.1007/978-3-030-77080-8\_16},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hci/ChengDYT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DongLW21,
author = {Huimin Dong and
Xu Li and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Weighted Modal Logic in Epistemic and Deontic Contexts},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {73--87},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_6},
doi = {10.1007/978-3-030-88708-7\_6},
timestamp = {Thu, 18 Sep 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DongLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-04452,
author = {Huimin Dong and
R{\'{e}}ka Markovich and
Leendert van der Torre},
title = {Towards {AI} Logic for Social Reasoning},
journal = {CoRR},
volume = {abs/2110.04452},
year = {2021},
url = {https://arxiv.org/abs/2110.04452},
eprinttype = {arXiv},
eprint = {2110.04452},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-04452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-04454,
author = {Huimin Dong and
Olivier Roy},
title = {Dynamic Logic of Legal Competences},
journal = {CoRR},
volume = {abs/2110.04454},
year = {2021},
url = {https://arxiv.org/abs/2110.04454},
eprinttype = {arXiv},
eprint = {2110.04454},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-04454.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clar/2020,
editor = {Mehdi Dastani and
Huimin Dong and
Leon van der Torre},
title = {Logic and Argumentation - Third International Conference, {CLAR} 2020,
Hangzhou, China, April 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12061},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44638-3},
doi = {10.1007/978-3-030-44638-3},
isbn = {978-3-030-44637-6},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DongLMT19,
author = {Huimin Dong and
Beishui Liao and
R{\'{e}}ka Markovich and
Leendert W. N. van der Torre},
editor = {Patrick Blackburn and
Emiliano Lorini and
Meiyun Guo},
title = {From Classical to Non-monotonic Deontic Logic Using ASPIC\({}^{\mbox{+}}\)},
booktitle = {Logic, Rationality, and Interaction - 7th International Workshop,
{LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {71--85},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60292-8\_6},
doi = {10.1007/978-3-662-60292-8\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DongLMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/DongRW19,
author = {Huimin Dong and
R. Ramanujam and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Subset Spaces for Conditional Norms},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {289--304},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_18},
doi = {10.1007/978-3-030-33792-6\_18},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/DongRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/DongGR18,
author = {Huimin Dong and
Norbert Gratzl and
Olivier Roy},
editor = {Beishui Liao and
Thomas {\AA}gotnes and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Open Reading and Free Choice Permission: {A} Perspective in Substructural
Logics},
booktitle = {Dynamics, Uncertainty and Reasoning, The Second Chinese Conference
on Logic and Argumentation, {CLAR} 2018, Hangzhou, China, 16-17 June
2018},
pages = {81--115},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-981-13-7791-4\_5},
doi = {10.1007/978-981-13-7791-4\_5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/DongGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/DongZWXQ17,
author = {Huimin Dong and
Chu Zhang and
Delun Wang and
Shangkun Xu and
Jun Qiu},
editor = {Elhadi M. Shakshuki},
title = {Dynamic characteristics of gear box with {PGT} for wind turbine},
booktitle = {The 8th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2017) / The 7th International Conference on Sustainable
Energy Information Technology {(SEIT} 2017), 16-19 May 2017, Madeira,
Portugal},
series = {Procedia Computer Science},
pages = {801--808},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.procs.2017.05.331},
doi = {10.1016/J.PROCS.2017.05.331},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/ant/DongZWXQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/QiuLDW17,
author = {Jun Qiu and
Boxing Liu and
Huimin Dong and
Delun Wang},
editor = {Elhadi M. Shakshuki},
title = {Type Synthesis of Gear-box in Wind Turbine},
booktitle = {The 8th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2017) / The 7th International Conference on Sustainable
Energy Information Technology {(SEIT} 2017), 16-19 May 2017, Madeira,
Portugal},
series = {Procedia Computer Science},
pages = {809--816},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.procs.2017.05.333},
doi = {10.1016/J.PROCS.2017.05.333},
timestamp = {Thu, 21 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ant/QiuLDW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/WuWD17,
author = {Guanglei Wu and
Delun Wang and
Huimin Dong},
editor = {Yongan Huang and
Hao Wu and
Honghai Liu and
Zhouping Yin},
title = {Off-Line Programmed Error Compensation of an Industrial Robot in Ship
Hull Welding},
booktitle = {Intelligent Robotics and Applications - 10th International Conference,
{ICIRA} 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
pages = {135--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65292-4\_13},
doi = {10.1007/978-3-319-65292-4\_13},
timestamp = {Fri, 05 Mar 2021 11:49:33 +0100},
biburl = {https://dblp.org/rec/conf/icira/WuWD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/XuDXWW17,
author = {Changyu Xu and
Huimin Dong and
Shangkun Xu and
Yu Wu and
Chenggang Wang},
editor = {Yongan Huang and
Hao Wu and
Honghai Liu and
Zhouping Yin},
title = {Study and Experiment on Positioning Error of {SCARA} Robot Caused
by Joint Clearance},
booktitle = {Intelligent Robotics and Applications - 10th International Conference,
{ICIRA} 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
pages = {147--156},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65292-4\_14},
doi = {10.1007/978-3-319-65292-4\_14},
timestamp = {Fri, 11 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icira/XuDXWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DongR17,
author = {Huimin Dong and
Olivier Roy},
editor = {Alexandru Baltag and
Jeremy Seligman and
Tomoyuki Yamada},
title = {Dynamic Logic of Power and Immunity},
booktitle = {Logic, Rationality, and Interaction - 6th International Workshop,
{LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {123--136},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55665-8\_9},
doi = {10.1007/978-3-662-55665-8\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DongR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/AnglbergerDR14,
author = {Albert J. J. Anglberger and
Huimin Dong and
Olivier Roy},
editor = {Fabrizio Cariani and
Davide Grossi and
Joke Meheus and
Xavier Parent},
title = {Open Reading without Free Choice},
booktitle = {Deontic Logic and Normative Systems - 12th International Conference,
{DEON} 2014, Ghent, Belgium, July 12-15, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {19--32},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08615-6\_3},
doi = {10.1007/978-3-319-08615-6\_3},
timestamp = {Mon, 27 May 2024 22:16:34 +0200},
biburl = {https://dblp.org/rec/conf/deon/AnglbergerDR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DongL13,
author = {Huimin Dong and
Xiaowu Li},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {A Deontic Action Logic for Complex Actions},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {311--315},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_24},
doi = {10.1007/978-3-642-40948-6\_24},
timestamp = {Sun, 02 Jun 2019 21:21:18 +0200},
biburl = {https://dblp.org/rec/conf/lori/DongL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcp/DongZZC12,
author = {Huimin Dong and
Zhengdu Zhu and
Weidong Zhou and
Zhi Chen},
title = {Dynamic Simulation of Harmonic Gear Drives Considering Tooth Profiles
Parameters Optimization},
journal = {J. Comput.},
volume = {7},
number = {6},
pages = {1429--1436},
year = {2012},
url = {http://www.jcomputers.us/index.php?m=content\&\#38;c=index\&\#38;a=show\&\#38;catid=122\&\#38;id=2217},
doi = {10.4304/JCP.7.6.1429-1436},
timestamp = {Thu, 25 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcp/DongZZC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/LiuD08,
author = {Baoqing Liu and
Huimin Dong},
editor = {Caihua Xiong and
Honghai Liu and
Yongan Huang and
Youlun Xiong},
title = {A Method for Evaluation of Coning Error Based on Adaptive Cone},
booktitle = {Intelligent Robotics and Applications, First International Conference,
{ICIRA} 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
pages = {640--649},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88518-4\_69},
doi = {10.1007/978-3-540-88518-4\_69},
timestamp = {Fri, 05 Mar 2021 11:49:33 +0100},
biburl = {https://dblp.org/rec/conf/icira/LiuD08.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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













