Van-Giang Trinh

Latest

• Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
• Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
• Minimal trap spaces of Logical models are maximal siphons of their Petri net encoding