Search results for: Mauro Ferrari
Journal of Controlled Release > 2017 > 261 > C > 216-222
Journal of Automated Reasoning > 2019 > 62 > 1 > 127-167
Wiley Interdisciplinary Reviews: Nanomedicine and Nanobiotechnology > 9 > 5 > n/a - n/a
Trends in Molecular Medicine > 2017 > 23 > 7 > 636-650
International Journal of Pharmaceutics > 2017 > 524 > 1-2 > 257-267
Biomaterials > 2017 > 125 > C > 81-89
Pharmacological Research > 2016 > 113 > PA > 92-99
Journal of Controlled Release > 2016 > 240 > C > 242-250
Springer Handbook of Nanotechnology > Nanostructures, Micro/Nanofabrication, and Micro/Nanodevices > 279-322
Pharmacological Research > 2016 > 111 > C > 413-421
European Urology > 2016 > 69 > 6 > 1065-1080
Neurosurgical Review > 2017 > 40 > 4 > 537-548
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Synthesis > 245-265
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 115-129
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Synthesis > 1-17
Lecture Notes in Computer Science > Web Reasoning and Rule Systems > Poster/Position Papers > 223-226
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 48-64