Sage Journals: Discover world-class research

Retricted access

Research article

First published 2023-4-21

A survey of provenance in scientific workflow

Songhai Lin, Hong Xiao, Wenchao Jiang [...]

Journal of High Speed Networks

Retricted access

Research article

First published 2017-3

Using Machine Learning to Infer Reasoning Provenance From User Interaction Log Data

Neesha Kodagoda, Sheila Pontis, Donal Simmie [...]

Journal of Cognitive Engineering and Decision Making

Retricted access

Editorial

First published 2025-12

A Proven Model for Aesthetic Surgery Training and Certification

Alton Ingram, Lisa Chipps, Jeffrey A. Swetnam [...]

The American Journal of Cosmetic Surgery

Retricted access

Research article

First published 2016-11

An ontological representation for trust-based decision making in transportation environments

Robin Cohen, John Finnson, Thomas Tran [...]

Multiagent and Grid Systems

Retricted access

Book review

First published 2025-6

Book Review: College Inside Prison: A Proven Criminal Justice Model

Beverly Reece, Nicole Lehner

Criminal Justice Review

Free access

Research article

First published 2014-5

An information model for managing resources and their metadata

Hannes Ebner, Matthias Palmér

Semantic Web: – Interoperability,Usability,Applicability

Open access

Research article

First published 2021-12

Modeling and proving dynamic behaviors of a routing protocol: A tutorial

Agnieszka Paszkowska, Konrad Iwanicki

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 1994-6

MODEL FINDING IN SEMANTICALLY GUIDED INSTANCE-BASED THEOREM PROVING

Heng Chu, David A. Plaisted

Fundamenta Informaticae

Retricted access

Research article

First published 2020

On Proving Parameterized Size Lower Bounds for Multilinear Algebraic Models

Purnata Ghosal, B.V. Raghavendra Rao

Fundamenta Informaticae

Retricted access

Research article

First published 1999-4-1

Proving security protocols with model checkers by data independence techniques

A.W. Roscoe, P.J. Broadfoot

Journal of Computer Security

Search results