Managing Disjunction for Practical Temporal Reasoning. - Robert Schrag; Mark Boday; Jim Carciofini (KR, 1992)

ARINC 659 Scheduling: Problem Definition. - Todd Carpenter; Kevin Driscoll 001; Ken Hoyme; Jim Carciofini (RTSS, 1994)

Reasoner Performance on Ontologies for Operations. - Scott Bell; Jim Carciofini; Mark S. Boddy; R. Peter Bonasso (KEOD, 2014)

Model-driven development for the seL4 microkernel using the HAMR framework. - Jason Belt; John Hatcliff; Robby; John Shackleton; Jim Carciofini; Todd Carpenter; Eric Mercer; Isaac Amundson; Junaid Babar; Darren D. Cofer; David S. Hardin; Karl Hoech; et al. (J. Syst. Archit., 2023)