Up a level |

**15**.

## Article

Chen, Taolue and Hague, M. and Lin, A.W. and Rümmer, P. and Wu, Z.
(2019)
Decision procedures for path feasibility of string-manipulating programs with complex operations.
*Proceedings of the ACM on Programming Languages* 3
(POPL),
pp. 1-30.
ISSN 2475-1421.

Zhou, Y. and Wang, C. and Yan, X. and Chen, Taolue and Panichella, S. and Gall, H.C.
(2018)
Automatic detection and repair of directive defects of Java APIs documentation.
*IEEE Transactions on Software Engineering*
,
ISSN 0098-5589.

Wu, H. and Chen, Taolue and Han, Tingting and Chen, Y.
(2018)
Bisimulations for Fuzzy Transition Systems revisited.
*International Journal of Approximate Reasoning* 99
,
pp. 1-11.
ISSN 0888-613X.

Omar, R.R. and Han, Tingting and Al-Sumaidaee, S.A.M. and Chen, Taolue
(2018)
Deep finger texture learning for verifying people.
*IET Biometrics* 8
(1),
pp. 40-48.
ISSN 2047-4938.

Chen, Taolue and Han, Tingting and Cao, Y.
(2018)
Polynomial-time algorithms for computing distances of Fuzzy Transition Systems.
*Theoretical Computer Science* 727
,
pp. 24-36.
ISSN 0304-3975.

Chen, Taolue and Chen, Y. and Hague, M. and Lin, A.W. and Wu, Z.
(2018)
What is decidable about string constraints with the ReplaceAll function.
*Proceedings of the ACM on Programming Languages* 2
(POPL),
ISSN 2475-1421.

Zhou, Y. and Tong, Y. and Chen, Taolue and Han, J.
(2017)
Augmenting bug localization with part-of-speech and invocation.
*International Journal of Software Engineering and Knowledge Engineering* 27
(6),
pp. 925-950.
ISSN 0218-1940.

Martin, B. and Raimondi, F. and Chen, Taolue and Martin, J.
(2017)
The packing chromatic number of the infinite square lattice is between 13 and 15.
*Discrete Applied Mathematics* 225
,
pp. 136-142.
ISSN 0166-218X.

Chen, Taolue and Primiero, G. and Raimondi, F. and Rungta, N.
(2016)
A computationally grounded, weighted doxastic logic.
*Studia Logica* 104
(4),
pp. 679-703.
ISSN 0039-3215.

Su, G. and Feng, Y. and Chen, Taolue and Rosenblum, D.S.
(2016)
Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters.
*IEEE Transactions on Software Engineering* 42
(7),
pp. 623-639.
ISSN 0098-5589.

Chen, Taolue and Fokkink, W. and van Glabbeek, R.J.
(2015)
On the axiomatizability of impossible futures.
*Logical Methods in Computer Science* 11
(3),
ISSN 1860-5974.

Chen, Taolue and Diciolla, M. and Kwiatkowska, M.Z. and Mereacre, A.
(2014)
Quantitative verification of implantable cardiac pacemakers over hybrid heart models.
*Information and Computation* 236
,
pp. 87-101.
ISSN 0890-5401.

## Book Section

Chen, Taolue and Song, Fu and Wu, Zhilin
(2017)
Formal Reasoning on Infinite Data Values: An Ongoing Quest.
In:
Bowen, J.P. and Liu, Z. and Zhang, Z. (eds.)
*Engineering Trustworthy Software Systems - Second International School, {SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures.*
Lecture Notes in Computer Science 10215.
Springer, pp. 195-257.
ISBN 9783319568409.

Chen, Taolue and Kiefer, S.
(2014)
On the total variation distance of labelled Markov chains.
In:
UNSPECIFIED (ed.)
*CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).*
New York, U.S.:
ACM, 33:1-33:10.
ISBN 9781450328869.

## Conference or Workshop Item

Al-Nima, R. and Han, Tingting and Chen, Taolue (2019) Road tracking using deep reinforcement learning for self-driving car applications. In: The 11th International Conference on Computer Recognition Systems, 20-22 May 2019, Polanica-Zdroj, Poland. (In Press)