Jeannine Shantz

According to our database, Jeannine Shantz authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

Formalizing and Reasoning About Supply Chain Contracts Between Agents.

Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor

Proceedings of the Practical Aspects of Declarative Languages, 2023

2021

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems.

Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son

Proceedings of the 7th IEEE World Forum on Internet of Things, 2021