Francesco Belardinelli

Francesco Belardinelli

Imperial College London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1138627
person_outline Francesco Belardinelli's MOST POPULAR ARTICLES
1-) An Abstraction Technique for the Verification of Artifact-Centric Systems.F Belardinelli, A Lomuscio, F PatriziKR, 2012842012
2-) Verification of Multi-agent Systems with Imperfect Information and Public Actions.F Belardinelli, A Lomuscio, A Murano, S RubinAAMAS 17, 1268-1276, 2017762017
3-) Algebraic aspects of cut eliminationF Belardinelli, P Jipsen, H OnoStudia Logica 77, 209-240, 2004752004
4-) Verification of agent-based artifact systemsF Belardinelli, A Lomuscio, F PatriziJournal of Artificial Intelligence Research 51, 333-376, 2014652014
5-) Verification of GSM-based artifact-centric systems through finite abstractionF Belardinelli, A Lomuscio, F PatriziService-Oriented Computing: 10th International Conference, ICSOC 2012 …, 2012622012