Author of the publication

Variable-Depth Simulation of Most Permissive Boolean Networks.

, and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 138-157. Springer, (2022)

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

Computational Complexity of Minimal Trap Spaces in Boolean Networks., , and . CoRR, (2022)Concurrency in Boolean networks., , , , and . CoRR, (2019)Concurrency in Boolean networks., , , , and . Nat. Comput., 19 (1): 91-109 (2020)CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems., , and . AAAI, page 8146-8153. AAAI Press, (2024)Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey., and . SASB, volume 284 of Electronic Notes in Theoretical Computer Science, page 93-104. Elsevier, (2011)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)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)Preface., , and . Theor. Comput. Sci., (2019)Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis.. CoRR, (2022)