Formal Analysis of Empirical Traces in Incident Management. - Mark Hoogendoorn; Catholijn M. Jonker; Savas Konur; Peter-Paul van Maanen; Viara Popova; Alexei Sharpanskykh; Jan Treur; Lai Xu 001; Pinar Yolum (SGAI Conf. (Applications), 2004)

Formal Modeling and Analysis of Organizations. - Egon L. van den Broek; Catholijn M. Jonker; Alexei Sharpanskykh; Jan Treur; Pinar Yolum (BNAIC, 2005)

Verifying Interlevel Relations Within Multi-Agent Systems. - Alexei Sharpanskykh; Jan Treur (ECAI, 2006)

Specification and Verification of Dynamics in Cognitive Agent Models. - Tibor Bosse; Catholijn M. Jonker; Lourens van der Meij; Alexei Sharpanskykh; Jan Treur (IAT, 2006)

Modeling of Agents in Organizational Context. - Alexei Sharpanskykh (CEEMAS, 2007)

Integrating Agent Models and Dynamical Systems. - Tibor Bosse; Alexei Sharpanskykh; Jan Treur (DALT, 2007)

On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition. - Tibor Bosse; Alexei Sharpanskykh; Jan Treur (DALT, 2007)

A Formal Framework for Modeling and Analysis of Organizations. - Viara Popova; Alexei Sharpanskykh (Situational Method Engineering, 2007)

Process-oriented Organization Modeling and Analysis. - Viara Popova; Alexei Sharpanskykh (MSVVEIS, 2007)

A framework for formal modeling and analysis of organizations. - Catholijn M. Jonker; Alexei Sharpanskykh; Jan Treur; Pinar Yolum (Appl. Intell., 2007)

Relating Cognitive Process Models to Behavioural Models of Agents. - Alexei Sharpanskykh; Jan Treur (IAT, 2008)

Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic. - Alexei Sharpanskykh; Sybert H. Stroeve; Henk A. P. Blom (ICEIS (2), 2008)

Modelling and Automated Analysis of Organisations from the Air Traffic Management Domain. - Alexei Sharpanskykh (IEA/AIE, 2008)

An ambient agent model for automated mindreading by identifying and monitoring representation relations. - Alexei Sharpanskykh; Jan Treur (PETRA, 2008)

Formal Goal-based Modeling of Organizations. - Viara Popova; Alexei Sharpanskykh (MSVVEIS, 2008)

Formal modeling and analysis of cognitive agent behavior. - Alexei Sharpanskykh; Jan Treur (Cogn. Process., 2008)

Process-oriented organisation modelling and analysis. - Viara Popova; Alexei Sharpanskykh (Enterp. Inf. Syst., 2008)

Authority and Its Implementation in Enterprise Information Systems. - Alexei Sharpanskykh (Int. J. Enterp. Inf. Syst., 2008)

Formal analysis of empirical traces in incident management. - Mark Hoogendoorn; Catholijn M. Jonker; Peter-Paul van Maanen; Alexei Sharpanskykh (Reliab. Eng. Syst. Saf., 2008)

A Formal Framework for Organization Modeling and Analysis. - Viara Popova; Alexei Sharpanskykh (Handbook of Research on Multi-Agent Systems, 2009)

Consequences of Social and Institutional Setups for Occurrence Reporting in Air Traffic Organizations. - Alexei Sharpanskykh (Autonomics, 2009)

An Agent-Based Approach to Modeling and Analysis of Safety Culture in Air Traffic. - Alexei Sharpanskykh; Sybert H. Stroeve (CSE (4), 2009)

A Generic Personal Assistant Agent Model for Support in Demanding Tasks. - Tibor Bosse; Rob Duell; Mark Hoogendoorn; Michel C. A. Klein; Rianne van Lambalgen; Andy van der Mee; Rogier Oorburg; Alexei Sharpanskykh; Jan Treur; Michael de Vos (HCI (16), 2009)

Relating Knowledge Specifications by Reduction Mappings. - Alexei Sharpanskykh; Jan Treur (ICAART, 2009)

Verifying Context-Dependent Reduction Relations for Knowledge Specifications. - Alexei Sharpanskykh; Jan Treur (ICAART (Revised Selected Papers), 2009)

Adaptation and Validation of an Agent Model of Functional State and Performance for Individuals. - Fiemke Both; Mark Hoogendoorn; S. Waqar Jaffry; Rianne van Lambalgen; Rogier Oorburg; Alexei Sharpanskykh; Jan Treur; Michael de Vos (PRIMA, 2009)

Constraint-based modelling and analysis of organisations. - Viara Popova; Alexei Sharpanskykh (SAC, 2009)

Specification and Verification of Dynamics in Agent Models. - Tibor Bosse; Catholijn M. Jonker; Lourens van der Meij; Alexei Sharpanskykh; Jan Treur (Int. J. Cooperative Inf. Syst., 2009)

Agent-Based Modelling and Analysis of Air Traffic Organisations. - Alexei Sharpanskykh (Intelligent Systems for Knowledge Management, 2009)

Can we predict safety culture? - Alexei Sharpanskykh; Sybert H. Stroeve (AAMAS, 2010)

Behavioural Abstraction of Agent Models Addressing Mutual Interaction of Cognitive and Affective Processes. - Alexei Sharpanskykh; Jan Treur (Brain Informatics, 2010)

Adaptive Modelling of Social Decision Making by Agents Integrating Simulated Behaviour and Perception Chains. - Alexei Sharpanskykh; Jan Treur (ICCCI (1), 2010)

An Ambient Intelligent Agent Model Based on Behavioural Monitoring and Cognitive Analysis. - Alexei Sharpanskykh; Jan Treur (IEA/AIE (2), 2010)

A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case. - Tibor Bosse; Alexei Sharpanskykh (ISAmI, 2010)

Integrated Modeling of Cognitive Agents in Socio-technical Systems. - Alexei Sharpanskykh (KES-AMSTA (2), 2010)

Automated analysis of compositional multi-agent systems. - Alexei Sharpanskykh; Jan Treur (Int. J. Agent Oriented Softw. Eng., 2010)

Modeling organizational performance indicators. - Viara Popova; Alexei Sharpanskykh (Inf. Syst., 2010)

Evacuation Simulation Based on Cognitive Decision Making Model in a Socio-Technical System. - Kashif Zia; Andreas Riener; Alois Ferscha; Alexei Sharpanskykh (DS-RT, 2011)

Grouping Behaviour in AmI-Enabled Crowd Evacuation. - Alexei Sharpanskykh; Kashif Zia (ISAmI, 2011)

Group Abstraction for Large-Scale Agent-Based Social Diffusion Models with Unaffected Agents. - Alexei Sharpanskykh; Jan Treur (PRIMA, 2011)

Abstraction of an Affective-Cognitive Decision Making Model Based on Simulated Behaviour and Perception Chains. - Alexei Sharpanskykh; Jan Treur (SBP, 2011)

An Agent-Based Evolutionary Model of Leadership. - Alexei Sharpanskykh; Brian R. Spisak (SocialCom/PASSAT, 2011)

Group Abstraction for Large-Scale Agent-Based Social Diffusion Models. - Alexei Sharpanskykh; Jan Treur (SocialCom/PASSAT, 2011)

Formal analysis of executions of organizational scenarios based on process-oriented specifications. - Viara Popova; Alexei Sharpanskykh (Appl. Intell., 2011)

Agent-Based Modeling and Analysis of Socio-Technical Systems. - Alexei Sharpanskykh (Cybern. Syst., 2011)

An agent-based approach for structured modeling, analysis and improvement of safety culture. - Alexei Sharpanskykh; Sybert H. Stroeve (Comput. Math. Organ. Theory, 2011)

Formal modelling of organisational goals based on performance indicators. - Viara Popova; Alexei Sharpanskykh (Data Knowl. Eng., 2011)

Design and Validation of a Model for a Human's Functional State and Performance. - Tibor Bosse; Fiemke Both; Mark Hoogendoorn; S. Waqar Jaffry; Rianne van Lambalgen; Rogier Oorburg; Alexei Sharpanskykh; Jan Treur; Michael de Vos (Int. J. Model. Simul. Sci. Comput., 2011)

Potential of Social Modelling in Socio-Technical Systems. - Alois Ferscha; Kashif Zia; Andreas Riener; Alexei Sharpanskykh (FET, 2011)

Agent-based organizational modelling for analysis of safety culture at an air navigation service provider. - Sybert H. Stroeve; Alexei Sharpanskykh; Barry Kirwan (Reliab. Eng. Syst. Saf., 2011)

An Adaptive Affective Social Decision Making Model. - Alexei Sharpanskykh; Jan Treur (BICA, 2012)

An agent-based approach for safety analysis of safety-critical organizations. - Alexei Sharpanskykh (ISCRAM, 2012)

Emotional Decision Making in Large Crowds. - Alexei Sharpanskykh; Kashif Zia (PAAMS, 2012)

Managing the Complexity of Large-Scale Agent-Based Social Diffusion Models with Different Network Topologies. - Alexei Sharpanskykh (PRICAI, 2012)

A Systemic Approach to Organizational Safety Modeling and Analysis. - Alexei Sharpanskykh (Int. J. Inf. Syst. Crisis Response Manag., 2012)

An ambient agent architecture exploiting automated cognitive analysis. - Alexei Sharpanskykh; Jan Treur (J. Ambient Intell. Humaniz. Comput., 2012)

Formal framework to support organizational design. - Catholijn M. Jonker; Viara Popova; Alexei Sharpanskykh; Jan Treur; Pinar Yolum (Knowl. Based Syst., 2012)

Abstraction relations between internal and behavioural agent models for collective decision making. - Alexei Sharpanskykh; Jan Treur (Web Intell. Agent Syst., 2012)

An Integrated Multi-agent Model for Modelling Hazards within Air Traffic Management. - Tibor Bosse; Henk A. P. Blom; Sybert H. Stroeve; Alexei Sharpanskykh (IAT, 2013)

Abstraction of Social Contagion Models with Dynamic Networks. - Alexei Sharpanskykh (ICCCI, 2013)

Modelling and Analysis of Social Contagion Processes with Dynamic Networks. - Alexei Sharpanskykh; Jan Treur (ICCCI, 2013)

Understanding crises: Investigating organizational safety culture by combining organizational ethnography and agent modeling. - David Passenier; Colin Mols; Jan Bím; Alexei Sharpanskykh (ISCRAM, 2013)

Agent Perception Modeling for Movement in Crowds. - Katayoun Farrahi; Kashif Zia; Alexei Sharpanskykh; Alois Ferscha; Lev Muchnik (PAAMS, 2013)

Parallel and Distributed Simulation of Large-Scale Cognitive Agents. - Kashif Zia; Katayoun Farrahi; Alexei Sharpanskykh; Alois Ferscha; Lev Muchnik (PAAMS, 2013)

An ambient agent system assisting humans in complex tasks by analysis of a human's state and performance. - Tibor Bosse; Fiemke Both; Rob Duell; Mark Hoogendoorn; Michel C. A. Klein; Rianne van Lambalgen; Andy van der Mee; Rogier Oorburg; Alexei Sharpanskykh; Jan Treur; Michael de Vos (Int. J. Intell. Inf. Database Syst., 2013)

Modeling and Analysis of Safety Culture of Air Traffic Organizations in the National Culture Context. - Alexei Sharpanskykh; Sybert H. Stroeve (Perspectives on Culture and Agent-based Simulations, 2014)

A Trust-Based Situation Awareness Model. - Reyhan Aydogan; Alexei Sharpanskykh; Julia C. Lo (EUMAS, 2014)

Modelling and analysis of social contagion in dynamic networks. - Alexei Sharpanskykh; Jan Treur (Neurocomputing, 2014)

Understanding the Role of Emotions in Group Dynamics in Emergency Situations. - Alexei Sharpanskykh; Kashif Zia (Trans. Comput. Collect. Intell., 2014)

Understanding and Predicting Compliance with Safety Regulations at an Airline Ground Service Organization. - Alexei Sharpanskykh; Rob Haest (ESSA, 2015)

An Agent-Based Model to Study Effects of Team Processes on Compliance with Safety Regulations at an Airline Ground Service Organization. - Alexei Sharpanskykh; Rob Haest (PRIMA, 2015)

Modelling situation awareness relations in a multiagent system. - Henk A. P. Blom; Alexei Sharpanskykh (Appl. Intell., 2015)

An agent-based model to study compliance with safety regulations at an airline ground service organization. - Alexei Sharpanskykh; Rob Haest (Appl. Intell., 2016)

Modeling safety culture as a socially emergent phenomenon: a case study in aircraft maintenance. - David Passenier; Colin Mols; Jan Bím; Alexei Sharpanskykh (Comput. Math. Organ. Theory, 2016)

Agent-Based Modelling for Security Risk Assessment. - Stef Janssen; Alexei Sharpanskykh (PAAMS, 2017)

Formal and computational modeling of anticipation mechanisms of resilience in the complex sociotechnical air transport system. - Anne-Nynke Blok; Alexei Sharpanskykh; Matthieu Vert (Complex Adapt. Syst. Model., 2018)

A Multi-Agent Negotiation Approach for Airline Operation Control. - Soufiane Bouarfa; Reyhan Aydogan; Alexei Sharpanskykh (Intelligent Environments (Workshops), 2019)

AATOM: an agent-based airport terminal operations model simulator. - Stef Janssen; Alexei Sharpanskykh; Richard Curran; Koen Langendoen (SummerSim, 2019)

Using causal discovery to analyze emergence in agent-based models. - Stef Janssen; Alexei Sharpanskykh; Richard Curran; Koen Langendoen (Simul. Model. Pract. Theory, 2019)

Using Causal Discovery to Design Agent-Based Models. - Stef Janssen; Alexei Sharpanskykh; Seyed Sahand Mohammadi Ziabari (MABS, 2021)

Agent-Based Modelling and Simulation of Airport Terminal Operations Under COVID-19-Related Restrictions. - Gregory Sanders; Seyed Sahand Mohammadi Ziabari; Adin Mekic; Alexei Sharpanskykh (PAAMS, 2021)

Demo Paper: A Tool for Analyzing COVID-19-Related Measurements Using Agent-Based Support Simulator for Airport Terminal Operations. - Seyed Sahand Mohammadi Ziabari; Gregory Sanders; Adin Mekic; Alexei Sharpanskykh (PAAMS, 2021)

Formal modelling and verification of a multi-agent negotiation approach for airline operations control. - Soufiane Bouarfa; Reyhan Aydogan; Alexei Sharpanskykh (J. Reliab. Intell. Environ., 2021)

Surrogate Modeling of Agent-Based Airport Terminal Operations. - Benyamin De Leeuw; Seyed Sahand Mohammadi Ziabari; Alexei Sharpanskykh (MABS, 2022)

Towards a Better Understanding of Agent-Based Airport Terminal Operations Using Surrogate Modeling. - Benjamin C. D. De Bosscher; Seyed Sahand Mohammadi Ziabari; Alexei Sharpanskykh (MABS, 2023)

Design of a Demand Responsive Transport service using Distributed Constraint Optimization for airport access. - Ilias Alexandros Parmaksizoglou; Alessandro Bombelli; Alexei Sharpanskykh (MT-ITS, 2023)

Multi-agent planning and coordination for automated aircraft ground handling. - Szu-Tung Chen; Gülcin Ermis; Alexei Sharpanskykh (Robotics Auton. Syst., 2023)

A comprehensive study of agent-based airport terminal operations using surrogate modeling and simulation. - Benjamin C. D. De Bosscher; Seyed Sahand Mohammadi Ziabari; Alexei Sharpanskykh (Simul. Model. Pract. Theory, 2023)

Effects of Unplanned Incoming Flights on Airport Relief Processes after a Major Natural Disaster. - Luka Van de Sype; Matthieu Vert; Alexei Sharpanskykh; Seyed Sahand Mohammadi Ziabari (CoRR, 2025)