Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-9

A Framework for Developing and Using Shared Mental Models in Human-Agent Teams

Matthias Scheutz, Scott A. DeLoach, Julie A. Adams

Journal of Cognitive Engineering and Decision Making

Retricted access

Research article

First published 1999-8

Specification and Integration of Theorem Provers and Computer Algebra Systems

P.G. Bertoli, J. Calmet, F. Giunchiglia [...]

Fundamenta Informaticae

Free access

Research article

First published 1998-2

A computational modelling framework to predict macroscopic phenomena in solder joint formation

D Wheeler, C Bailey, M Cross

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Open access

Research article

First published 2021-10

Towards a formal framework for integrated design-optimization and control of mechatronicsystems

Fariba Rahimi

Science Progress

Retricted access

Research article

First published 2004-2

Theoretical Frameworks for Analysing Turn-Based Computer Strategy Games

Nicholas Caldwell

Media International Australia

Retricted access

Research article

First published 2004-5-1

Model checking SPKI/SDSI *

S. Jha, T. Reps

Journal of Computer Security

Retricted access

Research article

First published 2009-3

A Formal Syntax of Natural Languages and the Deductive Grammar

Yingxu Wang

Fundamenta Informaticae

Retricted access

Research article

First published 2010-3

A Generic Approach to Connector Architectures Part I: The General Framework

Fernando Orejas, Hartmut Ehrig, Markus Klein [...]

Fundamenta Informaticae

Free access

Research article

First published 2020-3

A layered computer-interpretable guideline model for easing the update of locally adapted clinical guidelines

Adi Fux, Pnina Soffer, Mor Peleg

Health Informatics Journal

Retricted access

Research article

First published 2003-2

Exercises in Style (Alpha Specifications)

Uri Abraham, Tamar Pinhas

Fundamenta Informaticae

Search results