Author of the publication

Proof planning for maintainable configuration systems.

, , and . Artif. Intell. Eng. Des. Anal. Manuf., 12 (4): 345-356 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games., , and . AAMAS, page 902-910. ACM, (2017)Dynamic information source selection for intrusion detection systems., , , , , and . AAMAS (2), page 1009-1016. IFAAMAS, (2009)Adversarial search with procedural knowledge heuristic., , , and . AAMAS (2), page 899-906. IFAAMAS, (2009)Multi-agent approach to network intrusion detection., , , , , and . AAMAS (Demos), page 1695-1696. IFAAMAS, (2008)Proof planning for maintainable configuration systems., , and . Artif. Intell. Eng. Des. Anal. Manuf., 12 (4): 345-356 (1998)Industrial deployment of multi-agent technologies: review and selected case studies., and . Auton. Agents Multi Agent Syst., 17 (3): 397-431 (2008)Collaborative approach to network behaviour analysis based on hardware-accelerated FlowMon probes., , , , , and . Int. J. Electron. Secur. Digit. Forensics, 2 (1): 35-48 (2009)Adaptive Multiagent System for Network Traffic Monitoring., , , , , and . IEEE Intelligent Systems, 24 (3): 16-25 (2009)Computing time-dependent policies for patrolling games with mobile targets., , , and . AAMAS, page 989-996. IFAAMAS, (2011)Industrial deployment of multi-agent technologies: review and selected case studies, and . Autonomous Agents and Multi-Agent Systems, (2008)