Author of the publication

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.

, , , , and . ESEC/SIGSOFT FSE, page 587-597. ACM, (2018)

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

Partner Selection Strategy in Open, Dynamic and Sociable Environments., , , , , , and . ICAART (2), page 231-240. SCITEPRESS, (2023)Multi-objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration., and . NFM, volume 13903 of Lecture Notes in Computer Science, page 260-277. Springer, (2023)LexiFuse+: A Unified One-Class Solution for Imbalanced Short-Text Classification., and . e-Science, page 1-2. IEEE, (2023)Recognizing Cognitive Load by a Hybrid Spatio-Temporal Causal Model from Multivariate Physiological Data., , , , , and . ECML/PKDD (6), volume 13718 of Lecture Notes in Computer Science, page 318-334. Springer, (2022)A framework of mining semantic-based probabilistic event relations for complex activity recognition., , , , , , and . Inf. Sci., (2017)Hand gesture recognition framework using a lie group based spatio-temporal recurrent network with multiple hand-worn motion sensors., , , , , , , , , and . Inf. Sci., (2022)Influential Online Forum User Detection Based on User Contribution and Relevance., , , , and . ICA, page 13-18. IEEE, (2021)LexiFusedNet: A Unified Approach for Imbalanced Short-Text Classification Using Lexicon-Based Feature Extraction, Transfer Learning and One Class Classifiers., and . PKAW, volume 14317 of Lecture Notes in Computer Science, page 70-82. Springer, (2023)Deep One-Class Fine-Tuning for Imbalanced Short Text Classification in Transfer Learning., , and . ADMA (1), volume 14176 of Lecture Notes in Computer Science, page 339-351. Springer, (2023)Predicting Fall Events by a Spatio-Temporal Topological Network with Multiple Wearable Sensors., , , , , , , and . ICASSP, page 8551-8555. IEEE, (2024)