Kerry Trentelman

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 3

Top Topics

Social Influences

Grand Challenges

Formal Semantics

Top Venues

Publications

Michelle L. Blom, Ronal Singh, Tim Miller, Liz Sonenberg, Kerry Trentelman, Adam Saulwick
Explainable agency: human preferences for simple or complex explanations. CoRR (2024)
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
Explainable spatiotemporal reasoning for geospatial intelligence applications. Trans. GIS 26 (6) (2022)
Kerry Trentelman, Rebecca Rafferty, Adam Saulwick, Aaron Ceglar
Information Fusion for Maritime Domain Awareness: Illegal Fishing Detection (Poster). CogSIMA (2019)
Dale A. Lambert, Adam Saulwick, Kerry Trentelman
Consensus: A comprehensive solution to the grand challenges of information fusion. FUSION (2015)
Adam Saulwick, Kerry Trentelman
Towards a formal semantics of social influence. Knowl. Based Syst. 71 (2014)
Marieke Huisman, Kerry Trentelman
Factorising Temporal Specifications. CATS (2005)
Kerry Trentelman
Proving Correctness of JavaCard DL Taclets using Bali. SEFM (2005)
Bernhard Beckert, Kerry Trentelman
Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR (2005)
Kerry Trentelman, Marieke Huisman
Extending JML Specifications with Temporal Logic. AMAST (2002)