Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-8

A knowledge-based interactive verifier for logic programs

Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2006-11

Formal description and verification of MAS interaction protocols

Hongbing Chen, Qun Yang, Qianmu Li [...]

Multiagent and Grid Systems

Retricted access

Research article

First published 2002-3

Formal Verification of Human-Automation Interaction

Asaf Degani, Michael Heymann

Human Factors: The Journal of the Human Factors and Ergonomics Society

Open access

Research article

First published 2023-06-01

Complex graph neural networks for medication interaction verification

Gustavo Westarb, Stefano Frizzo Stefenon, Aurélio Faustino Hoppe [...]

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

Retricted access

Research article

First published 2009-10

A Method for the Formal Verification of Human-interactive Systems

Matthew L Bolton, Ellen J. Bass

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2010-9-20

Verifying resource access control on mobile interactive devices

Frédéric Besson, Guillaume Dufay, Thomas Jensen [...]

Journal of Computer Security

Retricted access

Research article

First published 2019-11

Experimental verification and validation of nonlocal peridynamic approach for simulating guided Lamb wave propagation and damage interaction

Subir Patra, Hossain Ahmed, Mohammadsadegh Saadatzi [...]

Structural Health Monitoring

Retricted access

Research article

First published 2005-02

Disconfirming communication and self-verification in marriage: Associations among the demand/withdraw interaction pattern,feeling understood,and marital satisfaction

Harry Weger

Journal of Social and Personal Relationships

Retricted access

Research article

First published 2010-5

Interactive verification of concurrent systems using symbolic execution

Simon Bäumler, Michael Balser, Florian Nafz [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1988-06

Self-Verification Versus Expectancy Confirmation in Social Interaction

Brenda Major, Catherine Cozzarelli, Maria Testa [...]

Personality and Social Psychology Bulletin

Search results