Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
Controlling large Boolean networks with temporary and permanent perturbations
Su, Cui; PAUL, Soumya; PANG, Jun
2019In Proceedings of the 23rd International Symposium on Formal Methods (FM'19)
Peer reviewed
 

Documents


Texte intégral
FM19.pdf
Postprint Auteur (386.41 kB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers



Détails



Disciplines :
Sciences informatiques
Auteur, co-auteur :
Su, Cui
PAUL, Soumya ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
PANG, Jun  ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Controlling large Boolean networks with temporary and permanent perturbations
Date de publication/diffusion :
2019
Nom de la manifestation :
23rd International Symposium on Formal Methods
Date de la manifestation :
2019
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 23rd International Symposium on Formal Methods (FM'19)
Maison d'édition :
Springer
Collection et n° de collection :
LNCS 11800
Pagination :
707-724
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Projet FnR :
FNR11191283 - Computational Models And Algorithms For Predicting Cell Reprogramming Determinants With High Efficiency And High Fidelity, 2015 (01/03/2017-15/07/2021) - Thomas Sauter
Disponible sur ORBilu :
depuis le 24 septembre 2019

Statistiques


Nombre de vues
145 (dont 4 Unilu)
Nombre de téléchargements
215 (dont 4 Unilu)

citations Scopus®
 
18
citations Scopus®
sans auto-citations
9

Bibliographie


Publications similaires



Contacter ORBilu