List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Compiling \(\mathrm{FL}^\mathrm{res}\) on finite words | 2022-09-01 | Paper |
| Nonlinear dynamics model for social popularity prediction based on multivariate chaotic time series Physica A | 2022-08-02 | Paper |
| SFTRD: A novel information propagation model in heterogeneous networks: modeling and restraining strategy Physica A | 2022-07-26 | Paper |
| Dynamic model of information diffusion based on multidimensional complex network space and social game Physica A | 2022-07-21 | Paper |
| Bounded model checking of ETL cooperating with finite and looping automata connectives Journal of Applied Mathematics | 2013-09-09 | Paper |
| Automated Technology for Verification and Analysis Lecture Notes in Computer Science | 2006-10-25 | Paper |
| Automated Technology for Verification and Analysis Lecture Notes in Computer Science | 2006-10-10 | Paper |
| Microprocessor architectural automatic test program generation | 2006-01-23 | Paper |
| scientific article; zbMATH DE number 2204028 (Why is no real title available?) | 2005-09-09 | Paper |
Research outcomes over time
This page was built for person: Tun Li
