Aurélien Rizk

Available identifiers

zbMath Open rizk.aurelienMaRDI QIDQ533353

List of research outcomes

Publication	Date of Publication	Type
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures	2011-06-28	Paper
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints	2011-05-03	Paper
Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks	2011-03-10	Paper
On temporal logic constraint solving for analyzing numerical data time series	2008-12-12	Paper

Research outcomes over time

This page was built for person: Aurélien Rizk