Author of the publication

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

Computation and reasoning - a type theory for computer science.. International series of monographs on computer science Oxford University Press, (1994)Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper)., and . CollaborateCom, volume 292 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 509-517. Springer, (2019)Subtype Universes., and . TYPES, volume 188 of LIPIcs, page 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)An NS-3 compatible emulation framework for underwater acoustic network., , , , , and . WUWNet, page 31:1-31:5. ACM, (2018)基于粗糙集的加权KNN数据分类算法 (Weighted KNN Data Classification Algorithm Based on Rough Set)., , , , and . 计算机科学, 42 (10): 281-286 (2015)Quantitative Analysis of the Contributions of Climatic and Anthropogenic Factors to the Variation in Net Primary Productivity, China., , , and . Remote. Sens., 15 (3): 789 (February 2023)Autonomous following method of intelligent assistance walking robot based on large-scale piezoresistive films., , , , , and . ICIT, page 1-6. IEEE, (2022)Gradability in MTT-Semantics., and . TbiLLC, volume 13206 of Lecture Notes in Computer Science, page 38-59. Springer, (2019)A Metatheoretic Analysis of Subtype Universes., and . TYPES, volume 269 of LIPIcs, page 9:1-9:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)舰艇编队海上物资再补给目标优化研究 (Object Optimization Research of Underway Materials Resupplying for Battle Group)., , and . 计算机科学, 45 (6A): 559-561 (2018)