Sage Journals: Discover world-class research

Retricted access

Research article

First published 2026-3

Deception Detection: Comparing the Lexicon-Based Approaches and Verifiability Approach

Grant P. Dunn, Iris Blandón-Gitlin, Kathy Pezdek

Criminal Justice and Behavior

Open access

Research article

First published 2020-1

A corroborative approach to verification and validation of human–robot teams

Matt Webster, David Western, Dejanira Araiza-Illan [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2019-06-11

Authorship Verification using a Graph Knowledge Discovery Approach

Esteban Castillo, Ofelia Cervantes, Darnes Vilariño

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2011-2

Software architectural modelling and verification: a Petri net and temporal logic approach

Jiacun Wang, Xianzhong Zhou, Junhua Ding

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 1998-1-1

The inductive approach to verifying cryptographic protocols

Lawrence C. Paulson

Journal of Computer Security

Retricted access

Research article

First published 2014-9

Using Abstraction Hierarchy as a Structured Approach in Verifying Data Quality in Driving Research

Lenore T. Page, Maria Velazquez, David Claudio

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2019-2

Verification of the feed-forward control for a piezoelectric actuator using differential flatness approach

Jomah Alzoubi, Shadi A Alboon, Amin Alqudah

Journal of Intelligent Material Systems and Structures

Retricted access

Research article

First published 2018-11

A multi-paradigm approach to model and verify mobile agent software systems

Aissam Belghiat, Allaoua Chaoui

Multiagent and Grid Systems

Retricted access

Research article

First published 2023-8

Systematic evaluation of pre-processing approaches in online signature verification

Mohammad Saleem, Cintia Lia Szucs, Bence Kovari

Intelligent Decision Technologies

Open access

Research article

First published 2017-11

Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems

Raja Oueslati, Olfa Mosbahi

Advances in Mechanical Engineering

Search results