Termination Analysis of CHR Revisited. - Paolo Pilozzi; Danny De Schreye (ICLP, 2008)

Research Summary: Termination of CHR. - Paolo Pilozzi (ICLP, 2009)

Proving Termination by Invariance Relations. - Paolo Pilozzi; Danny De Schreye (ICLP, 2009)

Automating Termination Proofs for CHR. - Paolo Pilozzi; Danny De Schreye (ICLP, 2009)

A Transformational Approach for Proving Properties of the CHR Constraint Store. - Paolo Pilozzi; Tom Schrijvers; Maurice Bruynooghe (LOPSTR, 2009)

Improved Termination Analysis of CHR Using Self-sustainability Analysis. - Paolo Pilozzi; Danny De Schreye (LOPSTR, 2011)

Measuring the Impact of a Navigation Aid in Unmanned Ship Handling via a Shore Control Center. - Gökay Yayla; Chris Christofakis; Stijn Storms; Tim Catoor; Paolo Pilozzi; Yogang Singh; Gerben Peeters; Muhammad Raheel Afzal; Senne Van Baelen; Dimiter Holm; Robrecht Louw; Peter Slaets (AHFE (10), 2021)

Dynamic Semantic World Models and Increased Situational Awareness for Highly Automated Inland Waterway Transport. - Senne Van Baelen; Gerben Peeters; Herman Bruyninckx; Paolo Pilozzi; Peter Slaets (Frontiers Robotics AI, 2021)

Multimodal Network Architecture for Shared Situational Awareness Amongst Vessels. - Amina Seferagic; Jetmir Haxhibeqiri; Paolo Pilozzi; Jeroen Hoebeke (Sensors, 2021)

Model Predictive and Decoupled Thrust Allocation for Overactuated Inland Surface Vessels. - Jef Billet; Paolo Pilozzi; Robrecht Louw; Thibaut Schamp; Peter Slaets (ECC, 2023)