Faten Nabli

According to our database, Faten Nabli authored at least 5 papers between 2010 and 2016.

Collaborative distances:

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

2016

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.

Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman

Constraints An Int. J., 2016

2013

Approches de programmation par contraintes pour l'analyse des propriétés structurelles des réseaux de Petri et application aux réseaux biochimiques.

Faten Nabli

PhD thesis, 2013

Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman

CoRR, 2013

2012

A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets.

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman

Proceedings of the Principles and Practice of Constraint Programming, 2012

2010

Steady-state solution of biochemical systems, beyond S-systems via T-invariants.

Faten Nabli, Sylvain Soliman

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010