Author of the publication

Expressive Synchronization Types for Inheritance in the Join Calculus.

, and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 20-36. Springer, (2003)

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

A Novel Framework to Automatically Fuse Multiplatform LiDAR Data in Forest Environments Based on Tree Locations., , , , , , , , , and 4 other author(s). IEEE Trans. Geosci. Remote. Sens., 58 (3): 2165-2177 (2020)Separating the Structural Components of Maize for Field Phenotyping Using Terrestrial LiDAR Data and Deep Convolutional Neural Networks., , , , , , , , , and 3 other author(s). IEEE Trans. Geosci. Remote. Sens., 58 (4): 2644-2658 (2020)A Framework of Model-Driven Web Application Testing., , , , and . COMPSAC (2), page 157-162. IEEE Computer Society, (2006)0-7695-2655-1.Online Dynamic Tip-Over Avoidance for a Wheeled Mobile Manipulator With an Improved Tip-Over Moment Stability Criterion., , , and . IEEE Access, (2019)Real-time Entity Resolution by Multiple Indices., , , and . ICCSE, page 1063-1068. IEEE, (2019)Revisiting operons: an analysis of the landscape of transcriptional units in E. coli., , , , , and . BMC Bioinform., (2015)A generic model decomposition technique and its application to the Eclipse modeling framework., , and . Softw. Syst. Model., 14 (2): 921-952 (2015)scGNN is a novel graph neural network framework for single-cell RNA-Seq analyses, , , , , , , , , and . Nature communications, 12 (1): 1--11 (2021)Interpretation of differential gene expression results of RNA-seq data: review and integration., , , , and . Briefings Bioinform., 20 (6): 2044-2054 (2019)Bioinformatics tools for quantitative and functional metagenome and metatranscriptome data analysis in microbes., , , , , and . Briefings Bioinform., 19 (6): 1415-1429 (2018)