Author of the publication

Analysis of meeting protocols by formalisation, simulation, and verification.

, , , and . Computational & Mathematical Organization Theory, 13 (3): 283-314 (2007)

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

Evaluating adaptive cruise control strategies in worst-case scenarios., , and . ITSC, page 1910-1915. IEEE, (2011)Comparing multicast and newscast communication in evolving agent societies., , and . GECCO, page 75-81. ACM, (2005)Reasoning about Intentions in Uncertain Domains., , and . ECSQARU, volume 2143 of Lecture Notes in Computer Science, page 84-95. Springer, (2001)Online Adaptation of Path Formation in UAV Search-and-Identify Missions., , , and . ICANNGA (2), volume 6594 of Lecture Notes in Computer Science, page 186-195. Springer, (2011)Is Self-adaptation of Selection Pressure and Population Size Possible? - A Case Study., , and . PPSN, volume 4193 of Lecture Notes in Computer Science, page 900-909. Springer, (2006)What is situated evolution?, , and . IEEE Congress on Evolutionary Computation, page 3277-3284. IEEE, (2009)The Impact of Recommender Systems on Item-, User-, and Rating-Diversity., , and . ADMI, volume 7103 of Lecture Notes in Computer Science, page 261-287. Springer, (2011)Emergent specialization in the extended multi-rover problem., , and . IEEE Congress on Evolutionary Computation, page 3410-3417. IEEE, (2007)Interpretable and Continuous Prediction of Acute Kidney Injury in the Intensive Care., , and . MIE, volume 281 of Studies in Health Technology and Informatics, page 103-107. IOS Press, (2021)New Ways to Calibrate Evolutionary Algorithms., and . Advances in Metaheuristics for Hard Optimization, Springer, (2008)