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

Online Observability of Boolean Control Networks., , , , , and . CoRR, (2019)Continuous-time orbit problems are decidable in polynomial-time., , and . Inf. Process. Lett., 115 (1): 11-14 (2015)Model Checking Pushdown Epistemic Game Structures., , and . ICFEM, volume 10610 of Lecture Notes in Computer Science, page 36-53. Springer, (2017)Towards Analysis of Semi-Markov Decision Processes., and . AICI (1), volume 6319 of Lecture Notes in Computer Science, page 41-48. Springer, (2010)Model Checking Stochastic Branching Processes., , and . MFCS, volume 7464 of Lecture Notes in Computer Science, page 271-282. Springer, (2012)Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints., , and . CADE, volume 10395 of Lecture Notes in Computer Science, page 509-527. Springer, (2017)Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks., , , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 155-173. Springer, (2019)Playing Stochastic Games Precisely., , , , , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 348-363. Springer, (2012)On the Complexity of Computing Maximum Entropy for Markovian Models., and . FSTTCS, volume 29 of LIPIcs, page 571-583. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2014)Verifying Team Formation Protocols with Probabilistic Model Checking., , , and . CLIMA, volume 6814 of Lecture Notes in Computer Science, page 190-207. Springer, (2011)