Paolo Pilozzi

According to our database, Paolo Pilozzi authored at least 10 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Model Predictive and Decoupled Thrust Allocation for Overactuated Inland Surface Vessels.

Jef Billet, Paolo Pilozzi, Robrecht Louw, Thibaut Schamp, Peter Slaets

Proceedings of the European Control Conference, 2023

2021

Multimodal Network Architecture for Shared Situational Awareness Amongst Vessels.

Amina Seferagic, Jetmir Haxhibeqiri, Paolo Pilozzi, Jeroen Hoebeke

Sensors, 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

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

Proceedings of the Advances in Human Factors in Robots, Unmanned Systems and Cybersecurity, 2021

2011

Improved Termination Analysis of CHR Using Self-sustainability Analysis.

Paolo Pilozzi, Danny De Schreye

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2009

A Transformational Approach for Proving Properties of the CHR Constraint Store.

Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Automating Termination Proofs for CHR.

Paolo Pilozzi, Danny De Schreye

Proceedings of the Logic Programming, 25th International Conference, 2009

Proving Termination by Invariance Relations.

Paolo Pilozzi, Danny De Schreye

Proceedings of the Logic Programming, 25th International Conference, 2009

Research Summary: Termination of CHR.

Paolo Pilozzi

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Termination Analysis of CHR Revisited.

Paolo Pilozzi, Danny De Schreye

Proceedings of the Logic Programming, 24th International Conference, 2008