-
Robust control of Boolean networks in systems biology
Apr 09, 2023
30
0
-
Bifurcation analysis of logical models in systems biology
Sep 20, 2022
44
0
-
Variable Stabilisation in Boolean Monotonic Pools
Sep 12, 2022
55
0
-
Thesis Defence
Jun 18, 2022
63
0
-
Finding SCCs in many systems at once using symbolic algorithms
Mar 29, 2022
89
0
-
IST Bridge Interview
Dec 09, 2021
75
0
-
CAV '21 25min
Jun 25, 2021
81
0
-
CAV '21 5min
Jun 22, 2021
83
0
-
Joseph Fourier Prize
May 29, 2021
79
0
-
Symbolic Encoding of Boolean Networks
Apr 30, 2021
101
0
-
Aeon 2020and beyond
Feb 25, 2021
98
0
-
Reach tubes
Oct 18, 2019
126
0
-
Algebraic Geometry:
Feb 21, 2019
152
0
-
Parallel parameter synthesis from HUCTL (3min)
Dec 07, 2017
234
0
-
Parallel parameter synthesis from HUCTL (12min)
Dec 06, 2017
225
0
-
Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
Dec 01, 2017
269
0
-
Digital Bifurcation Analysis
Nov 30, 2017
256
0
-
Digital Bifurcation Theory
Nov 14, 2017
210
0
-
Bayesian Identification and Reachability Analysis
Oct 21, 2017
261
0
-
Pithya
Aug 01, 2017
299
0
-
Reactive StreamsAkka
May 08, 2017
281
0
-
Kappa reductions
Mar 29, 2017
379
0
-
delta-SMT
Nov 03, 2016
345
0
-
BioPSy
Nov 04, 2015
265
0