( en | de | ru )

 

Disambiguierung von "Mancini, Toni"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SyLVaaS: System Level Formal Verification as a Service.

, , , , und . PDP, Seite 476-483. IEEE Computer Society, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Roberto Mancini

Marco Mancini

Annalisa Mancini

Johannes Töniges

Thomas Toniazzo

 

Weitere Publikationen von Autoren mit dem selben Namen

Evaluating ASP and Commercial Solvers on the CSPLib., , , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 68-72. IOS Press, (2006)Anytime system level verification via parallel random exhaustive hardware in the loop simulation., , , , und . Microprocess. Microsystems, (2016)Computing Biological Model Parameters by Parallel Statistical Model Checking., , , , , und . IWBBIO (2), Volume 9044 von Lecture Notes in Computer Science, Seite 542-554. Springer, (2015)MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks., , , , und . CoRR, (2021)Constrained Optimization Over Massive Databases., , , und . RCRA@AI*IA, Volume 589 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)In Silico Clinical Trials through AI and Statistical Model Checking., , , , und . OVERLAY@AI*IA, Volume 2509 von CEUR Workshop Proceedings, Seite 17-22. CEUR-WS.org, (2019)SyLVaaS: System Level Formal Verification as a Service., , , , und . PDP, Seite 476-483. IEEE Computer Society, (2015)Using a Theorem Prover for Reasoning on Constraint Problems., und . AI*IA, Volume 3673 von Lecture Notes in Computer Science, Seite 38-49. Springer, (2005)Combining Relational Algebra, SQL, and Constraint Programming., und . FroCoS, Volume 2309 von Lecture Notes in Computer Science, Seite 147-161. Springer, (2002)A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries., , , , und . IEEE Trans. Ind. Electron., 69 (8): 8566-8578 (2022)