A logic-based representation for coalitional games with externalities. - Tomasz P. Michalak; Dorota Marciniak; Marcin Szamotulski; Talal Rahwan; Michael J. Wooldridge; Peter McBurney; Nicholas R. Jennings (AAMAS, 2010)

Computational Aspects of Extending the Shapley Value to Coalitional Games with Externalities. - Tomasz P. Michalak; Talal Rahwan; Dorota Marciniak; Marcin Szamotulski; Nicholas R. Jennings (ECAI, 2010)

Flexible Formality Practical Experience with Agile Formal Methods. - Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman 001; Nicholas Clarke; Jared Corduan; Neil J. Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova (TFP, 2020)