Concepedia

Pedro Cabalar

PC

21

Publications

876

Citations

14

H-Index

2006

Active since

Affiliations

Universidade da Coruña(Current)

University of Potsdam

Universidade de Santiago de Compostela

University College London

Institut de Recherche en Informatique de Toulouse

Pedro Cabalar is an author at Universidade da Coruña specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceLogic ProgrammingFormal VerificationAnswer Set ProgrammingSemantics3D PrintingMachine Learning

Publications per year

2006–2023

21

Publications

21

M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines

Moe Elbadawi, Brais Muñiz Castro, Francesca K. H. Gavins et al. · International Journal of Pharmaceutics · 2020 · 200 citations

Geometric Modeling, Novel Machine, Engineering +11

Machine learning predicts 3D printing performance of over 900 drug delivery systems

Brais Muñiz Castro, Moe Elbadawi, Jun Jie Ong et al. · Journal of Controlled Release · 2021 · 160 citations · Full text

Geometric Modeling, Engineering, Machine Learning +11

Propositional theories are strongly equivalent to logic programs

Pedro Cabalar, Paolo Ferraris · Theory and Practice of Logic Programming · 2007 · 85 citations

Non-classical Logic, Equilibrium Logic, Engineering +9

Accelerating 3D printing of pharmaceutical products using machine learning

Jun Jie Ong, Brais Muñiz Castro, Simon Gaisford et al. · International Journal of Pharmaceutics X · 2022 · 76 citations · Full text

Geometric Modeling, Engineering, Machine Learning +8

Predicting pharmaceutical inkjet printing outcomes using machine learning

Paola Carou‐Senra, Jun Jie Ong, Brais Muñiz Castro et al. · International Journal of Pharmaceutics X · 2023 · 51 citations · Full text

Rows per page

1–5 of 21