Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-2-14

Model-checking trace-based information flow properties *

Deepak D'Souza, Raveendra Holla, K.R. Raghavendra [...]

Journal of Computer Security

Retricted access

Research article

First published 2012-11

Perceptions of Employees on Information Checks by Employers using Social Networking Sites in IT Sector

Manas Ranjan Tripathy, Tavleen Kaur

Management and Labour Studies

Retricted access

Research article

First published 2016-11-8

Model-checking trace-based information flow properties for infinite-state systems

Deepak D’Souza, K.R. Raghavendra

Journal of Computer Security

Retricted access

Research article

First published 2003-2

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems

Nicolette De Francesco, Antonella Santone, Luca Tesei

Fundamenta Informaticae

Retricted access

Research article

First published 2024-3

Integrating Trauma-Informed Practices Into Check-In/Check-Out for Use in Alternative Education Settings

Aimee J. Hackney, Kristine Jolivette, Sara Sanders

Intervention in School and Clinic

Open access

Research article

First published 2024-10-9

Efficient management and compliance check of HVAC information in the building design phase using Semantic Web technologies

Ali Kücükavci, Mikki Seidenschnur, Pieter Pauwels [...]

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2025

The Effects of Trauma-Informed Check-in,Check-out for Youth With EBD in a Residential Treatment Facility

Aimee J. Hackney, Kristine Jolivette, Sara Sanders [...]

Remedial and Special Education

Open access

Research article

First published 2023

Instruction Increases Canadian Students’ Preference for and Use of Lateral Reading Strategies to Fact-Check Online Information

Jessica E. Brodsky, Patricia J. Brooks, Dimitri Pavlounis [...]

AERA Open

Retricted access

Research article

First published 2025-5

Exploring Facilitator and Student Conversations Within Check-In/Check-Out Intervention: A Systematic Review With Links to Trauma-Informed Conversations

Aimee J. Hackney, Sara Sanders, Kristine Jolivette [...]

Behavioral Disorders

Open access

Research article

First published 2025

Fact-checking of health information on social networking sites: The moderating role of gender

Jiabei Xia, Tailai Wu, Zhuo Chen [...]

DIGITAL HEALTH

Search results