( en | de | ru )

 

Disambiguation of "Mancini, Toni"

Author of the publication

copydeleteadd this publication to your clipboard
Computing Biological Model Parameters by Parallel Statistical Model Checking.

, , , , , and . IWBBIO (2), volume 9044 of Lecture Notes in Computer Science, page 542-554. Springer, (2015)

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.

Roberto Mancini

Marco Mancini

Annalisa Mancini

Johannes Töniges

Thomas Toniazzo

 

Other publications of authors with the same name

Evaluating ASP and Commercial Solvers on the CSPLib., , , and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 68-72. IOS Press, (2006)Computing Biological Model Parameters by Parallel Statistical Model Checking., , , , , and . IWBBIO (2), volume 9044 of Lecture Notes in Computer Science, page 542-554. Springer, (2015)Anytime system level verification via parallel random exhaustive hardware in the loop simulation., , , , and . Microprocess. Microsystems, (2016)MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks., , , , and . CoRR, (2021)Constrained Optimization Over Massive Databases., , , and . RCRA@AI*IA, volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)In Silico Clinical Trials through AI and Statistical Model Checking., , , , and . OVERLAY@AI*IA, volume 2509 of CEUR Workshop Proceedings, page 17-22. CEUR-WS.org, (2019)SyLVaaS: System Level Formal Verification as a Service., , , , and . PDP, page 476-483. IEEE Computer Society, (2015)Using a Theorem Prover for Reasoning on Constraint Problems., and . AI*IA, volume 3673 of Lecture Notes in Computer Science, page 38-49. Springer, (2005)Automated reasoning., and . Intelligenza Artificiale, 7 (2): 113-124 (2013)Computing Personalised Treatments through In Silico Clinical Trials., , , , , , , , , and . RCRA@FLoC, volume 2271 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)