BibTeX records: Weiwen Xu

download as .bib file

@article{DBLP:journals/tnn/DengZXSL24,
  author       = {Yang Deng and
                  Wenxuan Zhang and
                  Weiwen Xu and
                  Ying Shen and
                  Wai Lam},
  title        = {Nonfactoid Question Answering as Query-Focused Summarization With
                  Graph-Enhanced Multihop Inference},
  journal      = {{IEEE} Trans. Neural Networks Learn. Syst.},
  volume       = {35},
  number       = {8},
  pages        = {11231--11245},
  year         = {2024},
  url          = {https://doi.org/10.1109/TNNLS.2023.3258413},
  doi          = {10.1109/TNNLS.2023.3258413},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnn/DengZXSL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vi/ZhouLNXHLCS24,
  author       = {Zhiguang Zhou and
                  Yize Li and
                  Yuna Ni and
                  Weiwen Xu and
                  Guoting Hu and
                  Ying Lai and
                  Peixiong Chen and
                  Weihua Su},
  title        = {VisCI: {A} visualization framework for anomaly detection and interactive
                  optimization of composite index},
  journal      = {Vis. Informatics},
  volume       = {8},
  number       = {1},
  pages        = {1--12},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.visinf.2024.04.001},
  doi          = {10.1016/J.VISINF.2024.04.001},
  timestamp    = {Fri, 14 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vi/ZhouLNXHLCS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/Xu0ZL024,
  author       = {Weiwen Xu and
                  Deng Cai and
                  Zhisong Zhang and
                  Wai Lam and
                  Shuming Shi},
  editor       = {Lun{-}Wei Ku and
                  Andre Martins and
                  Vivek Srikumar},
  title        = {Reasons to Reject? Aligning Language Models with Judgments},
  booktitle    = {Findings of the Association for Computational Linguistics, {ACL} 2024,
                  Bangkok, Thailand and virtual meeting, August 11-16, 2024},
  pages        = {12288--12304},
  publisher    = {Association for Computational Linguistics},
  year         = {2024},
  url          = {https://aclanthology.org/2024.findings-acl.730},
  timestamp    = {Tue, 27 Aug 2024 17:38:11 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/Xu0ZL024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-16377,
  author       = {Deng Cai and
                  Huayang Li and
                  Tingchen Fu and
                  Siheng Li and
                  Weiwen Xu and
                  Shuaiyi Li and
                  Bowen Cao and
                  Zhisong Zhang and
                  Xinting Huang and
                  Leyang Cui and
                  Yan Wang and
                  Lemao Liu and
                  Taro Watanabe and
                  Shuming Shi},
  title        = {On the Transformations across Reward Model, Parameter Update, and
                  In-Context Prompt},
  journal      = {CoRR},
  volume       = {abs/2406.16377},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2406.16377},
  doi          = {10.48550/ARXIV.2406.16377},
  eprinttype    = {arXiv},
  eprint       = {2406.16377},
  timestamp    = {Wed, 17 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2406-16377.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-19672,
  author       = {Wenxuan Zhang and
                  Hou Pong Chan and
                  Yiran Zhao and
                  Mahani Aljunied and
                  Jianyu Wang and
                  Chaoqun Liu and
                  Yue Deng and
                  Zhiqiang Hu and
                  Weiwen Xu and
                  Yew Ken Chia and
                  Xin Li and
                  Lidong Bing},
  title        = {SeaLLMs 3: Open Foundation and Chat Multilingual Large Language Models
                  for Southeast Asian Languages},
  journal      = {CoRR},
  volume       = {abs/2407.19672},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2407.19672},
  doi          = {10.48550/ARXIV.2407.19672},
  eprinttype    = {arXiv},
  eprint       = {2407.19672},
  timestamp    = {Fri, 23 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-19672.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tois/0002ZXLCL23,
  author       = {Yang Deng and
                  Wenxuan Zhang and
                  Weiwen Xu and
                  Wenqiang Lei and
                  Tat{-}Seng Chua and
                  Wai Lam},
  title        = {A Unified Multi-task Learning Framework for Multi-goal Conversational
                  Recommender Systems},
  journal      = {{ACM} Trans. Inf. Syst.},
  volume       = {41},
  number       = {3},
  pages        = {77:1--77:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3570640},
  doi          = {10.1145/3570640},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tois/0002ZXLCL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/XuLLB23,
  author       = {Weiwen Xu and
                  Xin Li and
                  Wai Lam and
                  Lidong Bing},
  editor       = {Anna Rogers and
                  Jordan L. Boyd{-}Graber and
                  Naoaki Okazaki},
  title        = {mPMR: {A} Multilingual Pre-trained Machine Reader at Scale},
  booktitle    = {Proceedings of the 61st Annual Meeting of the Association for Computational
                  Linguistics (Volume 2: Short Papers), {ACL} 2023, Toronto, Canada,
                  July 9-14, 2023},
  pages        = {1533--1546},
  publisher    = {Association for Computational Linguistics},
  year         = {2023},
  url          = {https://doi.org/10.18653/v1/2023.acl-short.131},
  doi          = {10.18653/V1/2023.ACL-SHORT.131},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/XuLLB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/XuLDLB23,
  author       = {Weiwen Xu and
                  Xin Li and
                  Yang Deng and
                  Wai Lam and
                  Lidong Bing},
  editor       = {Anna Rogers and
                  Jordan L. Boyd{-}Graber and
                  Naoaki Okazaki},
  title        = {PeerDA: Data Augmentation via Modeling Peer Relation for Span Identification
                  Tasks},
  booktitle    = {Proceedings of the 61st Annual Meeting of the Association for Computational
                  Linguistics (Volume 1: Long Papers), {ACL} 2023, Toronto, Canada,
                  July 9-14, 2023},
  pages        = {8681--8699},
  publisher    = {Association for Computational Linguistics},
  year         = {2023},
  url          = {https://doi.org/10.18653/v1/2023.acl-long.484},
  doi          = {10.18653/V1/2023.ACL-LONG.484},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/XuLDLB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/XuLZZLSB23,
  author       = {Weiwen Xu and
                  Xin Li and
                  Wenxuan Zhang and
                  Meng Zhou and
                  Wai Lam and
                  Luo Si and
                  Lidong Bing},
  editor       = {Alice Oh and
                  Tristan Naumann and
                  Amir Globerson and
                  Kate Saenko and
                  Moritz Hardt and
                  Sergey Levine},
  title        = {From Cloze to Comprehension: Retrofitting Pre-trained Masked Language
                  Models to Pre-trained Machine Reader},
  booktitle    = {Advances in Neural Information Processing Systems 36: Annual Conference
                  on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
                  LA, USA, December 10 - 16, 2023},
  year         = {2023},
  url          = {http://papers.nips.cc/paper\_files/paper/2023/hash/d4e1c24ac41ff0b82ca1b171731f0b23-Abstract-Conference.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/XuLZZLSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-13645,
  author       = {Weiwen Xu and
                  Xin Li and
                  Wai Lam and
                  Lidong Bing},
  title        = {mPMR: {A} Multilingual Pre-trained Machine Reader at Scale},
  journal      = {CoRR},
  volume       = {abs/2305.13645},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.13645},
  doi          = {10.48550/ARXIV.2305.13645},
  eprinttype    = {arXiv},
  eprint       = {2305.13645},
  timestamp    = {Thu, 13 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-13645.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-14591,
  author       = {Weiwen Xu and
                  Deng Cai and
                  Zhisong Zhang and
                  Wai Lam and
                  Shuming Shi},
  title        = {Reasons to Reject? Aligning Language Models with Judgments},
  journal      = {CoRR},
  volume       = {abs/2312.14591},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.14591},
  doi          = {10.48550/ARXIV.2312.14591},
  eprinttype    = {arXiv},
  eprint       = {2312.14591},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-14591.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/XuDL0CL22,
  author       = {Weiwen Xu and
                  Yang Deng and
                  Wenqiang Lei and
                  Wenlong Zhao and
                  Tat{-}Seng Chua and
                  Wai Lam},
  editor       = {Yoav Goldberg and
                  Zornitsa Kozareva and
                  Yue Zhang},
  title        = {ConReader: Exploring Implicit Relations in Contracts for Contract
                  Clause Extraction},
  booktitle    = {Proceedings of the 2022 Conference on Empirical Methods in Natural
                  Language Processing, {EMNLP} 2022, Abu Dhabi, United Arab Emirates,
                  December 7-11, 2022},
  pages        = {2581--2594},
  publisher    = {Association for Computational Linguistics},
  year         = {2022},
  url          = {https://doi.org/10.18653/v1/2022.emnlp-main.166},
  doi          = {10.18653/V1/2022.EMNLP-MAIN.166},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emnlp/XuDL0CL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13636,
  author       = {Weiwen Xu and
                  Bowei Zou and
                  Wai Lam and
                  Ai Ti Aw},
  title        = {Improving Lexical Embeddings for Robust Question Answering},
  journal      = {CoRR},
  volume       = {abs/2202.13636},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.13636},
  eprinttype    = {arXiv},
  eprint       = {2202.13636},
  timestamp    = {Thu, 03 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-13636.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06923,
  author       = {Yang Deng and
                  Wenxuan Zhang and
                  Weiwen Xu and
                  Wenqiang Lei and
                  Tat{-}Seng Chua and
                  Wai Lam},
  title        = {A Unified Multi-task Learning Framework for Multi-goal Conversational
                  Recommender Systems},
  journal      = {CoRR},
  volume       = {abs/2204.06923},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.06923},
  doi          = {10.48550/ARXIV.2204.06923},
  eprinttype    = {arXiv},
  eprint       = {2204.06923},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-06923.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-08697,
  author       = {Weiwen Xu and
                  Yang Deng and
                  Wenqiang Lei and
                  Wenlong Zhao and
                  Tat{-}Seng Chua and
                  Wai Lam},
  title        = {ConReader: Exploring Implicit Relations in Contracts for Contract
                  Clause Extraction},
  journal      = {CoRR},
  volume       = {abs/2210.08697},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.08697},
  doi          = {10.48550/ARXIV.2210.08697},
  eprinttype    = {arXiv},
  eprint       = {2210.08697},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-08697.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-08855,
  author       = {Weiwen Xu and
                  Xin Li and
                  Yang Deng and
                  Lidong Bing and
                  Wai Lam},
  title        = {PeerDA: Data Augmentation via Modeling Peer Relation for Span Identification
                  Tasks},
  journal      = {CoRR},
  volume       = {abs/2210.08855},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.08855},
  doi          = {10.48550/ARXIV.2210.08855},
  eprinttype    = {arXiv},
  eprint       = {2210.08855},
  timestamp    = {Wed, 19 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-08855.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-04755,
  author       = {Weiwen Xu and
                  Xin Li and
                  Wenxuan Zhang and
                  Meng Zhou and
                  Lidong Bing and
                  Wai Lam and
                  Luo Si},
  title        = {From Clozing to Comprehending: Retrofitting Pre-trained Language Model
                  to Pre-trained Machine Reader},
  journal      = {CoRR},
  volume       = {abs/2212.04755},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.04755},
  doi          = {10.48550/ARXIV.2212.04755},
  eprinttype    = {arXiv},
  eprint       = {2212.04755},
  timestamp    = {Wed, 22 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-04755.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/XuZCL21,
  author       = {Weiwen Xu and
                  Huihui Zhang and
                  Deng Cai and
                  Wai Lam},
  editor       = {Chengqing Zong and
                  Fei Xia and
                  Wenjie Li and
                  Roberto Navigli},
  title        = {Dynamic Semantic Graph Construction and Reasoning for Explainable
                  Multi-hop Science Question Answering},
  booktitle    = {Findings of the Association for Computational Linguistics: {ACL/IJCNLP}
                  2021, Online Event, August 1-6, 2021},
  series       = {Findings of {ACL}},
  volume       = {{ACL/IJCNLP} 2021},
  pages        = {1044--1056},
  publisher    = {Association for Computational Linguistics},
  year         = {2021},
  url          = {https://doi.org/10.18653/v1/2021.findings-acl.90},
  doi          = {10.18653/V1/2021.FINDINGS-ACL.90},
  timestamp    = {Fri, 27 Aug 2021 08:39:19 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/XuZCL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/XuDZ0L21,
  author       = {Weiwen Xu and
                  Yang Deng and
                  Huihui Zhang and
                  Deng Cai and
                  Wai Lam},
  editor       = {Marie{-}Francine Moens and
                  Xuanjing Huang and
                  Lucia Specia and
                  Scott Wen{-}tau Yih},
  title        = {Exploiting Reasoning Chains for Multi-hop Science Question Answering},
  booktitle    = {Findings of the Association for Computational Linguistics: {EMNLP}
                  2021, Virtual Event / Punta Cana, Dominican Republic, 16-20 November,
                  2021},
  pages        = {1143--1156},
  publisher    = {Association for Computational Linguistics},
  year         = {2021},
  url          = {https://doi.org/10.18653/v1/2021.findings-emnlp.99},
  doi          = {10.18653/V1/2021.FINDINGS-EMNLP.99},
  timestamp    = {Fri, 16 Feb 2024 08:27:36 +0100},
  biburl       = {https://dblp.org/rec/conf/emnlp/XuDZ0L21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/XuADWJ21,
  author       = {Weiwen Xu and
                  Ai Ti Aw and
                  Yang Ding and
                  Kui Wu and
                  Shafiq R. Joty},
  editor       = {Young{-}bum Kim and
                  Yunyao Li and
                  Owen Rambow},
  title        = {Addressing the Vulnerability of {NMT} in Input Perturbations},
  booktitle    = {Proceedings of the 2021 Conference of the North American Chapter of
                  the Association for Computational Linguistics: Human Language Technologies:
                  Industry Papers, {NAACL-HLT} 2021, Online, June 6-11, 2021},
  pages        = {80--88},
  publisher    = {Association for Computational Linguistics},
  year         = {2021},
  url          = {https://doi.org/10.18653/v1/2021.naacl-industry.11},
  doi          = {10.18653/V1/2021.NAACL-INDUSTRY.11},
  timestamp    = {Wed, 15 Nov 2023 13:49:17 +0100},
  biburl       = {https://dblp.org/rec/conf/naacl/XuADWJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09810,
  author       = {Weiwen Xu and
                  Ai Ti Aw and
                  Yang Ding and
                  Kui Wu and
                  Shafiq R. Joty},
  title        = {Addressing the Vulnerability of {NMT} in Input Perturbations},
  journal      = {CoRR},
  volume       = {abs/2104.09810},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.09810},
  eprinttype    = {arXiv},
  eprint       = {2104.09810},
  timestamp    = {Mon, 21 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-09810.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-11776,
  author       = {Weiwen Xu and
                  Huihui Zhang and
                  Deng Cai and
                  Wai Lam},
  title        = {Dynamic Semantic Graph Construction and Reasoning for Explainable
                  Multi-hop Science Question Answering},
  journal      = {CoRR},
  volume       = {abs/2105.11776},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.11776},
  eprinttype    = {arXiv},
  eprint       = {2105.11776},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-11776.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-02905,
  author       = {Weiwen Xu and
                  Yang Deng and
                  Huihui Zhang and
                  Deng Cai and
                  Wai Lam},
  title        = {Exploiting Reasoning Chains for Multi-hop Science Question Answering},
  journal      = {CoRR},
  volume       = {abs/2109.02905},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.02905},
  eprinttype    = {arXiv},
  eprint       = {2109.02905},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-02905.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/LeiXAXC19,
  author       = {Wenqiang Lei and
                  Weiwen Xu and
                  Ai Ti Aw and
                  Yuanxin Xiang and
                  Tat{-}Seng Chua},
  editor       = {Kentaro Inui and
                  Jing Jiang and
                  Vincent Ng and
                  Xiaojun Wan},
  title        = {Revisit Automatic Error Detection for Wrong and Missing Translation
                  - {A} Supervised Approach},
  booktitle    = {Proceedings of the 2019 Conference on Empirical Methods in Natural
                  Language Processing and the 9th International Joint Conference on
                  Natural Language Processing, {EMNLP-IJCNLP} 2019, Hong Kong, China,
                  November 3-7, 2019},
  pages        = {942--952},
  publisher    = {Association for Computational Linguistics},
  year         = {2019},
  url          = {https://doi.org/10.18653/v1/D19-1087},
  doi          = {10.18653/V1/D19-1087},
  timestamp    = {Thu, 07 Apr 2022 09:14:07 +0200},
  biburl       = {https://dblp.org/rec/conf/emnlp/LeiXAXC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcity/LuHHXZXL15,
  author       = {Yulin Lu and
                  Xin Huang and
                  Baichuan Huang and
                  Weiwen Xu and
                  Qian Zhang and
                  Ruiyang Xu and
                  Dawei Liu},
  title        = {A Study on the Reliability of Software Defined Wireless Sensor Network},
  booktitle    = {2015 {IEEE} International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2
                  2015, Chengdu, China, December 19-21, 2015},
  pages        = {129--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SmartCity.2015.59},
  doi          = {10.1109/SMARTCITY.2015.59},
  timestamp    = {Thu, 13 Apr 2023 12:52:26 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcity/LuHHXZXL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChevallierEFX09,
  author       = {Remy Chevallier and
                  Emmanuelle Encrenaz{-}Tiph{\`{e}}ne and
                  Laurent Fribourg and
                  Weiwen Xu},
  title        = {Timed verification of the generic architecture of a memory circuit
                  using parametric timed automata},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {1},
  pages        = {59--81},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0061-x},
  doi          = {10.1007/S10703-008-0061-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChevallierEFX09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChevallierEFX06,
  author       = {Remy Chevallier and
                  Emmanuelle Encrenaz{-}Tiph{\`{e}}ne and
                  Laurent Fribourg and
                  Weiwen Xu},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Verification of the Generic Architecture of a Memory Circuit Using
                  Parametric Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {113--127},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_9},
  doi          = {10.1007/11867340\_9},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/ChevallierEFX06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JouannaudX06,
  author       = {Jean{-}Pierre Jouannaud and
                  Weiwen Xu},
  editor       = {Stuart Allen and
                  John N. Crossley and
                  Kung{-}Kiu Lau and
                  Iman Poernomo},
  title        = {Automatic Complexity Analysis for Programs Extracted from Coq Proof},
  booktitle    = {Proceedings of the Workshop on the Constructive Logic for Automated
                  Software Engineering, {CLASE} 2005, Edinburgh, UK, April 9, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {1},
  pages        = {35--53},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.08.005},
  doi          = {10.1016/J.ENTCS.2005.08.005},
  timestamp    = {Fri, 20 Jan 2023 10:31:48 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JouannaudX06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}