From post

Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units.

, , и . ATVA, том 10482 из Lecture Notes in Computer Science, стр. 184-200. Springer, (2017)

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.

 

Другие публикации лиц с тем же именем

Overcoming the lack of kinetic information in biochemical reactions networks., , , , , и . SIGMETRICS Perform. Evaluation Rev., 44 (4): 91-102 (2017)A mathematical model to study breast cancer growth., , , , , и . BIBM, стр. 1438-1445. IEEE Computer Society, (2017)Estimating Daclizumab effects in Multiple Sclerosis using Stochastic Symmetric Nets., , , , и . BIBM, стр. 1393-1400. IEEE Computer Society, (2018)Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units., , и . ATVA, том 10482 из Lecture Notes in Computer Science, стр. 184-200. Springer, (2017)Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice., , , , , , , , , и . Fundam. Informaticae, 171 (1-4): 367-392 (2020)MODIMO: Workshop on Multi-Omics Data Integration for Modelling Biological Systems., , , , и . CIKM, стр. 5259-5262. ACM, (2023)Dynamic Simulations of Kidney Exchanges., , , и . OR, стр. 539-544. Springer, (2010)Efficient simulation of stochastic well-formed nets through symmetry exploitation., и . WSC, стр. 296:1-296:13. WSC, (2012)Computing first passage time distributions in stochastic well-formed nets., , , и . ICPE, стр. 7-18. ACM, (2011)Expressing and Computing Passage Time Measures of GSPN Models with HASL., , , , и . Petri Nets, том 7927 из Lecture Notes in Computer Science, стр. 110-129. Springer, (2013)