Paper published in a book (Scientific congresses, symposiums and conference proceedings)
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
 

Files


Full Text
FM19.pdf
Author postprint (386.41 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
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)
External co-authors :
yes
Language :
English
Title :
Controlling large Boolean networks with temporary and permanent perturbations
Publication date :
2019
Event name :
23rd International Symposium on Formal Methods
Event date :
2019
Audience :
International
Main work title :
Proceedings of the 23rd International Symposium on Formal Methods (FM'19)
Publisher :
Springer
Collection name :
LNCS 11800
Pages :
707-724
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
FnR Project :
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
Available on ORBilu :
since 24 September 2019

Statistics


Number of views
115 (3 by Unilu)
Number of downloads
167 (4 by Unilu)

Scopus citations®
 
15
Scopus citations®
without self-citations
8

Bibliography


Similar publications



Contact ORBilu