Alexei Sharpanskykh
Delft University of Technology(NL)
Publications by Year
Research Areas
Multi-Agent Systems and Negotiation, Business Process Modeling and Analysis, Occupational Health and Safety Research, Evacuation and Crowd Dynamics, Risk and Safety Analysis
Most-Cited Works
- → Modeling organizational performance indicators(2009)206 cited
- → SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS(2009)144 cited
- → Specification and Verification of Dynamics in Cognitive Agent Models(2006)86 cited
- → Formal modelling of organisational goals based on performance indicators(2011)48 cited
- → Modelling and analysis of social contagion in dynamic networks(2014)40 cited
- → Formal Modeling and Analysis of Organizations(2006)39 cited
- → An agent-based approach for structured modeling, analysis and improvement of safety culture(2011)36 cited
- → A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems(2010)32 cited
- Verifying Interlevel Relations within Multi-Agent Systems(2006)
- → Agent-based organizational modelling for analysis of safety culture at an air navigation service provider(2011)28 cited