Domenico Raucci

According to our database, Domenico Raucci authored at least 7 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2020

BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes.

Domenico Raucci, Antonella Santone, Francesco Mercaldo, Tomasz Dyczkowski

Ind. Manag. Data Syst., 2020

Bank Credit Risk Management based on Data Mining Techniques.

Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques.

Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

2016

Model Checking to Support Action Controls in the Purchasing Process.

Vittoria Nardone, Domenico Raucci, Antonella Santone

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

2014

Powerful Equivalence Checking in the Bank Supply Process.

Giuseppe De Ruvo, Antonella Santone, Domenico Raucci

Proceedings of the 2014 IEEE World Congress on Services, 2014

2013

Application of Equivalence Checking in a Loan Origination Process in Banking Industry.

Antonella Santone, Valentina Intilangelo, Domenico Raucci

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Efficient Formal Verification in Banking Processes.

Antonella Santone, Valentina Intilangelo, Domenico Raucci

Proceedings of the IEEE Ninth World Congress on Services, 2013