Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-2

Formal reasoning on knowledge and commitments in multi-agent systems using T heatre

Christian Nigro, Libero Nigro, Paolo F Sciammarella

SIMULATION

Retricted access

Research article

First published 2008-12

Simulation study of a ship's engine behaviour running with a periodically immersed exhaust

X Tauzia, P Chessé, A Maiboom

Proceedings of the Institution of Mechanical Engineers,Part M: Journal of Engineering for the Maritime Environment

Retricted access

Research article

First published 2025-6

Serial and parallel algorithms for short time horizon multi-attribute queries on stochastic multi-agent systems

Yenda Ramesh, MV Panduranga Rao

SIMULATION

Retricted access

Research article

First published 2021

Symbolic and Structural Model-Checking

Yann Thierry-Mieg

Fundamenta Informaticae

Retricted access

Research article

First published 2006-6

Numerical Study of Friction and Heat Transfer Influence on Spark Ignition Engine Manifolds

M Muñoz, J Morea-Roy, F Moreno

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Other

First published 2007-10

Kinetic and Diffusional Approach to the Dyeing Behavior of the Polyester PTT

Raúl G. Ovejero, Javier R. Sánchez, Juan B. Ovejero [...]

Textile Research Journal

Retricted access

Research article

First published 2004-8

Quality assurance of exhaust emissions test data

G Konstantas, A Stamatelos

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2022-09

Reconciling Hotelling Resource Models with Hotelling’s Accounting Method

Robert D. Cairns, John M. Hartwick

The Energy Journal

Retricted access

Research article

First published 2009-8

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

E. Moritz Hahn, Holger Hermanns, Björn Wachter [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2013-1

Using time stream Petri nets for workflow modelling analysis and enactment

Franco Cicirelli, Angelo Furfaro, Libero Nigro

SIMULATION

Search results