( en | de | ru )

 

Disambiguation of "Mancini, Toni"

Author of the publication

copydeleteadd this publication to your clipboard
User Flexibility Aware Price Policy Synthesis for Smart Grids.

, , , , , , , , and . DSD, page 478-485. IEEE Computer Society, (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

Thomas Toniazzo

Johannes Töniges

 

Other publications of authors with the same name

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)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)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)Combining Relational Algebra, SQL, and Constraint Programming., and . FroCoS, volume 2309 of Lecture Notes in Computer Science, page 147-161. Springer, (2002)A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries., , , , and . IEEE Trans. Ind. Electron., 69 (8): 8566-8578 (2022)Automated reasoning., and . Intelligenza Artificiale, 7 (2): 113-124 (2013)