From post

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.

 

Другие публикации лиц с тем же именем

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems., , , , и . EPEW, том 12039 из Lecture Notes in Computer Science, стр. 133-147. Springer, (2019)Configurable-by-Construction Runtime Monitoring., и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 220-241. Springer, (2022)FeatCause - Sources and Data., , , и . (февраля 2022)From verification to synthesis under cost-utility constraints., и . ACM SIGLOG News, 5 (4): 26-46 (2018)Breaking the Limits of Redundancy Systems Analysis., , , , и . CoRR, (2019)On the Foundations of Cycles in Bayesian Networks., , , и . CoRR, (2023)Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines., , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 332-350. Springer, (2021)From features to roles., , , и . SPLC (A), стр. 19:1-19:11. ACM, (2020)More for Less: Safe Policy Improvement with Stronger Performance Guarantees., , , , , и . IJCAI, стр. 4406-4415. ijcai.org, (2023)Ontology-Mediated Probabilistic Model Checking., , и . IFM, том 11918 из Lecture Notes in Computer Science, стр. 194-211. Springer, (2019)