Modeling organizational performance indicators V Popova, A Sharpanskykh Information systems 35 (4), 505-527, 2010 | 360 | 2010 |
Specification and verification of dynamics in agent models T Bosse, CM Jonker, L Van der Meij, A Sharpanskykh, J Treur International Journal of Cooperative Information Systems 18 (01), 167-193, 2009 | 180 | 2009 |
Specification and verification of dynamics in cognitive agent models T Bosse, CM Jonker, L Van der Meij, A Sharpanskykh, J Treur 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology …, 2006 | 93 | 2006 |
Formal modelling of organisational goals based on performance indicators V Popova, A Sharpanskykh Data & Knowledge Engineering 70 (4), 335-364, 2011 | 74 | 2011 |
Formal modelling and comparing of disaster plans M Hoogedoorn, C Jonker, V Popova, A Sharpanskykh, L Xu | 61 | 2005 |
An agent-based approach for structured modeling, analysis and improvement of safety culture A Sharpanskykh, SH Stroeve Computational and Mathematical Organization Theory 17, 77-117, 2011 | 56 | 2011 |
Formal modeling and analysis of organizations EL van den Broek, CM Jonker, A Sharpanskykh, J Treur, P Yolum Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems …, 2006 | 56 | 2006 |
Agent-based organizational modelling for analysis of safety culture at an air navigation service provider SH Stroeve, A Sharpanskykh, B Kirwan Reliability Engineering & System Safety 96 (5), 515-533, 2011 | 41 | 2011 |
Agent-based modelling and analysis of security and efficiency in airport terminals S Janssen, A Sharpanskykh, R Curran Transportation research part C: emerging technologies 100, 142-160, 2019 | 40 | 2019 |
Modelling and analysis of social contagion in dynamic networks A Sharpanskykh, J Treur Neurocomputing 146, 140-150, 2014 | 40 | 2014 |
A temporal trace language for formal modelling and analysis of agent systems A Sharpanskykh, J Treur Specification and verification of multi-agent systems, 317-352, 2010 | 40 | 2010 |
Verifying interlevel relations within multi-agent systems A Sharpanskykh, J Treur ECAI 141, 290-294, 2006 | 36 | 2006 |
A framework for formal modeling and analysis of organizations CM Jonker, A Sharpanskykh, J Treur, PI Yolum Applied Intelligence 27, 49-66, 2007 | 35 | 2007 |
Analyzing airport security checkpoint performance using cognitive agent models A Knol, A Sharpanskykh, S Janssen Journal of Air Transport Management 75, 39-50, 2019 | 32 | 2019 |
Process-oriented organisation modelling and analysis V Popova, A Sharpanskykh Enterprise Information Systems 2 (2), 157-176, 2008 | 29 | 2008 |
Automated support for adaptive incident management H Abbink, R van Dijk, T Dobos, M Hoogendoorn, C Jonker, S Konur, ... Springer, 2004 | 27 | 2004 |
Evacuation simulation based on cognitive decision making model in a socio-technical system K Zia, A Riener, A Ferscha, A Sharpanskykh 2011 IEEE/ACM 15th international symposium on distributed simulation and …, 2011 | 25 | 2011 |
Data-driven analysis of airport security checkpoint operations S Janssen, R van der Sommen, A Dilweg, A Sharpanskykh Aerospace 7 (6), 69, 2020 | 23 | 2020 |
AbSRiM: An Agent‐Based Security Risk Management Approach for Airport Operations S Janssen, A Sharpanskykh, R Curran Risk analysis 39 (7), 1582-1596, 2019 | 23 | 2019 |
Using causal discovery to analyze emergence in agent-based models S Janssen, A Sharpanskykh, R Curran, K Langendoen Simulation Modelling Practice and Theory 96, 101940, 2019 | 22 | 2019 |