Author of the publication

Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations.

, , , , and . DataMod, volume 13268 of Lecture Notes in Computer Science, page 157-174. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Pinning Control for the Disturbance Decoupling Problem of Boolean Networks., , , and . IEEE Trans. Autom. Control., 62 (12): 6595-6601 (2017)Set Stability and Stabilization of Switched Boolean Networks With State-Based Switching., , , , , and . IEEE Access, (2018)Enabling renewable resource integration: The balance between robustness and flexibility., , , , and . Allerton, page 195-202. IEEE, (2015)Controllability of dynamic-algebraic mix-valued logical control networks., , , and . CASE, page 171-176. IEEE, (2017)NDFTC: A New Detection Framework of Tropical Cyclones from Meteorological Satellite Images with Deep Transfer Learning., , , , , , , and . Remote. Sens., 13 (9): 1860 (2021)Almost Optimal Dynamically-Ordered Channel Sensing and Accessing for Cognitive Networks., , , , , , and . IEEE Trans. Mob. Comput., 13 (10): 2215-2228 (2014)Random attractors for a class of stochastic reaction-diffusion equations on with multiplicative noise., , and . Comput. Math. Methods, (2019)A conceptual study of transfer learning with linear models for data-driven property prediction., and . Comput. Chem. Eng., (2022)Correlation Filter for UAV-Based Aerial Tracking: A Review and Experimental Evaluation., , , , and . CoRR, (2020)Crowd Counting with Online Knowledge Learning., , , and . CoRR, (2023)