Christopher C. Alexander

According to our database, Christopher C. Alexander authored at least 4 papers between 2022 and 2023.

Collaborative distances:

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

2023

UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming.

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall

CoRR, 2022

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Model-Based Security Analysis in Additive Manufacturing Systems.

Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie

Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022