Mahmoud Bentriou

According to our database, Mahmoud Bentriou authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A Formal Approach for Tuning Stochastic Oscillators.

Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède

Proceedings of the Computational Methods in Systems Biology, 2023

2021

Statistical Inference and Verification of Chemical Reaction Networks. (Inférence et vérification statistiques de réseaux de réactions chimiques).

Mahmoud Bentriou

PhD thesis, 2021

Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models.

Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède

Theor. Comput. Sci., 2021

2019

Reachability Design Through Approximate Bayesian Computation.

Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède

Proceedings of the Computational Methods in Systems Biology, 2019