A feedback control system for a rapid production process based on robotic welding deposition. - Filippo Bonaccorso; Carlo Bruno; Luciano Cantelli; Domenico Longo; Giovanni Muscato; Salvatore Rapisarda (ISR/ROBOTIK, 2010)

STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. - Stanislav Kikot; Roman Kontchakov; Salvatore Rapisarda; Michael Zakharyaschev (OTM Conferences (2), 2018)