Tingting Han
发表
Taolue Chen,
Tingting Han,
Jian Lu,
2003,
Electron. Notes Theor. Comput. Sci..
Florian Kammüller,
Taolue Chen,
Tingting Han,
2016,
2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security).
Joost-Pieter Katoen,
Tingting Han,
Martin R. Neuhäußer,
2012,
NASA Formal Methods.
Wei Yu,
Hongxun Yao,
Xiaoshuai Sun,
2020,
Neurocomputing.
Jian Lu,
Taolue Chen,
Tingting Han,
2005,
29th Annual International Computer Software and Applications Conference (COMPSAC'05).
Wai Lok Woo,
Satnam Singh Dlay,
Jonathon A. Chambers,
2018,
IET Signal Process..
Jian Lu,
Taolue Chen,
Tingting Han,
2007,
Fourth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2007).
Jian Lu,
Taolue Chen,
Tingting Han,
2005,
WoLLIC.
Holger Giese,
Tingting Han,
Marta Z. Kwiatkowska,
2013,
QAPL.
Joost-Pieter Katoen,
Tingting Han,
Berteun Damman,
2009,
IEEE Transactions on Software Engineering.
Joost-Pieter Katoen,
Taolue Chen,
Tingting Han,
2008,
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.
Lu Feng,
Tingting Han,
Marta Z. Kwiatkowska,
2011,
ATVA.
Paola Inverardi,
Bengt Jonsson,
Marta Kwiatkowska,
2012
.
Joost-Pieter Katoen,
Taolue Chen,
Tingting Han,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Heng Li,
Tingting Han,
Xinyu Chai,
2015,
2015 International Symposium on Bioelectronics and Bioinformatics (ISBB).
Liming Li,
Heng Li,
Tingting Han,
2016,
Artificial organs.
Sabina Rossi,
Tingting Han,
Marta Z. Kwiatkowska,
2013,
MSWiM.
Jian Lu,
Taolue Chen,
Tingting Han,
2004,
The Fourth International Conference onComputer and Information Technology, 2004. CIT '04..
Yongzhi Cao,
Taolue Chen,
Tingting Han,
2017,
Theor. Comput. Sci..
Jian Lu,
Taolue Chen,
Tingting Han,
2005,
FSTTCS.
Joost-Pieter Katoen,
Taolue Chen,
Tingting Han,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Joost-Pieter Katoen,
Tingting Han,
Alexandru Mereacre,
2008,
2008 Real-Time Systems Symposium.
Tingting Han,
Tingting Han,
2009,
Ausgezeichnete Informatikdissertationen.
Lijun Zhang,
Tingting Han,
Ernst Moritz Hahn,
2011,
NASA Formal Methods.
Yixiang Chen,
Taolue Chen,
Tingting Han,
2018,
Int. J. Approx. Reason..
Tingting Han,
Jin Zuo,
Jingping Yang,
2018,
CSPS.
Lijun Zhang,
Hongyang Qu,
Taolue Chen,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Hongyang Qu,
Taolue Chen,
Tingting Han,
2013
.
Sabina Rossi,
Alvise Spanò,
Tingting Han,
2012,
2012 IFIP Wireless Days.
Jian Lu,
Taolue Chen,
Tingting Han,
2005,
Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Network.
Joost-Pieter Katoen,
Tingting Han,
Berteun Damman,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Joost-Pieter Katoen,
Tingting Han,
Alexandru Mereacre,
2008,
HSCC.
Taolue Chen,
Tingting Han,
Marta Z. Kwiatkowska,
2013,
Inf. Process. Lett..
Joost-Pieter Katoen,
Taolue Chen,
Tingting Han,
2009,
ATVA.
Jian Lu,
Taolue Chen,
Tingting Han,
2004
.
Jian Lu,
Taolue Chen,
Tingting Han,
2004,
CATS.
Joost-Pieter Katoen,
Taolue Chen,
Tingting Han,
2011,
TACAS.
Joost-Pieter Katoen,
Taolue Chen,
Tingting Han,
2011,
RP.
Qiang Liu,
Honggang Wang,
Tingting Han,
2020,
ICC 2020 - 2020 IEEE International Conference on Communications (ICC).
Lijun Zhang,
Gerard J. M. Smit,
Lucia Cloth,
2007,
Quantitative Aspects of Embedded Systems.
Taolue Chen,
Tingting Han,
Nengkun Yu,
2015,
Inf. Process. Lett..
Jian Lu,
Taolue Chen,
Tingting Han,
2006,
Acta Cybern..
Jian Lu,
Taolue Chen,
Tingting Han,
2009,
Comput. Math. Appl..
Tingting Han,
Xingye Zhou,
Zhihong Feng,
2019,
2019 IEEE International Conference on Electron Devices and Solid-State Circuits (EDSSC).
Joost-Pieter Katoen,
Taolue Chen,
Tingting Han,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Joost-Pieter Katoen,
Tingting Han,
J. Katoen,
2007,
TACAS.
Jian Lu,
Taolue Chen,
Tingting Han,
2004,
IASTED Conf. on Software Engineering and Applications.
Joost-Pieter Katoen,
Tingting Han,
2007,
ATVA.
Tingting Han,
Peng Xu,
Guodong Gu,
2013
.
Jian Lu,
Taolue Chen,
Tingting Han,
2006,
FSKD.
Taolue Chen,
Tingting Han,
Taolue Chen,
2014,
FSTTCS.
Wai Lok Woo,
Taolue Chen,
Tingting Han,
2021,
Appl. Soft Comput..
Shenggui Zhang,
Tingting Han,
Yandong Bai,
2021,
Graphs Comb..
Tingting Han,
Robin Hickman,
Zhe Song,
2019,
Case Studies on Transport Policy.
Joost-Pieter Katoen,
Tingting Han,
J. Katoen,
2007
.