Search results for: Mauro Ferrari
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Software Engineering > 169-184
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 294-301
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 175-189
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 160-174
Biomaterials > 2016 > 82 > C > 168-177
European Journal of Heart Failure > 18 > 2 > 169 - 178
Fundamental Biomedical Technologies > Intracellular Delivery > Mechanisms of Uptake and Targeting > 3-55
Springer Handbook of Nanotechnology > Nanostructures, Micro/Nanofabrication, and Micro/Nanodevices > 279-322
Annals of Biomedical Engineering > 2016 > 44 > 6 > 2008-2019
Journal of Cellular Physiology > 231 > 4 > 915 - 925
Journal of Controlled Release > 2015 > 219 > C > 406-415
Journal of Controlled Release > 2015 > 217 > C > 293-299
Journal of Controlled Release > 2015 > 217 > C > 263-272