Author of the publication

Distributed Analysis with mu CRL: A Compendium of Case Studies.

, , , , , , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 683-689. Springer, (2007)

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

Functional Scenario Classification for Android Applications using GNNs., , , , , and . Internetware, page 1-9. ACM, (2022)Distributed Analysis with mu CRL: A Compendium of Case Studies., , , , , , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 683-689. Springer, (2007)A novel approach for clustering Chinese blogs by embedded sentiment based on graph similarity., , , , and . FSKD, page 2344-2348. IEEE, (2010)Towards the Existential Control of Boolean Networks: A Preliminary Report., , and . SETTA, volume 10998 of Lecture Notes in Computer Science, page 142-149. Springer, (2018)Single-Experiment Reconstructibility of Boolean Control Networks Revisited., and . ICINCO (2), page 85-93. SCITEPRESS, (2023)Effective and Efficient Structural Inference with Reservoir Computing., , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 36391-36410. PMLR, (2023)Active Learning based Structural Inference., and . ICML, volume 202 of Proceedings of Machine Learning Research, page 36224-36245. PMLR, (2023)Characterising Probabilistic Alternating Simulation for Concurrent Games., and . TASE, page 121-128. IEEE, (2020)Super-Graph Classification Based on Composite Subgraph Features and Extreme Learning Machine., , , , and . Cogn. Comput., 10 (6): 922-936 (2018)Efficient Graph Similarity Join with Scalable Prefix-Filtering Using MapReduce., , , , and . WAIM, volume 8485 of Lecture Notes in Computer Science, page 415-418. Springer, (2014)