PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Mari, Federico"

Author of the publication

copydeleteadd this publication to your clipboard
Patient-specific models from inter-patient biological models and clinical records.

, , , , , , , , , , , , , , and . FMCAD, page 207-214. IEEE, (2014)

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.

Federico Pinchetti University of Stuttgart

Daniel Marino

Claudia Marianowski University of Stuttgart

Daniel Marino

D. Marino

 

Other publications of authors with the same name

Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 180-195. Springer, (2010)From Boolean Functional Equations to Control Software, , , and . CoRR, (2011)System Level Formal Verification via Model Checking Driven Simulation., , , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 296-312. Springer, (2013)Simulator Semantics for System Level Formal Verification., , , , and . GandALF, volume 193 of EPTCS, page 86-99. (2015)Computing Personalised Treatments through In Silico Clinical Trials., , , , , , , , , and . RCRA@FLoC, volume 2271 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems., and . HSCC, volume 4416 of Lecture Notes in Computer Science, page 399-412. Springer, (2007)On placing skips optimally in expectation., , , and . WSDM, page 15-24. ACM, (2008)A Glimpse of SmartHG Project Test-bed and Communication Infrastructure., , , , , , , , , and 1 other author(s). DSD, page 225-232. IEEE Computer Society, (2015)System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation., , , , and . PDP, page 734-742. IEEE Computer Society, (2014)Patient-specific models from inter-patient biological models and clinical records., , , , , , , , , and 5 other author(s). FMCAD, page 207-214. IEEE, (2014)