Obor: Fundamenty informatiky
Témata závěrečných prací (školitel)
-
Abstraction-Based Analysis of Continuous-Time Models in System Biology –
absolvent 2022
Obor: Fundamenty informatiky
Témata závěrečných prací (školitel)
-
Diskrétní bifurkační analýza hybridních systémů –
probíhající studium
-
Rule-based Modelling of Biochemical Processes: Specification and Analysis –
absolvent 2023
-
Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems –
absolvent 2022
Obor: Informatika
Témata závěrečných prací (školitel)
-
Designing Data-Parallel Graph Algorithms for Model Checking –
absolvent 2012
-
Algorithms for Mean-Payoff and Energy Games –
absolvent 2011
-
External Memory LTL Model Checking –
absolvent 2010
-
Distributed State Space Reductions –
absolvent 2008
-
Visual Coordination Networks –
absolvent 2006
-
Distributed Memory LTL Model Checking –
absolvent 2005
-
Using Assumptions to Distribute Model Checking –
absolvent 2004
Obor: Počítačové systémy a technologie
Témata závěrečných prací (školitel)
-
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology –
absolvent 2020
Podrobné informace o tématech a doktorských studentech
