Kerry Trentelman

According to our database, Kerry Trentelman authored at least 9 papers between 2002 and 2024.

Collaborative distances:

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

2024

Explainable agency: human preferences for simple or complex explanations.

Michelle L. Blom, Ronal Singh, Tim Miller, Liz Sonenberg, Kerry Trentelman, Adam Saulwick

CoRR, 2024

2022

Explainable spatiotemporal reasoning for geospatial intelligence applications.

Matt Duckham, Jelena Gabela, Allison Kealy, Mustafizur Khan, Jonathan Legg, Bill Moran, Shakila Khan Rumi, Flora D. Salim, Shaila Sharmeen, Yaguang Tao, Kerry Trentelman, Maria Vasardani

Trans. GIS, 2022

2019

Information Fusion for Maritime Domain Awareness: Illegal Fishing Detection (Poster).

Kerry Trentelman, Rebecca Rafferty, Adam Saulwick, Aaron Ceglar

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2019

2015

Consensus: A comprehensive solution to the grand challenges of information fusion.

Dale A. Lambert, Adam Saulwick, Kerry Trentelman

Proceedings of the 18th International Conference on Information Fusion, 2015

2014

Towards a formal semantics of social influence.

Adam Saulwick, Kerry Trentelman

Knowl. Based Syst., 2014

2005

Proving Correctness of JavaCard DL Taclets using Bali.

Kerry Trentelman

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Second-Order Principles in Specification Languages for Object-Oriented Programs.

Bernhard Beckert, Kerry Trentelman

Proceedings of the Logic for Programming, 2005

Factorising Temporal Specifications.

Marieke Huisman, Kerry Trentelman

Proceedings of the Theory of Computing 2005, 2005

2002

Extending JML Specifications with Temporal Logic.

Kerry Trentelman, Marieke Huisman

Proceedings of the Algebraic Methodology and Software Technology, 2002