Jeffrey W. Sanders - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

2012

Reasoning About Adaptivity of Agents and Multi-agent SystemsGraeme Smith, Jeffrey W. Sanders, Kirsten Winter. ICECCS 2011: 341-350 [doi]

2009

Formal Development of Self-organising SystemsGraeme Smith, Jeffrey W. Sanders. ATC 2009: 90-104 [doi]

2008

Ensemble Engineering and EmergenceHu Jun, Zhiming Liu, G. M. Reed, Jeffrey W. Sanders. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 162-178, Springer, 2008. [doi]

Formal Ensemble EngineeringJeffrey W. Sanders, Graeme Smith. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 132-138, Springer, 2008. [doi]

Sign in or sign up to see more results.

runs on WebDSL