Author of the publication

Stochastic Process Algebra with Value-Passing and Weak Time Restrictions.

, , and . J. Softw., 6 (5): 769-782 (2011)

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

Pathway enrichment analysis of Dang-gui for hematopoiesis., , , , , and . FSKD, page 1171-1175. IEEE, (2015)A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement., , , and . FAW, volume 4613 of Lecture Notes in Computer Science, page 178-190. Springer, (2007)Stochastic Process Algebra with Value-Passing and Weak Time Restrictions., , and . J. Softw., 6 (5): 769-782 (2011)A Lidar-Based 3-D Photosynthetically Active Radiation Model Reveals the Spatiotemporal Variations of Forest Sunlit and Shaded Leaves., , , and . Remote. Sens., 13 (5): 1002 (2021)Modelling Three-Dimensional Spatiotemporal Distributions of Forest Photosynthetically Active Radiation Using UAV-Based Lidar Data., , , , and . Remote. Sens., 11 (23): 2806 (2019)Computational-Geometry-Based Retrieval of Effective Leaf Area Index Using Terrestrial Laser Scanning., and . IEEE Trans. Geosci. Remote. Sens., 50 (10): 3958-3969 (2012)Leaf Orientation Retrieval From Terrestrial Laser Scanning (TLS) Data., and . IEEE Trans. Geosci. Remote. Sens., 50 (10): 3970-3979 (2012)Teacher Tracking System using Particle Filter., , and . IPCV, page 429-434. CSREA Press, (2008)A global product of fine-scale urban building height based on spaceborne lidar., , , , , , , , , and 4 other author(s). CoRR, (2023)Characterizing spatiotemporal variations of forest canopy gaps using aerial laser scanning data., , , and . Int. J. Appl. Earth Obs. Geoinformation, (2021)