Jim Carciofini

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 1

Top Topics

Semantic Technologies

Temporal Reasoning

Ontology Learning

Top Venues

J. Syst. Archit.

Publications

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, Konrad Slind, Ihor Kuz, Kent McLeod
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134 (2023)
Scott Bell, Jim Carciofini, Mark S. Boddy, R. Peter Bonasso
Reasoner Performance on Ontologies for Operations. KEOD (2014)
Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini
ARINC 659 Scheduling: Problem Definition. RTSS (1994)
Robert Schrag, Mark Boday, Jim Carciofini
Managing Disjunction for Practical Temporal Reasoning. KR (1992)