Sage Journals: Discover world-class research

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 2002-3

Formal Verification of Human-Automation Interaction

Asaf Degani, Michael Heymann

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

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 1988-06

Self-Verification Versus Expectancy Confirmation in Social Interaction

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

Personality and Social Psychology Bulletin

Open access

Research article

First published 2023

Verification of fluid-structure interaction modelling for wave propagation in fluid-filled elastic tubes

Xinying Liu, David F Fletcher

Journal of Algorithms & Computational Technology

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 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 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

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

Case report

First published 2019-2

Natural Frequency Region – Fluid-Structural-Interaction approach for dynamic impact predictions and experimental verification of rubber–metal bonded systems with fluid

Robert K Luo, Ping Lou, Weidong Wang [...]

Proceedings of the Institution of Mechanical Engineers,Part F: Journal of Rail and Rapid Transit

Search results