Michael R. Laurence

A Generating Set for the Automorphism Group of a Graph Group

Michael R. Laurence · Journal of the London Mathematical Society · 1995 · 139 citations

Natural Sciences, Autonomous Systems, Combinatorics +7

The complexity of contract negotiation

Paul E. Dunne, Michael Wooldridge, Michael R. Laurence · Artificial Intelligence · 2005 · 90 citations

Management, Contract Law, Contract Theory +11

Complexity Results for Agent Design Problems

Paul E. Dunne, Michael R. Laurence, Michael Wooldridge · 2003 · 31 citations

Computing, Computer Science, Artificial Intelligence +9

A unifying theory of control dependence and its application to arbitrary program structures

Sebastian Danicic, Richard W. Barraclough, Mark Harman et al. · Theoretical Computer Science · 2011 · 28 citations · Full text

Computing, Computer Science, Compilers +13

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas

Sebastian Danicic, Chris Fox, Mark Harman et al. · The Computer Journal · 2005 · 17 citations · Full text

Computing, Computer Science, Algorithms +10