Author of the publication

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.

, , and . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Concurrency in Boolean networks., , , , and . CoRR, (2019)CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems., , and . AAAI, page 8146-8153. AAAI Press, (2024)Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets., , , , and . GandALF, volume 370 of EPTCS, page 178-193. (2022)Tuning Temporal Features within the Stochastic π-Calculus., , and . IEEE Trans. Software Eng., 37 (6): 858-871 (2011)mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks., , and . CoRR, (2024)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , and 65 other author(s). Nucleic Acids Res., 50 (W1): 108-114 (2022)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , and 61 other author(s). CoRR, (2022)Drawing the Line: Basin Boundaries in Safe Petri Nets., , and . CMSB, volume 12314 of Lecture Notes in Computer Science, page 321-336. Springer, (2020)Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics., , and . CoRR, (2018)Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming., , , and . ICTAI, page 34-41. IEEE, (2019)