BibTeX records: Liang Zou

download as .bib file

@article{DBLP:journals/access/HuTZYLZ19,
  author    = {Chuan Hu and
               Xiaolin Tang and
               Liang Zou and
               Kai Yang and
               Yinong Li and
               Ling Zheng},
  title     = {Numerical and Experimental Investigations of Noise and Vibration Characteristics
               for a Dual-Motor Hybrid Electric Vehicle},
  journal   = {{IEEE} Access},
  volume    = {7},
  pages     = {77052--77062},
  year      = {2019},
  url       = {https://doi.org/10.1109/ACCESS.2019.2919113},
  doi       = {10.1109/ACCESS.2019.2919113},
  timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/access/HuTZYLZ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/ZhaoCYZW19,
  author    = {Liang Zhao and
               Zhikui Chen and
               Yi Yang and
               Liang Zou and
               Z. Jane Wang},
  title     = {{ICFS} Clustering With Multiple Representatives for Large Data},
  journal   = {{IEEE} Trans. Neural Netw. Learning Syst.},
  volume    = {30},
  number    = {3},
  pages     = {728--738},
  year      = {2019},
  url       = {https://doi.org/10.1109/TNNLS.2018.2851979},
  doi       = {10.1109/TNNLS.2018.2851979},
  timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tnn/ZhaoCYZW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/XieCZLLL19,
  author    = {Xiaofei Xie and
               Bihuan Chen and
               Liang Zou and
               Yang Liu and
               Wei Le and
               Xiaohong Li},
  title     = {Automatic Loop Summarization via Path Dependency Analysis},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {45},
  number    = {6},
  pages     = {537--557},
  year      = {2019},
  url       = {https://doi.org/10.1109/TSE.2017.2788018},
  doi       = {10.1109/TSE.2017.2788018},
  timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/XieCZLLL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/FangZLSL19,
  author    = {Xin Fang and
               Liang Zou and
               Jin Li and
               Lei Sun and
               Zhen{-}Hua Ling},
  title     = {Channel Adversarial Training for Cross-channel Text-independent Speaker
               Recognition},
  booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
               {ICASSP} 2019, Brighton, United Kingdom, May 12-17, 2019},
  pages     = {6221--6225},
  year      = {2019},
  crossref  = {DBLP:conf/icassp/2019},
  url       = {https://doi.org/10.1109/ICASSP.2019.8682327},
  doi       = {10.1109/ICASSP.2019.8682327},
  timestamp = {Sun, 30 Jun 2019 19:18:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icassp/FangZLSL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semeval/LiuLZ19,
  author    = {Ping Liu and
               Wen Li and
               Liang Zou},
  title     = {{NULI} at SemEval-2019 Task 6: Transfer Learning for Offensive Language
               Detection using Bidirectional Transformers},
  booktitle = {Proceedings of the 13th International Workshop on Semantic Evaluation,
               SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019},
  pages     = {87--91},
  year      = {2019},
  crossref  = {DBLP:conf/semeval/2019},
  url       = {https://www.aclweb.org/anthology/S19-2011/},
  timestamp = {Mon, 16 Sep 2019 17:08:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semeval/LiuLZ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09074,
  author    = {Xin Fang and
               Liang Zou and
               Jin Li and
               Lei Sun and
               Zhen{-}Hua Ling},
  title     = {Channel adversarial training for cross-channel text-independent speaker
               recognition},
  journal   = {CoRR},
  volume    = {abs/1902.09074},
  year      = {2019},
  url       = {http://arxiv.org/abs/1902.09074},
  archivePrefix = {arXiv},
  eprint    = {1902.09074},
  timestamp = {Tue, 21 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1902-09074},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08608,
  author    = {Lei Qu and
               Changfeng Wu and
               Liang Zou},
  title     = {3D Dense Separated Convolution Module for Volumetric Image Analysis},
  journal   = {CoRR},
  volume    = {abs/1905.08608},
  year      = {2019},
  url       = {http://arxiv.org/abs/1905.08608},
  archivePrefix = {arXiv},
  eprint    = {1905.08608},
  timestamp = {Wed, 29 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1905-08608},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HanZSZZS18,
  author    = {Zhiyun Han and
               Liang Zou and
               Han Song and
               Li Zhang and
               Tong Zhao and
               Youliang Sun},
  title     = {Study on Optimal Structure of Three-Loop Simplified Scaling Model
               for Dry-Type Air-Core Reactors},
  journal   = {{IEEE} Access},
  volume    = {6},
  pages     = {48259--48267},
  year      = {2018},
  url       = {https://doi.org/10.1109/ACCESS.2018.2867653},
  doi       = {10.1109/ACCESS.2018.2867653},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/access/HanZSZZS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/JinSZWJW18,
  author    = {Xiao Jin and
               Yuting Su and
               Liang Zou and
               Yongwei Wang and
               Peiguang Jing and
               Z. Jane Wang},
  title     = {Sparsity-Based Image Inpainting Detection via Canonical Correlation
               Analysis With Low-Rank Constraints},
  journal   = {{IEEE} Access},
  volume    = {6},
  pages     = {49967--49978},
  year      = {2018},
  url       = {https://doi.org/10.1109/ACCESS.2018.2866089},
  doi       = {10.1109/ACCESS.2018.2866089},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/access/JinSZWJW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/PengZH18,
  author    = {Chen Peng and
               Liang Zou and
               De{-}Shuang Huang},
  title     = {Discovery of Relationships Between Long Non-Coding RNAs and Genes
               in Human Diseases Based on Tensor Completion},
  journal   = {{IEEE} Access},
  volume    = {6},
  pages     = {59152--59162},
  year      = {2018},
  url       = {https://doi.org/10.1109/ACCESS.2018.2873013},
  doi       = {10.1109/ACCESS.2018.2873013},
  timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/access/PengZH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YuLZSWZ18,
  author    = {Zhenhua Yu and
               Ao Li and
               Liang Zou and
               Xuehong Sun and
               Minghui Wang and
               Peng Zhang},
  title     = {Integrated Modeling of GC-Content, Mappability, Tumor Impurity and
               Aneuploidy for Accurate Detection of Genomic Aberrations},
  journal   = {{IEEE} Access},
  volume    = {6},
  pages     = {64096--64106},
  year      = {2018},
  url       = {https://doi.org/10.1109/ACCESS.2018.2877253},
  doi       = {10.1109/ACCESS.2018.2877253},
  timestamp = {Wed, 26 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/access/YuLZSWZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cvi/ZhengZW18,
  author    = {Jiannan Zheng and
               Liang Zou and
               Z. Jane Wang},
  title     = {Mid-level deep Food Part mining for food image recognition},
  journal   = {{IET} Computer Vision},
  volume    = {12},
  number    = {3},
  pages     = {298--304},
  year      = {2018},
  url       = {https://doi.org/10.1049/iet-cvi.2016.0335},
  doi       = {10.1049/iet-cvi.2016.0335},
  timestamp = {Wed, 18 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iet-cvi/ZhengZW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/WangMCZR18,
  author    = {Xuesong Wang and
               Yuting Ma and
               Yuhu Cheng and
               Liang Zou and
               Joel J. P. C. Rodrigues},
  title     = {Heterogeneous domain adaptation network based on autoencoder},
  journal   = {J. Parallel Distrib. Comput.},
  volume    = {117},
  pages     = {281--291},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jpdc.2017.06.003},
  doi       = {10.1016/j.jpdc.2017.06.003},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jpdc/WangMCZR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/JinSZZJS18,
  author    = {Xiao Jin and
               Yuting Su and
               Liang Zou and
               Chengqian Zhang and
               Peiguang Jing and
               Xuemeng Song},
  title     = {Video logo removal detection based on sparse representation},
  journal   = {Multimedia Tools Appl.},
  volume    = {77},
  number    = {22},
  pages     = {29303--29322},
  year      = {2018},
  url       = {https://doi.org/10.1007/s11042-018-5959-8},
  doi       = {10.1007/s11042-018-5959-8},
  timestamp = {Sat, 13 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mta/JinSZZJS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SituZWLML18,
  author    = {Lingyun Situ and
               Liang Zou and
               Linzhang Wang and
               Yang Liu and
               Bing Mao and
               Xuandong Li},
  title     = {Detecting missing checks for identifying insufficient attack protections},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  pages     = {238--239},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018c},
  url       = {https://doi.org/10.1145/3183440.3194949},
  doi       = {10.1145/3183440.3194949},
  timestamp = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/SituZWLML18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZouCJW17,
  author    = {Liang Zou and
               Xun Chen and
               Xiangyang Ji and
               Z. Jane Wang},
  title     = {Underdetermined Joint Blind Source Separation of Multiple Datasets},
  journal   = {{IEEE} Access},
  volume    = {5},
  pages     = {7474--7487},
  year      = {2017},
  url       = {https://doi.org/10.1109/ACCESS.2017.2695497},
  doi       = {10.1109/ACCESS.2017.2695497},
  timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/access/ZouCJW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZouZMMW17,
  author    = {Liang Zou and
               Jiannan Zheng and
               Chunyan Miao and
               Martin J. McKeown and
               Z. Jane Wang},
  title     = {3D {CNN} Based Automatic Diagnosis of Attention Deficit Hyperactivity
               Disorder Using Functional and Structural {MRI}},
  journal   = {{IEEE} Access},
  volume    = {5},
  pages     = {23626--23636},
  year      = {2017},
  url       = {https://doi.org/10.1109/ACCESS.2017.2762703},
  doi       = {10.1109/ACCESS.2017.2762703},
  timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/access/ZouZMMW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/ChenLCLZM17,
  author    = {Xun Chen and
               Aiping Liu and
               Qiang Chen and
               Yu Liu and
               Liang Zou and
               Martin J. McKeown},
  title     = {Simultaneous ocular and muscle artifact removal from {EEG} data by
               exploiting diverse statistics},
  journal   = {Comp. in Bio. and Med.},
  volume    = {88},
  pages     = {1--10},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.compbiomed.2017.06.013},
  doi       = {10.1016/j.compbiomed.2017.06.013},
  timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cbm/ChenLCLZM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ServatiZWKS17,
  author    = {Amir Servati and
               Liang Zou and
               Z. Jane Wang and
               Frank Ko and
               Peyman Servati},
  title     = {Novel Flexible Wearable Sensor Materials and Signal Processing for
               Vital Sign and Human Activity Monitoring},
  journal   = {Sensors},
  volume    = {17},
  number    = {7},
  pages     = {1622},
  year      = {2017},
  url       = {https://doi.org/10.3390/s17071622},
  doi       = {10.3390/s17071622},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sensors/ServatiZWKS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ZouGWCL17,
  author    = {Liang Zou and
               Chang Ge and
               Z. Jane Wang and
               Edmond Cretu and
               Xiaoou Li},
  title     = {Novel Tactile Sensor Technology and Smart Tactile Sensing Systems:
               {A} Review},
  journal   = {Sensors},
  volume    = {17},
  number    = {11},
  pages     = {2653},
  year      = {2017},
  url       = {https://doi.org/10.3390/s17112653},
  doi       = {10.3390/s17112653},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sensors/ZouGWCL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/ZhaoLZZ17,
  author    = {Tong Zhao and
               Jiabi Liang and
               Liang Zou and
               Li Zhang},
  title     = {A New {FXLMS} Algorithm With Offline and Online Secondary-Path Modeling
               Scheme for Active Noise Control of Power Transformers},
  journal   = {{IEEE} Trans. Industrial Electronics},
  volume    = {64},
  number    = {8},
  pages     = {6432--6442},
  year      = {2017},
  url       = {https://doi.org/10.1109/TIE.2017.2682043},
  doi       = {10.1109/TIE.2017.2682043},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tie/ZhaoLZZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bea/LiZ17,
  author    = {Wen Li and
               Liang Zou},
  title     = {Classifier Stacking for Native Language Identification},
  booktitle = {Proceedings of the 12th Workshop on Innovative Use of {NLP} for Building
               Educational Applications, BEA@EMNLP 2017, Copenhagen, Denmark, September
               8, 2017},
  pages     = {390--397},
  year      = {2017},
  crossref  = {DBLP:conf/bea/2017},
  url       = {https://www.aclweb.org/anthology/W17-5044/},
  timestamp = {Fri, 13 Sep 2019 13:08:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bea/LiZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globalsip/ZouZM17,
  author    = {Liang Zou and
               Jiannan Zheng and
               Martin J. McKeown},
  title     = {Deep learning based automatic diagnoses of attention deficit hyperactive
               disorder},
  booktitle = {2017 {IEEE} Global Conference on Signal and Information Processing,
               GlobalSIP 2017, Montreal, QC, Canada, November 14-16, 2017},
  pages     = {962--966},
  year      = {2017},
  crossref  = {DBLP:conf/globalsip/2017},
  url       = {https://doi.org/10.1109/GlobalSIP.2017.8309103},
  doi       = {10.1109/GlobalSIP.2017.8309103},
  timestamp = {Tue, 13 Mar 2018 12:06:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/globalsip/ZouZM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XieCZLLL17,
  author    = {Xiaofei Xie and
               Bihuan Chen and
               Liang Zou and
               Shang{-}Wei Lin and
               Yang Liu and
               Xiaohong Li},
  title     = {Loopster: static loop termination analysis},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {84--94},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/2017},
  url       = {https://doi.org/10.1145/3106237.3106260},
  doi       = {10.1145/3106237.3106260},
  timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/XieCZLLL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/ChenHTWYZZZ17,
  author    = {Mingshuai Chen and
               Xiao Han and
               Tao Tang and
               Shuling Wang and
               Mengfei Yang and
               Naijun Zhan and
               Hengjun Zhao and
               Liang Zou},
  title     = {{MARS:} {A} Toolchain for Modelling, Analysis and Verification of
               Hybrid Systems},
  booktitle = {Provably Correct Systems},
  pages     = {39--58},
  year      = {2017},
  crossref  = {DBLP:books/sp/HBO2017},
  url       = {https://doi.org/10.1007/978-3-319-48628-4\_3},
  doi       = {10.1007/978-3-319-48628-4\_3},
  timestamp = {Wed, 14 Nov 2018 10:12:22 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/17/ChenHTWYZZZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spl/ZouCW16,
  author    = {Liang Zou and
               Xun Chen and
               Z. Jane Wang},
  title     = {Underdetermined Joint Blind Source Separation for Two Datasets Based
               on Tensor Decomposition},
  journal   = {{IEEE} Signal Process. Lett.},
  volume    = {23},
  number    = {5},
  pages     = {673--677},
  year      = {2016},
  url       = {https://doi.org/10.1109/LSP.2016.2546687},
  doi       = {10.1109/LSP.2016.2546687},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spl/ZouCW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/ZouWCJ16,
  author    = {Liang Zou and
               Z. Jane Wang and
               Xun Chen and
               Xiangyang Ji},
  title     = {Underdetermined joint blind source separation based on tensor decomposition},
  booktitle = {2016 {IEEE} Canadian Conference on Electrical and Computer Engineering,
               {CCECE} 2016, Vancouver, BC, Canada, May 15-18, 2016},
  pages     = {1--4},
  year      = {2016},
  crossref  = {DBLP:conf/ccece/2016},
  url       = {https://doi.org/10.1109/CCECE.2016.7726683},
  doi       = {10.1109/CCECE.2016.7726683},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccece/ZouWCJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jet/HuZ15,
  author    = {Audrey Hu and
               Liang Zou},
  title     = {Sequential auctions, price trends, and risk preferences},
  journal   = {J. Economic Theory},
  volume    = {158},
  pages     = {319--335},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jet.2015.05.006},
  doi       = {10.1016/j.jet.2015.05.006},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jet/HuZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ZouZWF15,
  author    = {Liang Zou and
               Naijun Zhan and
               Shuling Wang and
               Martin Fr{\"{a}}nzle},
  title     = {Formal Verification of Simulink/Stateflow Diagrams},
  booktitle = {Automated Technology for Verification and Analysis - 13th International
               Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  pages     = {464--481},
  year      = {2015},
  crossref  = {DBLP:conf/atva/2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7\_33},
  doi       = {10.1007/978-3-319-24953-7\_33},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/ZouZWF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZouFZM15,
  author    = {Liang Zou and
               Martin Fr{\"{a}}nzle and
               Naijun Zhan and
               Peter Nazier Mosaad},
  title     = {Automatic Verification of Stability and Safety for Delay Differential
               Equations},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {II}},
  pages     = {338--355},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015},
  url       = {https://doi.org/10.1007/978-3-319-21668-3\_20},
  doi       = {10.1007/978-3-319-21668-3\_20},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ZouFZM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/0009ZZZ15,
  author    = {Jiang Liu and
               Naijun Zhan and
               Hengjun Zhao and
               Liang Zou},
  title     = {Abstraction of Elementary Hybrid Systems by Variable Transformation},
  booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  pages     = {360--377},
  year      = {2015},
  crossref  = {DBLP:conf/fm/2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9\_23},
  doi       = {10.1007/978-3-319-19249-9\_23},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/0009ZZZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangZZ15,
  author    = {Shuling Wang and
               Naijun Zhan and
               Liang Zou},
  title     = {An Improved {HHL} Prover: An Interactive Theorem Prover for Hybrid
               Systems},
  booktitle = {Formal Methods and Software Engineering - 17th International Conference
               on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
               3-5, 2015, Proceedings},
  pages     = {382--399},
  year      = {2015},
  crossref  = {DBLP:conf/icfem/2015},
  url       = {https://doi.org/10.1007/978-3-319-25423-4\_25},
  doi       = {10.1007/978-3-319-25423-4\_25},
  timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/WangZZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chinasip/ZouCSSM14,
  author    = {Liang Zou and
               Xun Chen and
               Amir Servati and
               Peyman Servati and
               Martin J. McKeown},
  title     = {A heart beat rate detection framework using multiple nanofiber sensor
               signals},
  booktitle = {{IEEE} China Summit {\&} International Conference on Signal and
               Information Processing, ChinaSIP 2014, Xi'an, China, July 9-13, 2014},
  pages     = {242--246},
  year      = {2014},
  crossref  = {DBLP:conf/chinasip/2014},
  url       = {https://doi.org/10.1109/ChinaSIP.2014.6889240},
  doi       = {10.1109/ChinaSIP.2014.6889240},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/chinasip/ZouCSSM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AhmadDWZZ14,
  author    = {Ehsan Ahmad and
               Yunwei Dong and
               Shuling Wang and
               Naijun Zhan and
               Liang Zou},
  title     = {Adding Formal Meanings to {AADL} with Hybrid Annex},
  booktitle = {Formal Aspects of Component Software - 11th International Symposium,
               {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
               Papers},
  pages     = {228--247},
  year      = {2014},
  crossref  = {DBLP:conf/facs2/2014},
  url       = {https://doi.org/10.1007/978-3-319-15317-9\_15},
  doi       = {10.1007/978-3-319-15317-9\_15},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/AhmadDWZZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZhaoYZGZC14,
  author    = {Hengjun Zhao and
               Mengfei Yang and
               Naijun Zhan and
               Bin Gu and
               Liang Zou and
               Yao Chen},
  title     = {Formal Verification of a Descent Guidance Control Program of a Lunar
               Lander},
  booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  pages     = {733--748},
  year      = {2014},
  crossref  = {DBLP:conf/fm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9\_49},
  doi       = {10.1007/978-3-319-06410-9\_49},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/ZhaoYZGZC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GuZ14,
  author    = {Bin Gu and
               Liang Zou},
  title     = {A Refinement Calculus for Hybrid Systems},
  booktitle = {2014 19th International Conference on Engineering of Complex Computer
               Systems, Tianjin, China, August 4-7, 2014},
  pages     = {176--185},
  year      = {2014},
  crossref  = {DBLP:conf/iceccs/2014},
  url       = {https://doi.org/10.1109/ICECCS.2014.32},
  doi       = {10.1109/ICECCS.2014.32},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/GuZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/GutierrezHGWZ14,
  author    = {Eric Gutierrez and
               Luis Hern{\'{a}}ndez and
               Ulrich Gaier and
               Sergio Walter and
               Liang Zou},
  title     = {A digitally corrected {ADC} using a passive pulse frequency modulator},
  booktitle = {21st {IEEE} International Conference on Electronics, Circuits and
               Systems, {ICECS} 2014, Marseille, France, December 7-10, 2014},
  pages     = {654--657},
  year      = {2014},
  crossref  = {DBLP:conf/icecsys/2014},
  url       = {https://doi.org/10.1109/ICECS.2014.7050070},
  doi       = {10.1109/ICECS.2014.7050070},
  timestamp = {Wed, 20 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/GutierrezHGWZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/ZouKSMW14,
  author    = {Liang Zou and
               Udo Karthaus and
               Deepti Sukumaran and
               Nasser Mehrtash and
               Horst Wagner},
  title     = {A 6\({}^{\mbox{th}}\) order, 700-1100 MHz, 3.6 Gb/s {RF} bandpass
               {\(\Sigma\)}{\(\Delta\)} {ADC} with two-tone {SFDR} 67.2 dB in 65nm
               {CMOS}},
  booktitle = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014,
               Melbourne, Victoria, Australia, June 1-5, 2014},
  pages     = {714--717},
  year      = {2014},
  crossref  = {DBLP:conf/iscas/2014},
  url       = {https://doi.org/10.1109/ISCAS.2014.6865235},
  doi       = {10.1109/ISCAS.2014.6865235},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/ZouKSMW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0009ZZZ14,
  author    = {Jiang Liu and
               Naijun Zhan and
               Hengjun Zhao and
               Liang Zou},
  title     = {Abstraction of Elementary Hybrid Systems by Variable Transformation},
  journal   = {CoRR},
  volume    = {abs/1403.7022},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.7022},
  archivePrefix = {arXiv},
  eprint    = {1403.7022},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/0009ZZZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ZouWSLLW13,
  author    = {Liang Zou and
               Mang Wang and
               Yi Shen and
               Jie Liao and
               Ao Li and
               Minghui Wang},
  title     = {{PKIS:} computational identification of protein Kinases for experimentally
               discovered protein Phosphorylation sites},
  journal   = {{BMC} Bioinformatics},
  volume    = {14},
  pages     = {247},
  year      = {2013},
  url       = {https://doi.org/10.1186/1471-2105-14-247},
  doi       = {10.1186/1471-2105-14-247},
  timestamp = {Thu, 16 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/bmcbi/ZouWSLLW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ZouZWFQ13,
  author    = {Liang Zou and
               Naijun Zhan and
               Shuling Wang and
               Martin Fr{\"{a}}nzle and
               Shengchao Qin},
  title     = {Verifying Simulink diagrams via a Hybrid Hoare Logic Prover},
  booktitle = {Proceedings of the International Conference on Embedded Software,
               {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
  pages     = {9:1--9:10},
  year      = {2013},
  crossref  = {DBLP:conf/emsoft/2013},
  url       = {https://doi.org/10.1109/EMSOFT.2013.6658587},
  doi       = {10.1109/EMSOFT.2013.6658587},
  timestamp = {Tue, 06 Aug 2019 16:38:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/ZouZWFQ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ZouLWZTYL13,
  author    = {Liang Zou and
               Jidong Lv and
               Shuling Wang and
               Naijun Zhan and
               Tao Tang and
               Lei Yuan and
               Yu Liu},
  title     = {Verifying Chinese Train Control System under a Combined Scenario by
               Theorem Proving},
  booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
               Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
               Selected Papers},
  pages     = {262--280},
  year      = {2013},
  crossref  = {DBLP:conf/vstte/2013},
  url       = {https://doi.org/10.1007/978-3-642-54108-7\_14},
  doi       = {10.1007/978-3-642-54108-7\_14},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/ZouLWZTYL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/XuZZWL12,
  author    = {Xiaoyi Xu and
               Ya Zhang and
               Liang Zou and
               Minghui Wang and
               Ao Li},
  title     = {A gene signature for breast cancer prognosis using support vector
               machine},
  booktitle = {5th International Conference on BioMedical Engineering and Informatics,
               {BMEI} 2012, Chongqing, China, October 16-18, 2012},
  pages     = {928--931},
  year      = {2012},
  crossref  = {DBLP:conf/bmei/2012},
  url       = {https://doi.org/10.1109/BMEI.2012.6513032},
  doi       = {10.1109/BMEI.2012.6513032},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bmei/XuZZWL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/PengZWL12,
  author    = {Chen Peng and
               Liang Zou and
               Minghui Wang and
               Ao Li},
  title     = {Construction and analysis of human phosphorylation network},
  booktitle = {5th International Conference on BioMedical Engineering and Informatics,
               {BMEI} 2012, Chongqing, China, October 16-18, 2012},
  pages     = {959--962},
  year      = {2012},
  crossref  = {DBLP:conf/bmei/2012},
  url       = {https://doi.org/10.1109/BMEI.2012.6513034},
  doi       = {10.1109/BMEI.2012.6513034},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bmei/PengZWL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/FanZLW12,
  author    = {Wenwen Fan and
               Liang Zou and
               Ao Li and
               Minghui Wang},
  title     = {Prediction of protein kinase-specific phosphorylation sites using
               Random forest algorithm},
  booktitle = {5th International Conference on BioMedical Engineering and Informatics,
               {BMEI} 2012, Chongqing, China, October 16-18, 2012},
  pages     = {986--989},
  year      = {2012},
  crossref  = {DBLP:conf/bmei/2012},
  url       = {https://doi.org/10.1109/BMEI.2012.6513035},
  doi       = {10.1109/BMEI.2012.6513035},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bmei/FanZLW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/DingZKM12,
  author    = {Chongjun Ding and
               Liang Zou and
               Matthias Keller and
               Yiannos Manoli},
  title     = {Approaches to digital compensation of excess loop delay in continuous-time
               Delta-Sigma modulators using a scaled quantizer},
  booktitle = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
               2012, Seoul, Korea (South), May 20-23, 2012},
  pages     = {3001--3004},
  year      = {2012},
  crossref  = {DBLP:conf/iscas/2012},
  url       = {https://doi.org/10.1109/ISCAS.2012.6271949},
  doi       = {10.1109/ISCAS.2012.6271949},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/DingZKM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jet/HuOZ11,
  author    = {Audrey Hu and
               Theo Offerman and
               Liang Zou},
  title     = {Premium auctions and risk preferences},
  journal   = {J. Economic Theory},
  volume    = {146},
  number    = {6},
  pages     = {2420--2439},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jet.2011.10.005},
  doi       = {10.1016/j.jet.2011.10.005},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jet/HuOZ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jet/HuMZ10,
  author    = {Audrey Hu and
               Steven A. Matthews and
               Liang Zou},
  title     = {Risk aversion and optimal reserve prices in first- and second-price
               auctions},
  journal   = {J. Economic Theory},
  volume    = {145},
  number    = {3},
  pages     = {1188--1202},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.jet.2010.02.006},
  doi       = {10.1016/j.jet.2010.02.006},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jet/HuMZ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LiuLQZZZZ10,
  author    = {Jiang Liu and
               Jidong Lv and
               Zhao Quan and
               Naijun Zhan and
               Hengjun Zhao and
               Chaochen Zhou and
               Liang Zou},
  title     = {A Calculus for Hybrid {CSP}},
  booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
               Shanghai, China, November 28 - December 1, 2010. Proceedings},
  pages     = {1--15},
  year      = {2010},
  crossref  = {DBLP:conf/aplas/2010},
  url       = {https://doi.org/10.1007/978-3-642-17164-2\_1},
  doi       = {10.1007/978-3-642-17164-2\_1},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/LiuLQZZZZ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicc/LuMZMT09,
  author    = {Lei Lu and
               Lingbu Meng and
               Liang Zou and
               Hao Min and
               Zhangwen Tang},
  title     = {A sub-0.75{\textdegree}RMS-phase-error differentially-tuned fractional-N
               synthesizer with on-chip {LDO} regulator and analog-enhanced {AFC}
               technique},
  booktitle = {{IEEE} Custom Integrated Circuits Conference, {CICC} 2009, San Jose,
               California, USA, 13-16 September, 2009, Proceedings},
  pages     = {53--56},
  year      = {2009},
  crossref  = {DBLP:conf/cicc/2009},
  url       = {https://doi.org/10.1109/CICC.2009.5280924},
  doi       = {10.1109/CICC.2009.5280924},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cicc/LuMZMT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgvr/RenCSZ06,
  author    = {Aizhu Ren and
               Chi Chen and
               Jianyong Shi and
               Liang Zou},
  title     = {Application Of Virtual Reality Technology To Evacuation Simulation
               In Fire Disaster},
  booktitle = {Proceedings of the 2006 International Conference on Computer Graphics
               {\&} Virtual Reality, {CGVR} 2006, Las Vegas, Nevada, USA, June
               26-29, 2006},
  pages     = {15--21},
  year      = {2006},
  crossref  = {DBLP:conf/cgvr/2006},
  timestamp = {Fri, 01 Dec 2006 14:22:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cgvr/RenCSZ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icassp/2019,
  title     = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
               {ICASSP} 2019, Brighton, United Kingdom, May 12-17, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8671773},
  isbn      = {978-1-4799-8131-1},
  timestamp = {Sun, 30 Jun 2019 19:18:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icassp/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semeval/2019,
  editor    = {Jonathan May and
               Ekaterina Shutova and
               Aur{\'{e}}lie Herbelot and
               Xiaodan Zhu and
               Marianna Apidianaki and
               Saif M. Mohammad},
  title     = {Proceedings of the 13th International Workshop on Semantic Evaluation,
               SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019},
  publisher = {Association for Computational Linguistics},
  year      = {2019},
  url       = {https://www.aclweb.org/anthology/volumes/S19-2/},
  isbn      = {978-1-950737-06-2},
  timestamp = {Mon, 16 Sep 2019 17:08:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semeval/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018c,
  editor    = {Michel Chaudron and
               Ivica Crnkovic and
               Marsha Chechik and
               Mark Harman},
  title     = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3183440},
  isbn      = {978-1-4503-5663-3},
  timestamp = {Tue, 04 Sep 2018 11:30:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bea/2017,
  editor    = {Joel R. Tetreault and
               Jill Burstein and
               Claudia Leacock and
               Helen Yannakoudakis},
  title     = {Proceedings of the 12th Workshop on Innovative Use of {NLP} for Building
               Educational Applications, BEA@EMNLP 2017, Copenhagen, Denmark, September
               8, 2017},
  publisher = {Association for Computational Linguistics},
  year      = {2017},
  url       = {https://www.aclweb.org/anthology/volumes/W17-50/},
  isbn      = {978-1-945626-85-2},
  timestamp = {Fri, 13 Sep 2019 13:08:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bea/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/globalsip/2017,
  title     = {2017 {IEEE} Global Conference on Signal and Information Processing,
               GlobalSIP 2017, Montreal, QC, Canada, November 14-16, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8303183},
  isbn      = {978-1-5090-5990-4},
  timestamp = {Tue, 13 Mar 2018 12:06:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/globalsip/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017,
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3106237},
  isbn      = {978-1-4503-5105-8},
  timestamp = {Wed, 16 Aug 2017 07:56:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/HBO2017,
  editor    = {Michael G. Hinchey and
               Jonathan P. Bowen and
               Ernst{-}R{\"{u}}diger Olderog},
  title     = {Provably Correct Systems},
  series    = {{NASA} Monographs in Systems and Software Engineering},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-48628-4},
  doi       = {10.1007/978-3-319-48628-4},
  isbn      = {978-3-319-48627-7},
  timestamp = {Wed, 14 Nov 2018 10:12:22 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/HBO2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccece/2016,
  title     = {2016 {IEEE} Canadian Conference on Electrical and Computer Engineering,
               {CCECE} 2016, Vancouver, BC, Canada, May 15-18, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7589833},
  isbn      = {978-1-4673-8721-7},
  timestamp = {Tue, 15 Nov 2016 09:39:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccece/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2015,
  editor    = {Bernd Finkbeiner and
               Geguang Pu and
               Lijun Zhang},
  title     = {Automated Technology for Verification and Analysis - 13th International
               Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9364},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7},
  doi       = {10.1007/978-3-319-24953-7},
  isbn      = {978-3-319-24952-0},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2015,
  editor    = {Daniel Kroening and
               Corina S. Pasareanu},
  title     = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9207},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21668-3},
  doi       = {10.1007/978-3-319-21668-3},
  isbn      = {978-3-319-21667-6},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015,
  editor    = {Nikolaj Bj{\o}rner and
               Frank S. de Boer},
  title     = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9},
  doi       = {10.1007/978-3-319-19249-9},
  isbn      = {978-3-319-19248-2},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2015,
  editor    = {Michael J. Butler and
               Sylvain Conchon and
               Fatiha Za{\"{\i}}di},
  title     = {Formal Methods and Software Engineering - 17th International Conference
               on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
               3-5, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9407},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25423-4},
  doi       = {10.1007/978-3-319-25423-4},
  isbn      = {978-3-319-25422-7},
  timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chinasip/2014,
  title     = {{IEEE} China Summit {\&} International Conference on Signal and
               Information Processing, ChinaSIP 2014, Xi'an, China, July 9-13, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6879711},
  isbn      = {978-1-4799-5401-8},
  timestamp = {Fri, 25 Sep 2015 09:10:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/chinasip/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2014,
  editor    = {Ivan Lanese and
               Eric Madelaine},
  title     = {Formal Aspects of Component Software - 11th International Symposium,
               {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8997},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15317-9},
  doi       = {10.1007/978-3-319-15317-9},
  isbn      = {978-3-319-15316-2},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2014,
  editor    = {Cliff B. Jones and
               Pekka Pihlajasaari and
               Jun Sun},
  title     = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8442},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9},
  doi       = {10.1007/978-3-319-06410-9},
  isbn      = {978-3-319-06409-3},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2014,
  title     = {2014 19th International Conference on Engineering of Complex Computer
               Systems, Tianjin, China, August 4-7, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6921524},
  isbn      = {978-1-4799-5482-7},
  timestamp = {Thu, 23 Apr 2015 17:57:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icecsys/2014,
  title     = {21st {IEEE} International Conference on Electronics, Circuits and
               Systems, {ICECS} 2014, Marseille, France, December 7-10, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7041007},
  isbn      = {978-1-4799-4242-8},
  timestamp = {Wed, 04 Mar 2015 15:56:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/2014,
  title     = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014,
               Melbourne, Victoria, Australia, June 1-5, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6852006},
  isbn      = {978-1-4799-3431-7},
  timestamp = {Fri, 20 May 2016 09:19:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2013,
  editor    = {Rolf Ernst and
               Oleg Sokolsky},
  title     = {Proceedings of the International Conference on Embedded Software,
               {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6648479},
  isbn      = {978-1-4799-1443-2},
  timestamp = {Tue, 06 Aug 2019 16:38:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2013,
  editor    = {Ernie Cohen and
               Andrey Rybalchenko},
  title     = {Verified Software: Theories, Tools, Experiments - 5th International
               Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8164},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54108-7},
  doi       = {10.1007/978-3-642-54108-7},
  isbn      = {978-3-642-54107-0},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmei/2012,
  editor    = {Tianqi Zhang},
  title     = {5th International Conference on BioMedical Engineering and Informatics,
               {BMEI} 2012, Chongqing, China, October 16-18, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6507003},
  isbn      = {978-1-4673-1183-0},
  timestamp = {Fri, 17 Oct 2014 14:03:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bmei/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/2012,
  title     = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
               2012, Seoul, Korea (South), May 20-23, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6257548},
  isbn      = {978-1-4673-0218-0},
  timestamp = {Mon, 08 Oct 2012 14:49:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2010,
  editor    = {Kazunori Ueda},
  title     = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
               Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6461},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17164-2},
  doi       = {10.1007/978-3-642-17164-2},
  isbn      = {978-3-642-17163-5},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cicc/2009,
  title     = {{IEEE} Custom Integrated Circuits Conference, {CICC} 2009, San Jose,
               California, USA, 13-16 September, 2009, Proceedings},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5268172},
  isbn      = {978-1-4244-4071-9},
  timestamp = {Wed, 19 Oct 2011 14:05:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cicc/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgvr/2006,
  editor    = {Hamid R. Arabnia},
  title     = {Proceedings of the 2006 International Conference on Computer Graphics
               {\&} Virtual Reality, {CGVR} 2006, Las Vegas, Nevada, USA, June
               26-29, 2006},
  publisher = {{CSREA} Press},
  year      = {2006},
  isbn      = {1-932415-85-8},
  timestamp = {Fri, 01 Dec 2006 14:22:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cgvr/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics