Filtrer vos résultats
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 2
- 3
- 3
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
3 résultats
|
|
|
triés par
|
Reconstructing Species-Based Dynamics from Reduced Stochastic Rule-Based Models.WSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany
Communication dans un congrès
hal-00734483v1
|
|||
|
|
Lumpability Abstractions of Rule-based SystemsTheoretical Computer Science, 2012, Modelling and Analysis of Biological Systems -- Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena), 431, pp.137-164. ⟨10.1016/j.tcs.2011.12.059⟩
Article dans une revue
hal-00677894v1
|
||
|
|
Under-approximating Cut Sets for Reachability in Large Scale Automata Networks25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Jul 2013, Saint Petersburg, Russia. pp.69-84, ⟨10.1007/978-3-642-39799-8_4⟩
Communication dans un congrès
hal-00769447v3
|