All decks Close
All decks 29

  • Seminar: User testing

    Nov 24, 2025 18 0

  • (Week 3; Lecture) Prototyping

    Oct 01, 2025 22 0

  • (Week 2; Lecture) UX research

    Sep 30, 2025 22 0

  • (Week 3; Seminar) UX research seminar

    Sep 30, 2025 14 0

  • (Week 1; Lecture) PV252 Intro

    Sep 17, 2025 25 0

  • Robust control of Boolean networks in systems biology

    Apr 09, 2023 82 0

  • Bifurcation analysis of logical models in systems biology

    Sep 20, 2022 91 0

  • Variable Stabilisation in Boolean Monotonic Pools

    Sep 12, 2022 103 0

  • Thesis Defence

    Jun 18, 2022 115 0

  • Finding SCCs in many systems at once using symbolic algorithms

    Mar 29, 2022 126 0

  • IST Bridge Interview

    Dec 09, 2021 138 0

  • CAV '21 25min

    Jun 25, 2021 138 0

  • CAV '21 5min

    Jun 22, 2021 135 0

  • Joseph Fourier Prize

    May 29, 2021 135 0

  • Symbolic Encoding of Boolean Networks

    Apr 30, 2021 152 0

  • Aeon 2020and beyond

    Feb 25, 2021 145 0

  • Reach tubes

    Oct 18, 2019 178 0

  • Algebraic Geometry:

    Feb 21, 2019 205 0

  • Parallel parameter synthesis from HUCTL (3min)

    Dec 07, 2017 284 0

  • Parallel parameter synthesis from HUCTL (12min)

    Dec 06, 2017 273 0

  • Paralelní syntéza parametrů z formulí hybridní logiky HUCTL

    Dec 01, 2017 321 0

  • Digital Bifurcation Analysis

    Nov 30, 2017 306 0

  • Digital Bifurcation Theory

    Nov 14, 2017 265 0

  • Bayesian Identification and Reachability Analysis

    Oct 21, 2017 320 0

  • Pithya

    Aug 01, 2017 346 0

  • Reactive StreamsAkka

    May 08, 2017 335 0

  • Kappa reductions

    Mar 29, 2017 437 0

  • delta-SMT

    Nov 03, 2016 395 0

  • BioPSy

    Nov 04, 2015 311 0