| Modeling organizational performance indicators V Popova, A Sharpanskykh Information systems 35 (4), 505-527, 2010 | 341 | 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 | 179 | 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 | 71 | 2011 |
| Formal modelling and comparing of disaster plans M Hoogedoorn, C Jonker, V Popova, A Sharpanskykh, L Xu | 60 | 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 | 52 | 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 | 52 | 2006 |
| 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 | 41 | 2010 |
| Modelling and analysis of social contagion in dynamic networks A Sharpanskykh, J Treur Neurocomputing 146, 140-150, 2014 | 39 | 2014 |
| 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 | 39 | 2011 |
| Verifying interlevel relations within multi-agent systems A Sharpanskykh, J Treur ECAI 141, 290-294, 2006 | 37 | 2006 |
| A framework for formal modeling and analysis of organizations CM Jonker, A Sharpanskykh, J Treur, PI Yolum Applied Intelligence 27, 49-66, 2007 | 34 | 2007 |
| 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 | 31 | 2019 |
| Process-oriented organisation modelling and analysis V Popova, A Sharpanskykh Enterprise Information Systems 2 (2), 157-176, 2008 | 28 | 2008 |
| 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 | 24 | 2011 |
| Automated support for adaptive incident management H Abbink, R van Dijk, T Dobos, M Hoogendoorn, C Jonker, S Konur, ... Springer, 2004 | 24 | 2004 |
| Analyzing airport security checkpoint performance using cognitive agent models A Knol, A Sharpanskykh, S Janssen Journal of Air Transport Management 75, 39-50, 2019 | 23 | 2019 |
| A formal framework for modeling and analysis of organizations V Popova, A Sharpanskykh Working Conference on Method Engineering, 343-358, 2007 | 21 | 2007 |
| Formal analysis of executions of organizational scenarios based on process-oriented specifications V Popova, A Sharpanskykh Applied Intelligence 34, 226-244, 2011 | 19 | 2011 |
| Grouping behaviour in AmI-enabled crowd evacuation A Sharpanskykh, K Zia Ambient Intelligence-Software and Applications: 2nd International Symposium …, 2011 | 19 | 2011 |
