| 2009 |
|---|
| 18 | EE | Viara Popova,
Alexei Sharpanskykh:
Constraint-based modelling and analysis of organisations.
SAC 2009: 283-284 |
| 17 | EE | Tibor Bosse,
Catholijn M. Jonker,
Lourens van der Meij,
Alexei Sharpanskykh,
Jan Treur:
Specification and Verification of Dynamics in Agent Models.
Int. J. Cooperative Inf. Syst. 18(1): 167-193 (2009) |
| 2008 |
|---|
| 16 | EE | Alexei Sharpanskykh,
Jan Treur:
Relating Cognitive Process Models to Behavioural Models of Agents.
IAT 2008: 330-335 |
| 15 | | Alexei Sharpanskykh,
Sybert H. Stroeve,
Henk A. P. Blom:
Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic.
ICEIS (2) 2008: 225-230 |
| 14 | EE | Alexei Sharpanskykh:
Modelling and Automated Analysis of Organisations from the Air Traffic Management Domain.
IEA/AIE 2008: 649-658 |
| 13 | | Viara Popova,
Alexei Sharpanskykh:
Formal Goal-based Modeling of Organizations.
MSVVEIS 2008: 19-28 |
| 12 | EE | Alexei Sharpanskykh,
Jan Treur:
An ambient agent model for automated mindreading by identifying and monitoring representation relations.
PETRA 2008: 91 |
| 11 | EE | Viara Popova,
Alexei Sharpanskykh:
Process-oriented organisation modelling and analysis.
Enterprise IS 2(2): 157-176 (2008) |
| 2007 |
|---|
| 10 | EE | Alexei Sharpanskykh:
Modeling of Agents in Organizational Context.
CEEMAS 2007: 193-203 |
| 9 | EE | Tibor Bosse,
Alexei Sharpanskykh,
Jan Treur:
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition.
DALT 2007: 175-192 |
| 8 | EE | Tibor Bosse,
Alexei Sharpanskykh,
Jan Treur:
Integrating Agent Models and Dynamical Systems.
DALT 2007: 50-68 |
| 7 | | Viara Popova,
Alexei Sharpanskykh:
Process-oriented Organization Modeling and Analysis.
MSVVEIS 2007: 114-125 |
| 6 | EE | Viara Popova,
Alexei Sharpanskykh:
A Formal Framework for Modeling and Analysis of Organizations.
Situational Method Engineering 2007: 343-358 |
| 5 | EE | Catholijn M. Jonker,
Alexei Sharpanskykh,
Jan Treur,
Pinar Yolum:
A framework for formal modeling and analysis of organizations.
Appl. Intell. 27(1): 49-66 (2007) |
| 2006 |
|---|
| 4 | | Alexei Sharpanskykh,
Jan Treur:
Verifying Interlevel Relations Within Multi-Agent Systems.
ECAI 2006: 290-294 |
| 3 | EE | Tibor Bosse,
Catholijn M. Jonker,
Lourens van der Meij,
Alexei Sharpanskykh,
Jan Treur:
Specification and Verification of Dynamics in Cognitive Agent Models.
IAT 2006: 247-254 |
| 2005 |
|---|
| 2 | EE | Egon L. van den Broek,
Catholijn M. Jonker,
Alexei Sharpanskykh,
Jan Treur,
Pinar Yolum:
Formal Modeling and Analysis of Organizations.
AAMAS Workshops 2005: 18-34 |
| 1 | | Egon L. van den Broek,
Catholijn M. Jonker,
Alexei Sharpanskykh,
Jan Treur,
Pinar Yolum:
Formal Modeling and Analysis of Organizations.
BNAIC 2005: 391-392 |
