Concepedia

Paola Mello

PM

48

Publications

2.4K

Citations

25

H-Index

1989

Active since

Affiliations

University of Bologna(Current)

University of Ferrara

Eindhoven University of Technology

University of Modena and Reggio Emilia

Free University of Bozen-Bolzano

Paola Mello is an author at University of Bologna specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsFormal VerificationLogic ProgrammingSystems EngineeringVerificationFormal SpecificationIntelligent Systems

Publications per year

1989–2019

48

Publications

48

Image analysis and rule-based reasoning for a traffic monitoring system

Rita Cucchiara, Massimo Piccardi, Paola Mello · IEEE Transactions on Intelligent Transportation Systems · 2000 · 393 citations · Full text

Automotive Tracking, Engineering, Advanced Driver-assistance System +20

Declarative specification and verification of service choreographiess

Marco Montali, Maja Pešić, Wil M. P. van der Aalst et al. · ACM Transactions on the Web · 2010 · 233 citations

Decserflow Models, Engineering, Verification +18

Verifiable agent interaction in abductive logic programming

Marco Alberti, Federico Chesani, Marco Gavanelli et al. · ACM Transactions on Computational Logic · 2008 · 156 citations

Computational Logic, Abduction, Engineering +15

Modularity in Logic Programming

Michele Bugliesi, Evelina Lamma, Paola Mello · The Journal of Logic Programming · 1994 · 121 citations

Engineering, Automated Reasoning, Propositional Logic +4

Monitoring business constraints with the event calculus

Marco Montali, Fabrizio Maria Maggi, Federico Chesani et al. · ACM Transactions on Intelligent Systems and Technology · 2013 · 119 citations · Full text

Event-driven Architecture, Engineering, Business Intelligence +25

Rows per page

1–5 of 48