Kerry Trentelman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2019
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CogSIMA | Information Fusion for Maritime Domain Awareness: Illegal Fishing Detection (Poster). | Kerry Trentelman, Rebecca Rafferty, Adam Saulwick, Aaron Ceglar |
| 2015 | FUSION | Consensus: A comprehensive solution to the grand challenges of information fusion. | Dale A. Lambert, Adam Saulwick, Kerry Trentelman |
| 2005 | LPAR | Second-Order Principles in Specification Languages for Object-Oriented Programs. | Bernhard Beckert, Kerry Trentelman |
| 2005 | SEFM | Proving Correctness of JavaCard DL Taclets using Bali. | Kerry Trentelman |