]> 2012-05-27T21:56:02-04:00 Nicholas Del Rio Nicholas Rio Nicholas Del Rio Inference web in action: lightweight use of the proof markup language Presenting tstp proofs with inference web tools User interfaces for portable proofs Annotating and embedding provenance in science data repositories to enable next generation science applications Semantic annotation of maps through knowledge provenance Probe-it! visualization support for provenance Towards usable and interoperable workflow provenance empirical case studies using pml Geoff Sutcliffe Li Ding Peter Fox Paulo Pinheiro da Silva Deborah L. McGuinness Coauthor Author Computer science Natural science Tag Name Last name File:Anonymous.png Image First name University of Texas at El Paso Affiliation Person