The following pages link to (Q4809158):
Displaying 9 items.
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (Q272014) (← links)
- A multi-scale constraint programming model of alternative splicing regulation (Q1884858) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Timed concurrent constraint programming for analysing biological systems (Q2864201) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- TCC, with History (Q5418978) (← links)