316 L. Paulev ́e
- Leprevost, F.V., et al.: Biocontainers: an open-source and community-driven frame-
work for software standardization. Bioinform. (Oxford Engl.) 33 , 2580–2582 (2017) - LIP6/Move. Its tools.http://ddd.lip6.fr/itstools.php
- MacNamara, A., Terfve, C., Henriques, D., Bernab ́e, B.P., Saez-Rodriguez, J.:
State-time spectrum of signal transduction logic models. Phys. Biol. 9 (4), 45003
(2012) - Mussel, C., Hopfensitz, M., Kestler, H.A.: BoolNet - an R package for generation,
reconstruction and analysis of boolean networks. Bioinformatics 26 (10), 1378–1380
(2010) - Paulev ́e, L.: Goal-oriented reduction of automata networks. In: Bartocci, E., Lio,
P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 252–272. Springer, Cham
(2016). doi:10.1007/978-3-319-45177-0 16 - Paulev ́e, L., Andrieux, G., Koeppl, H.: Under-approximating cut sets for reachabil-
ity in large scale automata networks. In: Sharygina, N., Veith, H. (eds.) Computer
Aided Verification. LNCS, vol. 8044, pp. 69–84. Springer, Heidelberg (2013) - Paulev ́e, L., Magnin, M., Roux, O.: Static analysis of biological regulatory networks
dynamics using abstract interpretation. Math. Struct. Comput.Sci. 22 (4), 651–685
(2012) - Rougny, A., Froidevaux, C., Calzone, L., Paulev ́e, L.: Qualitative dynamics seman-
tics for SBGN process description. BMC Syst. Biol. 10 (1), 1–24 (2016) - Samaga, R., Saez-Rodriguez, J., Alexopoulos, L.G., Sorger, P.K., Klamt, S.:
The logic of EGFR/ERBB signaling: theoretical properties and analysis of high-
throughput data. PLoS Comput. Biol. 5 (8), e1000438 (2009) - Schoeberl, B., Eichler-Jonsson, C., Gilles, E.D., M ̈uller, G.: Computational model-
ing of the dynamics of the map kinase cascade activated by surface and internalized
egf receptors. Nature Biotechnol. 20 (4), 370–375 (2002) - Schwoon, S.: Mole.http://www.lsv.ens-cachan.fr/∼schwoon/tools/mole/