Tun Li

Available identifiers

zbMath Open li.tunMaRDI QIDQ364386

List of research outcomes

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	2022-08-02	Paper
SFTRD: A novel information propagation model in heterogeneous networks: modeling and restraining strategy	2022-07-26	Paper
Dynamic model of information diffusion based on multidimensional complex network space and social game	2022-07-21	Paper
Bounded model checking of ETL cooperating with finite and looping automata connectives	2013-09-09	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Microprocessor architectural automatic test program generation	2006-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q5315741	2005-09-09	Paper

Research outcomes over time

This page was built for person: Tun Li