Concepedia

Marc-Philippe Huget

MH

Statistics

Publications

9

Citations

342

H-Index

9

Active since

2000

Affiliations

University of Liverpool(Current)

Université Savoie Mont Blanc

Marc-Philippe Huget is an author at University of Liverpool specializing in computer science, computing, and formal methods.

Publications per year

2000–2020

9

Publications

9

Model checking multi-agent systems with MABLE

Michael Wooldridge, Michael Fisher, Marc-Philippe Huget et al. · 2002 · 147 citations

Computing, Computer Science, Computer Systems +12

Agent UML notation for multiagent system design

Marc-Philippe Huget · IEEE Internet Computing · 2004 · 46 citations

Computing, Computer Science, Systems Engineering +14

MODEL CHECKING FOR MULTIAGENT SYSTEMS: THE MABLE LANGUAGE AND ITS APPLICATIONS

Michael Wooldridge, Marc-Philippe Huget, Michael Fisher et al. · International Journal of Artificial Intelligence Tools · 2006 · 39 citations

Computing, Autonomous Systems, Computer Science +17

Aligning Security and Privacy to Support the Development of Secure Information Systems

Christos Kalloniatis, Haralambos Mouratidis, Marc-Philippe Huget et al. · Zenodo (CERN European Organization for Nuclear Research) · 2020 · 24 citations · Full text

Computing, Computer Science, Information Systems +14

Model checking multi-agent systems with MABLE

Michael Wooldridge, Michael Fisher, Marc-Philippe Huget et al. · 2002 · 24 citations

Computing, Computer Science, Computer Systems +12

1–5 of 9