Author of the publication

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

, , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 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. 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

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