Skip to main content

About

Papers59

Alexei Sharpanskykh

Vrije Universiteit Amsterdam, Artificial Intelligence, Post-Doc

Other Affiliations:
add
Research Interests:
Artificial Intelligence, Methodologies (Software Engineering), Artifacts for MAS, Globalization and higher education organizational change: A framework for analysis, and Analysis of the impac t of health and safety culture in nigerian construction industry
()
edit
About:
edit
Advisors:
edit

Publisher: Citeseer

Publication Date: Jan 1, 2009

Publication Name: International Journal of …

Research Interests:
Information Systems, Bioinformatics, Distributed Computing, Distributed Systems, Multi Agent System, and 12 moreDynamics, Multi Agent Systems, Formal Specification, Formal Verification, IT Value, Agent Modeling, Specification Language, Scalability, Difference Equations, Differential equation, Cognitive Agents, and Dynamic Properties
(Dynamics, Multi Agent Systems, Formal Specification, Formal Verification, IT Value, Agent Modeling, Specification Language, Scalability, Difference Equations, Differential equation, Cognitive Agents, and Dynamic Properties)

Download (.pdf)

Publisher: books.google.com

Publication Date: Jan 1, 2006

Publication Name: … , August 29-September 1, 2006, Riva …

Research Interests:
Model Checking, Health Care, Formal Analysis, Multi Agent System, Air traffic control, and 2 moreComplex Dynamics and Dynamic Properties
(Complex Dynamics and Dynamic Properties)

Download (.pdf)

Publisher: Elsevier

Publication Date: Jan 1, 2010

Publication Name: Information Systems

Research Interests:
Information Systems, Enterprise Architecture, Modeling, Performance indicators, Performance Model, and 4 moreOrganizational Performance, Performance Indicator, Performance Measure, and Information System
(Organizational Performance, Performance Indicator, Performance Measure, and Information System)

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2006

Publication Name: … , Institutions, and Norms …

Research Interests:
Verification and Validation, Organizational structure, Case Study, Formal Model, Norms and Institutions, and Dynamic Properties
()

Download (.pdf)

Publisher: informaworld.com

Publication Date: Jan 1, 2008

Publication Name: Enterprise Information Systems

Research Interests:
Information Systems, Language Use, Business and Management, Enterprise Information Systems, Formal Verification, and 4 moreOrganisational Structure, Domain Specificity, Enterprise modelling, and Boolean Satisfiability
(Organisational Structure, Domain Specificity, Enterprise modelling, and Boolean Satisfiability)

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2007

Publication Name: Applied Intelligence

Research Interests:
Modeling, Verification and Validation, Organizational structure, Simulation, Analysis, and 7 moreComputer Model, Case Study, Verification, Computational, Applied artificial intelligence, Formal Model, and Dynamic Properties
(Computer Model, Case Study, Verification, Computational, Applied artificial intelligence, Formal Model, and Dynamic Properties)

Download (.pdf)

Publisher: Citeseer

Publication Date: Jan 1, 2004

Publication Name: Proceedings …

Research Interests:
Formal Analysis, Proceedings, Simulation experiment, X, and Dynamic Properties
()

Download (.pdf)

This paper introduces a formal framework for modeling and analysis of organizations. It allows representing a great variety of organizational concepts and relations that are structured into a number of dedicated perspectives (or views),... more

This paper introduces a formal framework for modeling and analysis of organizations. It allows representing a great variety of organizational concepts and relations that are structured into a number of dedicated perspectives (or views), similar to the ones defined in GERAM [3]. In contrast to many existing enterprise architectures the proposed framework has formal foundations based on the order-sorted predicate logic. This formal basis enables different types of analysis of organizational specifications both of particular views and ...

Publisher: Springer

Publication Date: Jan 1, 2007

Publication Name: Situational Method Engineering: …

Research Interests:
Enterprise Architecture, Case Study, Real Time, Situational Method Engineering, and Modeling and Analysis
()

Publisher: Citeseer

Publication Date: Jan 1, 2007

Publication Name: … Collaborative Business Processes and Management of …

Research Interests:
Information Systems, Organization Theory, Enterprise Information Systems, Authority, EIS, and Enterprise Information System
()

Download (.pdf)

Publisher: Citeseer

Publication Date: Jan 1, 2007

Publication Name: … of 21st European conference on modelling …

Research Interests:
Resource Allocation, Formal Analysis, Case Study, Organizational Performance, Formal method, and 3 moreTechnical Report, Applied artificial intelligence, and Software Tool
(Technical Report, Applied artificial intelligence, and Software Tool)

Download (.pdf)

Publisher: computer.org

Publication Date: Jan 1, 2008

Publication Name: … on Web Intelligence and Intelligent Agent …

Research Interests:
Cognitive Modelling, Multi Agent Systems, Temporal Correlation, Cognitive Process, and Cognitive Agents
()

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2010

Publication Name: Specification and Verification of Multi-Agent …

Research Interests:
Multi Agent System, IT Value, Differential equation, Agent Systems, Temporal Logic, and 2 moreDynamic Properties and Normal Form
(Dynamic Properties and Normal Form)

Download (.pdf)

Publisher: Citeseer

Publication Date: Jan 1, 2006

Research Interests:
Formal Model, Boolean Satisfiability, Process Model, and Modeling and Analysis
()

Download (.pdf)

Publisher: portal.acm.org

Publication Date: Jan 1, 2007

Publication Name: Proceedings of the 5th …

Research Interests:
Agent Based Modelling, Mathematical Analysis, Agent Modeling, Differential equation, Agent Systems, and 2 moreDynamic System and Model Complexity
(Dynamic System and Model Complexity)

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2009

Publication Name: Foundations of …

Research Interests:
Human Computer Interaction, HCI, Foundations, Case Study, Task Performance, and Agent Modeling
()

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2007

Publication Name: Multi-Agent Systems and Applications V

Research Interests:
Computer Model, Human behavior, Case Study, and Social Science
()

Download (.pdf)

Publisher: portal.acm.org

Publication Date: Jan 1, 2008

Publication Name: … of the 1st international conference on …

Research Interests:
Theory of Mind, Verification, Agent Modeling, and Cognitive Model
()

Download (.pdf)

Publisher: eurocontrol.int

Publication Date: Jan 1, 2007

Publication Name: Proceedings …

Research Interests:
Proceedings
()

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2010

Publication Name: Agent and Multi-Agent Systems: Technologies and …

Research Interests:
System Dynamics, Multi Agent Systems and Technologies, Belief Revision, Cognitive Process, and Social dynamic
()

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2010

Publication Name: Computational Collective Intelligence. …

Research Interests:
Decision Making, Cognitive Theory, Computer Modelling, and Decision Models
()

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2011

Publication Name: Applied Intelligence

Research Interests:
Resource Allocation, Formal Analysis, Case Study, Organizational Performance, Formal method, and 3 moreTechnical Report, Applied artificial intelligence, and Software Tool
(Technical Report, Applied artificial intelligence, and Software Tool)

Download (.pdf)

Publisher: Inderscience

Publication Date: Jan 1, 2010

Publication Name: International Journal of Agent-Oriented …

Research Interests:
Cognitive Science, Model Checking, Multi Agent System, Agent Oriented Software Engineering, Computer Software, and 6 moreMulti Agent Systems, Automated verification, Temporal Analysis, Transition Systems, Complex Dynamics, and Dynamic Properties
(Multi Agent Systems, Automated verification, Temporal Analysis, Transition Systems, Complex Dynamics, and Dynamic Properties)

Download (.pdf)

Publisher: Citeseer

Publication Date: Jan 1, 2008

Publication Name: Proc. 6th Int. Conf. Complex Systems, …

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2005

Publication Name: … and Innovations in …

Research Interests:
Engineering, Informatics, Formal methods, Emergency Management, Formal Analysis, and 14 moreDisasters, Automation, Innovations, Mathematical Sciences, Case Study, Information Exchange, Incident Management, Error Analysis, Organisational Structure, Organizational Structures, Simulation experiment, Log Files, Dynamic Properties, and Decision Process
(Disasters, Automation, Innovations, Mathematical Sciences, Case Study, Information Exchange, Incident Management, Error Analysis, Organisational Structure, Organizational Structures, Simulation experiment, Log Files, Dynamic Properties, and Decision Process)

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2008

Publication Name: Declarative Agent Languages and …

Research Interests:
Cognitive systems and Empirical evidence
()

Download (.pdf)

Publisher: cs.vu.nl

Publication Date: Jan 1, 2008

Publication Name: … of the Sixth International Workshop on …

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2009

Publication Name: Principles of Practice in …

Research Interests:
Human behavior, Human Performance, Formal Verification, Agent Modeling, and Permaculture Principles and Practice
()

Download (.pdf)

Publisher: Citeseer

Publication Date: Jan 1, 2006

Download (.pdf)

Publisher: emeraldinsight.com

Publication Date: Jan 1, 2008

Publication Name: Disaster Prevention …

Research Interests:
Multidisciplinary, Organizational structure, Automated Planning, Disasters, Automation, and 8 moreCase Study, Design Methodology, Automated verification, Specification Language, Formal Model, Plans, Software Tool, and Disaster Prevention
(Case Study, Design Methodology, Automated verification, Specification Language, Formal Model, Plans, Software Tool, and Disaster Prevention)

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2010

Publication Name: Brain Informatics

Research Interests:
Agent Modeling and Brain Informatics
()

Download (.pdf)

Publisher: Citeseer

Publication Date: Jan 1, 2005

Research Interests:
Cognitive Modelling, Adaptive behavior, Formal Specification, Temporal Correlation, Transition Systems, and Cognitive Agents
()

Download (.pdf)

Publisher: cs.vu.nl

Publication Date: Jan 1, 2009

Publication Name: Handbook of Research on Multi-Agent …

Download (.pdf)

Publisher: few.vu.nl

Publication Date: Jan 1, 2010

Download (.pdf)

Publisher: cs.vu.nl

Publication Date: Jan 1, 2009

Publication Name: Proceedings of the 4th international conference on …

Download (.pdf)

Publication Name: dare.ubvu.vu.nl

Download (.pdf)

Publisher: dare.ubvu.vu.nl

Publication Date: Jan 1, 2005

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2010

Publication Name: Computational Collective Intelligence. …

Research Interests:
Cognitive Science, Agent Based Modelling, Case Study, Agent Modeling, Input Output, and Collective Decision Making
()

Download (.pdf)

Publisher: few.vu.nl

Publication Date: Jan 1, 2010

Publication Name: Proceedings of the …

Research Interests:
Ambient Intelligence, Intelligent Information & Database Systems, and Data Format
()

Download (.pdf)

Publisher: dspace.ubvu.vu.nl

Publication Date: Jan 1, 2008

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2011

Publication Name: Computational & Mathematical …

Research Interests:
Health Care, Agent Based, Social Simulation, Air Traffic Management, Safety Culture, and 8 morePower Plant, Organizational structure, Model validation, Numerical Analysis and Computational Mathematics, Model Analysis, Service Provider, Computational and Mathematical Modeling, and Structural model
(Power Plant, Organizational structure, Model validation, Numerical Analysis and Computational Mathematics, Model Analysis, Service Provider, Computational and Mathematical Modeling, and Structural model)

Download (.pdf)

Publisher: few.vu.nl

Publication Date: Jan 1, 2007

Publication Name: Proceedings of the 4th European Social Simulation …

Download (.pdf)

Publisher: Elsevier

Publication Date: Jan 1, 2011

Publication Name: Reliability Engineering & System …

Research Interests:
Engineering, Modeling, Culture, Sensitivity Analysis, Optimization, and 10 moreMulti Agent System, Safety, Air traffic control, Socio technical systems, Mathematical Sciences, Questionnaire, Belief, Attitude, Air traffic, and Service Provider
(Multi Agent System, Safety, Air traffic control, Socio technical systems, Mathematical Sciences, Questionnaire, Belief, Attitude, Air traffic, and Service Provider)

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2009

Publication Name: … and Challenges for …

Research Interests:
Multi Agent System, Task Performance, and Time Dependent
()

Download (.pdf)

Publisher: portal.acm.org

Publication Date: Jan 1, 2010

Publication Name: … of the 9th International Conference on …

Research Interests:
Social Simulation, Organizational structure, Model validation, and Service Provider
()

Download (.pdf)

Publisher: dare.ubvu.vu.nl

Publication Date: Jan 1, 2006

Download (.pdf)

Publication Name: few.vu.nl

Download (.pdf)

Publisher: computer.org

Publication Date: Jan 1, 2009

Publication Name: 2009 International Conference on …

Research Interests:
Organizational structure, Multi Agent Systems, Air traffic, and Service Provider
()

Download (.pdf)

Publisher: Citeseer

Publication Date: Jan 1, 2010

Publication Name: … in Complex Systems, ISBN 978-3- …

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2010

Publication Name: Trends in Applied Intelligent Systems

Research Interests:
Episodic Memory, Ambient Intelligence, Emotions, Autonomous Agents, Human Behaviour, and 2 moreCognitive Model and Automatic Verification
(Cognitive Model and Automatic Verification)

Download (.pdf)

Publisher: Springer

Publication Date: Jan 1, 2011

Publication Name: Ambient Intelligence-Software and Applications

Research Interests:
Simulation experiment and Cognitive Agents
()

Download (.pdf)

by 30-day views

Related Authors

Jacek Skorupski

Henning Boje Andersen

Alyssa Francisco