Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Zhe Dang
@article{DBLP:journals/tmc/WangLGZDS21,
author = {Xiujun Wang and
Zhi Liu and
Yan Gao and
Xiao Zheng and
Zhe Dang and
Xiaojun Shen},
title = {A Near-Optimal Protocol for the Grouping Problem in {RFID} Systems},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {20},
number = {4},
pages = {1257--1272},
year = {2021},
url = {https://doi.org/10.1109/TMC.2019.2962125},
doi = {10.1109/TMC.2019.2962125},
timestamp = {Fri, 28 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/WangLGZDS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msn/WangLID020,
author = {Xiujun Wang and
Zhi Liu and
Susumu Ishihara and
Zhe Dang and
Jie Li},
title = {A Near-optimal Protocol for the Subset Selection Problem in {RFID}
Systems},
booktitle = {16th International Conference on Mobility, Sensing and Networking,
{MSN} 2020, Tokyo, Japan, December 17-19, 2020},
pages = {33--42},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MSN50589.2020.00022},
doi = {10.1109/MSN50589.2020.00022},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msn/WangLID020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/IbarraDL18,
author = {Oscar H. Ibarra and
Zhe Dang and
Qin Li},
title = {Accepting runs in a two-way finite automaton},
journal = {Inf. Comput.},
volume = {260},
pages = {1--8},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.03.002},
doi = {10.1016/J.IC.2018.03.002},
timestamp = {Mon, 04 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/IbarraDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/IbarraCDF17,
author = {Oscar H. Ibarra and
Cewei Cui and
Zhe Dang and
Thomas R. Fischer},
title = {Lossiness of communication channels modeled by transducers},
journal = {Comput.},
volume = {6},
number = {2},
pages = {165--181},
year = {2017},
url = {https://doi.org/10.3233/COM-150050},
doi = {10.3233/COM-150050},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/IbarraCDF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CuiDFI17,
author = {Cewei Cui and
Zhe Dang and
Thomas R. Fischer and
Oscar H. Ibarra},
title = {Information rate of some classes of non-regular languages: An automata-theoretic
approach},
journal = {Inf. Comput.},
volume = {256},
pages = {45--61},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.04.008},
doi = {10.1016/J.IC.2017.04.008},
timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CuiDFI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08963,
author = {Cewei Cui and
Zhe Dang},
title = {Random Words in a (Weighted) Regular Language: a Free Energy Approach},
journal = {CoRR},
volume = {abs/1711.08963},
year = {2017},
url = {http://arxiv.org/abs/1711.08963},
eprinttype = {arXiv},
eprint = {1711.08963},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CuiDFI16,
author = {Cewei Cui and
Zhe Dang and
Thomas R. Fischer and
Oscar H. Ibarra},
title = {Execution information rate for some classes of automata},
journal = {Inf. Comput.},
volume = {246},
pages = {20--29},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2015.11.006},
doi = {10.1016/J.IC.2015.11.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CuiDFI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangFHIL16,
author = {Zhe Dang and
Thomas R. Fischer and
William J. Hutton III and
Oscar H. Ibarra and
Qin Li},
title = {Quantifying communication in synchronized languages},
journal = {Theor. Comput. Sci.},
volume = {654},
pages = {33--44},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.01.042},
doi = {10.1016/J.TCS.2016.01.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DangFHIL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sisap/CuiD16,
author = {Cewei Cui and
Zhe Dang},
editor = {Laurent Amsaleg and
Michael E. Houle and
Erich Schubert},
title = {A Free Energy Foundation of Semantic Similarity in Automata and Languages},
booktitle = {Similarity Search and Applications - 9th International Conference,
{SISAP} 2016, Tokyo, Japan, October 24-26, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9939},
pages = {34--47},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46759-7\_3},
doi = {10.1007/978-3-319-46759-7\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/sisap/CuiD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CuiD16,
author = {Cewei Cui and
Zhe Dang},
title = {Canonical Number and NutCracker: Heuristic Algorithms for the Graph
Isomorphism Problem using Free Energy},
journal = {CoRR},
volume = {abs/1605.07220},
year = {2016},
url = {http://arxiv.org/abs/1605.07220},
eprinttype = {arXiv},
eprint = {1605.07220},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CuiD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CuiD16a,
author = {Cewei Cui and
Zhe Dang},
title = {A Free Energy Foundation of Semantic Similarity in Automata and Languages},
journal = {CoRR},
volume = {abs/1605.07224},
year = {2016},
url = {http://arxiv.org/abs/1605.07224},
eprinttype = {arXiv},
eprint = {1605.07224},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CuiD16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiD15,
author = {Qin Li and
Zhe Dang},
title = {Sampling automata and programs},
journal = {Theor. Comput. Sci.},
volume = {577},
pages = {125--140},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.012},
doi = {10.1016/J.TCS.2015.03.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/DangFHIL15,
author = {Zhe Dang and
Thomas R. Fischer and
William J. Hutton III and
Oscar H. Ibarra and
Qin Li},
editor = {Dachuan Xu and
Donglei Du and
Ding{-}Zhu Du},
title = {Quantifying Communication in Synchronized Languages},
booktitle = {Computing and Combinatorics - 21st International Conference, {COCOON}
2015, Beijing, China, August 4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9198},
pages = {635--647},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21398-9\_50},
doi = {10.1007/978-3-319-21398-9\_50},
timestamp = {Sun, 25 Oct 2020 22:58:52 +0100},
biburl = {https://dblp.org/rec/conf/cocoon/DangFHIL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/WangJDZZ15,
author = {Xiujun Wang and
Yusheng Ji and
Zhe Dang and
Xiao Zheng and
Baohua Zhao},
editor = {Matthias Renz and
Cyrus Shahabi and
Xiaofang Zhou and
Muhammad Aamir Cheema},
title = {Improved Weighted Bloom Filter and Space Lower Bound Analysis of Algorithms
for Approximated Membership Querying},
booktitle = {Database Systems for Advanced Applications - 20th International Conference,
{DASFAA} 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9050},
pages = {346--362},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18123-3\_21},
doi = {10.1007/978-3-319-18123-3\_21},
timestamp = {Sat, 08 Feb 2020 13:08:43 +0100},
biburl = {https://dblp.org/rec/conf/dasfaa/WangJDZZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangD15,
author = {Eric Shing{-}Suan Wang and
Zhe Dang},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {A Message-Passing Architecture without Public Ids Using Send-to-Behavior},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {902--905},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.79},
doi = {10.1109/ASE.2015.79},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WangD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/DangDFH15,
author = {Zhe Dang and
Dmitry Dementyev and
Thomas R. Fischer and
William J. Hutton III},
editor = {Frank Drewes},
title = {Security of Numerical Sensors in Automata},
booktitle = {Implementation and Application of Automata - 20th International Conference,
{CIAA} 2015, Ume{\aa}, Sweden, August 18-21, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9223},
pages = {76--88},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22360-5\_7},
doi = {10.1007/978-3-319-22360-5\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/DangDFH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WangCDFY14,
author = {Eric Wang and
Cewei Cui and
Zhe Dang and
Thomas R. Fischer and
Linmin Yang},
title = {Zero-Knowledge Blackbox Testing: where are the Faults?},
journal = {Int. J. Found. Comput. Sci.},
volume = {25},
number = {2},
pages = {195--218},
year = {2014},
url = {https://doi.org/10.1142/S0129054114500105},
doi = {10.1142/S0129054114500105},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/WangCDFY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbd/WangZDWZ14,
author = {Xiujun Wang and
Xiao Zheng and
Zhe Dang and
Xuangou Wu and
Baohua Zhao},
title = {Near-Optimal Approximate Duplicate-Detection in Data Streams Over
Sliding Windows for the Uniform Query Frequency or Membership Likelihood},
booktitle = {Second International Conference on Advanced Cloud and Big Data, {CBD}
2014, Huangshan, China, November 20-22, 2014},
pages = {122--127},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CBD.2014.54},
doi = {10.1109/CBD.2014.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbd/WangZDWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/IbarraCDF14,
author = {Oscar H. Ibarra and
Cewei Cui and
Zhe Dang and
Thomas R. Fischer},
editor = {Arnold Beckmann and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Klaus Meer},
title = {Lossiness of Communication Channels Modeled by Transducers},
booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8493},
pages = {224--233},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08019-2\_23},
doi = {10.1007/978-3-319-08019-2\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/IbarraCDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CuiDFI14,
author = {Cewei Cui and
Zhe Dang and
Thomas R. Fischer and
Oscar H. Ibarra},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Information Rate of Some Classes of Non-regular Languages: An Automata-Theoretic
Approach - (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {232--243},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_20},
doi = {10.1007/978-3-662-44522-8\_20},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CuiDFI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CuiDFI13,
author = {Cewei Cui and
Zhe Dang and
Thomas R. Fischer and
Oscar H. Ibarra},
title = {Similarity in languages and programs},
journal = {Theor. Comput. Sci.},
volume = {498},
pages = {58--75},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.05.040},
doi = {10.1016/J.TCS.2013.05.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CuiDFI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CuiDFI13,
author = {Cewei Cui and
Zhe Dang and
Thomas R. Fischer and
Oscar H. Ibarra},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Execution Information Rate for Some Classes of Automata},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {226--237},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_21},
doi = {10.1007/978-3-642-37064-9\_21},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/CuiDFI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CuiDF13,
author = {Cewei Cui and
Zhe Dang and
Thomas R. Fischer},
title = {Bit Rate of Programs},
journal = {CoRR},
volume = {abs/1308.4774},
year = {2013},
url = {http://arxiv.org/abs/1308.4774},
eprinttype = {arXiv},
eprint = {1308.4774},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CuiDF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/YangDF11,
author = {Linmin Yang and
Zhe Dang and
Thomas R. Fischer},
title = {Information gain of black-box testing},
journal = {Formal Aspects Comput.},
volume = {23},
number = {4},
pages = {513--539},
year = {2011},
url = {https://doi.org/10.1007/s00165-011-0175-6},
doi = {10.1007/S00165-011-0175-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/YangDF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CuiDF11,
author = {Cewei Cui and
Zhe Dang and
Thomas R. Fischer},
title = {Typical Paths of a Graph},
journal = {Fundam. Informaticae},
volume = {110},
number = {1-4},
pages = {95--109},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-530},
doi = {10.3233/FI-2011-530},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CuiDF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/YangDI10,
author = {Linmin Yang and
Zhe Dang and
Oscar H. Ibarra},
title = {Bond computing systems: a biologically inspired and high-level dynamics
model for pervasive computing},
journal = {Nat. Comput.},
volume = {9},
number = {2},
pages = {347--364},
year = {2010},
url = {https://doi.org/10.1007/s11047-009-9134-z},
doi = {10.1007/S11047-009-9134-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/YangDI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/YangWD10,
author = {Linmin Yang and
Yong Wang and
Zhe Dang},
title = {Automata and processes on multisets of communicating objects},
journal = {Nat. Comput.},
volume = {9},
number = {4},
pages = {865--887},
year = {2010},
url = {https://doi.org/10.1007/s11047-010-9206-0},
doi = {10.1007/S11047-010-9206-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/YangWD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YangDFKT10,
author = {Linmin Yang and
Zhe Dang and
Thomas R. Fischer and
Min Sik Kim and
Li Tan},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Entropy and software systems: towards an information-theoretic foundation
of software testing},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {427--432},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882449},
doi = {10.1145/1882362.1882449},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/YangDFKT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangDF09,
author = {Linmin Yang and
Zhe Dang and
Thomas R. Fischer},
editor = {Hamid R. Arabnia and
George A. Gravvanis},
title = {Optimal Software Testing - {A} Cooling Down Process},
booktitle = {Proceedings of the 2009 International Conference on Foundations of
Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
{USA}},
pages = {162--168},
publisher = {{CSREA} Press},
year = {2009},
timestamp = {Wed, 08 Dec 2010 08:03:53 +0100},
biburl = {https://dblp.org/rec/conf/fcs/YangDF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/IbarraDY08,
author = {Oscar H. Ibarra and
Zhe Dang and
Linmin Yang},
title = {On Counter Machines, Reachability Problems, and Diophantine Equations},
journal = {Int. J. Found. Comput. Sci.},
volume = {19},
number = {4},
pages = {919--934},
year = {2008},
url = {https://doi.org/10.1142/S0129054108006042},
doi = {10.1142/S0129054108006042},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/IbarraDY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/YangDI08,
author = {Linmin Yang and
Zhe Dang and
Oscar H. Ibarra},
title = {On Stateless Automata and {P} Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {19},
number = {5},
pages = {1259--1276},
year = {2008},
url = {https://doi.org/10.1142/S0129054108006261},
doi = {10.1142/S0129054108006261},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/YangDI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/YangWD08,
author = {Linmin Yang and
Yong Wang and
Zhe Dang},
editor = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
Rudolf Freund and
Marion Oswald and
Grzegorz Rozenberg},
title = {Automata on Multisets of Communicating Objects},
booktitle = {Unconventional Computing, 7th International Conference, {UC} 2008,
Vienna, Austria, August 25-28, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5204},
pages = {242--257},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85194-3\_20},
doi = {10.1007/978-3-540-85194-3\_20},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/YangWD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/YangDI07,
author = {Linmin Yang and
Zhe Dang and
Oscar H. Ibarra},
editor = {Selim G. Akl and
Cristian S. Calude and
Michael J. Dinneen and
Grzegorz Rozenberg and
Todd Wareham},
title = {Bond Computing Systems: {A} Biologically Inspired and High-Level Dynamics
Model for Pervasive Computing},
booktitle = {Unconventional Computation, 6th International Conference, {UC} 2007,
Kingston, Canada, August 13-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4618},
pages = {226--241},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73554-0\_21},
doi = {10.1007/978-3-540-73554-0\_21},
timestamp = {Sun, 02 Jun 2019 21:16:17 +0200},
biburl = {https://dblp.org/rec/conf/uc/YangDI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/IbarraWYD06,
author = {Oscar H. Ibarra and
Sara Woodworth and
Hsu{-}Chun Yen and
Zhe Dang},
title = {On the Computational Power of 1-Deterministic and Sequential {P} Systems},
journal = {Fundam. Informaticae},
volume = {73},
number = {1-2},
pages = {133--152},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-1-2-13},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/IbarraWYD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/DangILX06,
author = {Zhe Dang and
Oscar H. Ibarra and
Cheng Li and
Gaoyan Xie},
title = {On the Decidability of Model-Checking for {P} Systems},
journal = {J. Autom. Lang. Comb.},
volume = {11},
number = {3},
pages = {279--298},
year = {2006},
url = {https://doi.org/10.25596/jalc-2006-279},
doi = {10.25596/JALC-2006-279},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/DangILX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraD06,
author = {Oscar H. Ibarra and
Zhe Dang},
title = {On the solvability of a class of diophantine equations and applications},
journal = {Theor. Comput. Sci.},
volume = {352},
number = {1-3},
pages = {342--346},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.12.001},
doi = {10.1016/J.TCS.2005.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/ZhangDD06,
author = {Shuohao Zhang and
Curtis E. Dyreson and
Zhe Dang},
editor = {Mong{-}Li Lee and
Kian{-}Lee Tan and
Vilas Wuwongse},
title = {Compacting {XML} Data},
booktitle = {Database Systems for Advanced Applications, 11th International Conference,
{DASFAA} 2006, Singapore, April 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3882},
pages = {767--776},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11733836\_54},
doi = {10.1007/11733836\_54},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/dasfaa/ZhangDD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/LiD06,
author = {Cheng Li and
Zhe Dang},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Decompositional Algorithms for Safety Verification and Testing of
Aspect-Oriented Systems},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {100--114},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_7},
doi = {10.1007/11940197\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/LiD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2006,
editor = {Oscar H. Ibarra and
Zhe Dang},
title = {Developments in Language Theory, 10th International Conference, {DLT}
2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4036},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11779148},
doi = {10.1007/11779148},
isbn = {3-540-35428-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/IbarraYD05,
author = {Oscar H. Ibarra and
Hsu{-}Chun Yen and
Zhe Dang},
title = {On various notions of parallelism in {P} Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {16},
number = {4},
pages = {683--705},
year = {2005},
url = {https://doi.org/10.1142/S0129054105003236},
doi = {10.1142/S0129054105003236},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/IbarraYD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DangI05,
author = {Zhe Dang and
Oscar H. Ibarra},
title = {On one-membrane {P} systems operating in sequential mode},
journal = {Int. J. Found. Comput. Sci.},
volume = {16},
number = {5},
pages = {867--881},
year = {2005},
url = {https://doi.org/10.1142/S0129054105003340},
doi = {10.1142/S0129054105003340},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DangI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangIS05,
author = {Zhe Dang and
Oscar H. Ibarra and
Zhi{-}Wei Sun},
title = {On two-way nondeterministic finite automata with one reversal-bounded
counter},
journal = {Theor. Comput. Sci.},
volume = {330},
number = {1},
pages = {59--79},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.010},
doi = {10.1016/J.TCS.2004.09.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DangIS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangIS05a,
author = {Zhe Dang and
Oscar H. Ibarra and
Jianwen Su},
title = {On composition and lookahead delegation of \emph{e}-services modeled
by automata\({}^{\mbox{, }}\)},
journal = {Theor. Comput. Sci.},
volume = {341},
number = {1-3},
pages = {344--363},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.009},
doi = {10.1016/J.TCS.2005.06.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DangIS05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/IbarraWYD05,
author = {Oscar H. Ibarra and
Sara Woodworth and
Hsu{-}Chun Yen and
Zhe Dang},
editor = {Lusheng Wang},
title = {On Sequential and 1-Deterministic {P} Systems},
booktitle = {Computing and Combinatorics, 11th Annual International Conference,
{COCOON} 2005, Kunming, China, August 16-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3595},
pages = {905--914},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11533719\_91},
doi = {10.1007/11533719\_91},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/IbarraWYD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/XieD05,
author = {Gaoyan Xie and
Zhe Dang},
editor = {Wolfgang Grieskamp and
Carsten Weise},
title = {Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and
Decompositional Approach},
booktitle = {Formal Approaches to Software Testing, 5th International Workshop,
{FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3997},
pages = {170--186},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11759744\_12},
doi = {10.1007/11759744\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/XieD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LiDIY05,
author = {Cheng Li and
Zhe Dang and
Oscar H. Ibarra and
Hsu{-}Chun Yen},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Signaling {P} Systems and Verification Problems},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1462--1473},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_118},
doi = {10.1007/11523468\_118},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LiDIY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/IbarraWYD05,
author = {Oscar H. Ibarra and
Sara Woodworth and
Hsu{-}Chun Yen and
Zhe Dang},
editor = {Rudolf Freund and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {On Symport/Antiport {P} Systems and Semilinear Sets},
booktitle = {Membrane Computing, 6th International Workshop, {WMC} 2005, Vienna,
Austria, July 18-21, 2005, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3850},
pages = {253--271},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603047\_18},
doi = {10.1007/11603047\_18},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/IbarraWYD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/DangILX05,
author = {Zhe Dang and
Oscar H. Ibarra and
Cheng Li and
Gaoyan Xie},
editor = {Cristian Calude and
Michael J. Dinneen and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg},
title = {On Model-Checking of {P} Systems},
booktitle = {Unconventional Computation, 4th International Conference, {UC} 2005,
Sevilla, Spain, October 3-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3699},
pages = {82--93},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560319\_9},
doi = {10.1007/11560319\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/DangILX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0502040,
author = {Gaoyan Xie and
Zhe Dang},
title = {Testing Systems of Concurrent Black-boxes - an Automata-Theoretic
and Decompositional Approach},
journal = {CoRR},
volume = {abs/cs/0502040},
year = {2005},
url = {http://arxiv.org/abs/cs/0502040},
eprinttype = {arXiv},
eprint = {cs/0502040},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0502040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraD04,
author = {Oscar H. Ibarra and
Zhe Dang},
title = {On two-way {FA} with monotonic counters and quadratic Diophantine
equations},
journal = {Theor. Comput. Sci.},
volume = {312},
number = {2-3},
pages = {359--378},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.027},
doi = {10.1016/J.TCS.2003.10.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraDE04,
author = {Oscar H. Ibarra and
Zhe Dang and
{\"{O}}mer Egecioglu},
title = {Catalytic {P} systems, semilinear sets, and vector addition systems},
journal = {Theor. Comput. Sci.},
volume = {312},
number = {2-3},
pages = {379--399},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.028},
doi = {10.1016/J.TCS.2003.10.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraDE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangBIK04,
author = {Zhe Dang and
Tevfik Bultan and
Oscar H. Ibarra and
Richard A. Kemmerer},
title = {Past pushdown timed automata and safety verification},
journal = {Theor. Comput. Sci.},
volume = {313},
number = {1},
pages = {57--71},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.004},
doi = {10.1016/J.TCS.2003.10.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DangBIK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XieLD04,
author = {Gaoyan Xie and
Cheng Li and
Zhe Dang},
title = {Linear reachability problems and minimal solutions to linear Diophantine
equation systems},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {203--219},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.015},
doi = {10.1016/J.TCS.2004.07.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/XieLD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/DangI04,
author = {Zhe Dang and
Oscar H. Ibarra},
editor = {Lucian Ilie and
Detlef Wotschke},
title = {On {P} Systems Operating in Sequential Mode},
booktitle = {6th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2004, London, Ontario, Canada, July 26 - 28, 2004. Pre-proceedings},
volume = {Report No. 619},
pages = {164--177},
publisher = {Department of Computer Science, The University of Western Ontario,
Canada},
year = {2004},
timestamp = {Fri, 21 Oct 2011 15:16:32 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/DangI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/IbarraYD04,
author = {Oscar H. Ibarra and
Hsu{-}Chun Yen and
Zhe Dang},
editor = {Cristian Calude and
Elena Calude and
Michael J. Dinneen},
title = {The Power of Maximal Parallelism in {P} Systems},
booktitle = {Developments in Language Theory, 8th International Conference, {DLT}
2004, Auckland, New Zealand, December 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3340},
pages = {212--224},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30550-7\_18},
doi = {10.1007/978-3-540-30550-7\_18},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/IbarraYD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/XieD04,
author = {Gaoyan Xie and
Zhe Dang},
editor = {Jens Grabowski and
Brian Nielsen},
title = {An Automata-Theoretic Approach for Model-Checking Systems with Unspecified
Components},
booktitle = {Formal Approaches to Software Testing, 4th International Workshop,
{FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3395},
pages = {155--169},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31848-4\_11},
doi = {10.1007/978-3-540-31848-4\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/XieD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DangIPX04,
author = {Zhe Dang and
Oscar H. Ibarra and
Pierluigi {San Pietro} and
Gaoyan Xie},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Real-Counter Automata and Their Decision Problems},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {198--210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_17},
doi = {10.1007/978-3-540-30538-5\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DangIPX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/DangIS04,
author = {Zhe Dang and
Oscar H. Ibarra and
Jianwen Su},
editor = {Rudolf Fleischer and
Gerhard Trippen},
title = {Composability of Infinite-State Activity Automata},
booktitle = {Algorithms and Computation, 15th International Symposium, {ISAAC}
2004, Hong Kong, China, December 20-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3341},
pages = {377--388},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30551-4\_34},
doi = {10.1007/978-3-540-30551-4\_34},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/DangIS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/XieLD04,
author = {Gaoyan Xie and
Cheng Li and
Zhe Dang},
editor = {Michael Domaratzki and
Alexander Okhotin and
Kai Salomaa and
Sheng Yu},
title = {Testability of Oracle Automata},
booktitle = {Implementation and Application of Automata, 9th International Conference,
{CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3317},
pages = {331--332},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30500-2\_40},
doi = {10.1007/978-3-540-30500-2\_40},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/wia/XieLD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0404037,
author = {Gaoyan Xie and
Zhe Dang},
title = {Model-checking Driven Black-box Testing Algorithms for Systems with
Unspecified Components},
journal = {CoRR},
volume = {cs.SE/0404037},
year = {2004},
url = {http://arxiv.org/abs/cs/0404037},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0404037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraDP03,
author = {Oscar H. Ibarra and
Zhe Dang and
Pierluigi {San Pietro}},
title = {Verification in loosely synchronous queue-connected discrete timed
automata},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {3},
pages = {1713--1735},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00076-2},
doi = {10.1016/S0304-3975(02)00076-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraDP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangIK03,
author = {Zhe Dang and
Oscar H. Ibarra and
Richard A. Kemmerer},
title = {Generalized discrete timed automata: decidable approximations for
safety verificatio},
journal = {Theor. Comput. Sci.},
volume = {296},
number = {1},
pages = {59--74},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00432-2},
doi = {10.1016/S0304-3975(02)00432-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DangIK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangPK03,
author = {Zhe Dang and
Pierluigi {San Pietro} and
Richard A. Kemmerer},
title = {Presburger liveness verification of discrete timed automata},
journal = {Theor. Comput. Sci.},
volume = {299},
number = {1-3},
pages = {413--438},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00485-1},
doi = {10.1016/S0304-3975(02)00485-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DangPK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraD03,
author = {Oscar H. Ibarra and
Zhe Dang},
title = {Eliminating the storage tape in reachability constructions},
journal = {Theor. Comput. Sci.},
volume = {299},
number = {1-3},
pages = {687--706},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00545-5},
doi = {10.1016/S0304-3975(02)00545-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dang03,
author = {Zhe Dang},
title = {Pushdown timed automata: a binary reachability characterization and
safety verification},
journal = {Theor. Comput. Sci.},
volume = {302},
number = {1-3},
pages = {93--121},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00743-0},
doi = {10.1016/S0304-3975(02)00743-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dang03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/XieDIP03,
author = {Gaoyan Xie and
Zhe Dang and
Oscar H. Ibarra and
Pierluigi {San Pietro}},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Dense Counter Machines and Verification Problems},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {93--105},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_8},
doi = {10.1007/978-3-540-45069-6\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/XieDIP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/PietroD03,
author = {Pierluigi {San Pietro} and
Zhe Dang},
editor = {Tandy J. Warnow and
Binhai Zhu},
title = {Automatic Verification of Multi-queue Discrete Timed Automata},
booktitle = {Computing and Combinatorics, 9th Annual International Conference,
{COCOON} 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2697},
pages = {159--171},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45071-8\_18},
doi = {10.1007/3-540-45071-8\_18},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/PietroD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/XieDI03,
author = {Gaoyan Xie and
Zhe Dang and
Oscar H. Ibarra},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {A Solvable Class of Quadratic Diophantine Equations with Applications
to Verification of Infinite-State Systems},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {668--680},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_53},
doi = {10.1007/3-540-45061-0\_53},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/XieDI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IbarraDES03,
author = {Oscar H. Ibarra and
Zhe Dang and
{\"{O}}mer Egecioglu and
Gaurav Saxena},
editor = {Branislav Rovan and
Peter Vojt{\'{a}}s},
title = {Characterizations of Catalytic Membrane Computing Systems},
booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2747},
pages = {480--489},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45138-9\_42},
doi = {10.1007/978-3-540-45138-9\_42},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/IbarraDES03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/XieLD03,
author = {Gaoyan Xie and
Cheng Li and
Zhe Dang},
editor = {Oscar H. Ibarra and
Zhe Dang},
title = {New Complexity Results for Some Linear Counting Problems Using Minimal
Solutions to Linear Diophantine Equations},
booktitle = {Implementation and Application of Automata, 8th International Conference,
{CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2759},
pages = {163--175},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45089-0\_16},
doi = {10.1007/3-540-45089-0\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/XieLD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2003,
editor = {Oscar H. Ibarra and
Zhe Dang},
title = {Implementation and Application of Automata, 8th International Conference,
{CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2759},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45089-0},
doi = {10.1007/3-540-45089-0},
isbn = {3-540-40561-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DangI02,
author = {Zhe Dang and
Oscar H. Ibarra},
title = {The Existence of w-Chains for Transitive Mixed Linear Relations and
Its Applications},
journal = {Int. J. Found. Comput. Sci.},
volume = {13},
number = {6},
pages = {911--936},
year = {2002},
url = {https://doi.org/10.1142/S0129054102001539},
doi = {10.1142/S0129054102001539},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DangI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraSDBK02,
author = {Oscar H. Ibarra and
Jianwen Su and
Zhe Dang and
Tevfik Bultan and
Richard A. Kemmerer},
title = {Counter Machines and Verification Problems},
journal = {Theor. Comput. Sci.},
volume = {289},
number = {1},
pages = {165--189},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00268-7},
doi = {10.1016/S0304-3975(01)00268-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraSDBK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/IbarraDS02,
author = {Oscar H. Ibarra and
Zhe Dang and
Zhi{-}Wei Sun},
editor = {Masami Ito and
Masafumi Toyama},
title = {Safety Verification for Two-Way Finite Automata with Monotonic Counters},
booktitle = {Developments in Language Theory, 6th International Conference, {DLT}
2002, Kyoto, Japan, September 18-21, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2450},
pages = {326--338},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45005-X\_29},
doi = {10.1007/3-540-45005-X\_29},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/IbarraDS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/DangIS02,
author = {Zhe Dang and
Oscar H. Ibarra and
Zhi{-}Wei Sun},
editor = {Prosenjit Bose and
Pat Morin},
title = {On the Emptiness Problem for Two-Way {NFA} with One Reversal-Bounded
Counter},
booktitle = {Algorithms and Computation, 13th International Symposium, {ISAAC}
2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2518},
pages = {103--114},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36136-7\_10},
doi = {10.1007/3-540-36136-7\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/DangIS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dang01,
author = {Zhe Dang},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Binary Reachability Analysis of Pushdown Timed Automata with Dense
Clocks},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {506--518},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_48},
doi = {10.1007/3-540-44585-4\_48},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Dang01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/DangIK01,
author = {Zhe Dang and
Oscar H. Ibarra and
Richard A. Kemmerer},
editor = {Jie Wang},
title = {Decidable Approximations on Generalized and Parameterized Discrete
Timed Automata},
booktitle = {Computing and Combinatorics, 7th Annual International Conference,
{COCOON} 2001, Guilin, China, August 20-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2108},
pages = {529--539},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44679-6\_59},
doi = {10.1007/3-540-44679-6\_59},
timestamp = {Mon, 03 Aug 2020 14:08:01 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/DangIK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DangIP01,
author = {Zhe Dang and
Oscar H. Ibarra and
Pierluigi {San Pietro}},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Liveness Verification of Reversal-Bounded Multicounter Machines with
a Free Counter},
booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December 13-15,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2245},
pages = {132--143},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45294-X\_12},
doi = {10.1007/3-540-45294-X\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DangIP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/IbarraD01,
author = {Oscar H. Ibarra and
Zhe Dang},
editor = {Peter Eades and
Tadao Takaoka},
title = {On Removing the Pushdown Stack in Reachability Constructions},
booktitle = {Algorithms and Computation, 12th International Symposium, {ISAAC}
2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2223},
pages = {244--256},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45678-3\_22},
doi = {10.1007/3-540-45678-3\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/IbarraD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DangPK01,
author = {Zhe Dang and
Pierluigi {San Pietro} and
Richard A. Kemmerer},
editor = {Afonso Ferreira and
Horst Reichel},
title = {On Presburger Liveness of Discrete Timed Automata},
booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
Science, Dresden, Germany, February 15-17, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2010},
pages = {132--143},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44693-1\_12},
doi = {10.1007/3-540-44693-1\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DangPK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/DangBIK01,
author = {Zhe Dang and
Tevfik Bultan and
Oscar H. Ibarra and
Richard A. Kemmerer},
editor = {Bruce W. Watson and
Derick Wood},
title = {Past Pushdown Timed Automata},
booktitle = {Implementation and Application of Automata, 6th International Conference,
{CIAA} 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2494},
pages = {74--86},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36390-4\_7},
doi = {10.1007/3-540-36390-4\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/DangBIK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0110010,
author = {Zhe Dang},
title = {Pushdown Timed Automata: a Binary Reachability Characterization and
Safety Verification},
journal = {CoRR},
volume = {cs.LO/0110010},
year = {2001},
url = {https://arxiv.org/abs/cs/0110010},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0110010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0110063,
author = {Zhe Dang},
title = {The Existence of {\textdollar}{\textbackslash}omega{\textdollar}-Chains
for Transitive Mixed Linear Relations and Its Applications},
journal = {CoRR},
volume = {cs.LO/0110063},
year = {2001},
url = {https://arxiv.org/abs/cs/0110063},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0110063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DangIBKS00,
author = {Zhe Dang and
Oscar H. Ibarra and
Tevfik Bultan and
Richard A. Kemmerer and
Jianwen Su},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Binary Reachability Analysis of Discrete Pushdown Timed Automata},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {69--84},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_9},
doi = {10.1007/10722167\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DangIBKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DangK00,
author = {Zhe Dang and
Richard A. Kemmerer},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Three approximation techniques for {ASTRAL} symbolic model checking
of infinite state real-time systems},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {345--354},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337220},
doi = {10.1145/337180.337220},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DangK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IbarraSDBK00,
author = {Oscar H. Ibarra and
Jianwen Su and
Zhe Dang and
Tevfik Bultan and
Richard A. Kemmerer},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {Conter Machines: Decidable Properties and Applications to Verification
Problems},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {426--435},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_38},
doi = {10.1007/3-540-44612-5\_38},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/IbarraSDBK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/KolanoDK99,
author = {Paul Z. Kolano and
Zhe Dang and
Richard A. Kemmerer},
title = {The Design and Analysis of Real-Time Systems Using the {ASTRAL} Software
Development Environment},
journal = {Ann. Softw. Eng.},
volume = {7},
pages = {177--210},
year = {1999},
url = {https://doi.org/10.1023/A:1018934104631},
doi = {10.1023/A:1018934104631},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/KolanoDK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DangK99,
author = {Zhe Dang and
Richard A. Kemmerer},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Using the {ASTRAL} Model Checker to Analyze Mobile {IP}},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {132--142},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302459},
doi = {10.1145/302405.302459},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DangK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/DangK99,
author = {Zhe Dang and
Richard A. Kemmerer},
title = {A Symbolic Model Checker for Testing {ASTRAL} Real-Time Specifications},
booktitle = {6th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
pages = {174--181},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RTCSA.1999.811215},
doi = {10.1109/RTCSA.1999.811215},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/DangK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 03:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
